Ironclad – formally verified, real-time capable, Unix-like OS kernel
(news.ycombinator.com)
59671.
59672.
59673.
IP blocking the UK is not enough to comply with the Online Safety Act
(news.ycombinator.com)
59674.
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
(news.ycombinator.com)
59675.
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(news.ycombinator.com)
59676.
59677.
The history of Casio watches
(news.ycombinator.com)
59678.
How to declutter, quiet down, and take the AI out of Windows 11 25H2
(news.ycombinator.com)
59679.
59680.
What Hallucinogens Will Make You See
(news.ycombinator.com)
59681.
59682.
59683.
Is Wall Street losing faith in AI?
(techcrunch.com)
59684.
59685.
59686.
59687.
59688.
59689.
Largest cargo sailboat completes first Atlantic crossing
(news.ycombinator.com)
59690.
Largest Cargo Sailboat Completes Historic First Atlantic Crossing
(news.ycombinator.com)
59691.
I Want You to Understand Chicago
(news.ycombinator.com)
59692.
59693.
59694.
59695.
Avería: The Average Font (2011)
(news.ycombinator.com)
59696.
59697.
WriterdeckOS
(news.ycombinator.com)
59698.
59699.
What Is Dan Trachtenberg’s ‘Predator’ Trilogy About?
(gizmodo.com)
59700.
Marko – A declarative, HTML‑based language
(news.ycombinator.com)