あなたのエージェントには信頼できない入力が二つある
AIエージェントには信頼できない入力が二つあります。モデルが書くコードと、モデルが読むツール出力です。前者にはいま本物のWASMサンドボックスがありますが、後者のMCPツールポイズニングにはありません。
AI & Technologyデザイン、開発、AIインフラ、製品構築についての考え。
AIエージェントには信頼できない入力が二つあります。モデルが書くコードと、モデルが読むツール出力です。前者にはいま本物のWASMサンドボックスがありますが、後者のMCPツールポイズニングにはありません。
AI & TechnologySwift 6.2は並行処理を逆転させます。モジュールのデフォルトをMainActorにし(SE-0466)、nonisolated asyncを呼び出し元で実行し(SE-0461)、@concurrentで抜け出します。
AI & TechnologyYann LeCunは畳み込みによって深層視覚を築き、その後、真の知能は世界を教師なしで学習し、それをオープンに公開することから生まれる——より大きなLLMではなく——という賭けに出ました。
Engineering & Craftフェイフェイ・リーはImageNetを築き、AIに「目」を与えた。欠けていたのは賢いモデルではなく大規模なデータであり、AIは人間中心であり続けねばならない――その賭けの物語。
Engineering & Craft岩田聡は、一度もゲーマーであることをやめないまま任天堂の社長になったプログラマーだった——プレイヤーの喜びに奉仕するための、技術の極み。
Engineering & CraftRadia PerlmanはSpanning Tree Protocolを発明し、自己修復するネットワークを築きました。ループのない、自律的に安定する、ノードが嘘をついても正しく動き続けるネットワークです。堅牢性を第一原理に据えた人物。
Engineering & Craftマーガレット・ハミルトンは「ソフトウェア工学」という言葉を生み、1202アラームを乗り越えたApolloの飛行コードを書きました。防御的設計、エラー回復、そして二度目のチャンスはないという現実。
Engineering & CraftRoberto Ierusalimschyは、ただひとつの原則——ポリシーではなくメカニズム——を軸にLuaを設計しました。小さく、速く、組み込み可能な言語は、規則ではなくレバーをあなたに手渡します。
Engineering & Craftジェフリー・ヒントンは、学界が脳型ニューラルネットワークを嘲笑していた2度のAIの冬を通じて、それに賭け続けました。流行より信念を、形式論より直観を。
Engineering & CraftAmazonの CTO ワーナー・ヴォゲルスは、ある一つの前提の上にクラウドを築きました。あらゆるものは常に壊れる、というものです。故障を前提に設計し、影響範囲を最小化し、その間も可用性を保ち続けるのです。
Engineering & CraftAppleの Translation フレームワーク。translationPresentation と TranslationSession による無料のオンデバイス翻訳と、デモが省略するオフラインダウンロードの落とし穴を解説します。
AI & TechnologySophie Wilsonは、今や地球上のほぼすべての電話に搭載されているARM命令セットを、ごく少人数のチームと、低消費電力をほとんど偶然の産物にしてしまうほど徹底したRISCの効率性で設計しました。
Engineering & Craft技術記事: Introl
大規模言語モデルをローカルで実行するための包括的なハードウェア推奨事項とコスト分析。
さまざまなAIワークロード向けにNVIDIA最新データセンターアクセラレータを比較するGPU選択ガイド。
GoogleのTensor Processing UnitのTPUv1からTPUv5までの進化に関する詳細な技術解説。
コンテナ化環境におけるGPUクラスターのリソース共有戦略。
Rayフレームワークを使用した分散AI計算の構築と管理のガイド。
オープンソースLLMの経済性とDeepSeekの競争上のポジショニング分析。
将来のデータセンター電力要件とNVIDIAの次世代GPUロードマップ。
次世代AIインフラストラクチャに電力を供給する小型モジュラー炉ソリューション。
DeepSeekのMulti-Head Compressionアーキテクチャ革新の技術分析。