Nov 15, 2026Tech News🎙️ DeepMind Has AI Write 6 Million Lines of Mathematical Proofs, Nvidia Bets $10 Billion on Anthropic | AI Daily PodcastGoogle DeepMind deploys 80 AI agents, writes over 6 million lines of Lean code in four weeks to mathematically prove Signal's encryption algorithms from the machine-code level, uncovering even legacy vulnerabilities slipped in by engineers.
Nov 15, 2026Open Source Daily Picksbo2-mac compiles 32-bit Windows games into ARM64 native code, M1 runs at 60 FPS | Open Source DailyHacker News 150 points, 67 comments: someone actually statically recompiled three 32-bit Windows executables of Black Ops II into ARM64 native code, achieving 51 to 60 FPS on M1 without Wine, Rosetta 2, or JIT; wait, I'll tell you how it hands the copy protection to the Unicorn interpreter to run instruction by instruction, plus a tutorial-grade project implementing the full DeepSeek-V3 architecture in 190 lines of pure JAX.
