- 152Why Writing Correct Software Is Hard (pron.github.io)
- 91NVIDIA Announces CEO Transition (nvidianews.nvidia.com)
- 417Jane Street: Socratic Tutor (github.com)
- 194A live tree of systemd jobs on the boot console (codeberg.org)
- 32Researchers discover rare star system that emits radio signals every 8 minutes (curtin.edu.au)
- 1300Tim Peters has died (discuss.python.org)
- 49793% of paint splatters are valid Perl programs (2019) (mcmillen.dev)
- 282Critical RCE Vulnerability in Apache HTTP Server (wiz.io)
- 899AWS emulator (github.com)
- 213Anthropic IPO (ipo.anthropic.com)
- 74Making a €40 USB-C hub work as a Nintendo Switch 2 dock (blog.nozomi.space)
- 525A false smoke alarm almost drowned Jane Street's only NYC datacenter (michael.bacarella.com)
- 82I'm Working on a FOSS Linux Pinbal Simulation Engine (getlazarus.org)
- 486Gemini Decisions API (blog.google)
- 1153Nvidia is preparing to oust Jensen Huang (wsj.com)
- 8Show HN: Build a PC in 3D in the Browser (buildcores.com)
- 293Lock Your GitHub Actions (hugovk.dev)
- 594United 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)
- 171The Utah Teapot (graphics.cs.utah.edu)
- 56Show HN: Aircad – Professional drafting and 3D modeling in the browser (aircad.com)
- 35Legocam: My Lego webcam from 2000, working on a modern Mac (blog.benjamin.ie)
- 418Hyper-realistic sand with WebGL2 (av.github.io)
- 1012My AI agents found an unmapped Maya site? (pietromiotti.com)
- 123A general purpose Apple Silicon layer for x86-64 PCs (github.com)
- 7Jensen Huang resigns as Nvidia CEO immediately (reuters.com)
- 326Using voltage glitching to unleash the A100 in my mining card (blog.kate.land)
- 221Faster Retrieval for Better, More Efficient RAG (machinelearning.apple.com)
- 268Show HN: Yogurt – Free, private, open-source alternative to Granola (github.com)