frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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

https://openciv3.org/
625•klaussilveira•12h ago•182 comments

The Waymo World Model

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

What Is Ruliology?

https://writings.stephenwolfram.com/2026/01/what-is-ruliology/
33•helloplanets•4d ago•24 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
109•matheusalmeida•1d ago•27 comments

Jeffrey Snover: "Welcome to the Room"

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

Unseen Footage of Atari Battlezone Arcade Cabinet Production

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

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

https://github.com/valdanylchuk/breezydemo
220•isitcontent•13h ago•25 comments

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

https://github.com/pydantic/monty
210•dmpetrov•13h ago•103 comments

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

https://vecti.com
322•vecti•15h ago•142 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
370•ostacke•18h ago•94 comments

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

https://github.com/microsoft/litebox
358•aktau•19h ago•181 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
478•todsacerdoti•20h ago•232 comments

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

https://eljojo.github.io/rememory/
272•eljojo•15h ago•161 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
402•lstoll•19h ago•271 comments

Dark Alley Mathematics

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

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/
14•jesperordrup•2h ago•7 comments

Delimited Continuations vs. Lwt for Threads

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

PC Floppy Copy Protection: Vault Prolok

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

Start all of your commands with a comma

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

Was Benoit Mandelbrot a hedgehog or a fox?

https://arxiv.org/abs/2602.01122
12•bikenaga•3d ago•2 comments

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/
244•i5heu•15h ago•189 comments

Introducing the Developer Knowledge API and MCP Server

https://developers.googleblog.com/introducing-the-developer-knowledge-api-and-mcp-server/
52•gfortaine•10h ago•21 comments

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

https://infisical.com/blog/devops-to-solutions-engineering
140•vmatsiiako•17h ago•63 comments

Understanding Neural Network, Visually

https://visualrambling.space/neural-network/
280•surprisetalk•3d ago•37 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/
1058•cdrnsf•22h ago•433 comments

Why I Joined OpenAI

https://www.brendangregg.com/blog/2026-02-07/why-i-joined-openai.html
133•SerCe•8h ago•117 comments

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

https://github.com/phreda4/r3
70•phreda4•12h ago•14 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...
28•gmays•8h ago•11 comments

Learning from context is harder than we thought

https://hy.tencent.com/research/100025?langVersion=en
176•limoce•3d ago•96 comments

FORTH? Really!?

https://rescrv.net/w/2026/02/06/associative
63•rescrv•20h ago•22 comments
Open in hackernews

A Century of Noether's Theorem

https://arxiv.org/abs/1902.01989
61•fanf2•1mo ago

Comments

quchen•1mo ago
Noether is one of my heroes. Rising through the ranks to one of the greatest minds we've known, recognized in spite of being a woman in a time where that was unthinkable in science, all odds against her. And yet here she is, the name of one of the most basic, and most beautiful, concepts in physics. The inventor of abstract algebra too (which I hear is as significant, it's just not my domain).

So many great minds have had to fight an uphill battle, but few had it as steep and even fewer were as successful as her doing so.

It really is a shame that she's not as recognized as the Bohrs and Feynmans and Paulis and so on, but at least everyone with a passing interest in theoretical physics ought to know about her.

zem•1mo ago
it was several years between the time I learnt noether's theorem and the time I learnt she was a woman. sad failure of the educational system, it really did deserve to be a more prominent fact since as you say it meant that she had to overcome heavy odds to do what she did.
IAmBroom•1mo ago
She is in many ways the George Washington Carver of math/physics women.

I have the greatest respect for both Noether and Carver.

esafak•1mo ago
I wish invariant theory was taught outside of physics and maths departments. Us engineers missed out.
srean•1mo ago
A much restricted case is/(used to be) taught to computer vision students. It's needed to generate features that are invariant to shift, rotation and scaling.

https://mitpress.mit.edu/9780262132855/geometric-invariance-...

diego898•1mo ago
As an engineer, this and the principle of least action occupy my wall of “things I think are super deep and maybe mysterious* and interesting and I wish I understood deeply”

* interpret generously

antonvs•1mo ago
A big part of what’s impressive about Noether’s theorem is that it’s not at all mysterious. At its core, it’s a mathematical proof that’s possible to fully understand. It doesn’t depend on any magic constants in our universe, or indeed anything in the universe at all. It should apply to all possible universes in any situation that satisfies its conditions. The PLA is similar.

Some people see a mystery at the point where these mathematical constructs are applied to our physical universe. Eugene Wigner wrote about “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.”

There are explanations for many of the points he raised in that paper. Perhaps the one that remains most unresolved is the question of why universal law or behavior isn’t messier, more chaotic - why it should so often correspond so neatly to physical phenomena. Intuitively, this doesn’t seem surprising to me, but Wigner correctly points out that we don’t really know why this is the case.

Answering that gets deeper into philosophy: structural realism, the anthropic principle, and so on. But one possible explanation is an extension of ideas like Noether’s: that the various mathematical constraints collapse the space of possibilities enough to make it likely, if not inevitable, that the universe ends up embodying relatively simple mathematical structures.

xorvoid•1mo ago
Indeed. I'd suggest Susskind's Theoretical Minimum: Classical Mechanics if someone wants an introduction. He doesn't explicitly prove Noether but he demonstrates the connection between symmetry and conservation laws building the intuition to properly appreciate Noether.

I've also written a series on Abstract Algebra for computer programmers if you're serious about learning it:

https://xorvoid.com/galois_fields_for_great_good_00.html

Cleonis•1mo ago
As to understanding Hamilton's stationary action deeply: that is accessible.

I have created a resource with interactive diagrams. Move sliders to sweep out variation of a trial trajectory. The diagram shows the response.

https://cleonis.nl/physics/phys256/energy_position_equation....

About the form of the resource:

In physics textbooks the usual presentation is to posit Hamilton's stationary action, followed by demonstration that F=ma can be recovered from it.

Now: we have that in physics you can often run derivations in both directions.

Example: the connection between the Lagrangian formulation of mechanics and the Hamiltonian formulation. The interconversion is by way of Legendre transformation. Legendre transformation is it's own inverse; applying Legendre transformation twice recovers the original function.

Well, the relation between F=ma and Hamilton's stationary action is a bi-directional relation too: it is possible to go _from_ F=ma _to_ Hamilton's stationary action.

The process has two stages:

- Derivation of the work-energy theorem from F=ma

- Demonstration that in circumstances such that the work-energy theorem holds good Hamilton's stationary action holds good also.

Knowing how to go from F=ma to Hamilton's stationary action goes a long way towards lifting the sense of mystery.

General remark: Of course, in physics there are many occurrences of hierarchical relation. Classical mechanics has been superseded by Quantum mechanics, with classical mechanics as limiting case; the validity of classical mechanics must be attributed to classical mechanics emerging from quantum mechanics in the macroscopic limit.

But in the case of the relations between F=ma, the work-energy theorem, and Hamilton's stationary action: the bi-directionality informs us that the relations are not hierarchical; those concepts are on equal par.

analog31•1mo ago
I'm a physicist, and I love invariants. In my work, being able to use the optical invariant is a superpower. It governs the statistics of light beams.
flobosg•1mo ago
(2019)