Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		33 points by vitalnodo 55 minutes ago \| hide \| 4 comments
2.		Marko – A declarative, HTML‑based language (markojs.com)
		161 points by ulrischa 5 hours ago \| hide \| 82 comments
3.		IP Blocking the UK Is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)
		124 points by pinkahd 1 hour ago \| hide \| 107 comments
4.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		271 points by pseudolus 9 hours ago \| hide \| 147 comments
5.		WriterdeckOS (writerdeckos.com)
		97 points by surprisetalk 5 hours ago \| hide \| 50 comments
6.		Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
		52 points by defrost 4 hours ago \| hide \| 19 comments
7.		What Hallucinogens Will Make You See (nautil.us)
		30 points by simonebrunozzi 2 hours ago \| hide \| 21 comments
8.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		61 points by SchwKatze 4 hours ago \| hide \| 1 comment
9.		Avería: The Average Font (2011) (iotic.com)
		87 points by JoshTriplett 4 hours ago \| hide \| 18 comments
10.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		8 points by todsacerdoti 1 hour ago \| hide \| discuss
11.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		108 points by jtbayly 7 hours ago \| hide \| 25 comments
12.		Open-source communications by bouncing signals off the Moon (open.space)
		28 points by fortran77 3 hours ago \| hide \| 7 comments
13.		My first fifteen compilers (2019) (sigplan.org)
		36 points by azhenley 5 hours ago \| hide \| 2 comments
14.		GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
		12 points by harambae 2 hours ago \| hide \| 2 comments
15.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		78 points by swatson741 9 hours ago \| hide \| 9 comments
16.		How to declutter, quiet down, and take the AI out of Windows 11 25H2 (arstechnica.com)
		35 points by mariuz 2 hours ago \| hide \| 26 comments
17.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		453 points by yehiaabdelm 23 hours ago \| hide \| 185 comments
18.		Ticker: Don't die of heart disease (myticker.com)
		341 points by colelyman 9 hours ago \| hide \| 289 comments
19.		Why is Zig so cool? (nilostolte.github.io)
		484 points by vitalnodo 1 day ago \| hide \| 422 comments
20.		Syntax and Semantics of Programming Languages (uiowa.edu)
		58 points by nill0 8 hours ago \| hide \| 2 comments
21.		52 Year old data tape could contain Unix history (theregister.com)
		137 points by rbanffy 7 hours ago \| hide \| 49 comments
22.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		369 points by birdculture 1 day ago \| hide \| 166 comments
23.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		146 points by otrack 16 hours ago \| hide \| 43 comments
24.		Cekura (YC F24) Is Hiring
		11 hours ago \| hide
25.		Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
		59 points by arnon 13 hours ago \| hide \| 5 comments
26.		How did I get here? (how-did-i-get-here.net)
		323 points by zachlatta 1 day ago \| hide \| 57 comments
27.		I Want You to Understand Chicago (aphyr.com)
		425 points by tonyg 4 hours ago \| hide \| 178 comments
28.		Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
		164 points by vermaden 23 hours ago \| hide \| 44 comments
29.		US Air Traffic Controllers Start Resigning as Shutdown Bites (thedailybeast.com)
		82 points by throw0101a 52 minutes ago \| hide \| 104 comments
30.		Friendly attributes pattern in Ruby (brunosutic.com)
		92 points by brunosutic 17 hours ago \| hide \| 68 comments
		More