최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
Matthew Berman오늘 +311AI Engineer오늘 +6Theo - t3․gg오늘The Builders오늘 +1a16z오늘 +2硅谷101오늘 +1SemiAnalysis오늘 +1Chris Williamson오늘Cheeky Pint오늘Invest Like The Best오늘

필터 결과

1개
정렬
채널Jane Street인물Richard Eisenberg화자2명
59:38EN
Jane Street· 2023년 5월 18일Richard 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 ecosystems코딩 에이전트+1