Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		131 points by vitalnodo 3 hours ago \| hide \| 21 comments
2.		Marko – A declarative, HTML‑based language (markojs.com)
		216 points by ulrischa 8 hours ago \| hide \| 107 comments
3.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		132 points by defrost 7 hours ago \| hide \| 69 comments
4.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		311 points by pseudolus 12 hours ago \| hide \| 156 comments
5.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		42 points by todsacerdoti 4 hours ago \| hide \| discuss
6.		WriterdeckOS (writerdeckos.com)
		130 points by surprisetalk 8 hours ago \| hide \| 67 comments
7.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		103 points by SchwKatze 7 hours ago \| hide \| 3 comments
8.		Open-source communications by bouncing signals off the Moon (open.space)
		62 points by fortran77 6 hours ago \| hide \| 14 comments
9.		Avería: The Average Font (2011) (iotic.com)
		127 points by JoshTriplett 7 hours ago \| hide \| 27 comments
10.		IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
		185 points by pinkahd 4 hours ago \| hide \| 211 comments
11.		He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC (hackster.io)
		31 points by HardwareLust 1 hour ago \| hide \| 3 comments
12.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		119 points by jtbayly 10 hours ago \| hide \| 27 comments
13.		Judge says Education Dept partisan out-of-office emails violated First Amendment (npr.org)
		89 points by toomanyrichies 1 hour ago \| hide \| 57 comments
14.		My first fifteen compilers (2019) (sigplan.org)
		45 points by azhenley 8 hours ago \| hide \| 3 comments
15.		When a “feature” is worse than a bug (medium.com/egorich42)
		8 points by Egorich42 3 hours ago \| hide \| 2 comments
16.		Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State] (goskagit.com)
		33 points by p_ing 2 hours ago \| hide \| 8 comments
17.		Humanity's Endgame (noemamag.com)
		14 points by marojejian 3 hours ago \| hide \| 6 comments
18.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		464 points by yehiaabdelm 1 day ago \| hide \| 190 comments
19.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		82 points by swatson741 12 hours ago \| hide \| 10 comments
20.		Why is Zig so cool? (nilostolte.github.io)
		493 points by vitalnodo 1 day ago \| hide \| 431 comments
21.		Ticker: Don't die of heart disease (myticker.com)
		401 points by colelyman 11 hours ago \| hide \| 360 comments
22.		Judge denies request to exempt Flock footage from Public Records Act (heraldnet.com)
		23 points by ourmandave 2 hours ago \| hide \| 4 comments
23.		GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
		75 points by harambae 5 hours ago \| hide \| 32 comments
24.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		48 points by todsacerdoti 10 hours ago \| hide \| 7 comments
25.		Syntax and Semantics of Programming Languages (uiowa.edu)
		65 points by nill0 11 hours ago \| hide \| 5 comments
26.		OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex (github.com/openai)
		25 points by wahnfrieden 3 hours ago \| hide \| 16 comments
27.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		381 points by birdculture 1 day ago \| hide \| 168 comments
28.		PostgreSQL deserves better than libpq (twitter.com/tildeslash_)
		7 points by sovande 1 hour ago \| hide \| discuss
29.		How did I get here? (how-did-i-get-here.net)
		343 points by zachlatta 1 day ago \| hide \| 58 comments
30.		52 Year old data tape could contain Unix history (theregister.com)
		161 points by rbanffy 10 hours ago \| hide \| 60 comments
		More