AIresearch科学

collage of a physics diagram and trees

クロード形状の科学問題

物理学教授のMatthew Schwartzは、Claudeの気性に逆らって使うのをやめ、むしろ現世代のモデル能力にちょうど合う問題を探すようになった。知識を検索可能な集合として扱い、幾何学的直感で境界を判定するタスクである。彼は完成した2本の研究を提出し、その背後にあるBootLoopsハーネスについて述べた。

AICloudflare開発ツール

Cloudflare 官方题图:左侧是文章标题,右侧是一个装着高音谱号的橙色水晶球,下方叠着两层菱形底座

Clefの紹介:オープンソースの意思決定モデルと新しいRL微調整プラットフォーム

Cloudflare がエッジで動くほど小さな意思決定モデル群をオープンソース化:LLM のように自由に文章を生成するのではなく、与えられた問題に対して有界な構造化判断(確率、選択肢、スコア)を出力し、高速で安価かつ再現可能。記事では Jev との違いを比較し、新しい RL 微調整サービスを紹介。

AIデザインmethodology

Mold & Yeast 的默认封面图

生成、選別、評価、選択

巨大な空間から少数の優れた設計を見つけるには、まず必要をはるかに超える候補を作り、最も安価なテストで大多数をふるい落とし、生き残ったものだけを人に見せる。この方法論の論文は、六つの段階それぞれの数学を明確に記述している。段階の順序の決め方、候補をどれだけ作るか、閾値をどう定めるか。

AI開発ツール執筆

AI の変更による認知負荷を軽減する

モデルが抽象概念につける名前が自分の習慣と合うとは限らない(モデルはMutationIntentと呼ぶが、頭の中ではEditRequest)。見るたびに頭の中で変換が必要で、数十の新語が積み重なると認知負荷になる。著者の解決策:レビュー前に、モデルに造語と代替候補をリストアップさせ、確認後に一括置換する。

Cloudflare開発ツールインフラ

Cloudflare 风格的插画:橙色放大镜里是一座雪山,四周有数据流线条、彩色方块与节点

Cloudflare、K2を発表:サーバーレスイベントストリーミング

K2はプロデューサーとコンシューマーをスケールと時間の両面で分離します。エッジでの永続バッファリング、複数コンシューマーによる独立した読み取り、キー単位の順序保証、Kafkaクライアントとの互換性を備えます。本記事ではQueuesやPipelinesとの役割分担と適用範囲を解説します。

AIresearchspeech

Pocket TTS architecture

ドリフト目標でポケットTTSを訓練する

Kyutai は連続音声言語モデルの一段階フローマッチング目的(LSD)を drifting に置き換えた。指標はすべて同等、推論コストは変わらず、ヤコビアン・ベクトル積が不要になった。これは drifting で訓練された初の自己回帰生成モデルである。

AIハードウェア推論

Cerebras 的架构示意图:左侧三种 prefill 硬件(Hardware A/B/C)各自接入中间的 WSE 晶圆级引擎,右侧输出一排排 token 方块

ゼロからの分離型推論

Cerebras は prefill と decode を異なるハードウェアに分離:演算強度が異なり、スケジューリング目標も異なるため、分離後は同じハードウェア量でスループットが5倍向上し、生成速度は低下しない。記事は行列積から KV 転送と異種分離の選定までを解説。

Cprogrammingsystems

编辑器自身运行时的截图:终端窗口里显示一段 C 源码,底部状态栏写着文件名与行号 src/main.c - 1075 of 1412 lines,最下方是搜索提示

C と POSIX システムコールでゼロ依存のターミナルエディタを書く

著者が初めてCを書き、Kiloガイドに従ってターミナルエディタを作った:raw modeはtcgetattr/tcsetattr、バイトストリームをキー入力に解析(ANSIエスケープシーケンス含む)、ioctl(TIOCGWINSZ)でウィンドウサイズを取得、write()で行ごとに描画。サードパーティライブラリは一切不使用。

暗号歴史セキュリティ

文章封面图

マルモンの暗号を解読、1809年

マルモン将軍への手紙は未解読の歴史暗号リストに217年間眠り、1969年の日付が誤記されたフランス軍期刊の複製のみが残っていた。著者はそのスキャン画像一枚から完全に解読し、日付を1809年3月に訂正し、再実行可能なスクリプトを公開した。

algorithmsdatabaseinternals

B木とB+木:データベースインデックスはなぜこんなに速いのか

二分探索木から始めよう。なぜノードがディスクページに一致する必要があるのか、B木がいかに木の高さを極限まで抑えるか、そしてRDBが最終的にB+木を選んだ理由(葉ノードの連結リストにより範囲クエリが繰り返しの上下走査から順次読み取りに変わる)、最後にノード分割アルゴリズムを解説する。

databaseinternalsSQLite

SQLite 内部架构:1つのファイルがトランザクションを守る仕組み

単一ファイルで ACID をどう実現するか。ページと B+tree のレイアウト、ロールバックジャーナルから WAL への進化、並行アクセスを制御する 5 つのロック状態、性能を引き出す 4 つの PRAGMA 設定(WAL を有効化、synchronous を下げる、cache_size を増やす、mmap を有効化)を扱う。

games数学simulation

Quality modules can have quality too. Source: Factorio wiki

行列数学で Factorio の品質確率を解く

