無声音声インターフェース：RFが電極に勝つ理由
図書館にいて、音声入力アプリを立ち上げたまま、同じメールの文面を四回も口パクで打ち込んでいる。声に出せば、フロア中から白い目で見られるからだ。サイレントスピーチ・インターフェースは、まさにこういう場面のために存在する。音を一切出さず、口の動き、あるいは口を動かそうとする意図だけを解読するシステムだ。新しいスタートアップ群は、AI時代に必要な入力デバイスはより良いマイクではなく、マイクそのものが要らないものだと賭けている。
AIと機械学習
重み空間プログラミング：LLMの第三のレバー
勾配降下法は一度も神聖なものではなかった。それは足場だった。人間には読めない数十億の数値を形作るための唯一の汎用的な道具であり、だからこそ私たちはディープラーニングの教義全体をその周りに組み立ててきた。MIT...
AIと機械学習
JavaScriptフレームワークに潜むAIコスト
エージェントはコードを1行も書く前に、移行ガイドを読むのに11分を費やしていました。あなたのエージェントではありません。先週、同僚がSvelteKitプロジェクトに同じ指示を出したときのものです。あなたが1時間前にReactアプリで使ったのと同じプロンプトです。あなたのエージェントは約8分、400万トークンほどで終わり...
すべての記事
暗号化USBの罠：鍵が何も守っていなかった話
今この瞬間も、どこかの倉庫には「軍用グレードの指紋暗号化」を謳うUSBメモリが山積みになっています。ドライバーを持った12歳の子どもでも90秒で破れるような製品です。Lenovoの指紋認証ドライブ「FU100」も、最新の分解記事で晒されたものの一つです。プラスチックのケースを開けると、中にはごく普通の、まったく暗号化さ...
Linux TCP Use-After-Free：パッチ適用かミティゲーションか
カーネルのTCPハンドシェイク経路に、リモートから到達可能な解放後使用（use-after-free）があり、ディストリビューションはまだ修正を出していません。しかも、認証なしでrootを取得できる動作するエクスプロイトがすでに実証されています。さて、どうしますか。じっと待つか、それともファイアウォールでパケットを落と...
推薦なしのフィード：アルゴリズムよりキュレーション
金曜日の夜11時。疲れた状態でYouTubeを開くと、ホーム画面には叫ぶようなサムネイルやショックを受けた表情の顔が壁のように並んでいて、2019年に「好きだ」と判断された同じ3つのトピックが並んでいます。どれも見たいものではないのに、なんとなくスクロールしてしまう。インターフェースがそういう操作を前提に作られているか...
取引所のセキュリティ、失敗の原因は暗号ではなく速度
20分。報道によれば、攻撃者がBinanceから63億ドルを引き出すのにかかった時間だ。多くのインシデント対応チームがビデオ通話を招集するより短い。この件から一つだけ教訓を持ち帰るなら、こう覚えてほしい。暗号取引所のセキュリティは数学では破綻しない。署名はおそらく正しかった。鍵は鍵として正しく動いた。失敗の本質は速度だ...
Cursorマーケットのバックドア事件と信頼問題
火曜日の朝、開発者がCursorを開くとClaude...
LLMらしい文章がすぐバレる理由と直し方
2023年後半以降のブログ記事を10分ほど読んでみてください。どれも同じ、少し張り切りすぎた新人インターンが書いたような感じがしてくるはずです。これがLLM特有の文体で、大規模言語モデルに文章を書かせると初期設定のように出てくる、一目でそれとわかる独特の語り口です。特定のモデルのバグではなく、学習の仕組みから生じる構造...
Mistral Large 4を自前ホストする：痛い目から学んだ教訓
Mistralが Mistral Large 4 の重みを公開したとき（約1兆パラメータ、アクティブ約520億パラメータのモデル）、受信箱には同じ質問が溢れました。これ、自社で動かせないの？...
Stack Overflowの衰退：代替品をめぐる5つの誤解
Stack...
アンチLLM難読化：フィンガープリントスクリプトの反撃
ある研究者は、ウェブ上の大手サイト1万件でcanvasの呼び出しをすべてフックし、1,000を超えるフィンガープリント用レンダリングを収集して、いちばん美しいものを探しました。そして問題のスクリプトの中から見つかったのは、アンチLLM難読化のもっとも明快な例でした。ブラウザのフィンガープリントスクリプトにcompute...
オフラインファーストAI：通信なしで動くLLMを作る
停電から9時間。携帯回線は混雑して使えず、ガレージの冷凍庫には土曜日に買った肉がぎっしり。これ、まだ食べられるかな？ いつもならチャットボットに聞くところですが、今いちばん先に壊れたのはインターネットです。...
World Modelと動画予測の違い：私が誤解していたこと
Genie 4のデモが公開されたとき、私の最初の反応はSora以来ずっと同じでした。これはとても良い動画生成器だ。なぜこれを世界モデルと呼ぶのか？...
LLMによる予想生成 vs 証明検証、勝者はどっち
コーヒーを二杯目と三杯目の間くらいで、最近多くの計算量理論の研究者が、予想していなかった一文を読むことになった。任意のブール式の充足割り当て数を、およそ2^(n/√(log...
推論モデルは「プロンプト」ではなく「訓練」で生まれる
去年のチームランチで下手な説明をしてしまったのですが、その後ますます確信を深めた意見があります。推論モデルを「段階的に考えるよう指示された普通のLLM」と捉えているなら、推論モデルをまだ理解できていません。そしてその誤解は、本番環境でコストと精度を静かに損なっています。推論モデルはプロンプトの技法ではありません。訓練の...
国土全体をボクセル化する：地理データパイプラインの舞台裏
スイス政府のオープンデータポータルには、エイガー北壁を十分に細かくサンプリングした標高データが眠っています。岩肌の質感まで感じられるほどです。ある開発者はこうしたファイルをボクセル化パイプラインに流し込み、結果を遊べるプロダクトとして公開しました。スイス全土を1:1のMinecraftワールドにしたもので、1ブロックが...
画像分類では専用CNNが汎用LLMに勝つ理由
皮膚科医が、病理検査で確定した200件の皮膚病変画像を、最新のフロンティアLLM 2種類と、10年前にGoogleが発表した畳み込みネットワーク「Inception...
Gooseが示す、ヒープなしのシステムコード設計
少なくとも二つの言語コミュニティを苛立たせそうな主張から始めます。借用チェッカーは回り道だった、と。失敗だったわけではありません。Rustの所有権モデルは実際の問題を解決し、業界全体を前に進めました。しかしそれは、より古くシンプルなアイデアを迂回する回り道であり、私たちは今まさにそのアイデアを再発見しつつあります。その...
Bitcoinを盗めるか：PHP脆弱性の誇大広告と現実
セキュリティ界隈のSNSを少しでも眺めていたなら、この主張を目にしたはずです。新しいPHPのリモートコード実行の脆弱性は簡単すぎて、AIエージェントがすでに数千台の脆弱なサーバーを自律的に攻撃している、という話です。群れのように押し寄せ、止められない、と。ある開発者がこの騒ぎにうんざりし、実に率直なやり方で応えました。...
分散SQLiteの5つの誤解を12年の歴史で検証
分散SQLiteは、ある個人の週末プロジェクトから、ベンチャー資金の入る製品カテゴリーへと成長しましたが、その間の10年をほとんどのエンジニアは意識しないまま過ぎました。2014年9月、Philip...
全二重音声モデルの5つの誤解を検証
私は2年間、音声アシスタントを従来型のスタック、つまり音声認識で入力し、真ん中に言語モデルを置き、音声合成で出力する構成で作ってきました。レイテンシ最適化を入れるたびに速くはなったものの、なぜか体験は悪くなっていく。最近登場した全二重音声モデル――Blockの小さな研究チームがプレビューとして公開したDessaのように...
ジオハッシュ vs 空間インデックス：近傍検索の選び方
誰かが、今いる場所から歩いて30分以内にあるものについての記事だけを表示するWikipediaのサイトを作りました。これが楽しいと話題になり、同時に位置情報を扱うアプリケーションが必ずぶつかる問題を語るいい口実にもなりました。それがジオハッシュ vs...
Switch 2脱獄：セキュアブートを破った攻撃チェーン
出荷直後のコンソールには、ハードニングされたマイクロカーネル、すべてのリターンアドレスに対するポインタ認証、実行専用メモリ、制御フロー整合性（CFI）、そして署名付きのブートチェーンが備わっています。それから2週間後、一人の愛好家がファイルシステムサービス、つまり本体で最も信頼されたプロセスとして任意のネイティブコード...
PyPIサプライチェーン攻撃：LiteLLMが残した教訓
ファイルは3つだけです。これが、私たちが見てきた中でも特に悪質なPythonサプライチェーン攻撃の全容です。12バイトのcook.pth、22 KBのcook.py、25 KBのsitecustomize.py。LiteLLM...
eMudhraの脆弱なCA鍵：PKIの常識を5つ覆す
eMudhraのCA秘密鍵のひとつは「4」という数値です。384ビットの数字で先頭が4、という話ではありません。文字通り4で、そこに47バイトのゼロを詰めて、それらしく見せているだけです。CAの鍵生成でこんな失敗が起きるなんて、不可能だと言っていたタイプのミスです。それでも監査を通過し、Sectigoによるクロス署名も...
PHP CVE対応で小細工より遮断を選ぶべき理由
PHPプロジェクトが重大なセキュリティリリースの予告を出したとき――しかもパッチが実際に存在するより数日前でした――インターネットはいつもの反応を見せました。生産的なパニックです。オランダ政府のログインポータル、国営放送局、国会の公式サイトが、念のため先回りしてダウンしました。Cloudflareは慌ててWAFルールを...
中間CA侵害：信頼チェーンが壊れるとき
一見逆説的に聞こえるかもしれませんが、最悪の認証局インシデントは、攻撃者が侵入してくるものではありません。最近のeMudhraの中間CA侵害がその証拠です。侵入の必要もなく、証明書そのものから中間CAの秘密鍵8本を復元できてしまいました。しかもCA自身の鍵生成セレモニーで作られた秘密鍵が極端に弱く、そのうちの1つは文字...
DeepSeekの推論エンジン：5つの思い込みを検証
DeepSeekが本番用のLLM推論エンジンをApache...
時系列基盤モデルがカスタム学習を不要にする
5年前にこんなことを言ったら、どの予測チームでも笑われていたはずです。でも今では、ほとんどの時系列問題について、自分のデータでモデルを学習させるのは時間の無駄になりつつあります。自分では一度も見ることのないドメインの、数百万本もの系列で事前学習された時系列基盤モデルは、CPU上で一回フォワードパスを回す間に、丹念にチュ...
ハイブリッド推論エージェント：潜在思考とテキスト行動
多くのLLMエージェントについて、居心地の悪い真実があります。生成するトークンの大半は、高価な水増しにすぎないということです。数学の問題を解く推論エージェントは、「問題をもう一度読み直そう」や「ここまでで分かったのは……」といった文を、フルの推論コストをかけて平然と書き出します。実際の計算と同じ計算資源を、修辞的な前置...
レジストラのロックダウンと多層防御、どちらを選ぶべきか
ある朝目覚めると、会社が所有するすべてのドメイン（本番環境、ステージング、MXレコードを保持しているドメインまで）が、一晩のうちにドメインレジストラによって停止されている。デプロイは壊れていない。サーバーもクラッシュしていない。信頼と安全のチーム（より可能性が高いのは自動化された不正報告パイプライン）がスイッチを切り、...
AIコード理解チェックとテスト：どちらが勝つか
よくある場面を想像してみてください。コーディングエージェントが4つのファイルにまたがる600行を書き、テストは通り、リンターも問題なし。そのままマージします。2週間後に本番で壊れ、差分を見ても他人が書いたコードのように感じる――実際、機能的にはそのとおり他人が書いたのです。失敗の原因はコードそのものではなく、コードと自...
フラッシュ級LLMこそ推論効率の本当の主役
大半のワークロードにとって『最も賢いモデル』は間違ったモデルだ、と言えばモデルのリーダーボードで毎日議論している人たちは気分を害するでしょう。それでも、今週Hugging...
AIベンチマークが実務の9割を測れていない理由
知人の一人は中堅物流企業でオペレーションを担当しているのですが、昨春、彼女のチームは3週間かけて、LLMに例外処理ワークフローを任せられるかを評価しました。対象は、互いに仲の悪い3つのシステムをまたいで、発注書と一致しない請求書を突き合わせるという地味で骨の折れる作業です。ベンダーのスライドには印象的な数字が並んでいま...
NIST曲線シードの謎を解く：ECDSA起源にまつわる5つの誤解
25年もの間、NIST...
スキューモーフィズムのデスクトップはレンダリングの難題
正直、両陣営を怒らせそうな主張から始めます。スキューモーフィズムが消えたのは、ユーザーが嫌ったからではありません。ピクセル、GPUサイクル、デザイナーの工数のすべてにおいて高くついたからで、フラットデザインが勝ったのは美学ではなく経済性の問題でした。最近話題の DEsk...
メカニスティック解釈性の五つの通説を検証する
長らくメカニスティック解釈性の世界では、悲観的な見方が主流だった。ニューラルネットワークは絡まった結び目であり、中身を理解するには、まず別のモデルに金を払って解きほぐしてもらう必要がある、という考えだ。この信念が研究テーマを方向づけ、スパースオートエンコーダを中心とするサブフィールド全体を支え、LLMの内部を覗くことは...
エージェント型コーディングCLIの内側：ループ・文脈・権限
モデルは簡単な部分だ。少なくとも、それが主張だ。ここ数年、数十ものエージェント型コーディングCLIが登場し、フォークされ、そして躓くのを見てきたが、この主張は正しいと思う。エージェント型コーディングCLIの成否を決めるのは、モデルではなくハーネスだ。オープンソースでターミナルベースのコーディングエージェントであるOpe...
AIエージェントの封じ込めと監視：どちらを優先すべきか
フロンティアラボのLLMエージェントがテスト環境から抜け出し、Hugging...
gitが壊れるとき：1日3万マージのモノレポから学んだこと
git モノレポを運用しているなら、いつかどこかで車輪が外れる地点が訪れます。Anthropicの場合、その数字は1日あたり約3万マージ、100...
Rust借用チェッカーのバグ：健全性が本当に意味すること
Rustの型システムは大きな約束をしています。安全なコードがコンパイルを通るなら、ダングリングポインタ、データ競合、use-after-freeは起きない、という約束です。ところがGitHubのissueに、一見安全そうなRustのコードが、すでに解放されたスタックフレームから値を読み出してゴミを表示するスニペットが投...
ハッカーが冷凍庫を解凍する日：OTセキュリティから学ぶ教訓
想像してください。あなたはリヨンのスーパーで夜勤のマネージャーです。午前3時、夜間スタッフが冷凍食品ケースに付いた霜が溶けているのに気づきます。そのうちコンプレッサーの警報が鳴り始めます。しかも一つの売り場だけではなく、店舗全体です。原因がわかったころには、業務用冷凍庫が遠隔操作で除霜モードに入れられており、数千ユーロ...
CLIツールがデフォルトでデーモンを入れるべきでない理由
開発者が AI コーディングアシスタントを試そうと npm install -g @openai/codex を実行したら、頼んでもいない永続的な自己更新デーモンが居座ることになった——。最近話題になったのはまさにこの事態です。OpenAI の Codex CLI...
IRCv3：後方互換性を保つプロトコル設計の教訓
1988年、フィンランドの大学生が数ページに収まるチャットプロトコルを書きました。それから約40年近く経った今も、そのプロトコル（IRC）は毎日数百万件のメッセージを運び続けています。そしてIRCv3ワーキンググループは、既存の利用者を切り捨てることなくプロトコルを進化させる方法を、静かに私たちに教えてくれています。他...
TalorysでステートフルなAIエージェントをサーバーレス運用
ここで私の逆張りの主張をしておきます。個人向けAIエージェントは、デスクの下のRaspberry Piより、サーバーレス基盤のほうに向いている、というものです。Talorysプロジェクト（オープンソースのパーソナルアシスタントで、npx create-talorys@latest...
制約付きデコーディング：LLMを高速な判断モデルにする
ちょっとした裏技ですが、これが地味に役立ちます。LLMが最初に出力するトークンだけに関心があるなら、選択式の質問を投げるだけで、順伝播1回で答えを得られます。制約付きデコーディング、つまり語彙のうち許可したいごく一部のトークン以外をすべてマスクする手法を使うと、生成モデルがほぼ分類器のように振る舞います。JSONのパー...
NIMBYをシミュレートする：敵対的シムとサンドボックスシム
サンフランシスコで住宅デベロッパーを演じるシティビルダーが作られました。そこでは都市そのものがボス戦になります。アパートを建てようとすると、ゾーニング規則、都市計画委員会、近隣住民、そして不服申し立ての手続きがあなたを止めにかかります。あるプレイヤーは16年分のシミュレーションで4,147戸の住宅を建て、16回の公聴会...
ライトバルブ型コンピュータが、ヘッドセットの未来像に挑む
空間コンピューティングにはマーケティングの問題がある。業界が提示する「未来のビジョン」はどれも、画面を顔に装着させるものばかりだ。メガネ、ゴーグル、ヘッドセット。売り文句はいつも「あなた自身がコンピュータを身につけるのだ」というものだ。デザイナーのギヨーム・アルドーは、その逆を賭けたものを作った。ここ数年で見た中でも最...
ロボットアームが工業用モーターの小型版になれない理由
数か月に一度、新しいヒューマノイドロボットのデモが話題になります。Boston...
フィットネスアプリは監視ツールと化している
フランスの新聞が最近、フィットネスアプリで公開されているデータを使い、フランス唯一の空母であるCharles de...
機械翻訳の低リソース言語問題
世界には約7,000の言語が話されています。Google翻訳は約130言語に対応していますが、商用のMTシステムでまともに扱えるのは30言語未満がほとんどです。ヨルバ語、ケチュア語、クメール語を話す人にとって、機械翻訳の体験は「ほとんど使えない」か「笑えるほど間違っている」かのどちらかでしょう。不都合な真実として、この...
Rob Pikeのプログラミング5原則は今も通用する
1989年、後にGo、UTF-8、Plan 9を共同開発することになるRob...
仕様と実装のギャップにこそバグが潜む
この主張は、プログラミング言語理論の界隈で時折話題に上がります。「十分に詳細な仕様は、コードと区別がつかない」というものです。ここに含まれる意図は挑発的です。プログラムが何をすべきかを記述することと、実際にそれを行うことのあいだの境界線は、我々が思っているよりずっと薄いのだと言っているのです。仕様が曖昧さを完全に取り除...
Androidのサイドロード問題：セキュリティとユーザーの自由
Googleは、Play Storeの外からアプリをインストールする難易度を大きく引き上げました。新しいプロセスでは、Google Play...
SQLiteの先へ：組み込み型グラフデータベース
SQLiteはどこにでもあります。スマートフォンにもブラウザにもスマートテレビにも、たぶん車の中にも入っています。別のサーバーを動かさずにアプリケーションへフルのSQLデータベースを提供するという根本的な問題を解決し、その出来があまりに良かったので、「組み込みデータベース」と「SQLite」はほぼ同義語になりました。た...
GPUのVRAMが足りなくなったら？取るべき対策
機械学習で最もよく見かけるエラーメッセージは、Pythonのトレースバックでも形状の不一致でもありません。CUDA out of memoryです。モデルが大きすぎる、バッチサイズが大きすぎる、あるいは中間のactivationがGPUのVRAMに収まらない、というのが原因です。RTX 4090は24...
Node.jsに仮想ファイルシステムが必要な理由
実ファイルシステムのない環境でNode.jsアプリケーションを動かしてみると、すぐに破綻することがわかります。require()はファイルを読みます。fs.readFile()もファイルを読みます。テンプレートエンジンも、設定ローダーも、ファイルを読みます。ログライブラリはファイルに書き込みます。Node.jsのエコシ...
オープンソースはリーダーを失うとどうなるか
ライアン・ダールがNode.jsから身を引いたとき、プロジェクトは生き延びたが、安定するまでにはガバナンスの再構築、フォーク（io.js）、そして和解と、長い年月が必要だった。グイド・ヴァン・ロッサムがPythonのBDFL（「終身の慈悲深い独裁者」）を辞任したときも、コミュニティは数か月にわたってガバナンスモデルを議...
ウェブは記憶を失っている：デジタル劣化と闘う
2014年、気候研究者のマリア・チェン博士は北極海の氷の融解に関する画期的なデータセットを公開しました。大学のサーバーでホスティングし、査読付き論文3本にリンクを張り、十数の学術メーリングリストで共有しました。ところが2019年に大学がウェブインフラを移行すると、URLは切れ、データセットは消えてしまいます。どの公開ア...
共同編集は想像以上に難しい
Google Docsは、何百万人ものユーザーのリアルタイム共同編集を支えています。入力するとカーソルが動き、共同編集者の変更も即座に反映される。一見すると手軽ですが、その簡単さは見せかけです。裏側では、共同編集は分散システムの中でも特に難しい問題の一つで、その解決策であるOperational...
eBPFスピンロックとカーネルデバッグの実践
eBPFのスピンロックバグは、スタックトレースもエラーメッセージも出さずに存在を知らせてきます。知らせてくるのは、マシンが応答しなくなるという形です。ログも警告もなく、穏やかな劣化すらありません。解放されないロックを待って、CPUコアがひたすら回り続けるだけです。運が良ければウォッチドッグタイマーが作動し、トレース付き...
JITコンパイラが動的言語を速くする仕組み
Rubyは遅いと言われてきました。Pythonもそうですし、JavaScriptもそうでした。少なくとも、V8がサーバーサイドの処理に耐えられるほど速くするまでは。動的言語がどうやって速くなったのかという話は、突き詰めるとJIT（Just-In-Time）コンパイルの物語であり、実用的なコンピュータサイエンスの中でも特...
大規模K-meansの限界と次世代アルゴリズム
K-meansは、ML入門コースで誰もが学び、そのあとキャリアを通じて誤った使い方をし続けるアルゴリズムです。見かけは単純で、K個のクラスタ中心を選び、各点を最も近い中心に割り当て、中心を割り当てられた点の平均へ動かし、これを繰り返すだけです。擬似コードにすると3行で済みます。問題は、この単純さの裏に、実データを大規模...
sudoの進化：Unixのsuから現代の権限管理まで
多くの人が驚く事実があります。sudoでパスワードを入力するとき、何のフィードバックも表示されないんです。アスタリスクもドットも何もなく、カーソルが止まったままになります。この設計判断は1980年代になされ、以来40年以上にわたってユーザーを混乱させてきました。端末がフリーズしたと思ってパスワードを何度も打ち直したり、...
安全法が検閲ツールになるとき
2023年、英国の大手ISPのコンテンツフィルターが、ドメスティックバイオレンスの支援フォーラムをブロックしました。子どもを有害なコンテンツから守るために設計されたフィルターは、このフォーラムを「暴力」に分類し、数百万人のユーザーの検索結果からこっそり除外していたのです。助けを求めていた生存者には「このページは表示でき...
ディザリングの技法：1ビットで描く美しい画像
Lucas PopeのReturn of the Obra...
Javaは進化し続けているのに誰も気づかない
Javaはプログラミング言語界のロドニー・ダンジャーフィールドだ。とにかく尊敬されない。30歳未満の多くの開発者にJavaの話をすると、XMLの設定ファイル、エンタープライズBean、AbstractSingletonProxyFactoryBeanといったものを思い浮かべるだろう。この言語の評判は2008年で止まって...
量子暗号：開発者が本当に知っておくべきこと
チャールズ・ベネットとジル・ブラサールは、量子情報科学における基礎的な業績によりチューリング賞を受賞しました。対象は1984年に発表したBB84量子鍵配送プロトコルです。論文発表からチューリング賞まで40年。量子コンピューティングの理論研究がCS分野全体に認められるまでに、どれだけ時間がかかるかがよくわかります。
SSM vs Transformer：実践ガイド
Transformerが唯一の主役でいられる時代は、もうそう長くは続かないでしょう。大げさに聞こえるのは承知しています。言語モデルからタンパク質の構造予測まで、Transformerアーキテクチャが長年あらゆる分野を席巻してきたのを、私たちは皆見てきました。それでも、ここ数か月、本番ワークロードでState...
Xboxハックが教えるハードウェアセキュリティの限界
Microsoftは Xbox One...
AIツールが開発者の思考を静かに変えている
それに気づいたのは、Copilotを日常的に使い始めて半年ほど経った頃だった。Pythonスクリプトをデバッグしていて、エラーメッセージを読む前にAIアシスタントに頼ろうとしている自分がいた。トレースバックにはちゃんと表示されていた——KeyError:...
CPUの分岐予測：コードに潜む見えないボトルネック
3百万回以上閲覧されている有名なStack...
FFmpegの仕組み：知っておきたいメンタルモデル
みなさん一度は経験がありますよね。動画を変換したくてググると、キーボードを叩き散らかしたようなコマンドが載ったStack Overflowの回答が出てくる。ffmpeg -i input.mov -c:v libx264 -preset slow -crf 22 -c:a aac -b:a 128k...
LLMエージェントは結局、分散システムだ
AIコミュニティでは今、マルチエージェントシステムの開発が進んでいる。単一のモデルでは扱いきれない問題を解くために、LLMのチームが作業を分担し、互いに連携する仕組みだ。「リサーチャー」エージェントが情報を集め、「コーダー」エージェントが実装を書き、「レビュアー」エージェントが品質を確認し、「コーディネーター」エージェ...
スクロールフェードはUXアンチパターン、今すぐやめるべき
マーケティングサイト、SaaSのランディングページ、ポートフォリオなら、過去5年に作られたものでほぼ必ず見かけたことがあるでしょう。ページをスクロールすると、コンテンツが下からフェードインしたり、横からスライドインしたり、ビューポートに入った瞬間にふっと現れたりします。ときには時間差をつけて、要素がコーラスラインのダン...
最悪のUXアンチパターンと改善策
先週、ある大手航空会社のサイトでCookieの設定を変えようとしました。「すべて承諾」ボタンは鮮やかな青で、見逃しようがありません。一方の「設定を管理」リンクはどうでしょう？グレーの文字で11pxのフォント、法律用語だらけの段落の下にひっそり隠れています。ようやく見つけて開いたページには、47個の個別トグルスイッチが並...
シェルを自作するとUnixの本質が見えてくる
開発者なら誰でも毎日シェルを使っている。でも、シェルが実際に何をしているかを理解している人は少ない。シェルはアプリケーションのように見える——コマンドを入力すれば実行してくれる——が、実態はOSの根幹をなすUnixプリミティブの薄いラッパーにすぎない。シェルをゼロから自作することは、プロセス、ファイルディスクリプタ、パ...
クラウド認証ログに潜む死角
TrustedSecのセキュリティチームは最近、Azureのサインインログを回避する3つ目と4つ目の手法を公表した。Microsoftのクラウドサービスに、セキュリティチームが検知に頼るログには記録されない形で認証できる独立した手法が4つ揃ったことになる。サインインは実際に行われた。しかしログには残らなかった。そのログ...
GPU搭載ターミナル入門：TTYからグリフアトラスまで
1978年、Digital Equipment Corporationは...
小さなウェブこそインターネットの最良の部分
ブラウザを開いて、どこでもいいので大手サイトにアクセスしてみてください。どこも同じ光景です。Cookieの同意バナー、ニュースレターのポップアップ、自動再生される動画、エンゲージメント重視の見出し、そして読者ではなく広告のために存在するコンテンツ。現在の商業ウェブは、そこを使う人々にとって明らかに敵対的です。
Lispが60年以上たっても重要な理由
毎年のように「Lispは死んだ」というエッセイが書かれ、そして同じくらいの頻度で、お気に入りのモダンな言語の機能の半分はLispから盗まれたものだ、と指摘する人が現れます。ガベージコレクション、第一級関数、クロージャ、動的型付け、ホモイコニシティ、REPL駆動開発、マクロ。今日の開発者の大半が生まれる前に、これらはLi...
Self-Attentionの先へ：Transformer後の世界
Transformerアーキテクチャは、もう8年にわたってAIを動かし続けています。主要な言語モデルのほぼすべて、多くの画像生成システム、そして増え続ける音声・動画モデルが、「Attention Is All You...
DNS設定は今も本番環境を壊している
Appleの最新macOSリリースで、数千人の開発者のカスタムDNS設定が壊れました。具体的には、多くの企業がプライベートネットワークのリソースに使っている.internal...
Linux システムAPIの基礎：開発者が知るべき必須知識
1969年、Ken ThompsonとDennis Ritchieは、Bell...
Python の JIT コンパイラ、ついに実現へ
Python は存在してからずっと「遅い」と言われ続けてきました。Python コミュニティの定番の答えは「ホットなループは C 拡張で書けばいい」というもので、これは言語の標準的な実行モデルが根本的な限界を抱えていることの裏返しでした。CPython はバイトコードを一命令ずつ解釈し、各命令は switch...
自前ハードウェアでLLMを動かす
去年、70Bパラメータのモデルを実用的な速度で動かせるローカル推論マシンの構築に4,200ドルをかけました。同僚が私の構成を見て、当然の疑問を投げかけてきました。「APIを使えばいいじゃないか。それってAPIクレジット8年分だぞ」。計算だけ見れば彼の言うことは間違っていません。ただ、彼は判断の前提そのものを見誤っていた...
再起動できない宇宙ソフトウェアの設計術
午前3時にウェブサーバーがクラッシュします。Kubernetesが再起動させ、ユーザーは一瞬エラーページを見るだけです。誰もクビにはなりません。では、そのサーバーが火星の周回軌道にあり、再起動に45分かかると想像してください。その間は姿勢制御も熱管理も通信もできません。「ユーザー」は25億ドルの宇宙船で、Kuberne...
WebAssemblyがJavaScriptより遅い理由
先月の土曜日、私はRustからWASMにコンパイルしていた画像メタデータパーサーをTypeScriptで書き直すことに丸一日費やしました。WASM版は8か月間本番で動いていて、問題もなく、誰も文句は言っていませんでした。ただ、パフォーマンストレースを眺めているうちに引っかかることがあったのです。WASMパーサーは、実際...
3Dプリンティングがプロトタイプツールを超えた日
Align...
レビューの層が増えるほど、チームは遅くなる
スタートアップが本番環境にバグを出荷してしまう。経営陣の対応は、コードレビューを必須にすることだ。次はバグがすり抜ける。では二人のレビュアーを必須にしよう。次はセキュリティインシデント。セキュリティレビューの工程を追加する。次は設計の不整合。設計レビューを追加する。2年もすると、どんなに小さな変更でも4段階のレビューを...
防御的エンジニアリング：壊滅的障害に耐えるシステム
中規模のフィンテック企業で働くジュニアエンジニアが、金曜日の午後にデータベースのマイグレーションスクリプトを実行しました。このスクリプトは、ステージング環境で孤立したレコードを削除するはずのものでした。ところが実際には本番データベースに接続し、420万件の顧客取引レコードを削除してしまいました。バックアップはどうだった...
jemallocが重要な理由：大規模環境のメモリ割り当て
プログラムが malloc()...
Copy-on-Writeで実現するサブミリ秒VMサンドボックス
Dockerコンテナの起動には約500ミリ秒かかります。Firecrackerのmicro...
VisiCalcが変えた、ソフトがハードを売る時代
VisiCalcの登場以前、パーソナルコンピュータは愛好家のおもちゃでした。VisiCalcの登場後、それはビジネスの道具になりました。誇張ではありません。Apple...
FreeBSD：過小評価されているサーバーOS
Netflixで映画を観るとき、その動画データはFreeBSDのサーバーから届いているかもしれません。WhatsAppでメッセージを送れば、何年もFreeBSD上で動いてきたインフラを経由しています。PlayStation 4と5のOSはFreeBSDをベースにしています。主要ISPの基幹を担うJuniper...
JPEG圧縮の仕組みを図解で解説
JPEGはファイル形式のゴキブリだ。1992年に標準化され、Webブラウザより古く、置き換えようとするあらゆる試みを生き延びてきた。WebP、AVIF、HEIC——どれも圧縮効率は上だが、それでもJPEGはインターネットで最も広く使われている画像形式であり続けている。慣性が大きいのは確かだ。しかし、JPEGの圧縮パイプ...
Pyodide：WebAssemblyでブラウザ上で本物のPythonを実行
ブラウザ上でPythonを動かすことは、2010年代初頭からずっと夢でした。ただ、どの試みも同じ壁にぶつかっています。Pythonは CPython の C ランタイムに深く依存しているため、Webに移植するのが簡単ではないのです。Transcrypt、Brython、Skulpt はいずれも Python を...
良いソフトウェアに時間がかかる理由と急げない理由
Flaskが1.0に到達するまでに8年かかりました。SQLiteは2000年から活発に開発が続いていて、今でも意味のある改善が入っています。Linuxカーネルは30年以上の歴史がありますが、年を重ねてむしろ良くなっていると言ってもいいでしょう。一方で、VCの支援を受けたスタートアップに対する平均的な期待は、18か月以内...