プログラミング

プログラミング

【geek-terminalニュース】Real-SWE再燃とSWE-2低コスト評価の最新情報

📝 本日のニュース概要 以前お伝えしたSWE-Bench系評価の続報。非公開の実務コードベースで測るReal-SWEと、Kimi K3をポストトレーニングしたと報じられるSWE-2を軸に、コードAI評価が“デモで動く”から“実務ベンチで安く...
プログラミング

【geek-terminalニュース】Meta Muse Spark 1.3、コーディングAIの本当のコスト指標に踏み込む

📝 本日のニュース概要 以前お伝えしたMeta Muse Sparkの続報です。Muse Spark 1.3をめぐり、コーディングタスクでのツール呼び出し約20%減、トークン使用量約25%減という報道が出ています。単なる正解率ではなく、エー...
プログラミング

【geek-terminalニュース】Codex×Claudeサブエージェント実行の最新情報

📝 本日のニュース概要 単体モデルの性能競争から、CodexとClaudeをどう並列実行し、セッション間で文脈を受け渡すかという開発OS的な論点へ。公式に確認できるサブエージェント仕様と、Reddit/Zennで盛り上がるruntime・s...
プログラミング

Vercel vgpu.sh公開か、ブラウザGPUがAIエージェント実行基盤になる最新情報

📝 本日のニュース概要 Vercel発のWebGPUライブラリ「vgpu.sh」を深掘り。ブラウザ、ヘッドレスNode.js、CI、CPUサンドボックスまでをまたぐ“agent-first”なGPU実行基盤という発想が、AIエージェント時代...
プログラミング

【geek-terminalニュース】AIコーディングエージェントの完了判定PR、夜間量産レビュー運用が次のボトルネックに

📝 本日のニュース概要 AIがコードを書く段階から、AIが開いたPRをいつ完了扱いするのか、翌朝どう捌くのかへ論点が移っています。Claude Codeの公式機能、Reddit/HN/lobste.rsの現場反応、CI緑だけでは危ない理由を...
プログラミング

【geek-terminalニュース】DuckDB v2.0のハイライト公開?「Quack」サーバーモードの噂にギーク騒然

📝 本日のニュース概要 組み込み分析DBの代表格DuckDBが、2026年秋リリース予定とされるv2.0のハイライトページを公開したとの情報が浮上。サーバーモード「Quack」や新テーブルフォーマット「DuckLake」など気になる噂を、公...
プログラミング

【geek-terminalニュース】Agentic開発環境はCLIから“実行OS”へ進化するのか

📝 本日のニュース概要 OpenChamberのWalkthrough、Shepherdのfork/replay/revert構想、そしてAIコーディング環境のセキュリティ論争を、裏付けの確度を分けながら深掘りします。 【事象の全貌と背景】...
プログラミング

【geek-terminalニュース】Meta Muse Codeβの最新情報:安いコーディングエージェントの本丸は性能表ではなく学習データ契約か

📝 本日のニュース概要 MetaがMuse Codeをベータ公開。Muse Spark 1.2搭載のターミナル型コーディングエージェントとしての性能以上に、コミュニティで注目されているのは、学習データ提供と引き換えに価格が下がるという新しい...
プログラミング

【geek-terminalニュース】モデル分業Codingの最新情報

📝 本日のニュース概要 以前お伝えしたCursor Routerの続報です。今回はリクエスト単位のモデル振り分けではなく、フロンティアモデルを計画役、安価なモデルや専用コーディングモデルを実行役にする“推論費のOS設計”として、Cursor...
プログラミング

【geek-terminalニュース】AndroidのオンデバイスADB制限疑惑、Shizuku/libadb系ツールチェーン直撃か

📝 本日のニュース概要 Google公式発表では未確認ながら、AndroidのADBデーモンが受け付けるネットワークインターフェース制限をめぐり、端末自身からADBへ接続するオンデバイスADBワークフローに影響が出る可能性がコミュニティで注...