Factorioの作者は行列数学のコードを書いて工場を計画している。品質ループをマルコフ連鎖として構築し、定常方程式を解き、いくつかのループ戦略の期待生産量を比較し、オンライン計算機を作った。無限級数の反復ではなく厳密解であることがこの手法の新規性だと彼は考えている。

citrixセキュリティthreat-intelligence

Citrix NetScaler ADC および Gateway デバイスに対する能動的悪用の防御

MandiantとGTIGはCitrix NetScalerのゼロデイCVE-2026-88772が野外で悪用されていることを発見した。報告書は完全な攻撃チェーン、2つのWebサービス永続化手法、WHIPSHOTとSLAPSHOTの2つのマルウェアの分析、およびハンティングの考え方、3つの対処案とYARAルールを記録している。

databaseinternalsPostgreSQL

文章封面图

Write-Ahead Logging:それがどのようにあなたのデータを保護するか

IBM の ARIES から今日まで。先に順序ログを書いてからデータページを書き込む方式が停電に耐えられる理由、checkpoint と group commit がそれぞれ何を解決するのか、物理 WAL と論理 WAL の違い、よくある 2 つの誤用(長いトランザクションを閉じない、速度のために fsync を切る)を扱う。 commit

artgenerativeハードウェア

Phyllotaxis LED sculpture

葉序

葉序はヒマワリの中心にある二重螺旋模様で、コードは驚くほど短い。著者はまずそれを描き、Voronoiで格子に分割し、89個のアドレス指定可能なLEDを各セルに組み込んで、音に反応して光る実体彫刻に仕上げ、スケッチからPCBまでの二版の試行錯誤を記録した。

databaseinternalsPostgreSQL

テーブルアクセスメソッドの構築、パート3:Postgresの共有メモリ

Postgresに手書きでテーブルアクセスメソッド(TAM)を書く連載第3回。3つの共有メモリ機構の選び方、DSAのポインタ間接参照がなぜシーケンシャルスキャンを4〜5倍遅くするのか、pinするのはセグメントかマッピングか、そして_PG_initとshmem_startup_hookの役割分担。

コンパイラハードウェアresearch

CMU 软件工程研究所的封面图,标题为 Choosing the Hardware That Will Put DARPA MOCHA's Compilers to the Test

DARPA MOCHAのコンパイラをテストするのにどのハードウェアを使うか

MOCHAがコンパイラを未知の異種アクセラレータに迅速対応させたい場合、テストベンチマークはどう選ぶ?SEIは5つの選定基準と9つの候補ハードウェアを挙げ、各チームに目標の推薦を求めた結果、最終的にAMD RDNA 4とTenstorrent Tensixに絞られた。

Cコンパイラprogramming

暗色哥特式建筑的石墙与尖拱,拱窗内透出暗红色光

1+1を計算したいだけなのに、関数型プログラミング言語を一つ書くことになった

著者は算術式を二分木に変換するデータ構造の課題を出され、ついでに評価器を書き、数日後にはクロージャ、ガベージコレクション、カスタムメモリアロケータ、REPL、FFIを備えるまでになった。全文でCコードを示しながら段階的に解説する。

economics歴史technology

黑白线描插图,模仿古代浮雕与楔形文字的风格,中央是放射状的刻纹图案

青銅器時代の崩壊の真の原因は何ですか?

歴史家はしばしば干ばつ、飢饉、侵入者に帰するが、それではなぜそれらの帝国が二度と戻らなかったかを説明できない。Fitzsimmons は鍵は冶金経済にあると考える。青銅武器は長距離の錫鉱石貿易に依存し、エリートだけが武装できたが、鉄器は地元での製錬を可能にし、誰もが武装する機会を得たため、帝国は都市国家へと砕けた。

AIengineeringインフラ

柱状图「Trajectories run per day」,2025 年 10 月到 2026 年 7 月的月均值,从近零一路涨到 45 万,末月高亮为深紫色

LLM評価のスループットを20倍に向上させた方法

ボトルネックは計算能力でもレート制限でもなく、p90の82%の時間がコンテナを待っていることだった。Mercorは10秒ごとに実行されるCompute Schedulerを使い、静的FIFOキューを優先度・プロジェクト公平性・先入先出の3段階ルールでグローバルワークプールを割り当てる方式に置き換え、スループットが20倍に増えた。

agentAIセキュリティ

加固后的 agent 运行时架构图:Runtime cell 内含 seccomp 沙箱与凭证存储,右侧 Sentinel 权限中枢,四周是推理代理、遥测代理与外部服务

サンドボックス分離だけで暴走エージェントを抑止できるか?

暗号学教授の Matthew Green がこの論争の裁定を引き受けた。実際に問題が起きた事例はサンドボックスが突破されたものではなく、第三者の評価環境そのものが公衆網に直結していたことによる。そして agent をより厳しく閉じ込めれば、かえって作業が難しくなるだけだ。 Greenがこの論争の裁定者を務め

agentAI開発ツール

白底上由彩色小方块组成的抽象点阵图案,几条颜色不同的点带从左上向右延伸并逐渐交汇

モデルを解き放つ:最先端のハーネス設計

Replitがmodel routerに反論:routerは常に選択するモデルより弱く、core loop自身が各ステップでどの種類のsubagentを使い、どれだけの計算資源を使うかを決める方がよい。4つのharnessプリミティブと実測データにより、harnessは介入しないほどよいという結論。