blog.janestreet.com · Saved June 17, 2026Formal methods and the future of programmingblog.janestreet.com/formal-methods-at-jane-street-indexKudosSaved the same week · 17 links that weekStumble Again — Rediscover the webstumbleagain.com · Jun 17, 2026Why is Meta destroying its engineering organization?newsletter.pragmaticengineer.com · Jun 17, 2026Calvin and Hobbes and the Price of Integritytherepublicofletters.substack.com · Jun 17, 2026Running local models is good now | Vicki Boykisvickiboykis.com · Jun 17, 2026Mechanical Watchciechanow.ski · Jun 17, 2026Everything saved in June 2026