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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +271AI Engineer今日 +6The Builders今日 +1a16z今日 +220VC with Harry Stebbings昨日 +383Jane Street昨日 +119Y Combinator昨日 +1硅谷101一昨日PragerU3 日前SemiAnalysis4 日前

絞り込み結果

1 件
並び順
トピックSoftware engineering人物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