Recently updated channels

Pick one to see only that channelBrowse all channels →
MBMatthew Bermantoday +228The Builderstoday +120VC with Harry Stebbingsyesterday +332JSJane Streetyesterday +119AI Engineeryesterday +1Y Combinatoryesterday +1硅谷1012 days agoPragerU3 days agoa16z4 days ago +1SemiAnalysis4 days ago

Results

1 articles
Sort
PersonRichard EisenbergLanguageEnglishLengthOver 30 min
59:38EN
JSJane Street· May 18, 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 agents