Open-Source Ada: From Gateware to Application
(blog.adacore.com)
Monthly Highlights
1651.
1652.
Movycat – A terminal movie player written in Zig
(github.com)
1653.
.arpa, rDNS and a few magical ICMP hacks
(sdomi.pl)
1654.
1655.
At 16, I was experimented on by the CIA
(bbc.com)
1656.
1657.
1659.
1660.
Ion: Modern System Shell in Rust
(github.com)
1661.
1662.
Tesla Robotaxi had 3 more crashes, now 7 total
(electrek.co)
1663.
Microsoft executive closes replies after Windows 11 "Agentic OS" backlash
(windowslatest.com)
1664.
1665.
1666.
COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)
(marcoeg.medium.com)
1667.
Floppy Disk / Diskettes // retrocmp / retro computing
(retrocmp.de)
1668.
A File Format Uncracked for 20 Years
(landaire.net)
1669.
Gitworkshop.dev – Collaborate on code over Nostr
(gitworkshop.dev)
1670.
Fastmcpp (Fastmcp for C++)
(github.com)
1671.
1672.
1673.
Lording it, over: A new history of the modern British aristocracy
(newcriterion.com)
1674.
Some software bloat is OK
(waspdev.com)
1675.
1676.
1677.
Revisiting Interface Segregation in Go
(rednafi.com)
1678.
1679.
My Favorite Math Problem
(bytesauna.com)
1680.
Show HN: Meals You Love – AI-powered meal planning and grocery shopping
(mealsyoulove.com)