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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +14Theo - t3․gg昨日 +114AI Engineer昨日 +7a16z昨日 +1Reid Hoffman昨日 +1Chris Williamson昨日 +1Conversations with Tyler昨日The Builders一昨日 +1Citadel 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