Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		147 points by vitalnodo 4 hours ago \| hide \| 24 comments
2.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		31 points by sadeshmukh 1 hour ago \| hide \| 8 comments
3.		Marko – A declarative, HTML‑based language (markojs.com)
		230 points by ulrischa 9 hours ago \| hide \| 111 comments
4.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		151 points by defrost 8 hours ago \| hide \| 88 comments
5.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		319 points by pseudolus 13 hours ago \| hide \| 161 comments
6.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		50 points by todsacerdoti 5 hours ago \| hide \| discuss
7.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		111 points by SchwKatze 8 hours ago \| hide \| 3 comments
8.		WriterdeckOS (writerdeckos.com)
		140 points by surprisetalk 9 hours ago \| hide \| 76 comments
9.		Syntax and Semantics of Programming Languages (1995) (uiowa.edu)
		6 points by nill0 43 minutes ago \| hide \| 10 comments
10.		Open-source communications by bouncing signals off the Moon (open.space)
		80 points by fortran77 7 hours ago \| hide \| 17 comments
11.		Avería: The Average Font (2011) (iotic.com)
		134 points by JoshTriplett 8 hours ago \| hide \| 29 comments
12.		IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
		205 points by pinkahd 5 hours ago \| hide \| 230 comments
13.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		122 points by jtbayly 11 hours ago \| hide \| 27 comments
14.		He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC (hackster.io)
		45 points by HardwareLust 2 hours ago \| hide \| 6 comments
15.		Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
		56 points by p_ing 3 hours ago \| hide \| 15 comments
16.		When a “feature” is worse than a bug (medium.com/egorich42)
		13 points by Egorich42 4 hours ago \| hide \| 6 comments
17.		My first fifteen compilers (2019) (sigplan.org)
		48 points by azhenley 9 hours ago \| hide \| 3 comments
18.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		468 points by yehiaabdelm 1 day ago \| hide \| 196 comments
19.		How to build your own VPN, or: the history of WARP (cloudflare.com)
		8 points by yla92 3 hours ago \| hide \| discuss
20.		Why is Zig so cool? (nilostolte.github.io)
		495 points by vitalnodo 1 day ago \| hide \| 435 comments
21.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		82 points by swatson741 13 hours ago \| hide \| 10 comments
22.		GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
		93 points by harambae 6 hours ago \| hide \| 39 comments
23.		Ticker: Don't die of heart disease (myticker.com)
		421 points by colelyman 13 hours ago \| hide \| 371 comments
24.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		53 points by todsacerdoti 11 hours ago \| hide \| 9 comments
25.		Humanity's Endgame (noemamag.com)
		17 points by marojejian 4 hours ago \| hide \| 10 comments
26.		How did I get here? (how-did-i-get-here.net)
		350 points by zachlatta 1 day ago \| hide \| 60 comments
27.		GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex (github.com/openai)
		29 points by wahnfrieden 4 hours ago \| hide \| 21 comments
28.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		160 points by otrack 20 hours ago \| hide \| 47 comments
29.		Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
		175 points by vermaden 1 day ago \| hide \| 44 comments
30.		Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
		66 points by arnon 17 hours ago \| hide \| 7 comments
		More