Hacker News

1.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		137 points by sadeshmukh 4 hours ago \| hide \| 22 comments
2.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		196 points by vitalnodo 7 hours ago \| hide \| 40 comments
3.		Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
		29 points by simonw 2 hours ago \| hide \| 13 comments
4.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		194 points by defrost 11 hours ago \| hide \| 119 comments
5.		Marko – A declarative, HTML‑based language (markojs.com)
		251 points by ulrischa 12 hours ago \| hide \| 121 comments
6.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		332 points by pseudolus 16 hours ago \| hide \| 169 comments
7.		Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com/ido-levi)
		23 points by idolevi 4 hours ago \| hide \| 1 comment
8.		Open-source communications by bouncing signals off the Moon (open.space)
		117 points by fortran77 10 hours ago \| hide \| 29 comments
9.		Syntax and Semantics of Programming Languages (1995) (uiowa.edu)
		22 points by nill0 3 hours ago \| hide \| 14 comments
10.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		124 points by SchwKatze 11 hours ago \| hide \| 11 comments
11.		WriterdeckOS (writerdeckos.com)
		162 points by surprisetalk 12 hours ago \| hide \| 86 comments
12.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		60 points by todsacerdoti 8 hours ago \| hide \| discuss
13.		Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
		5 points by aa_is_op 2 hours ago \| hide \| discuss
14.		Avería: The Average Font (2011) (iotic.com)
		150 points by JoshTriplett 11 hours ago \| hide \| 29 comments
15.		How Airbus Took Off (worksinprogress.co)
		24 points by JumpCrisscross 5 hours ago \| hide \| 10 comments
16.		Show HN: Geofenced chat communities anyone can create (vicinity.social)
		18 points by clarencehoward 3 hours ago \| hide \| 11 comments
17.		How to build your own VPN, or: the history of WARP (cloudflare.com)
		26 points by yla92 6 hours ago \| hide \| 6 comments
18.		IRIX Introduction (sgistuff.net)
		15 points by naves 5 hours ago \| hide \| 3 comments
19.		Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
		110 points by p_ing 6 hours ago \| hide \| 31 comments
20.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		127 points by jtbayly 14 hours ago \| hide \| 27 comments
21.		Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
		15 points by n1sni 3 hours ago \| hide \| 2 comments
22.		My first fifteen compilers (2019) (sigplan.org)
		54 points by azhenley 12 hours ago \| hide \| 4 comments
23.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		480 points by yehiaabdelm 1 day ago \| hide \| 198 comments
24.		Why is Zig so cool? (nilostolte.github.io)
		506 points by vitalnodo 1 day ago \| hide \| 446 comments
25.		IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
		233 points by pinkahd 8 hours ago \| hide \| 282 comments
26.		He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC (hackster.io)
		68 points by HardwareLust 5 hours ago \| hide \| 8 comments
27.		Humanity's Endgame (noemamag.com)
		30 points by marojejian 7 hours ago \| hide \| 18 comments
28.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		83 points by todsacerdoti 14 hours ago \| hide \| 18 comments
29.		Ticker: Don't die of heart disease (myticker.com)
		473 points by colelyman 15 hours ago \| hide \| 384 comments
30.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		88 points by swatson741 16 hours ago \| hide \| 11 comments
		More