「意味で探すgrep」がJevで実現、トランプ大統領はAI安全論を一蹴

AI

Trump says it’s time to rebrand AI with a new name — and he’s also creating an AI Force

トランプ米大統領が、AIという呼び名そのものを変えると言い出した。TechCrunchによると、投稿では「Superior Intelligence」など3案を挙げ、投票を呼びかけた。あわせて、AI政策を統括する責任者の任命と、宇宙軍にならった「AI Force」の創設も表明した。同じ投稿でAIの危険性への懸念を政敵による「でっち上げ」と切り捨てており、規制に逆らう姿勢が鮮明になった。

Jevのキラーアプリ、「意味で探す grep」を作った

文字列ではなく「意味」でファイルを検索するgrepが公開された。作者の解説によると、「誰かが変装している」といった日本語の一文を渡すだけで、フランス語やロシア語で書かれた行まで拾える。判定にはTypeSafe AIのJevを使い、確率だけを返させるので30行を0.2秒ほどでさばける。以前のLLMとは異なる方法で処理するAIモデル「Jev」が、実用ツールとして形になった最初の例のひとつだ。

jev-lint: コード中の命名やコメントが嘘になってないかを高速に確認

関数名やコメントが実装とズレていないかを、AIに点検させるツールが公開された。コードの構造から該当箇所を抜き出し、自然言語で書いた検査ルールをまとめて当てる仕組みだと作者は説明する。自分自身の約9800行を7.7秒・約8円で検査でき、変更差分だけなら1円もかからない。判定はぶれるため既存のLintの置き換えではなく、名前と中身の食い違いを拾う補助という位置づけだ。

Vals, backed by Andreessen Horowitz, is looking to become the gold standard for AI benchmarking

AIの実力を、法務や金融など実務に近い課題で測る会社Valsが注目を集めている。TechCrunchによると、8月にAndreessen Horowitz主導で4000万ドルを調達した。既存のベンチマークは問題が公開されているため、モデル側が対策を学習できてしまう。Valsは問題を非公開にすることでこれを防ぎ、受験料をモデルの提供側から取る形にしている。

ハーネス（OpenCode）＋ローカルLLM ７モデル比較で Qwen3.8-Flash-Next が満点！

手元の機械で動かせるAIモデル7つを、同じ実務課題で比べた検証がQiitaに投稿された。サーバを調べて設計書を書かせる課題を解かせたところ、Qwen3.8-Flash-Nextだけが満点を取っている。差がついたのは知識ではなく進め方で、高得点のモデルは「調査→執筆→検証」を何度も回していた。公開ベンチマークで上位のモデルが最下位級に沈んだ例もあり、順位表と実務の相性は別物だと分かる。

Infra

侵入からわずか8分でAWSの管理者権限を奪われる筋道が、ServerlessDays Tokyo 2026で示された。実際の攻撃報告をもとにした発表で、公開状態のS3から鍵を拾い、Lambdaのコードを差し替えて権限を広げる流れをたどる。鍵になるのは、Lambdaの実行ロールに強すぎる権限が付いたまま放置されている点だ。発表者は、権限の見直しだけでなく、Lambdaからどこへ通信できるかという経路の設計で塞ぐべきだと説いている。

データセンター、お金を払わず水を1億1000万リットル使用

米ジョージア州のデータセンターが、料金を払わないまま約1億1300万リットルの水を使っていた。ギズモード・ジャパンによると、2か所ある取水口の1か所は無断で設けられたものだった。運営会社は工事中の一時的なものだと説明し、後から約15万ドルを請求されて支払っている。以前の海の中のデータセンターでも触れたように、冷却用の水をどう賄うかが各地で火種になっている。

Your Pods Are Not Draining: I Checked

Kubernetesでコンテナを落とすとき、通信が切れる瞬間と案内の切り替えがズレていると実測された。著者の計測では、コンテナが即座に終了した場合でも、サービスは中央値で221ミリ秒ほど死んだ宛先を案内し続ける。さらにUDPの通信は2.4秒で別のコンテナへ振り替えられ、安全に終わらせる仕組みが素通りされていた。WebRTCやDNSのようにUDPを使う用途では、TCP前提の作法が効かないと考えたほうがいい。

