Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
Matthew Bermangestern +136AI Engineergestern +6Theo - t3․gggesternThe Buildersgestern +1a16zgestern +2硅谷101gestern +1SemiAnalysisgestern +1Chris WilliamsongesternCheeky PintgesternInvest Like The Bestgestern

Ergebnisse

1 Artikel
Sortieren
ThemaCoding-AgentenPersonRichard Eisenberg
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 ecosystemsCoding-Agenten+1