1Lean and AI caught a bug in my 2-year-old TLA+ spec (opens in new tab)(medium.com)1polyglotfacto3mo ago1Save
4Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun' (opens in new tab)(nytimes.com)2polyglotfacto4mo ago1Save
5Show HN: Prompt-injection‑resistant agent runtime that writes web apps (opens in new tab)(github.com)GitHub1polyglotfacto4mo ago0Save
6Study on positive use of AI in academic writing; challenges brain rot narrative (opens in new tab)(sciencedirect.com)1polyglotfacto5mo ago0Save
12Rust concurrency: the archetype of a message-passing bug (opens in new tab)(medium.com)187polyglotfacto6y ago92Save
13Rust concurrency: the archetype of a message-passing bug (opens in new tab)(medium.com)1polyglotfacto6y ago0Save
