AIコーディング

ローカルLLM

【geek-terminalニュース】DeepSeek V4 Flash 0731の癖評価、ARC-AGI高得点と実運用の不安定さが同時に燃える

📝 本日のニュース概要 以前お伝えしたDeepSeek V4 Flash低価格推論・ローカル実行の続報です。今回はベンチ順位ではなく、ARC-AGI、コーディング、非コーディング、ツール呼び出し、KV cache量子化、キャッシュ設計で挙動...
プログラミング

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

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

【geek-terminalニュース】Claude Opus 5運用論、ベンチ勝負からeffort・トークン効率・注入耐性へ

📝 本日のニュース概要 以前お伝えしたClaude Opus 5発表の続報です。今回は新モデルの能力自慢ではなく、effort設定、トークン効率、agentic coding、ブラウザ型prompt injection耐性、ベンチマーク汚染...
商用巨大LLM

【geek-terminalニュース】Claude Opus 5の最新情報

📝 本日のニュース概要 AnthropicがClaude Opus 5を発表。Fable 5級に近い能力を半分の価格で狙う新Opusを、ベンチ、価格、effort設定、音声モード、コミュニティの反応から深掘りします。 以前お伝えしたClau...
プログラミング

【geek-terminalニュース】Cursor Routerの最新情報

📝 本日のニュース概要 以前お伝えしたGemini Flash低コスト戦略やAIコードハーネス設計の続報です。CursorがTeams/Enterprise向けに発表したCursor Routerを、リクエスト単位のモデル選択、キャッシュ損...
プログラミング

【geek-terminalニュース】AIコード失敗変化の最新情報

📝 本日のニュース概要 AIコーディングは簡単になったのではなく、難しさの場所を変えた。生成、検証、レビュー、ハーネス設計まで実務者目線で深掘りします。 【事象の全貌と背景】以前お伝えした、2026年7月20日の人間レビュー帯域不足、そして...
プログラミング

【geek-terminalニュース】コードハーネスの最新情報

📝 本日のニュース概要 以前お伝えしたAIコードレビュー再設計やGrok Build OSS化の続報として、今回はレビュー工程ではなく、AIコーディングエージェントを本番運用に載せるための実行基盤「コードハーネス」を深掘りします。検索、ルー...
ローカルLLM

Kimi K3が実務ベンチを横断席巻、Next.js・科学・表計算で何が起きたのか

📝 本日のニュース概要 以前お伝えしたKimi K3の続報です。今回は公式仕様や価格ではなく、Next.js Eval、Frontend Code Arena、Text Arena科学フィルタ、SpreadsheetBench 2という実務...
プログラミング

【geek-terminalニュース】Linus Torvaldsが示したLinuxカーネル開発とLLM支援コードの最新情報

📝 本日のニュース概要 Linuxカーネル開発でLLM支援コードやAIレビューをどう扱うのか。Linus Torvaldsがメーリングリスト上で示した「Linuxはanti-AIプロジェクトではない」という立場を、一次情報、報道、Reddi...
プログラミング

【geek-terminalニュース】Grok Build OSS化、Rust製AIコーディングCLIの中身が読める時代へ

📝 本日のニュース概要 以前お伝えしたGrok Buildのリポジトリアップロード疑惑とAIコーディング環境の信頼境界問題の続報です。今回はGrok BuildがApache 2.0でOSS化されたと報じられ、Rust製エージェントハーネス...