- 145Why Writing Correct Software Is Hard (pron.github.io)
- 400Jane Street: Socratic Tutor (github.com)
- 185A live tree of systemd jobs on the boot console (codeberg.org)
- 28Researchers discover rare star system that emits radio signals every 8 minutes (curtin.edu.au)
- 1298Tim Peters has died (discuss.python.org)
- 49293% of paint splatters are valid Perl programs (2019) (mcmillen.dev)
- 274Critical RCE Vulnerability in Apache HTTP Server (wiz.io)
- 897AWS emulator (github.com)
- 71Making a €40 USB-C hub work as a Nintendo Switch 2 dock (blog.nozomi.space)
- 203Anthropic IPO (ipo.anthropic.com)
- 524A false smoke alarm almost drowned Jane Street's only NYC datacenter (michael.bacarella.com)
- 80I'm Working on a FOSS Linux Pinbal Simulation Engine (getlazarus.org)
- 481Gemini Decisions API (blog.google)
- 1148Nvidia is preparing to oust Jensen Huang (wsj.com)
- 7Show HN: Build a PC in 3D in the Browser (buildcores.com)
- 291Lock 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)
- 267Emacs 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)
- 170The Utah Teapot (graphics.cs.utah.edu)
- 416Hyper-realistic sand with WebGL2 (av.github.io)
- 1012My 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)
- 267Show HN: Yogurt – Free, private, open-source alternative to Granola (github.com)
- 324Using voltage glitching to unleash the A100 in my mining card (blog.kate.land)
- 73Did Life Begin in an RNA World? (quantamagazine.org)
- 122Huawei releases MACaQ, its internal quantizer for local inference (github.com)