Hacker News

1.		Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem (samsung.com)
		140 points by janandonly 1 hour ago \| hide \| 112 comments
2.		The Manuscripts of Edsger W. Dijkstra (utexas.edu)
		51 points by nathan-barry 1 hour ago \| hide \| 7 comments
3.		Montana Becomes First State to Enshrine 'Right to Compute' into Law (montananewsroom.com)
		79 points by bilsbie 3 hours ago \| hide \| 44 comments
4.		AI isn't replacing jobs. AI spending is (fastcompany.com)
		110 points by felineflock 1 hour ago \| hide \| 24 comments
5.		Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology (vejeta.com)
		72 points by mwheeler 4 hours ago \| hide \| 20 comments
6.		Visualize FastAPI endpoints with FastAPI-Voyager (newsyeah.fun)
		68 points by tank-34 4 hours ago \| hide \| 12 comments
7.		Zensical – A modern static site generator built by the Material for MkDocs team (squidfunk.github.io)
		44 points by japhyr 4 hours ago \| hide \| 5 comments
8.		Email verification protocol (github.com/wicg)
		73 points by sgoto 5 hours ago \| hide \| 43 comments
9.		Using bubblewrap to add sandboxing to NetBSD (netbsd.org)
		33 points by jaypatelani 3 hours ago \| hide \| 5 comments
10.		When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug (mensfeld.pl)
		24 points by phmx 3 hours ago \| hide \| 3 comments
11.		The Principles of Diffusion Models (arxiv.org)
		3 points by Anon84 49 minutes ago \| hide \| discuss
12.		I Am Mark Zuckerberg (iammarkzuckerberg.com)
		844 points by jb1991 10 hours ago \| hide \| 310 comments
13.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		321 points by vitalnodo 17 hours ago \| hide \| 89 comments
14.		About KeePassXC's Code Quality Control (keepassxc.org)
		49 points by haakon 2 hours ago \| hide \| 7 comments
15.		Alive internet theory (alivetheory.net)
		110 points by manbitesdog 4 hours ago \| hide \| 45 comments
16.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		119 points by simonw 12 hours ago \| hide \| 58 comments
17.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		332 points by defrost 21 hours ago \| hide \| 226 comments
18.		ChatGPT knows my IP geolocation (hermandaniel.com)
		11 points by kekqqq 3 hours ago \| hide \| 7 comments
19.		The overengineered solution to my pigeon problem (2022) (maxnagy.com)
		49 points by cyb0rg0 7 hours ago \| hide \| 34 comments
20.		How to get the GOT address from a PLT stub using GDB (rafaelbeirigo.github.io)
		11 points by rafaelbeirigo 4 hours ago \| hide \| 2 comments
21.		Ask HN: How would you set up a child’s first Linux computer?
		95 points by evolve2k 5 hours ago \| hide \| 132 comments
22.		Marko – A declarative, HTML‑based language (markojs.com)
		326 points by ulrischa 22 hours ago \| hide \| 157 comments
23.		Genetically Engineered Babies Are Banned. Tech Titans Are Trying to Make One (wsj.com)
		17 points by nradov 2 hours ago \| hide \| 9 comments
24.		Toolkit to help you get started with Spec-Driven Development (github.com/github)
		46 points by mooreds 8 hours ago \| hide \| 20 comments
25.		Open-source communications by bouncing signals off the Moon (open.space)
		220 points by fortran77 20 hours ago \| hide \| 61 comments
26.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		383 points by pseudolus 1 day ago \| hide \| 181 comments
27.		Ask HN: I underestimated how lonely building solo can be
		9 points by paulwilsonn 1 hour ago \| hide \| 11 comments
28.		Drax: Speech Recognition with Discrete Flow Matching (huggingface.co)
		39 points by cliffly 3 hours ago \| hide \| discuss
29.		How Airbus took off (worksinprogress.co)
		116 points by JumpCrisscross 15 hours ago \| hide \| 103 comments
30.		Defeating KASLR by doing nothing at all (googleprojectzero.blogspot.com)
		79 points by aa_is_op 12 hours ago \| hide \| 7 comments
		More