Trained LLMs exclusively on pre-1913 texts
要約 歴史的テキストに基づくLLMの開発 最近、スイスのチューリッヒ大学とケルン … 続きを読む
モデル・技術
モデルリリース、ベンチマーク、性能比較、技術解説
Gemini 3 Flash arrives with reduced costs and latency — a powerful combo for enterprises
要約 Gemini 3 Flashの登場とその影響 Googleは、コストと遅延 … 続きを読む
Gemini 3 Flash arrives with reduced costs and latency — a powerful combo for enterprises
要約 Gemini 3 Flashの登場：コストとレイテンシの削減 Google … 続きを読む
Gemini 3 Flash arrives with reduced costs and latency — a powerful combo for enterprises
要約 Gemini 3 Flashが登場、コストとレイテンシが低下 Google … 続きを読む
AI will make formal verification go mainstream
要約 AIが形式的検証を主流にする可能性 AIがソフトウェア開発に与える影響につ … 続きを読む
No AI* Here – A Response to Mozilla’s Next Chapter
要約 Mozillaの新CEOは、同社を「世界で最も信頼されるソフトウェア会社」 … 続きを読む
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
要約 タイトル: Codex CLIとGPT-5.2を用いたJustHTMLのP … 続きを読む
AI will make formal verification go mainstream
要約 AIが形式検証を主流にする可能性が指摘されています。形式検証は、ソフトウェ … 続きを読む
No AI* Here – A Response to Mozilla’s Next Chapter
要約 Mozillaの新CEOが、同社を「世界で最も信頼されるソフトウェア会社」 … 続きを読む
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
要約 HTML5パーサーの移植が迅速に実現 Simon Willison氏は、E … 続きを読む