DuckDB 2.0.0 LTS「Cinnamon Teal」公開 - Quack protocolの刷新とVARIANT型・agent modeを追加
Announcing DuckDB 2.0.0 LTS “Cinnamon Teal”
DuckDBが2.0.0 LTS「Cinnamon Teal」をリリースした。1.5以降の約2万コミットを溜めた最大の機能リリースで、Quack protocolの刷新、非同期I/O、VARIANT型、agent mode、トリガー、拡張可能なSQLパーサが加わる。Quack protocolの完成により従来のクライアント・サーバ構成が実用段階に入り、CONNECT文でデータベースの接続と切り替えが可能になった。サポート面はJDK 21から27まで幅があり、1.4は2026年11月17日まで、1.5は2027年3月まで延長された。
Anthropic、LLMによる形式検証の実用化を発表 - RISC-Vアセンブリレベルで100超のOSSライブラリを証明
LLMs are making formal software verification feasible at a much larger scale
AnthropicがTheoremとの共同研究で、Claudeを用いた形式検証の大規模化を示した。RISC-Vアセンブリレベルのセキュリティ特性を100を超える実在のオープンソースライブラリで証明した初の例で、形式検証を日常的な開発ワークフローに組み込める可能性を示す。証明を書く過程で、Claudeは数兆回のテストでも検出されなかったバグを実際に見つけた。Linuxカーネルだけでも直近で1,000件超の脆弱性が公開されており、攻撃前にバグを検出する手法の必要性が高まっている。
NVIDIA、自律AIエージェント向けランタイム「OpenShell」を公開 - ポリシーでファイル・syscall・通信を制御
OpenShell – A safe, private runtime for fleets of autonomous AI agents
NVIDIAがOpenShellを公開した。自律AIエージェントの集合体向けの安全でプライベートなランタイムであり、エージェントがファイルの読み込み・パッケージのインストール・APIの呼び出し・クレデンシャルの利用を行える一方で、データやシークレット、ネットワークへの無制限なアクセスは与えない。エージェントごとに触れてよい範囲をポリシーとして宣言すると、OpenShellがそれを実行時に強制する。実装はカーネルへの計装により、ファイルアクセス・システムコール・ネットワーク接続のすべてをランタイムで検査する方式をとっており、0.1.x系では分離プリミティブの追加とAPIの拡張が進んでいる。
AWSがCVE公開4日前からPHP2Shellの攻撃を検知 - AI支援解析でpatchからworking exploitまでが短縮
Amazon Threat Intelligence identifies PHP2Shell exploitation prior to public disclosure in MadPot
Amazon Threat Intelligenceは、2026年10月17日（embargo解除の4日前）にMadPotのテレメトリでPHP2Shellの攻撃を検知した。攻撃元は商用匿名化ネットワークのIPアドレスで、honeypotへの標的化から脅威アクターによるものと考えられるが、公開前に攻撃情報を入手した経緯は不明である。embargo解除後の10月21日0200 UTC頃から複数の概念実証エクスプロイトを検出し、その後は攻撃試行が短時間に広がった。AWSはembargoは他の勢力が同じバグを発見するまでしか防御を保護しないと強調し、AI支援解析によってpatchの差分から実用的なエクスプロイトを作るコストが下がり、動ける勢力が増えていると指摘している。
Linuxカーネルの複数の脆弱性がpublicなメーリングリストに誤投稿 - CVSS 9.0のSMB Direct RCEなど
Several Linux kernel vulnerabilities accidentally posted to public mailing list
Trend MicroのZero Day InitiativeがLinuxカーネルの脆弱性レポートを、非公開のsecurityメーリングリストではなく公開のLKMLに投稿してしまった。Greg Kroah-Hartmanが各レポートの投稿先を尋ねる形で対応を進めている。対象には整数アンダーフローによるSMB Directのリモートコード実行（ZDI-CAN-33549、CVSS 9.0）、KSMBDの競合状態によるRCE（ZDI-CAN-33774、CVSS 9.0）、skb_zerocopyの権限昇格（ZDI-CAN-33367）、VMWGFXの読み書き境界違反（ZDI-CAN-34068）、NVMETの未初期化リソース（ZDI-CAN-34076）が含まれる。パッチは一部で-testingや-nextブランチに投入済みだが、mainlineにはまだ取り込まれていない。
eMudhra、世界SSL/TLS証明書事業からの撤退を発表 - 認証局の鍵流出が引き金
eMudhra to Exit global SSL/TLS Certificate Business
eMudhra Limitedが取締役会の決議として、世界SSL/TLS証明書事業から自主的に撤退することを発表した。会長のV. Srinivasanは最近の認証局に関する事故について、発見から14時間以内に影響を受けた認証局を失効させ、迅速に開示したと説明した。そのうえでインフラの侵害やデータの漏えいはなく、影響を受けた認証局から客向けの証明書は発行されていなかったと述べている。世界SSL/TLSは売上の1%程度にとどまり、データ主権やコンプライアンス要件、成本の増加で魅力が低下した上、ソーシャルメディアでの拡大が事業比重に不相応な監視を招いたとして撤退の判断を正当化した。G1 RSAルートは移行が完了するまで提供を続け、証明書の無償再発行と失効・状態信息服务は全証明書の有効期限切れまたは差し替えまで稼働を続ける。
Switch 2のソフトウェア Jailbreak「ns2jb」公開 - WebKitのn-dayからコード実行、Codexがマリオカートを改造
jailbreaking the switch 2
最新ファームウェア23.0.1に対応したSwitch 2向けの、ソフトウェアのみのtethered jailbreak「ns2jb」が公開された。任意のネイティブコードを通常のsysmoduleとして、また組み込みのfs sysmoduleとして実行でき、homebrewの起動、ゲームの改造と逆アセンブル、セーブデータの書き出し、MMIO経由の周辺機器アクセスが可能になる。作者のpepsipuは初動のコード実行にWebKitのn-dayを captive portal経由で読み込み、ネイティブ制御フローの乗っ取りを主張している。到達までに約2週間を要した。デモではCodexにJetKVM経由でコントローラー入力を送らせ、1日で「vibecode」したマリオカートワールドの改造を披露した。
「Rustより速い」と宣伝したTovのベンチマークは改ざん - 3件の計測でRust側を遅くする細工を発見
Debunking “Faster than Rust”: Malicious Benchmarks in Tov
エージェント向け言語として「Rustより速いネイティブバイナリ」と宣伝する新言語Tovのベンチマークを検証したところ、bigint_fib、dispatch、map_insertの3件でRust側を意図的に遅くする細工が見つかったと報告されている。Tovは実際にはTypeScriptをCへ変換してclangに渡すコンパイラにすぎず、CとRustの性能がほぼ同等である以上、1.6倍の文字列処理速度という主張は原理的に成立しない。指摘側はRust側を適切に書き直して再計測し、Tovと同等またはそれ以上の性能を確認したとしている。エージェント向け言語という売り込みの背後に実際の最適化があるかを疑う事例として、ベンチマーク検証そのものに価値がある。
解放したメモリはどこへ消えたか - glibcのarenaが保持しkernelのanonメモリは減らない
Where did my freed memory (not) go?
Yapfastの作者が「ウィンドウを隠したらヒープ使用量は23 MiB減ったのに、kernelが数えるプロセスメモリは97.8から97.3 MiBしか減らなかった」と調べた記録を公開した。mallocの実取り量とアプリが実際に確保している量、kernelが数えるanonメモリという3つの数値を分けて追跡している。テスト用のフックでmalloc_stats()を呼び、各arenaの状態をstderrに出力させた。ウィンドウを破棄しても実取り量は動かず、Yapfastはメモリを解放したがglibcはそれが返ってきたメモリを保持し続けていた。malloc_trimを明示的に呼ぶとkernel側の数値も73.1 MiBまで下がった。解放したはずのメモリがプロセスに帰属メモリとして残るという観測の謎を紐解く、実践的な計測ガイドになっている。
macOSのgccバイナリを解剖 - clangのエイリアスではない実体のある実行ファイル
examining the macOS gcc binary
macOSの/usr/bin/gccはclangのエイリアスではなく実体のあるバイナリであることに注目し、その逆アセンブリ結果を公開した。逆アセンブリを読むと、コンパイラ名からclangやclang++へ置換し、toolNameによる分岐で_mainExecutableToolNameを判定してxcselect_invoke_xcrun()を呼び出す構造が見える。gcc、llvm-gcc、c++、llvm-g++の各名称で挙動が変わることを変数の文字列比較で実装している。単純なシンボリックリンクやシェルのラッパーではないことが確認でき、ツールチェーンの選択挙動を確かめたい管理者には手頃な素材になる。
ClickHouse Keeperの非ブロッキングスナップショット - hash mapと双方向リストでcopy-on-writeを実現
How ClickHouse Keeper Takes Non-Blocking Snapshots
毎秒数千件の書き込みを受けるメモリ内のデータベースについて、全体のロックを取らずに整合したスナップショットを取得する方法をClickHouseのソースコードから解説した記事。RedisがOSレベルのforkとcopy-on-writeで解決するのに対し、Keeperはユーザースペースでハッシュマップと双方向リストの組み合わせで実現する。素朴な方法では全局ロックで全クライアントが数秒待たされるか、深い複製でメモリが倍になる。必要なのは定数時間の検索、短いロック、書き込み中のキーだけcopy-on-writeという3条件。素のハッシュマップではスナップショット中に再ハッシュが起きキー順が崩れて取りこぼしや二重書きが発生するため、挿入順を保つ双方向リストに値を格納し、ハッシュマップはキーからリストノードのポインタを保持する構成にしている。追加メモリはスナップショット中の書き込み数に比例する。
TornadoVM 7 - JavaアプリケーションからGPUネイティブのワークロードを実行
TornadoVM 7 Enables GPU-Native Workloads from Java Applications
異種GPUプログラミングフレームワークのTornadoVMが7系をリリースした。JVMを置き換えるのではなくOpenJDK、GraalVM、Temurin、Zuluなど任意のJDKと並べて動作し、JavaコードをOpenCLやApple MetalバックエンドへオフロードしてJavaヒープとアクセラレータの間でメモリを管理する。7系ではバックエンドがJNIの代わりにFFM APIを使うようになり、JNI Compiler Interfaceへの依存も削除された。コンパイラメタデータはreflection、ASM、Unsafeの層で一本の経路に統一されている。JDK 21から27までに対応する。Nvidia CUDAバックエンドではcuTileプログラミングモデルとcuBLASやCUTLASSの呼び出しにも対応した。
「誰も考えていない」- AI slopが判断を置き換えているという開発者の異議
Nobody is Thinking Anymore
Yusuf Aytasが、仕様に少なくとも半分、コードに8割、戦略文書に6割をAIが書く現状で、考える部分が消えていると論じた。問題はAI利用そのものではなく、AI slopが本来人が担うはずの判断を置き換えはじめていることだと指摘する。LLMを神託ではなく次のトークン予測器として扱い、自分が携わった仕事の判断は自分で引き受けること、完璧さではなく不完全なトレードオフを含む人が責任者としての判断を持つ深さが必要だと主張する。skill atrophy、すなわち自動化が人の認知手順を奪っていく現象にも触れ、AIを共同操縦者ではなく道具として使う必要を説いた。AIが帮忙した手仕事を無条件に祝う風潮にも留保を示している。
Node.js 2026年10月セキュリティリリース - Brotliデコーダの範囲外書き込みでRCE
October 2026 Security Releases
Node.jsが26.x、24.x、22.x向けのセキュリティリリースを公開した。修正は10件でHighが4件ある。うちCVE-2026-111497はBrotliデコーダの範囲外書き込みでリモートコード実行が可能となったもので、報告者はOpenAI Codex Securityチームである。dns.resolveがNUL文字を含む名前を切り詰めるCVE-2026-105482、IPアドレスを全角数字で書いたときのTLS証明書のホスト名回避（CVE-2026-105483）、ホストが緩い規則でIPアドレスに解決される場合の回避（CVE-2026-106069）もHighに分類された。keep-aliveソケットが要求より前に書かれた応答を処理するCVE-2026-105481や、非正規なIPv4ホストの証明書検証（CVE-2026-106072）、randomUUIDとrandomIntのエントロピーキャッシュがスナップショットに保存され全プロセスで同じ値になるCVE-2026-106074はMedium。ca-certのeMudhra中間認証局の侵害への対応も含まれる。
Node.jsの10月セキュリティリリースを50リポジトリとVercel・Cloud Runで一斉対応 - 2日で完了した手順
Node.jsの2026年10月セキュリティリリースに、手元の50リポジトリとVercel・Cloud Runで対応した
受託案件を含む50リポジトリ、Vercel上の7チーム125プロジェクト、Cloud RunとFirebase Functionsを対象に、Node.jsの2026年10月セキュリティリリース（修正版は24.22.1、22.23.4、26.12.1）へ2日で対応した記録。miseに入れるローカルNode、常駐プロセスの実行Node、各リポジトリのengines.node、mise.toml、CIのnode-version、Dockerfile、Vercelプロジェクト設定など、Nodeが実際に動いている場所を洗い出す作業をClaude Codeと共同で進めた。SEA、スタートアップスナップショット、Permission Model、Brotliの直接展開をgrepで確認したところいずれも未使用で、コード側の修正は不要だった。ただしfetch()はContent-Encoding: brの応答を自動で展開するため、外部APIを呼ぶサービスはNodeの更新で対応する必要がある。miseでNodeを入れ替えるとグローバルのnpmパッケージが古い版側に残る点にも注意が必要だった。
エージェント用IDEを3つ試して、今さらcmuxを使い始めた - Orca・T3 Code・Supersetの比較
エージェント用 IDE を3つ試して、今さら cmux を使い始めた
Claude Codeのセッションを10本近く並列に動かす開発者が、エージェント専用IDEのOrca、T3 Code、Supersetを試したうえで最終的にcmuxを採用した経緯を記録している。かつてはtmuxの中で運用し、入力待ちのセッションを探すために専用ツールを入れていたが、cmuxに移行しても通知まわりやtmuxでの悩みは結局解消しなかった。Supersetはサイドバーのグループ化が使いやすかったもののターミナルのスクロールが荒くて実用性に欠け、issue #5364にも 올라っている。Orcaは多機能すぎて行き過ぎ、T3 CodeはGUI型でタブ機能がなく、用途ごとにCLAUDE_CONFIG_DIRを分ける運用と噛み合わなかったという評価だ。共通点はグループ化の単位がgit worktree前提の設計で、調べるだけのセッションを大量に走らせる用法とは相性が悪かったこと。最終的に選んだcmux 0.65.0についての率直な評価も.
Rootless Dockerと学ぶSELinux - ディレクトリとプロセスのtype|access制御を解剖
Rootless Dockerと学ぶSELinux【初心者向け】
Rocky Linux 10.2の自宅サーバーでcomposeユーザー権限のRootless Dockerを動かしつつ、SELinuxのアクセス制御が実際にどう効いているのかを調査した学習記録。SELinuxの要素としてUser、Role、Typeを挙げ、標準のインストールではTypeだけ押さえればよいと整理している。ls -alZでディレクトリとファイルに付与されたtype（system_u:object_r:var_t:s0など）を確認し、プロセスのtypeと突き合わせて許可や拒否の理由を追った。RHEL系でrootとして実行される常駐プロセスとRootlessで動くプロセスのtypeの違いが、制限の要点になる。SELinuxを宗教として扱わずls -alZで可視化しながら紐解いていくアプローチは入門向けの粒度として適切である。
自宅サーバーの定期バックアップが動かないことに気付かなかった話 - rcloneのリモート名の誤り
自宅サーバーの定期バックアップの失敗に気付かなかった話
中古PCのRocky LinuxでImmichの写真サーバーを運用し、rcloneでGoogle Driveへ暗号化バックアップする設定をしていたが、実際にはほぼ毎日即座に失敗していた出来事を記録した記事。rclone lslで直近30日分のファイルを確認すると何も返らず、crontab -lでは送り先がsecret_crypt:となっている一方、rclone listremotesで得られる実際の名前はsecret_drive:だった。cronのログでもCMDとCMDENDが同じ秒で終わっていることを確認している。原因はリモート名の書き間違いと、22時にPCの電源が入っていない日が多いことで実行自体も行われていなかったことにある。修正後はflockで二重実行を防ぎ、起動時の遅延実行に@reboot sleep 300を使い、--log-fileで結果を記録するようにした。バックアップの成功を実際に検証していないことに起因する古典的な失敗事例として有用である。
KMPデスクトップ版はAIエージェントに速いのか検証 - Androidエミュレータの約10倍速を再現
KMPデスクトップはAIエージェントに速いのか？検証してみる
「AIエージェントにアプリを操作させるならKMPのデスクトップ版のほうが速い」という既存記事（Androidエミュレータ5.68秒、生のUIAutomator 4.14秒、デスクトップのCompose MCP 0.60秒、UIを飛ばしてpresenterへ直結0.0008秒の各1件あたり）に対して、GoogleのNow in AndroidをKMPへ移植したnowinandroid-kmpで追試検証した。MacBook ProのM4 Pro上のAndroidエミュレータ（Pixel 9、Android 15）とMacのデスクトップ版を、Compose Multiplatform 1.12.0で画面サイズ460×915に固定して、開ける、押す、戻るという操作を10件×5回、3回の試行の中央値で比較した。結果、記事所述のとおりMacのデスクトップ版が5.0秒で10件（1件あたり0.50秒）となり、Androidエミュレータの約10倍で主張の妥当性が確認された。使用した道具はCompose Hot ReloadのMCPサーバー（get_semantic_treeとclick）とAndroid側のuiautomator dumpおよびinput tapである。
脆弱性管理の仕組みを整えた - Dependabot・Renovate・Trivy・Inspectorを一続きの運用にする
脆弱性管理の仕組みを整えた
SOC2 Type2の継続審査に向けた社内脆弱性管理の再設計記録。Workforce Management領域のバックオフィス向けSaaSで、ECS Fargateを中心としつつ一部イベント駆動、コンテナもLambdaもNode.jsを使い、SOC2はVantaで管理している。従来はOSパッケージをCIのTrivy、ライブラリをDependabotのalertsとRenovate、ECR basic scanningも併用と、検知先が分散していた。見直しでは検知から判断、修復、記録までを一系列の作業として追えることを重視し、検知方法、確認場所、担当者の作業を整理した。管理対象と検知のタイミング、影響評価の観点を明示的に定義している。「誰が判断し、どうリリースに載せ、どこに記録を残すか」を自分の現場で決めるための枠組みとして役立つ。
LLMを自分とAIの仲間にしないで - 整ったAI生成の回答を同僚の返答と混同する bracketing
Don't Be a Proxy Between Me and Your AI
同僚が設計レビューやスレッドで技術的な質問に対して、整った3つのトレードオフを列挙して最後に明確な推奨で締める回答を返すあれを皮肉って批判したエッセイ。問い返すように1分の沈黙のあとにCanalに整った段落が押し返される，也就是向かいにいるのは人間ではなく、人間に似せたコピペボタンの付いたチャットウィンドウだと指摘している。「もしLLMと議論したければChatGPTやClaudeに直接入力すれば10秒で済む、中間者を挟む必要がない」と言い切る。自分は相手が持つ経験値、失敗談、許容するトレードオフが聞きたいのであり、それはLLMからは出てこない。AI生成をNG扱いする姿勢への批判も含む。
リトライポリシーが本番障害を悪化させる - jitterなしの指数バックオフと同期した再試行
Your Retry Policy Is Making Production Outages Worse
下流のデータベースやマイクロサービスが数百ミリ秒のレイテンシスパイクを起こしたとき、リトライは混乱を隠すはずが、実際には5秒の小さな乱高を45分の連鎖障害へ変える仕組みになっていると論じた。AWSのBuilders' Libraryが説くリトライの自私性という視点を借り、失敗した呼び出しを再試行するとは、すでに限界の近い依存先に対して自分の要求を主張することだと指摘する。固定ディレイ、jitterのない指数バックオフ、スタックの複数層での重複リトライはレジリエンスではなく同期した負荷増幅器になる。下流が500ミリ秒止まると1,000の並行要求が同じミリ秒で失敗し、全クライアントが同時に復帰する。指数バックオフは単一クライアントの再試行頻度を下げるだけで、クライアント間の同期は壊さないため、jitterやサーキットブレーカー、層ごとの重複抑止が不可欠だと主張している。
重複したAPIリクエストに潜む6つの原因 - 本番での再送は既に副作用が起きた後に走る
The Hidden Bugs Behind Duplicate API Requests
「Place order」を1回クリックしたのに40ミリ秒差で同じ内容の行が2件できる事象の原因を6つに分類し、対策が重複しない形で整理した記事。CORSの事前問い合わせ（JSONのContent-TypeやAuthorizationヘッダがあるとOPTIONSが先行しDevToolsには2回見える）、開発時だけ起きるReact StrictModeの二重実行、ボタンのダブルクリックなど無害なものから、本当に危険な「クライアントがタイムアウトして再送し、サーバーは既に副作用を完了していた」ケースまで扱うと強調している。損失が出るのは最後のケースだと的大部分を割いて解説している。
「93%の確信度」は文字列であって確率ではない - 較正されていないconfidence scoreの自動承認リスク
"I'm 93% confident" is a string, not a probability
デモでは回答と一緒に確信度0.93を返させ、0.9を超えたらauto_approve()と書くが、本番ではその数字は生成されたテキストの一つにすぎない、という問題を提起している。confidenceという語を名乗るには較正済みであることが必要で、90%前後と答えたケースの実際約90%が正しかったことを自分のデータで確認するまでは装飾にすぎない。失敗モード1は一度も検証されていない閾値で、評価セット全体の精度が94%でも、0.9超の区間の精度は低い区間と大差がなく、モデルはほぼ全てに0.9以上を出し続ける小数の付いたゴム印になっていた例。失敗モード2は1つの精度数字が裏に2つの別のシステムを隠すケースで、人への引き渡しなどの保留機能があると低信頼と高信頼で挙動が分かれ集計で打ち消し合う。結論として較正作業と予備手段の整備が必須だと指摘する。
git last-modifiedはディレクトリが散らばると遅い - Git 2.56で40ファイルに6.4秒かかった
Git 2.56's last-modified command is fast on one directory and slow on scattered files
Git 2.52.0で追加されたgit last-modifiedは、git log -1 -- <path>をファイルごとに実行して履歴を何度も歩き直す既存リポジトリブラウザの挙動を、1回の履歴走査で全パスに回答する形に置き換えるコマンド。作者はgit/gitリポジトリを--filter=blob:noneで複製し、82,542コミットと4,857ファイルの4コアVMでGit 2.56.0をビルドして実測した。同じ40ファイルでも、1つのディレクトリにまとまっている場合は861ミリ秒、散らばっている場合は6.4秒と、ちょうど置き換える対象であるgit logに負ける結果を再現している。依然としてEXPERIMENTAL扱いのコマンドで、2.54までに実バグの修正が入っている状態で現在の安定版が何を提供するかを問う、些細に見えるが実装上の挙動を掘る典型的な記事である。