Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermanyesterday +181AI Engineeryesterday +6Theo - t3․ggyesterdayThe Buildersyesterday +1a16zyesterday +2硅谷101yesterday +1SemiAnalysisyesterday +1Chris WilliamsonyesterdayCheeky PintyesterdayInvest Like The Bestyesterday

Results

1 articles
Sort
TopicCoding agentsPersonRichard EisenbergLanguageEnglish
59:38EN
Jane 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+1