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