frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mathematicians just solved a 125-year-old problem, uniting 3 theories in physics

https://www.scientificamerican.com/article/lofty-math-problem-called-hilberts-sixth-closer-to-being-solved/
111•mikhael•9mo ago

Comments

dako2117•9mo ago
archive link https://web.archive.org/web/20250426022659/https://www.scien...
JohnKemeny•9mo ago
And arXiv link: https://arxiv.org/abs/2503.01800
paulpauper•9mo ago
It's interesting how so many important papers are always on arxiv first. it makes me wonder what purpose peer reviews serves. I think also, this is to help establish priority over the result. So getting it up on arxiv is like a timestamp to avoid someone else deriving it at the same time and getting credit by having it published first.
pepinator•9mo ago
Peer review is important for checking the correctness of the results, among other things. It's not uncommon to find big errors; small mistakes are everywhere.
trod1234•9mo ago
Its easier to tear down than build up. Resilient structures are tested structures and last the longest.
drumnerd•9mo ago
Peer review is of utmost importance. Any researcher can make mistakes. I can read papers and apply them, but I need expert opinion to trust the papers. I am not skilled enough in any but my specialties.

I do see papers with outlandish claims and very weak support. This kind of excessively bold statement I see in many papers is a red flag for me.

jsbisviewtiful•9mo ago
Questioning the importance of peer review seems like rage bait.
lokimedes•9mo ago
The purpose of the (pre-print) arChive is to allow for a wider circulation during review. That many today simply leave their stuff on Arxiv without publishing is arguably a bit of “cargoculting”, as it signals legitimacy without any quality control.
SpaceManNabs•9mo ago
The article does a wonderful job in providing context for the proof.

I really enjoyed the clear descriptions of the three scales.

jug•9mo ago
There’s a Reddit thread that provides useful context to this, what it is and the scope: https://www.reddit.com/r/math/s/OD0Jy9Rdns
griffzhowl•9mo ago
A talk on it by one of the authors

https://www.simonsfoundation.org/video/yu-deng-the-hilbert-s...

I couldn't get an idea of what they did from TFA because it explains they derived a continuum model from a particle model by considering the particle number going to infinity and their size going to zero... which sounds a bit like a continuum

amai•9mo ago
Nice, but uniting Newtonian physics with Navier-Stokes equations is „easy“.

It is much more difficult to do the same and unite relativistic mechanics with relativistic fluid mechanics. The fact that in relativity you have to deal with particle creation and annihilation makes the issue much much harder, because particle number is not conserved and it is difficult to define probability densities if the particle number is not constant. And in addition each particle has its own proper time, so a standard phase space does‘t exist. It might well be that the idea of point-particles and relativity are in some sense incompatible even at the classical level.

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

https://github.com/localgpt-app/localgpt
82•yi_wang•3h ago•24 comments

Haskell for all: Beyond agentic coding

https://haskellforall.com/2026/02/beyond-agentic-coding
32•RebelPotato•2h ago•8 comments

SectorC: A C Compiler in 512 bytes (2023)

https://xorvoid.com/sectorc.html
238•valyala•10h ago•46 comments

Speed up responses with fast mode

https://code.claude.com/docs/en/fast-mode
147•surprisetalk•10h ago•148 comments

Software factories and the agentic moment

https://factory.strongdm.ai/
182•mellosouls•13h ago•334 comments

Brookhaven Lab's RHIC concludes 25-year run with final collisions

https://www.hpcwire.com/off-the-wire/brookhaven-labs-rhic-concludes-25-year-run-with-final-collis...
66•gnufx•9h ago•55 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/
176•AlexeyBrin•16h ago•32 comments

LLMs as the new high level language

https://federicopereiro.com/llm-high/
49•swah•4d ago•94 comments

Stories from 25 Years of Software Development

https://susam.net/twenty-five-years-of-computing.html
157•vinhnx•13h ago•16 comments

First Proof

https://arxiv.org/abs/2602.05192
128•samasblack•13h ago•76 comments

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/
302•jesperordrup•20h ago•95 comments

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

https://github.com/Momciloo/fun-with-clip-path
71•momciloo•10h ago•14 comments

FDA intends to take action against non-FDA-approved GLP-1 drugs

https://www.fda.gov/news-events/press-announcements/fda-intends-take-action-against-non-fda-appro...
99•randycupertino•6h ago•216 comments

Al Lowe on model trains, funny deaths and working with Disney

https://spillhistorie.no/2026/02/06/interview-with-sierra-veteran-al-lowe/
98•thelok•12h ago•22 comments

Vouch

https://twitter.com/mitchellh/status/2020252149117313349
40•chwtutha•1h ago•6 comments

Show HN: Axiomeer – An open marketplace for AI agents

https://github.com/ujjwalredd/Axiomeer
9•ujjwalreddyks•5d ago•2 comments

Start all of your commands with a comma (2009)

https://rhodesmill.org/brandon/2009/commands-with-comma/
569•theblazehen•3d ago•206 comments

Show HN: A luma dependent chroma compression algorithm (image compression)

https://www.bitsnbites.eu/a-spatial-domain-variable-block-size-luma-dependent-chroma-compression-...
36•mbitsnbites•3d ago•3 comments

The AI boom is causing shortages everywhere else

https://www.washingtonpost.com/technology/2026/02/07/ai-spending-economy-shortages/
290•1vuio0pswjnm7•17h ago•466 comments

Microsoft account bugs locked me out of Notepad – Are thin clients ruining PCs?

https://www.windowscentral.com/microsoft/windows-11/windows-locked-me-out-of-notepad-is-the-thin-...
130•josephcsible•8h ago•159 comments

I write games in C (yes, C) (2016)

https://jonathanwhiting.com/writing/blog/games_in_c/
183•valyala•10h ago•165 comments

Selection rather than prediction

https://voratiq.com/blog/selection-rather-than-prediction/
30•languid-photic•4d ago•9 comments

The F Word

http://muratbuffalo.blogspot.com/2026/02/friction.html
113•zdw•3d ago•56 comments

Learning from context is harder than we thought

https://hy.tencent.com/research/100025?langVersion=en
227•limoce•4d ago•125 comments

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
899•klaussilveira•1d ago•275 comments

The silent death of good code

https://amit.prasad.me/blog/rip-good-code
83•amitprasad•5h ago•76 comments

Where did all the starships go?

https://www.datawrapper.de/blog/science-fiction-decline
145•speckx•4d ago•229 comments

Unseen Footage of Atari Battlezone Arcade Cabinet Production

https://arcadeblogger.com/2026/02/02/unseen-footage-of-atari-battlezone-cabinet-production/
145•videotopia•4d ago•48 comments

Reinforcement Learning from Human Feedback

https://rlhfbook.com/
115•onurkanbkrc•15h ago•5 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
302•isitcontent•1d ago•39 comments