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