frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Start all of your commands with a comma (2009)

https://rhodesmill.org/brandon/2009/commands-with-comma/
233•theblazehen•2d ago•68 comments

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

https://openciv3.org/
694•klaussilveira•15h ago•206 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/
6•AlexeyBrin•1h ago•0 comments

The Waymo World Model

https://waymo.com/blog/2026/02/the-waymo-world-model-a-new-frontier-for-autonomous-driving-simula...
962•xnx•20h ago•555 comments

How we made geo joins 400× faster with H3 indexes

https://floedb.ai/blog/how-we-made-geo-joins-400-faster-with-h3-indexes
130•matheusalmeida•2d ago•35 comments

Unseen Footage of Atari Battlezone Arcade Cabinet Production

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

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/
54•jesperordrup•5h ago•24 comments

Jeffrey Snover: "Welcome to the Room"

https://www.jsnover.com/blog/2026/02/01/welcome-to-the-room/
37•kaonwarb•3d ago•27 comments

ga68, the GNU Algol 68 Compiler – FOSDEM 2026 [video]

https://fosdem.org/2026/schedule/event/PEXRTN-ga68-intro/
10•matt_d•3d ago•2 comments

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

https://github.com/valdanylchuk/breezydemo
236•isitcontent•15h ago•26 comments

Monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty
233•dmpetrov•16h ago•125 comments

Where did all the starships go?

https://www.datawrapper.de/blog/science-fiction-decline
32•speckx•3d ago•21 comments

UK infants ill after drinking contaminated baby formula of Nestle and Danone

https://www.bbc.com/news/articles/c931rxnwn3lo
11•__natty__•3h ago•0 comments

Show HN: I spent 4 years building a UI design tool with only the features I use

https://vecti.com
335•vecti•17h ago•147 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
502•todsacerdoti•23h ago•244 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
386•ostacke•21h ago•97 comments

Show HN: If you lose your memory, how to regain access to your computer?

https://eljojo.github.io/rememory/
300•eljojo•18h ago•186 comments

Microsoft open-sources LiteBox, a security-focused library OS

https://github.com/microsoft/litebox
361•aktau•22h ago•185 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
425•lstoll•21h ago•282 comments

PC Floppy Copy Protection: Vault Prolok

https://martypc.blogspot.com/2024/09/pc-floppy-copy-protection-vault-prolok.html
68•kmm•5d ago•10 comments

Dark Alley Mathematics

https://blog.szczepan.org/blog/three-points/
96•quibono•4d ago•22 comments

Was Benoit Mandelbrot a hedgehog or a fox?

https://arxiv.org/abs/2602.01122
21•bikenaga•3d ago•11 comments

The AI boom is causing shortages everywhere else

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

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/
265•i5heu•18h ago•216 comments

Delimited Continuations vs. Lwt for Threads

https://mirageos.org/blog/delimcc-vs-lwt
33•romes•4d ago•3 comments

Introducing the Developer Knowledge API and MCP Server

https://developers.googleblog.com/introducing-the-developer-knowledge-api-and-mcp-server/
64•gfortaine•13h ago•28 comments

I now assume that all ads on Apple news are scams

https://kirkville.com/i-now-assume-that-all-ads-on-apple-news-are-scams/
1076•cdrnsf•1d ago•460 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...
39•gmays•10h ago•13 comments

Understanding Neural Network, Visually

https://visualrambling.space/neural-network/
298•surprisetalk•3d ago•44 comments

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

https://infisical.com/blog/devops-to-solutions-engineering
154•vmatsiiako•20h ago•72 comments
Open in hackernews

Paul Dirac and the religion of mathematical beauty (2011) [video]

https://www.youtube.com/watch?v=jPwo1XsKKXg
97•magnifique•6mo ago

Comments

throw0101d•6mo ago
See also perhaps the 1960 article/essay "The Unreasonable Effectiveness of Mathematics in the Natural Sciences":

* https://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness...

guyomes•6mo ago
See also the Wikipedia page on the unreasonable ineffectiveness of mathematics, notably in biology and economics: https://en.wikipedia.org/wiki/Unreasonable_ineffectiveness_o...
gsf_emergency_2•6mo ago
More recent commentary by a math & bio prof:

https://liorpachter.wordpress.com/2014/12/30/the-two-culture...

HN discussion (69 comments)

https://news.ycombinator.com/item?id=8819811

lucb1e•6mo ago
Recently learned of this from the german-spoken podcast AstroGeo. If someone wants to listen to this Large Numbers Hypothesis story in podcast form, I enjoyed that episode: https://astrogeo.de/expandierende-erde-zu-grosse-zahlen-und-... (no affiliation)
griffzhowl•6mo ago
Nice lecture about Dirac.

If you prefer to read, this 1939 paper by Dirac is a characteristically lucid discussion of similar themes:

The Relation between Mathematics and Physics [PDF]

http://mcs.une.edu.au/~pmth213/PapersOfInterest/Paul%20Dirac...

jesuslop•6mo ago
This has the perfect qoutation for the well known fact of the Galileo->Lorentz group overthrow from an indisputable source:

"The theory of relativity introduced mathematical beauty to an unprecedented extent into the description of Nature. The restricted theory { 1905 } changed our ideas of space and time in a way that may be summarised by stating that the group of transformations to which the space-time continuum is subject must be changed from the Galilean group to the Lorentz group. The latter group is a much more beautiful thing than the former - in fact, the former would be called mathematically a degenerate special case of the latter { c->∞ }. The general theory of relativity { 1915 } involved another step of a rather similar character" { diffeomorphism group/category }. I came to think lately that much of the basic groups in physics, Lorentz and gauge, have all more or less rotatory features.

griffzhowl•6mo ago
I think the rotations in the Lorentz group just reflect the isotropy of space, which comes down to the quite natural idea that if you observe a physical system from a different direction it doesn't change its dynamics. The full symmetry group of special relativity is the Poincare group, which includes the spatial translations, reflecting homogeneity of space.

The gauge groups are interesting in being extra symmetries beyond the spacetime ones, and yet they're closely related to spacetime symmetries, e.g. SU(2) being the double cover of the rotations SO(3). I also find it interesting that the groups that are physically basic, such as SU(2) being the one required to represent the phenomenon of spin, are also mathematically significant, in this case since SU(2) is the unique simply-connected group associated with the shared Lie algebra of SU(2) and SO(3). That shows some kind of deep connection between mathematics and physics. I'm just at the beginning stages of learning QFT and differential geometry so I don't have a feel for why that is or what it means at an intuitive level, and haven't seen any explanation for it. I think at the moment it's just a feature of our deepest experimentally-verified theory and so it would need a deeper theory to explain it.

jppope•6mo ago
Wonderful talk. I now have some reading material for the next week :)