https://newsletter.thedailydiff.dev/p/googles-ai-wrote-checked-proofs-forThe Daily Diffen2026-11-10T19:45:36+00:00Google's AI wrote checked proofs for Signal's codehttps://newsletter.thedailydiff.dev/p/researchers-turned-car-logins-intoThe Daily Diffen2026-11-09T19:31:07+00:00Researchers turned car logins into remote vehicle access