最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +1Theo - t3․gg昨日 +51AI Engineer昨日 +1a16z一昨日 +1The Builders一昨日 +1硅谷101一昨日 +1SemiAnalysis一昨日 +1Chris Williamson一昨日Cheeky Pint一昨日Invest Like The Best一昨日

絞り込み結果

1 件
並び順
チャンネルJane Street人物Richard Eisenberg長さ30 分以上
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