Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		60 points by vitalnodo 1 hour ago \| hide \| 7 comments
2.		Marko – A declarative, HTML‑based language (markojs.com)
		177 points by ulrischa 6 hours ago \| hide \| 92 comments
3.		WriterdeckOS (writerdeckos.com)
		109 points by surprisetalk 5 hours ago \| hide \| 53 comments
4.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		284 points by pseudolus 10 hours ago \| hide \| 150 comments
5.		Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
		66 points by defrost 4 hours ago \| hide \| 26 comments
6.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		75 points by SchwKatze 5 hours ago \| hide \| 2 comments
7.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		15 points by todsacerdoti 2 hours ago \| hide \| discuss
8.		What Hallucinogens Will Make You See (2023) (nautil.us)
		43 points by simonebrunozzi 3 hours ago \| hide \| 37 comments
9.		Avería: The Average Font (2011) (iotic.com)
		102 points by JoshTriplett 5 hours ago \| hide \| 20 comments
10.		Characterizing the American Upper Paleolithic (science.org)
		3 points by bikenaga 30 minutes ago \| hide \| 1 comment
11.		Open-source communications by bouncing signals off the Moon (open.space)
		36 points by fortran77 4 hours ago \| hide \| 13 comments
12.		GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
		29 points by harambae 3 hours ago \| hide \| 13 comments
13.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		110 points by jtbayly 8 hours ago \| hide \| 26 comments
14.		IP Blocking the UK Is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)
		150 points by pinkahd 2 hours ago \| hide \| 151 comments
15.		My first fifteen compilers (2019) (sigplan.org)
		39 points by azhenley 5 hours ago \| hide \| 3 comments
16.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		79 points by swatson741 9 hours ago \| hide \| 9 comments
17.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		455 points by yehiaabdelm 1 day ago \| hide \| 186 comments
18.		Ticker: Don't die of heart disease (myticker.com)
		364 points by colelyman 9 hours ago \| hide \| 311 comments
19.		Why is Zig so cool? (nilostolte.github.io)
		487 points by vitalnodo 1 day ago \| hide \| 424 comments
20.		How to declutter, quiet down, and take the AI out of Windows 11 25H2 (arstechnica.com)
		47 points by mariuz 3 hours ago \| hide \| 32 comments
21.		Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies (hollywoodreporter.com)
		3 points by Marshferm 2 hours ago \| hide \| 1 comment
22.		Syntax and Semantics of Programming Languages (uiowa.edu)
		58 points by nill0 9 hours ago \| hide \| 2 comments
23.		OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex (github.com/openai)
		4 points by wahnfrieden 56 minutes ago \| hide \| 1 comment
24.		Cekura (YC F24) Is Hiring
		12 hours ago \| hide
25.		Opencloud – an alternative to Nextcloud written in Go (github.com/opencloud-eu)
		26 points by todsacerdoti 8 hours ago \| hide \| 3 comments
26.		52 Year old data tape could contain Unix history (theregister.com)
		142 points by rbanffy 8 hours ago \| hide \| 54 comments
27.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		374 points by birdculture 1 day ago \| hide \| 166 comments
28.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		150 points by otrack 17 hours ago \| hide \| 46 comments
29.		How did I get here? (how-did-i-get-here.net)
		332 points by zachlatta 1 day ago \| hide \| 57 comments
30.		Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
		63 points by arnon 14 hours ago \| hide \| 6 comments
		More