Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		213 points by vitalnodo 8 hours ago \| hide \| 43 comments
2.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		42 points by simonw 3 hours ago \| hide \| 22 comments
3.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		211 points by defrost 12 hours ago \| hide \| 137 comments
4.		Marko – A declarative, HTML‑based language (markojs.com)
		266 points by ulrischa 13 hours ago \| hide \| 124 comments
5.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		181 points by sadeshmukh 5 hours ago \| hide \| 30 comments
6.		Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
		14 points by aa_is_op 3 hours ago \| hide \| discuss
7.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		339 points by pseudolus 17 hours ago \| hide \| 172 comments
8.		Forth – is it still relevant? (github.com/chochain)
		15 points by lioeters 2 hours ago \| hide \| 5 comments
9.		Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com/ido-levi)
		33 points by idolevi 5 hours ago \| hide \| 1 comment
10.		Open-source communications by bouncing signals off the Moon (open.space)
		137 points by fortran77 11 hours ago \| hide \| 32 comments
11.		How Airbus Took Off (worksinprogress.co)
		40 points by JumpCrisscross 6 hours ago \| hide \| 22 comments
12.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		133 points by SchwKatze 12 hours ago \| hide \| 15 comments
13.		Runc breaks pods when CPU requests aren't multiples of 10 (github.com/opencontainers)
		10 points by dropbox_miner 3 hours ago \| hide \| 1 comment
14.		Study finds memory decline surge in young people (onepercentrule.substack.com)
		41 points by drcwpl 2 hours ago \| hide \| 7 comments
15.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		66 points by todsacerdoti 9 hours ago \| hide \| 1 comment
16.		Avería: The Average Font (2011) (iotic.com)
		154 points by JoshTriplett 12 hours ago \| hide \| 29 comments
17.		Show HN: Geofenced chat communities anyone can create (vicinity.social)
		27 points by clarencehoward 4 hours ago \| hide \| 19 comments
18.		Syntax and Semantics of Programming Languages (1995) (uiowa.edu)
		25 points by nill0 4 hours ago \| hide \| 14 comments
19.		How to build your own VPN, or: the history of WARP (cloudflare.com)
		33 points by yla92 7 hours ago \| hide \| 8 comments
20.		Grok 4 Fast now has 2M context window (x.ai)
		46 points by hereme888 3 hours ago \| hide \| 48 comments
21.		Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (sparktype.org)
		3 points by mattkevan 2 hours ago \| hide \| 1 comment
22.		WriterdeckOS (writerdeckos.com)
		168 points by surprisetalk 13 hours ago \| hide \| 98 comments
23.		IRIX Introduction (sgistuff.net)
		17 points by naves 6 hours ago \| hide \| 5 comments
24.		Visa and Mastercard near deal with merchants that would change rewards landscape (wsj.com)
		9 points by josephcsible 1 hour ago \| hide \| 4 comments
25.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		129 points by jtbayly 15 hours ago \| hide \| 28 comments
26.		Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
		125 points by p_ing 7 hours ago \| hide \| 37 comments
27.		Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
		20 points by n1sni 4 hours ago \| hide \| 2 comments
28.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		483 points by yehiaabdelm 1 day ago \| hide \| 199 comments
29.		What Hallucinogens Will Make You See (2023) (nautil.us)
		53 points by simonebrunozzi 10 hours ago \| hide \| 58 comments
30.		My first fifteen compilers (2019) (sigplan.org)
		58 points by azhenley 13 hours ago \| hide \| 4 comments
		More