Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
Theo - t3․ggayer +38AI Engineerayer +1Matthew Bermananteayer +478a16zanteayer +1The Buildersanteayer +1硅谷101anteayer +1SemiAnalysisanteayer +1Chris WilliamsonanteayerCheeky PintanteayerInvest Like The Bestanteayer

Resultados

1 artículos
Ordenar
TemaOpen-source ecosystemsPersonaRichard EisenbergDuraciónMás de 30 min
59:38EN
Jane Street· 18 may 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 ecosystemsAgentes de programación+1