Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
Theo - t3․gghier +22AI Engineerhier +7Matthew Bermanavant-hier +478a16zavant-hier +1The Buildersavant-hier +1硅谷101avant-hier +1SemiAnalysisavant-hier +1Chris Williamsonavant-hierCheeky Pintavant-hierInvest Like The Bestavant-hier

Résultats

1 articles
Trier
PersonneRichard EisenbergLangueanglais
59:38EN
Jane Street· 18 mai 2023Richard Eisenberg on Dependent Types, OCaml, and AI-Assisted ProgrammingYaron Minsky, Richard Eisenberg · Jane StreetHow type systems can express correctness and performance, and why precise, readable specifications still matter when AI writes code.Software engineeringOpen-source ecosystemsAgents de code+1