Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		102 points by vitalnodo 2 hours ago \| hide \| 15 comments
2.		Marko – A declarative, HTML‑based language (markojs.com)
		196 points by ulrischa 7 hours ago \| hide \| 101 comments
3.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		106 points by defrost 6 hours ago \| hide \| 47 comments
4.		Judge says Education Dept partisan out-of-office emails violated First Amendment (npr.org)
		46 points by toomanyrichies 54 minutes ago \| hide \| 14 comments
5.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		297 points by pseudolus 11 hours ago \| hide \| 154 comments
6.		WriterdeckOS (writerdeckos.com)
		120 points by surprisetalk 7 hours ago \| hide \| 59 comments
7.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		26 points by todsacerdoti 3 hours ago \| hide \| discuss
8.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		93 points by SchwKatze 6 hours ago \| hide \| 3 comments
9.		Characterizing the American Upper Paleolithic (science.org)
		12 points by bikenaga 1 hour ago \| hide \| 1 comment
10.		Avería: The Average Font (2011) (iotic.com)
		119 points by JoshTriplett 6 hours ago \| hide \| 26 comments
11.		Open-source communications by bouncing signals off the Moon (open.space)
		50 points by fortran77 5 hours ago \| hide \| 13 comments
12.		IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
		169 points by pinkahd 3 hours ago \| hide \| 197 comments
13.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		116 points by jtbayly 9 hours ago \| hide \| 26 comments
14.		Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State] (goskagit.com)
		22 points by p_ing 1 hour ago \| hide \| 4 comments
15.		My first fifteen compilers (2019) (sigplan.org)
		42 points by azhenley 7 hours ago \| hide \| 3 comments
16.		He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC (hackster.io)
		16 points by HardwareLust 49 minutes ago \| hide \| 3 comments
17.		Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies (hollywoodreporter.com)
		11 points by Marshferm 3 hours ago \| hide \| 1 comment
18.		Humanity's Endgame (noemamag.com)
		11 points by marojejian 2 hours ago \| hide \| 1 comment
19.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		459 points by yehiaabdelm 1 day ago \| hide \| 188 comments
20.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		80 points by swatson741 11 hours ago \| hide \| 10 comments
21.		GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
		67 points by harambae 4 hours ago \| hide \| 27 comments
22.		Why is Zig so cool? (nilostolte.github.io)
		489 points by vitalnodo 1 day ago \| hide \| 428 comments
23.		Ticker: Don't die of heart disease (myticker.com)
		389 points by colelyman 10 hours ago \| hide \| 342 comments
24.		When a “feature” is worse than a bug (medium.com/egorich42)
		3 points by Egorich42 2 hours ago \| hide \| 1 comment
25.		OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex (github.com/openai)
		19 points by wahnfrieden 2 hours ago \| hide \| 9 comments
26.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		41 points by todsacerdoti 9 hours ago \| hide \| 6 comments
27.		Syntax and Semantics of Programming Languages (uiowa.edu)
		62 points by nill0 10 hours ago \| hide \| 5 comments
28.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		375 points by birdculture 1 day ago \| hide \| 168 comments
29.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		153 points by otrack 18 hours ago \| hide \| 46 comments
30.		52 Year old data tape could contain Unix history (theregister.com)
		153 points by rbanffy 9 hours ago \| hide \| 56 comments
		More