- 23Non-trivial error in physics paper found via Lean (arxiv.org)
- 5What Came After the 486? (dfarq.homeip.net)
- 3PostGIS-compatible spatial functions for ClickHouse (github.com)
- 604“Your frustration is the product” (daringfireball.net)
- 265Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training (github.com)
- 32How We Synchronized Editing for Rec Room's Multiplayer Scripting System (tyleo.com)
- 85Launch HN: Voltair (YC W26) – Drone and charging network for power utilities ()
- 8Ask HN: Is using AI tooling for a PhD literature review dishonest? ()
ask - 1013Rob Pike’s Rules of Programming (1989) (cs.unc.edu)
- 81Cryptography in Home Entertainment (2004) (mathweb.ucsd.edu)
- 23A Visual Guide to Attention Variants in Modern LLMs (magazine.sebastianraschka.com)
- 560Show HN: Three new Kitten TTS models – smallest less than 25MB (github.com)
- 115The Ugliest Airplane: An Appreciation (smithsonianmag.com)
- 26Training Center for Maneuvering on Manned Model Ships (portrevel.com)
- 833Do Not Turn Child Protection into Internet Access Control (news.dyne.org)
- 4Revolut warns it risks backlash over support for energy-intensive AI and crypto (theguardian.com)
- 151How BYD got EV chargers to work almost as fast as gas pumps (wired.com)
- 10Folks Aren't Forming Memories Like They Used To (cendyne.dev)
- 70How we give every user SQL access to a shared ClickHouse cluster (trigger.dev)
- 23Personal Computing (2022) (josh8.com)
- 34A digital resource for studying the graffiti of Herculaneum and Pompeii (ancientgraffiti.org)
- 234The worst volume control UI in the world (2017) (uxdesign.cc)
- 19NYU Professors Begin Strike over Pay and Job Protections (nytimes.com)
- 176How Invisalign became the biggest user of 3D printers (wired.com)
- 24Linking Smaller Haskell Binaries (2023) (brandon.si)
- 642Our commitment to Windows quality (blogs.windows.com)
- 3Someone Forked Systemd to Strip Out Its Age Verification Support (itsfoss.com)
- 143Parallel Perl – Autoparallelizing interpreter with JIT (perl.petamem.com)
- 127Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)
- 331Ghostling (github.com)