Moving from Datadog to Opensource Observability ecosystem

月2.5万ドルのDatadog費用をオープンソースに移せないか、という相談がr/sreで盛り上がった。投稿者の環境は大規模なのに、監視を見ている担当者は1人だけだという。経験者が挙げるのはGrafanaのLGTM構成やElasticだが、成否を分けるのはラベルや命名の統一だという。立ち上げには詳しい技術者が要るが、軌道に乗れば月10時間ほどで回せるという声もある。

Lambda MicroVMsで実現するServerlessなCodex App Server

AWSのLambda MicroVMsの上で、OpenAIのコーディングAIを動かす実装例が公開された。Japan Digital Designによると、エージェントには長く動く処理が要り、通常のLambdaでは足りない。仮想マシン単位で隔離されるMicroVMsなら、利用者ごとに切り離した実行環境を自前で組まずに済む。起動直後の状態を保存しておき、すぐ使える状態から再開させる工夫も紹介されている。

Backend

16年間放置されていたSQLiteのバグを突き止めた方法

SQLiteに16年潜んでいたデータ破損のバグが、どう突き止められたかが記事になった。Gigazineによると、Tailscaleは半年で19件の破損に遭い、実行した全SQL文を記録して再現する仕組みを自作した。決め手はSQLite開発陣が用意した診断用の仕掛けで、ファイル操作の詳しいログから競合の瞬間を捉えている。原因そのものは以前のSQLiteの16年越しのバグで触れたが、今回は調査の手順が主題だ。

You can run git on object storage if you re-make packfiles

Gitのリポジトリをオブジェクトストレージに直接置く実験が、Tigrisの技術ブログで公開された。既存のパックファイル形式は圧縮後のサイズが分からないため、1オブジェクトだけを取り出す要求を組み立てられないのが壁だった。そこで索引に圧縮前と圧縮後の両方のサイズを持たせ、必要な範囲だけを指定して取りに行く形式を設計している。あるリポジトリではpushが3分29秒から14秒になり、ストレージへの要求は9236回から30回に減ったという。

wkhtmltopdfの次どうするか問題2026

HTMLをPDFにするwkhtmltopdfの乗り換え先を整理した発表が公開された。開発が止まっており中身は2012年のブラウザエンジンのままなので、FlexboxもCSS変数も使えないのが出発点だ。選択肢は、利用者に印刷機能で保存してもらう案からGotenbergへの移行まで5通りに整理されている。発表者は、まずRust製で軽いsghtmltopdfを試す順序を勧めている。

C#の現在地進化の歴史と、AI時代の.NET Everywhere

C#の20年の歩みとAI時代の立ち位置を語った発表が、C# Kaigi 2026で公開された。発表者は、他言語に広まったasync/awaitなどの機能を振り返りつつ、型は人のためだけでなくAIのためでもあると述べる。コンパイルと誤りの指摘が速いほど、AIが直しては試す反復が早く回るという理屈だ。自身のライブラリ開発でもAIの提案を人が測り直しており、基礎知識がなければ増幅は効かないと結ぶ。

Union vs sum types

「どちらか一方の型」を表す2つの方式の違いを整理した記事が読まれている。著者によると、Juliaの共用体型は同じ型を重ねると1つに畳まれ、値の集合として扱われる。一方Rustの列挙型は必ず札を付けて包むので、取り出すときに場合分けを強制できる。書く量が減る前者と、見落としを防げる後者という、どちらにも理のある対比として説明している。

Frontend

Thoughts on the Future of Web Browsers

Firefoxを含む今のブラウザには見切りをつけるべきだ、という主張が公開された。著者は、AI機能がコードの奥深くまで組み込まれており、設定で切っても取り除いたことにはならないと指摘する。実際にAI関連を剥がすパッチを作ってみたところ、1605個のファイルに手を入れることになったという。読むための道具ではなく書くための道具としてブラウザを作り直そう、という呼びかけで締めくくっている。

