Hacker News

1.		Visualize FastAPI endpoints with FastAPI-Voyager (newsyeah.fun)
		44 points by tank-34 2 hours ago \| hide \| 8 comments
2.		Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology (vejeta.com)
		34 points by mwheeler 2 hours ago \| hide \| 9 comments
3.		Email verification protocol (github.com/wicg)
		35 points by sgoto 3 hours ago \| hide \| 15 comments
4.		Alive internet theory (alivetheory.net)
		81 points by manbitesdog 2 hours ago \| hide \| 34 comments
5.		I Am Mark Zuckerberg (iammarkzuckerberg.com)
		694 points by jb1991 8 hours ago \| hide \| 240 comments
6.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		307 points by vitalnodo 15 hours ago \| hide \| 87 comments
7.		Ask HN: How would you set up a child’s first Linux computer?
		58 points by evolve2k 3 hours ago \| hide \| 85 comments
8.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		104 points by simonw 10 hours ago \| hide \| 51 comments
9.		Using bubblewrap to add sandboxing to NetBSD (netbsd.org)
		4 points by jaypatelani 1 hour ago \| hide \| discuss
10.		The overengineered solution to my pigeon problem (2022) (maxnagy.com)
		35 points by cyb0rg0 5 hours ago \| hide \| 23 comments
11.		Show HN: Pipeflow-PHP – Automate anything with pipelines even non-devs can edit (github.com/marcosiino)
		14 points by marcosiino 1 hour ago \| hide \| 3 comments
12.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		308 points by defrost 19 hours ago \| hide \| 204 comments
13.		Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
		63 points by kyrylo 7 hours ago \| hide \| 34 comments
14.		Marko – A declarative, HTML‑based language (markojs.com)
		319 points by ulrischa 20 hours ago \| hide \| 153 comments
15.		Drax: Speech Recognition with Discrete Flow Matching (huggingface.co)
		17 points by cliffly 1 hour ago \| hide \| discuss
16.		Toolkit to help you get started with Spec-Driven Development (github.com/github)
		34 points by mooreds 6 hours ago \| hide \| 13 comments
17.		Montana Becomes First State to Enshrine 'Right to Compute' into Law (montananewsroom.com)
		6 points by bilsbie 1 hour ago \| hide \| 2 comments
18.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		371 points by pseudolus 1 day ago \| hide \| 178 comments
19.		How Airbus took off (worksinprogress.co)
		105 points by JumpCrisscross 13 hours ago \| hide \| 91 comments
20.		Defeating KASLR by doing nothing at all (googleprojectzero.blogspot.com)
		66 points by aa_is_op 10 hours ago \| hide \| 5 comments
21.		Forth – Is it still relevant? (github.com/chochain)
		74 points by lioeters 9 hours ago \| hide \| 45 comments
22.		Open-source communications by bouncing signals off the Moon (open.space)
		204 points by fortran77 18 hours ago \| hide \| 57 comments
23.		Zensical – A modern static site generator built by the Material for MkDocs team (squidfunk.github.io)
		3 points by japhyr 2 hours ago \| hide \| discuss
24.		How to get the GOT address from a PLT stub using GDB (rafaelbeirigo.github.io)
		3 points by rafaelbeirigo 2 hours ago \| hide \| discuss
25.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		262 points by sadeshmukh 12 hours ago \| hide \| 37 comments
26.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		165 points by SchwKatze 19 hours ago \| hide \| 28 comments
27.		Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com/ido-levi)
		60 points by idolevi 12 hours ago \| hide \| 9 comments
28.		Avería: The Average Font (2011) (iotic.com)
		196 points by JoshTriplett 19 hours ago \| hide \| 33 comments
29.		Study finds memory decline surge in young people (onepercentrule.substack.com)
		145 points by drcwpl 9 hours ago \| hide \| 77 comments
30.		Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (sparktype.org)
		27 points by mattkevan 9 hours ago \| hide \| 4 comments
		More