Hacker News

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