Hacker News

1.		The Manuscripts of Edsger W. Dijkstra (utexas.edu)
		84 points by nathan-barry 2 hours ago \| hide \| 18 comments
2.		Montana Becomes First State to Enshrine 'Right to Compute' into Law (montananewsroom.com)
		120 points by bilsbie 4 hours ago \| hide \| 58 comments
3.		Marble Fountain (willmorrison.net)
		22 points by chris_overseas 1 hour ago \| hide \| discuss
4.		Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem (samsung.com)
		214 points by janandonly 2 hours ago \| hide \| 194 comments
5.		The Principles of Diffusion Models (arxiv.org)
		27 points by Anon84 1 hour ago \| hide \| 2 comments
6.		AI isn't replacing jobs. AI spending is (fastcompany.com)
		215 points by felineflock 2 hours ago \| hide \| 79 comments
7.		Bumble Berry Pi – A Cheap DIY Raspberry Pi Handheld Cyberdeck (github.com/samcervantes)
		18 points by MakerSam 1 hour ago \| hide \| 2 comments
8.		Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology (vejeta.com)
		83 points by mwheeler 5 hours ago \| hide \| 28 comments
9.		Zensical – A modern static site generator built by the Material for MkDocs team (squidfunk.github.io)
		57 points by japhyr 5 hours ago \| hide \| 10 comments
10.		Visualize FastAPI endpoints with FastAPI-Voyager (newsyeah.fun)
		79 points by tank-34 5 hours ago \| hide \| 12 comments
11.		When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug (mensfeld.pl)
		37 points by phmx 4 hours ago \| hide \| 9 comments
12.		Using bubblewrap to add sandboxing to NetBSD (netbsd.org)
		42 points by jaypatelani 4 hours ago \| hide \| 8 comments
13.		Email verification protocol (github.com/wicg)
		81 points by sgoto 6 hours ago \| hide \| 50 comments
14.		I Am Mark Zuckerberg (iammarkzuckerberg.com)
		896 points by jb1991 11 hours ago \| hide \| 329 comments
15.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		324 points by vitalnodo 18 hours ago \| hide \| 92 comments
16.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		123 points by simonw 13 hours ago \| hide \| 58 comments
17.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		339 points by defrost 22 hours ago \| hide \| 236 comments
18.		About KeePassXC's Code Quality Control (keepassxc.org)
		66 points by haakon 3 hours ago \| hide \| 14 comments
19.		Knowledge Insulating Vision-Language-Action Models: Train, Run Fast, Generalize [pdf] (physicalintelligence.company)
		3 points by arunc 1 hour ago \| hide \| discuss
20.		Ask HN: How do you get over the fear of sharing code?
		6 points by sodokuwizard 42 minutes ago \| hide \| 7 comments
21.		Alive internet theory (alivetheory.net)
		113 points by manbitesdog 5 hours ago \| hide \| 47 comments
22.		The overengineered solution to my pigeon problem (2022) (maxnagy.com)
		53 points by cyb0rg0 8 hours ago \| hide \| 37 comments
23.		Ask HN: How would you set up a child’s first Linux computer?
		109 points by evolve2k 6 hours ago \| hide \| 149 comments
24.		Bull markets make you feel smarter than you are (awealthofcommonsense.com)
		13 points by raw_anon_1111 1 hour ago \| hide \| discuss
25.		How to get the GOT address from a PLT stub using GDB (rafaelbeirigo.github.io)
		14 points by rafaelbeirigo 5 hours ago \| hide \| 2 comments
26.		Marko – A declarative, HTML‑based language (markojs.com)
		333 points by ulrischa 23 hours ago \| hide \| 161 comments
27.		Toolkit to help you get started with Spec-Driven Development (github.com/github)
		54 points by mooreds 9 hours ago \| hide \| 25 comments
28.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		390 points by pseudolus 1 day ago \| hide \| 183 comments
29.		Open-source communications by bouncing signals off the Moon (open.space)
		227 points by fortran77 21 hours ago \| hide \| 62 comments
30.		How Airbus took off (worksinprogress.co)
		123 points by JumpCrisscross 16 hours ago \| hide \| 110 comments
		More