Quarkdown: Turing-complete Markdown typesetting system

Markdownに関数と変数を持ち込んだ組版システムQuarkdownが注目を集めている。通常の記法をそのまま書けるうえ、条件分岐や繰り返しまで書けるので、1つの原稿からHTML・PDF・スライドを作り分けられる。レイアウトや数式の部品が標準で付いており、自分で関数を定義して使い回すこともできる。Kotlin製でVS CodeとIntelliJ向けの拡張もあり、GitHubのスターは1万6000を超えた。

CleanShot’s bulldozed settings

macOS向けのCleanShotが設定画面を刷新したところ、使いにくくなったという批判記事が出た。著者は、Appleの設定画面をまねた2列構成のせいで、項目名と操作する部分が左右に離れてしまった点を問題視する。ラジオボタンがドロップダウンに置き換わり、選べる中身が隠れたことも挙げている。OSの流行をそのまま取り込むのではなく、良し悪しを判断するのが作り手の責任だ、という主張だ。

Building an ASCII 3D Renderer

ブラウザの中で、立体を文字だけで描くレンダラーを作った記事が公開された。著者は、座標の変換・三角形の塗りつぶし・明るさの計算という描画の基本手順をそのまま実装している。要点は最後の工程で、面の明るさに応じて濃さの違う文字を割り当てるところだ。TypeScriptで書かれており、3D描画の仕組みを手を動かして理解したい人に向く。

I built a free carbon & page-weight auditor for the web — feedback welcome

Webページの重さと二酸化炭素の排出量を採点する無料ツールが公開された。作者によると、URLを貼るだけで数秒でA〜Fの評価が出て、転送量から排出量を見積もる計算式を使っている。配点はページの重さと排出量が各3割で、残りを通信回数・表示速度・品質測定の結果に割り振る。登録もデータ保存もない作りで、作者はこの配点の妥当性について意見を募っている。

Products

Sutura

CIで落ちたテストを自動で直し、その修正が本物かどうかまで検証するツール。テストを消したり条件を緩めたりして通しただけの「見かけの緑」を弾くのが最大の特徴だ。修正案は複数のAIに別々に審査させ、1つでも反対すれば採用しない仕組みになっている。自動でマージはせず、根拠を添えたプルリクエストを人が見る前提で作られている。

Agent Interface

AIエージェントにパソコンを操作させるとき、同じ画面を何度も見直す無駄を減らす基盤。操作の手順そのものと、今の画面のどこを押すかという対応付けを、分けて持つのが考え方だ。画面が変わっても対応付けだけを手元で約110ミリ秒で直せるため、そのたびにAIへ問い合わせずに済む。オープンソースで、デスクトップで動く試作版が公開されている。

Eggshell

コーディングAIが別の会話で調べた内容を、次の会話でも使い回せるようにする記憶の仕組み。調査結果と根拠を手元にグラフとして貯め、関係しそうなものだけを取り出して渡す。取り出す処理自体にAIを使わないので、記憶のために追加の費用がかからない。Leanで書かれたオープンソースで、何がなぜ渡されたかを後から確認できる。

MeshEdit

ブラウザだけで3Dのゲーム素材を作り、骨を入れて動かせる制作ツール。作ったものはGLB形式で書き出せ、.blendやOBJの読み込みにも対応する。言葉で指示してAIに下書きを作らせつつ、頂点や面を手で直せるのが売りだ。取り消し履歴を人とAIで共有するので、どちらが何を変えたのか追える。

BiBimba

コピーの履歴とスクリーンショットを、1つの検索窓からまとめて探せるMac用ツール。撮った画像は裏側で文字起こしされるため、エラーメッセージや資料の中身まで検索の対象になる。翻訳や要約は端末の中で処理され、外部には送られない。買い切り9ドルで3台まで使えるが、Appleシリコン搭載機と新しめのmacOSが要る。