Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
Matthew Bermanheute +249AI Engineerheute +6The Buildersheute +120VC with Harry Stebbingsgestern +358Jane Streetgestern +119Y Combinatorgestern +1硅谷101vorgesternPragerUvor 3 Tagena16zvor 4 Tagen +1SemiAnalysisvor 4 Tagen

Ergebnisse

1 Artikel
Sortieren
PersonRichard EisenbergLängeÜber 30 Min.
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