1Lean and AI caught a bug in my 2-year-old TLA+ spec (opens in new tab)(medium.com)1polyglotfacto24d ago1
4Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun' (opens in new tab)(nytimes.com)2polyglotfacto1mo ago1
5Show HN: Prompt-injection‑resistant agent runtime that writes web apps (opens in new tab)(github.com)1polyglotfacto1mo ago0
