Hacker News

1.		The Manuscripts of Edsger W. Dijkstra (utexas.edu)
		21 points by nathan-barry 31 minutes ago \| hide \| 2 comments
2.		Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem (samsung.com)
		22 points by janandonly 40 minutes ago \| hide \| 13 comments
3.		Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology (vejeta.com)
		56 points by mwheeler 3 hours ago \| hide \| 14 comments
4.		Visualize FastAPI endpoints with FastAPI-Voyager (newsyeah.fun)
		61 points by tank-34 3 hours ago \| hide \| 11 comments
5.		Montana Becomes First State to Enshrine 'Right to Compute' into Law (montananewsroom.com)
		33 points by bilsbie 2 hours ago \| hide \| 23 comments
6.		Email verification protocol (github.com/wicg)
		58 points by sgoto 4 hours ago \| hide \| 30 comments
7.		Using bubblewrap to add sandboxing to NetBSD (netbsd.org)
		25 points by jaypatelani 2 hours ago \| hide \| 2 comments
8.		Zensical – A modern static site generator built by the Material for MkDocs team (squidfunk.github.io)
		19 points by japhyr 3 hours ago \| hide \| discuss
9.		I Am Mark Zuckerberg (iammarkzuckerberg.com)
		776 points by jb1991 9 hours ago \| hide \| 277 comments
10.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		311 points by vitalnodo 16 hours ago \| hide \| 88 comments
11.		Alive internet theory (alivetheory.net)
		98 points by manbitesdog 3 hours ago \| hide \| 38 comments
12.		About KeePassXC's Code Quality Control (keepassxc.org)
		23 points by haakon 1 hour ago \| hide \| 1 comment
13.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		113 points by simonw 11 hours ago \| hide \| 52 comments
14.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		320 points by defrost 20 hours ago \| hide \| 215 comments
15.		The overengineered solution to my pigeon problem (2022) (maxnagy.com)
		44 points by cyb0rg0 6 hours ago \| hide \| 28 comments
16.		How to get the GOT address from a PLT stub using GDB (rafaelbeirigo.github.io)
		9 points by rafaelbeirigo 3 hours ago \| hide \| 1 comment
17.		Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
		69 points by kyrylo 8 hours ago \| hide \| 39 comments
18.		Marko – A declarative, HTML‑based language (markojs.com)
		325 points by ulrischa 21 hours ago \| hide \| 157 comments
19.		Ask HN: How would you set up a child’s first Linux computer?
		82 points by evolve2k 4 hours ago \| hide \| 113 comments
20.		Forth – Is it still relevant? (github.com/chochain)
		82 points by lioeters 10 hours ago \| hide \| 52 comments
21.		When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug (mensfeld.pl)
		6 points by phmx 2 hours ago \| hide \| 1 comment
22.		Toolkit to help you get started with Spec-Driven Development (github.com/github)
		37 points by mooreds 7 hours ago \| hide \| 15 comments
23.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		379 points by pseudolus 1 day ago \| hide \| 179 comments
24.		Open-source communications by bouncing signals off the Moon (open.space)
		208 points by fortran77 19 hours ago \| hide \| 57 comments
25.		How Airbus took off (worksinprogress.co)
		106 points by JumpCrisscross 14 hours ago \| hide \| 98 comments
26.		Defeating KASLR by doing nothing at all (googleprojectzero.blogspot.com)
		74 points by aa_is_op 11 hours ago \| hide \| 7 comments
27.		Drax: Speech Recognition with Discrete Flow Matching (huggingface.co)
		22 points by cliffly 2 hours ago \| hide \| discuss
28.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		274 points by sadeshmukh 13 hours ago \| hide \| 38 comments
29.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		171 points by SchwKatze 20 hours ago \| hide \| 29 comments
30.		Avería: The Average Font (2011) (iotic.com)
		207 points by JoshTriplett 20 hours ago \| hide \| 36 comments
		More