-
17
The Manuscripts of Edsger W. Dijkstra
(cs.utexas.edu)
-
18
Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem
(news.samsung.com)
-
56
Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology
(vejeta.com)
-
60
Visualize FastAPI endpoints with FastAPI-Voyager
(newsyeah.fun)
-
32
Montana Becomes First State to Enshrine 'Right to Compute' into Law
(montananewsroom.com)
-
57
Email verification protocol
(github.com)
-
23
Using bubblewrap to add sandboxing to NetBSD
(blog.netbsd.org)
-
18
Zensical – A modern static site generator built by the Material for MkDocs team
(squidfunk.github.io)
-
774
I Am Mark Zuckerberg
(iammarkzuckerberg.com)
-
310
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
-
97
Alive internet theory
(alivetheory.net)
-
19
About KeePassXC's Code Quality Control
(keepassxc.org)
-
111
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
(simonwillison.net)
-
43
The overengineered solution to my pigeon problem (2022)
(maxnagy.com)
-
318
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
-
9
How to get the GOT address from a PLT stub using GDB
(rafaelbeirigo.github.io)
-
69
Show HN: I built a self-hosted error tracker in Rails
(telebugs.com)
-
324
Marko – A declarative, HTML‑based language
(markojs.com)
-
81
Ask HN: How would you set up a child’s first Linux computer?
()
ask -
82
Forth – Is it still relevant?
(github.com)
-
6
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
(mensfeld.pl)
-
37
Toolkit to help you get started with Spec-Driven Development
(github.com)
-
378
Study identifies weaknesses in how AI systems are evaluated
(oii.ox.ac.uk)
-
208
Open-source communications by bouncing signals off the Moon
(open.space)
-
106
How Airbus took off
(worksinprogress.co)
-
74
Defeating KASLR by doing nothing at all
(googleprojectzero.blogspot.com)
-
21
Drax: Speech Recognition with Discrete Flow Matching
(huggingface.co)
-
274
Tabloid: The Clickbait Headline Programming Language
(tabloid.vercel.app)
-
171
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
-
206
Avería: The Average Font (2011)
(iotic.com)