Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		284 points by vitalnodo 12 hours ago \| hide \| 69 comments
2.		I Am Mark Zuckerberg (iammarkzuckerberg.com)
		435 points by jb1991 5 hours ago \| hide \| 147 comments
3.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		82 points by simonw 7 hours ago \| hide \| 39 comments
4.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		252 points by defrost 16 hours ago \| hide \| 180 comments
5.		Marko – A declarative, HTML‑based language (markojs.com)
		303 points by ulrischa 17 hours ago \| hide \| 141 comments
6.		Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
		34 points by kyrylo 4 hours ago \| hide \| 18 comments
7.		Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
		47 points by aa_is_op 7 hours ago \| hide \| 3 comments
8.		Forth – is it still relevant? (github.com/chochain)
		50 points by lioeters 6 hours ago \| hide \| 31 comments
9.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		362 points by pseudolus 21 hours ago \| hide \| 177 comments
10.		Open-source communications by bouncing signals off the Moon (open.space)
		178 points by fortran77 15 hours ago \| hide \| 45 comments
11.		Toolkit to help you get started with Spec-Driven Development (github.com/github)
		12 points by mooreds 3 hours ago \| hide \| 2 comments
12.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		232 points by sadeshmukh 9 hours ago \| hide \| 36 comments
13.		The overengineered Solution to my Pigeon Problem (maxnagy.com)
		4 points by cyb0rg0 2 hours ago \| hide \| 3 comments
14.		Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com/ido-levi)
		47 points by idolevi 9 hours ago \| hide \| 5 comments
15.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		153 points by SchwKatze 16 hours ago \| hide \| 25 comments
16.		Avería: The Average Font (2011) (iotic.com)
		177 points by JoshTriplett 16 hours ago \| hide \| 31 comments
17.		Study finds memory decline surge in young people (onepercentrule.substack.com)
		97 points by drcwpl 6 hours ago \| hide \| 46 comments
18.		How to build your own VPN, or: the history of WARP (cloudflare.com)
		56 points by yla92 11 hours ago \| hide \| 13 comments
19.		Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (sparktype.org)
		15 points by mattkevan 6 hours ago \| hide \| 3 comments
20.		Why is Zig so cool? (nilostolte.github.io)
		522 points by vitalnodo 1 day ago \| hide \| 463 comments
21.		Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
		45 points by n1sni 8 hours ago \| hide \| 5 comments
22.		Grok 4 Fast now has 2M context window (x.ai)
		100 points by hereme888 7 hours ago \| hide \| 173 comments
23.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		68 points by todsacerdoti 13 hours ago \| hide \| 3 comments
24.		IRIX Introduction (sgistuff.net)
		37 points by naves 10 hours ago \| hide \| 17 comments
25.		How Airbus Took Off (worksinprogress.co)
		76 points by JumpCrisscross 10 hours ago \| hide \| 63 comments
26.		Syntax and Semantics of Programming Languages (1995) (uiowa.edu)
		34 points by nill0 8 hours ago \| hide \| 19 comments
27.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		125 points by todsacerdoti 19 hours ago \| hide \| 41 comments
28.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		496 points by yehiaabdelm 1 day ago \| hide \| 201 comments
29.		Show HN: Geofenced chat communities anyone can create (vicinity.social)
		38 points by clarencehoward 8 hours ago \| hide \| 31 comments
30.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		140 points by jtbayly 19 hours ago \| hide \| 30 comments
		More