1.
3.
4.
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
(news.ycombinator.com)
5.
Modernising the Amiga at Forty
(news.ycombinator.com)