Resultados
3 artículosOrdenar
CanalCognitive Revolution "How AI Changes Everything"TemaCode review & verificationPersonaNathan Labenz
1:34:29EN
Cognitive Revolution "How AI Changes Everything"· 18 feb 2026PódcastThree IMO Golds Missed the Same Problem. Harmonic Wants Math to CompilePresenta: Nathan LabenzVlad Tenev and Tudor Achim built Aristotle to emit Lean proofs a kernel can check—and they argue that is how mathematical superintelligence stays trustworthy.
1:41:34ENCognitive Revolution "How AI Changes Everything"· 24 dic 2025PódcastThey Owned the Camera Partition—and Still Couldn't Crash the HelicopterPresenta: Nathan LabenzKathleen Fisher and Byron Cook tell Nathan Labenz how formal methods turn some software bugs into closed cases, from a DARPA helicopter to AWS policies checked a billion times a second.
1:25:10ENCognitive Revolution "How AI Changes Everything"· 12 mar 2024PódcastWriting Code Is Only 30% of the Job. CodiumAI Wants the Other 70%Presenta: Nathan LabenzItamar Friedman argues that completion is already a commodity, that code integrity is where AI still lags, and that flow engineering—not fancier prompts—is how GPT-4 doubled its score on coding contests.