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