PL researchers unusually upbeat about Anthropic–Theorem verification work
xennygrimmato_ · x · 2026-10-23
Umang Mathur notes that nearly every programming-languages researcher on his feed is excited about the Anthropic + Theorem Labs verification collaboration—years of PL research finally being put to use—a striking contrast to the "AI is taking our jobs" mood in other communities.
More from Companies & People
- Suno Hiring Trust & Safety Engineer at $229K-$364K in San Francisco — Kyrannio · 2026-10-23
- X's Creators OCR Team Talks Shipping Feature, More Work Ahead — Kyrannio · 2026-10-23
- tldraw engineer opens internal talk with 'AI psychosis: it's all about the code you don't ship' slide — max__drake · 2026-10-23
- DNS records show India's "govt cloud" mgovcloud.in actually runs on Zoho's IP space — kingslyj · 2026-10-23
- Cloudflare CTO: token spend over next 18 months will go to security, not engineering — No Priors · 2026-10-23
- Inside a Shenzhen robot-arm factory: 2,000 arms/month at ~$15k, AGIBot bought ~20,000 — DominiqueCAPaul · 2026-10-23