Yearly Favorites
2972.
Lean proved this program correct; then I found a bug
(kirancodes.me)
2973.
How to Think About GPUs
(jax-ml.github.io)
2974.
2977.
2978.
FediMeteo: A €4 FreeBSD VPS Became a Global Weather Service
(it-notes.dragas.net)
2979.
A gigantic jet caught on camera: A spritacular moment for NASA astronaut
(science.nasa.gov)
2980.
CERN levels up with new superconducting karts
(home.cern)
2981.
Pico-Banana-400k
(github.com)
2982.
Celebrating 20 Years of MDN
(developer.mozilla.org)
2983.
UK House of Lords attempting to ban use of VPNs by anyone under 16
(alecmuffett.com)
2984.
You don't want to hire "the best engineers"
(otherbranch.com)
2985.
How I fell in love with Erlang
(boragonul.com)
2986.
2987.
Finding a 27-year-old easter egg in the Power Mac G3 ROM
(downtowndougbrown.com)
2988.
Show HN: I wrote a new BitTorrent tracker in Elixir
(github.com)
2989.
ACM Transitions to Full Open Access
(acm.org)
2990.
Marc Andreessen is wrong about introspection
(joanwestenberg.com)
2991.
The untold impact of cancellation
(pretty.direct)
2992.
Nostr
(nostr.com)
2993.
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers
(blog.edward-li.com)
2994.
What is a manifold?
(quantamagazine.org)
2996.
Brian Wilson has died
(pitchfork.com)
2997.
What a Hacker Stole from Me
(mynoise.net)
2998.
2999.
Long live American Science and Surplus
(milwaukeerecord.com)
3000.