ByteDance Proposes Faster Linux Inter-Process Communication (phoronix.com)

1 points by doener 19s ago 0 comments

Why do all graphic designers use Macs? (creativebloq.com)

1 points by amichail 33s ago 0 comments

Uncle Bob is against SQL in programing languages (twitter.com)

1 points by thiagovsdiniz 1m ago 0 comments

A2a for Java (github.com)

1 points by vishyouluck 1m ago 0 comments

Debezium to olake.io – PhysicsWallah switch for CDC

1 points by pkhodiyar 1m ago 0 comments

Mellum Goes Open Source (blog.jetbrains.com)

1 points by dayanruben 2m ago 0 comments

Show HN: Open-source sound effects and react library to spice up your website (reactsounds.com)

1 points by lschneider 3m ago 0 comments

Using Vortex to accelerate Apache Iceberg queries up to 4x (spiraldb.com)

1 points by aduffy 3m ago 0 comments

Raycast for iOS (raycast.com)

1 points by charlieirish 5m ago 0 comments

Let Me Grok for You: Accelerating Grokking via Embedding Transfer (arxiv.org)

1 points by PaulHoule 8m ago 0 comments

U.S. Economy Contracts at 0.3% Rate in First Quarter (wsj.com)

12 points by bko 8m ago 0 comments

Big Table of Big Tech (Alternatives) (comparisontabl.es)

1 points by GuidoL 9m ago 0 comments

An Inside Look at the Subway's Archaic Signal System (nytimes.com)

1 points by jonnybgood 10m ago 0 comments

Cast AI Closes a $108M Series C Round (cast.ai)

1 points by CAST_AI 11m ago 0 comments

Fourier Caterpillar (reubenmargolin.com)

1 points by trop 14m ago 0 comments

OCaml's Wings for Machine Learning (github.com)

1 points by musha68k 14m ago 0 comments

How Rolling Planning Changes the Strategy Game (mcchrystalgroup.com)

1 points by gpi 16m ago 0 comments

Humans Will Be DJs, Not Track Producers, in the Age of AI (singulatron.com)

1 points by friendly_chap 17m ago 0 comments

Ask HN: Are there AI crawlers that crawl on the last day of the month?

1 points by bryanrasmussen 17m ago 0 comments

Tidewave: Beyond Code Intelligence (twitter.com)

2 points by lobo_tuerto 21m ago 0 comments

Ask HN: DAO startup with shares based on commits

2 points by zavg 23m ago 1 comments

No-as-a-Service (NAAS) is a simple API that returns a random rejection reason (naas.isalman.dev)

1 points by 882542F3884314B 24m ago 0 comments

Dragonfly, a Pu-fueled drone heading to Titan, gets key NASA approval (ans.org)

1 points by mpweiher 25m ago 0 comments

The global hiring boom is here – and it's solving the talent crisis (hrdive.com)

2 points by rustoo 26m ago 1 comments

Antithesis for Founders (antithesis.com)

3 points by wwilson 26m ago 0 comments

How many dams India needs to deprive Pakistan of Indus waters (indiatoday.in)

1 points by rustoo 27m ago 0 comments

We Tried to Warn You (unsafescience.substack.com)

2 points by Bostonian 30m ago 0 comments

PicoCalc Lisp Machine (ulisp.com)

2 points by chrisjj 30m ago 0 comments

I want to help clear EU skies from US clouds

3 points by sam_lowry_ 31m ago 0 comments

Use MSP from chat completions with any model (reddit.com)

1 points by syllogistic 31m ago 1 comments

Bambu Lab added anti-debugger code in their BBL network plugin (github.com)

1 points by deng 33m ago 0 comments

Why do we self-sabotage? (substack.com)

1 points by MitiaHiers 35m ago 0 comments

The rise and crash of India's largest EV company (restofworld.org)

2 points by sohkamyung 36m ago 0 comments

European Exchange electricity prices calculated at shorter intervals (heise.de)

1 points by doener 36m ago 0 comments

Access Intelligence: Proactive enterprise security protection (bitwarden.com)

2 points by HatMassage 37m ago 0 comments

Agile and Coding: Feedback Loops in Python (davidvujic.blogspot.com)

1 points by rbanffy 37m ago 0 comments

Brakes on an Intelligence Explosion (interconnects.ai)

1 points by Philpax 40m ago 0 comments

Show HN: Spring Framework" for Golang

1 points by iondodon 44m ago 0 comments

What's Wrong with the "What's Wrong with Men" Discourse (conorfitzgerald.com)

3 points by barry-cotter 44m ago 2 comments

ratthew – a 3D dungeon crawler in the terminal (github.com)

1 points by weinzierl 46m ago 0 comments

The AI that sparked tech panic and scared world leaders heads to retirement (arstechnica.com)

1 points by furcyd 49m ago 0 comments

The New American Surveillance State (nytimes.com)

9 points by floathub 52m ago 1 comments

Curved neutron beams could deliver benefits straight to industry (phys.org)

2 points by PaulHoule 52m ago 0 comments

Fastify and Vue (hire.jonasgalvez.com.br)

2 points by jgalvez 53m ago 0 comments

Elvish – Powerful scripting language and versatile interactive shell (github.com)

2 points by kartikarti 55m ago 0 comments

Simple Time Card Calculator (timecardcalculator.me)

3 points by atharvtathe 55m ago 0 comments

Show HN: SmartExpect -> minimal promise-first JavaScript assertion library (code.foss.global)

1 points by PhilKunz 56m ago 0 comments

Heima app: Helping your family collaborate better on household tasks (getheima.com)

1 points by almadora 57m ago 0 comments

Master List of Morphemes Suffixes, Prefixes, Roots [pdf] (fldoe.org)

2 points by keepamovin 1h ago 0 comments

Implementing Three-Point Perspective (pomax.github.io)

3 points by keepamovin 1h ago 0 comments

DeepSeek-Prover-V2-671B

6 dvrp 3 4/30/2025, 9:03:50 AM huggingface.co ↗

Comments (3)

dvrp · 3h ago

Saw on X that it's about automating mathematical proofs, but I don't know if that's true. I was not able to find a blog-post or GitHub repository yet.

dvrp · 3h ago

Or maybe a reasoning model?

dvrp · 3h ago

seems like it's not a new 671 B behemoth, just the V3 MoE engine with long-context RoPE + FA2, retargeted at theorem proving. see [1,2]:

[1]: https://arxiv.org/abs/2405.14333

[2]: https://arxiv.org/abs/2408.08152