Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
20VC with Harry Stebbingshier +124JSJane Streethier +119AI Engineerhier +1硅谷101avant-hierMBMatthew Bermanil y a 3 jours +83PragerUil y a 3 joursY Combinatoril y a 3 joursa16zil y a 4 jours +1SemiAnalysisil y a 4 joursGOTO Conferencesil y a 4 jours

Résultats

1 articles
Trier
Type de contenuConférencesPersonneRichard EisenbergVoix2 voix
59:38EN
JSJane 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