Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +1Theo - t3․ggyesterday +70AI Engineeryesterday +2a16z2 days ago +1The Builders2 days ago +1硅谷1012 days ago +1SemiAnalysis2 days ago +1Chris Williamson2 days agoCheeky Pint2 days agoInvest Like The Best2 days ago

Results

1 articles
Sort
ChannelJane StreetPersonRichard EisenbergSpeakers2 people
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