- 137Why Writing Correct Software Is Hard (pron.github.io)
- 396Jane Street: Socratic Tutor (github.com)
- 180A live tree of systemd jobs on the boot console (codeberg.org)
- 26Researchers discover rare star system that emits radio signals every 8 minutes (curtin.edu.au)
- 1293Tim Peters has died (discuss.python.org)
- 49093% of paint splatters are valid Perl programs (2019) (mcmillen.dev)
- 274Critical RCE Vulnerability in Apache HTTP Server (wiz.io)
- 895AWS emulator (github.com)
- 196Anthropic IPO (ipo.anthropic.com)
- 68Making a €40 USB-C hub work as a Nintendo Switch 2 dock (blog.nozomi.space)
- 524A false smoke alarm almost drowned Jane Street's only NYC datacenter (michael.bacarella.com)
- 79I'm Working on a FOSS Linux Pinbal Simulation Engine (getlazarus.org)
- 478Gemini Decisions API (blog.google)
- 1145Nvidia is preparing to oust Jensen Huang (wsj.com)
- 4Show HN: Build a PC in 3D in the Browser (buildcores.com)
- 289Lock Your GitHub Actions (hugovk.dev)
- 592United Airlines bans AI agents from booking flights on behalf of travelers (cbsnews.com)
- 14Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017) (researchgate.net)
- 265Emacs in the Age of Magic (commandlinesystems.com)
- 53Show HN: Aircad – Professional drafting and 3D modeling in the browser (aircad.com)
- 34Legocam: My Lego webcam from 2000, working on a modern Mac (blog.benjamin.ie)
- 168The Utah Teapot (graphics.cs.utah.edu)
- 414Hyper-realistic sand with WebGL2 (av.github.io)
- 1011My AI agents found an unmapped Maya site? (pietromiotti.com)
- 120A general purpose Apple Silicon layer for x86-64 PCs (github.com)
- 220Faster Retrieval for Better, More Efficient RAG (machinelearning.apple.com)
- 266Show HN: Yogurt – Free, private, open-source alternative to Granola (github.com)
- 73Did Life Begin in an RNA World? (quantamagazine.org)
- 324Using voltage glitching to unleash the A100 in my mining card (blog.kate.land)
- 121Huawei releases MACaQ, its internal quantizer for local inference (github.com)