frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: I built a RAG engine to search Singaporean laws

https://github.com/adityaprasad-sudo/Explore-Singapore
1•ambitious_potat•1m ago•0 comments

Scams, Fraud, and Fake Apps: How to Protect Your Money in a Mobile-First Economy

https://blog.afrowallet.co/en_GB/tiers-app/scams-fraud-and-fake-apps-in-africa
1•jonatask•1m ago•0 comments

Porting Doom to My WebAssembly VM

https://irreducible.io/blog/porting-doom-to-wasm/
1•irreducible•2m ago•0 comments

Cognitive Style and Visual Attention in Multimodal Museum Exhibitions

https://www.mdpi.com/2075-5309/15/16/2968
1•rbanffy•3m ago•0 comments

Full-Blown Cross-Assembler in a Bash Script

https://hackaday.com/2026/02/06/full-blown-cross-assembler-in-a-bash-script/
1•grajmanu•8m ago•0 comments

Logic Puzzles: Why the Liar Is the Helpful One

https://blog.szczepan.org/blog/knights-and-knaves/
1•wasabi991011•20m ago•0 comments

Optical Combs Help Radio Telescopes Work Together

https://hackaday.com/2026/02/03/optical-combs-help-radio-telescopes-work-together/
2•toomuchtodo•25m ago•1 comments

Show HN: Myanon – fast, deterministic MySQL dump anonymizer

https://github.com/ppomes/myanon
1•pierrepomes•31m ago•0 comments

The Tao of Programming

http://www.canonical.org/~kragen/tao-of-programming.html
1•alexjplant•32m ago•0 comments

Forcing Rust: How Big Tech Lobbied the Government into a Language Mandate

https://medium.com/@ognian.milanov/forcing-rust-how-big-tech-lobbied-the-government-into-a-langua...
1•akagusu•32m ago•0 comments

PanelBench: We evaluated Cursor's Visual Editor on 89 test cases. 43 fail

https://www.tryinspector.com/blog/code-first-design-tools
2•quentinrl•34m ago•2 comments

Can You Draw Every Flag in PowerPoint? (Part 2) [video]

https://www.youtube.com/watch?v=BztF7MODsKI
1•fgclue•40m ago•0 comments

Show HN: MCP-baepsae – MCP server for iOS Simulator automation

https://github.com/oozoofrog/mcp-baepsae
1•oozoofrog•43m ago•0 comments

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety

https://github.com/Deso-PK/make-trust-irrelevant
3•DesoPK•47m ago•0 comments

Show HN: Sem – Semantic diffs and patches for Git

https://ataraxy-labs.github.io/sem/
1•rs545837•49m ago•1 comments

Hello world does not compile

https://github.com/anthropics/claudes-c-compiler/issues/1
33•mfiguiere•54m ago•17 comments

Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig

https://github.com/meszmate/zigzag
3•meszmate•56m ago•0 comments

Metaphor+Metonymy: "To love that well which thou must leave ere long"(Sonnet73)

https://www.huckgutman.com/blog-1/shakespeare-sonnet-73
1•gsf_emergency_6•58m ago•0 comments

Show HN: Django N+1 Queries Checker

https://github.com/richardhapb/django-check
1•richardhapb•1h ago•1 comments

Emacs-tramp-RPC: High-performance TRAMP back end using JSON-RPC instead of shell

https://github.com/ArthurHeymans/emacs-tramp-rpc
1•todsacerdoti•1h ago•0 comments

Protocol Validation with Affine MPST in Rust

https://hibanaworks.dev
1•o8vm•1h ago•1 comments

Female Asian Elephant Calf Born at the Smithsonian National Zoo

https://www.si.edu/newsdesk/releases/female-asian-elephant-calf-born-smithsonians-national-zoo-an...
4•gmays•1h ago•0 comments

Show HN: Zest – A hands-on simulator for Staff+ system design scenarios

https://staff-engineering-simulator-880284904082.us-west1.run.app/
1•chanip0114•1h ago•1 comments

Show HN: DeSync – Decentralized Economic Realm with Blockchain-Based Governance

https://github.com/MelzLabs/DeSync
1•0xUnavailable•1h ago•0 comments

Automatic Programming Returns

https://cyber-omelette.com/posts/the-abstraction-rises.html
1•benrules2•1h ago•1 comments

Why Are There Still So Many Jobs? The History and Future of Workplace Automation [pdf]

https://economics.mit.edu/sites/default/files/inline-files/Why%20Are%20there%20Still%20So%20Many%...
2•oidar•1h ago•0 comments

The Search Engine Map

https://www.searchenginemap.com
1•cratermoon•1h ago•0 comments

Show HN: Souls.directory – SOUL.md templates for AI agent personalities

https://souls.directory
1•thedaviddias•1h ago•0 comments

Real-Time ETL for Enterprise-Grade Data Integration

https://tabsdata.com
1•teleforce•1h ago•0 comments

Economics Puzzle Leads to a New Understanding of a Fundamental Law of Physics

https://www.caltech.edu/about/news/economics-puzzle-leads-to-a-new-understanding-of-a-fundamental...
3•geox•1h ago•1 comments
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.