Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
AI Engineeraujourd’hui硅谷101hierPragerUavant-hierY Combinatoravant-hierSemiAnalysisil y a 3 joursa16zil y a 3 joursGOTO Conferencesil y a 3 joursLatent Spaceil y a 4 joursDwarkesh Patelil y a 4 joursAdrian Twarogil y a 5 jours

Résultats

3 articles
Trier
ThèmeCode review & verificationPersonneNathan LabenzLangueanglais
1:34:29EN
Cognitive Revolution "How AI Changes Everything"· 18 févr. 2026PodcastThree IMO Golds Missed the Same Problem. Harmonic Wants Math to CompileAnime : 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.Modèles et entraînementReasoning & test-time computeAI research+3
1:41:34EN
Cognitive Revolution "How AI Changes Everything"· 24 déc. 2025PodcastThey Owned the Camera Partition—and Still Couldn't Crash the HelicopterAnime : 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.SécuritéAI securitySécurité et gouvernance+3
1:25:10EN
Cognitive Revolution "How AI Changes Everything"· 12 mars 2024PodcastWriting Code Is Only 30% of the Job. CodiumAI Wants the Other 70%Anime : 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.Agents de codeWorkflows de développement et testsCode review & verification+3