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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +20AI Engineer今日 +8The Builders今日 +1Theo - t3․gg昨日 +115a16z昨日 +1Reid Hoffman昨日 +1Chris Williamson昨日 +1Conversations with Tyler昨日Citadel Securities一昨日 +1硅谷101一昨日 +1

絞り込み結果

1 件
並び順
トピックコーディングエージェント人物Richard Eisenberg
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