Hacker Next
1
Ironclad – formally verified, real-time capable, Unix-like OS kernelironclad-os.org
129 points by vitalnodo 4 hours ago | 21 comments
2
Marko – A declarative, HTML‑based languagemarkojs.com
216 points by ulrischa 8 hours ago | 107 comments
3
Largest cargo sailboat completes first Atlantic crossingmarineinsight.com
131 points by defrost 7 hours ago | 69 comments
4
Study identifies weaknesses in how AI systems are evaluatedoii.ox.ac.uk
311 points by pseudolus 13 hours ago | 155 comments
5
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCsdowntowndougbrown.com
40 points by todsacerdoti 4 hours ago | 0 comments
6
WriterdeckOSwriterdeckos.com
129 points by surprisetalk 8 hours ago | 67 comments
7
Control structures in programming languages: from goto to algebraic effectsxavierleroy.org
103 points by SchwKatze 6 days ago | 3 comments
8
Open-source communications by bouncing signals off the Moonopen.space
62 points by fortran77 7 days ago | 14 comments
9
Avería: The Average Font (2011)iotic.com
127 points by JoshTriplett 7 hours ago | 27 comments
10
IP blocking the UK is not enough to comply with the Online Safety Actprestonbyrne.com
185 points by pinkahd 4 hours ago | 211 comments
11
Cloudflare scrubs Aisuru botnet from top domains listkrebsonsecurity.com
119 points by jtbayly 10 hours ago | 26 comments
12
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PChackster.io
30 points by HardwareLust 2 hours ago | 3 comments
13
My first fifteen compilers (2019)blog.sigplan.org
45 points by azhenley 8 days ago | 3 comments
14
Judge says Education Dept partisan out-of-office emails violated First Amendmentnpr.org
87 points by toomanyrichies 2 hours ago | 54 comments
15
When a “feature” is worse than a bugmedium.com
8 points by Egorich42 4 days ago | 2 comments
16
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]goskagit.com
33 points by p_ing 2 hours ago | 8 comments
17
Humanity's Endgamenoemamag.com
14 points by marojejian 3 hours ago | 6 comments
18
Valdi – A cross-platform UI framework that delivers native performancegithub.com
464 points by yehiaabdelm 1 days ago | 190 comments
19
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]softwarepreservation.computerhistory.org
82 points by swatson741 12 hours ago | 10 comments
20
Why is Zig so cool?nilostolte.github.io
493 points by vitalnodo 1 days ago | 431 comments
21
Ticker: Don't die of heart diseasemyticker.com
398 points by colelyman 12 hours ago | 358 comments
22
Judge denies request to exempt Flock footage from Public Records Actheraldnet.com
23 points by ourmandave 3 hours ago | 4 comments
23
GPS 'kill' switch allows state police cruisers to go dark and disable trackingboston25news.com
73 points by harambae 4 days ago | 32 comments
24
Opencloud – An alternative to Nextcloud written in Gogithub.com
47 points by todsacerdoti 10 hours ago | 7 comments
25
OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codexgithub.com
25 points by wahnfrieden 3 hours ago | 16 comments
26
Syntax and Semantics of Programming Languageshomepage.cs.uiowa.edu
65 points by nill0 7 days ago | 5 comments
27
Myna: Monospace typeface designed for symbol-heavy programming languagesgithub.com
380 points by birdculture 1 days ago | 168 comments
28
How did I get here?how-did-i-get-here.net
343 points by zachlatta 1 days ago | 58 comments
29
52 Year old data tape could contain Unix historytheregister.com
160 points by rbanffy 11 hours ago | 60 comments