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

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

絞り込み結果

1 件
並び順
トピックOpen-source ecosystems人物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