LIVE · 06/19

Start here

今日見るべきもの Today's decision list featured · summary · top items

短時間で読む優先度を決める領域です。重要度、更新鮮度、source type を優先して表示します。

A quick decision area for busy readers, prioritizing importance, recency, and source type.

Daily Summary

今日の更新

Today's Updates

Today 4 ▼ 93%
Yesterday 55
7-day 378
Last 7 days
45
37
54
88
95
55
4
06/13 06/14 06/15 06/16 06/17 06/18 06/19

過去日のカウントは保持ポリシー(per-source cap / half-life)により縮む場合があります。直近 1〜2 日の活動量の目安としてご覧ください。 Past-day counts may shrink over time due to retention (per-source cap / half-life). Use this chart as a rough gauge of the last 1-2 days.

Last 7 days article counts
DateCount
2026-06-1345
2026-06-1437
2026-06-1554
2026-06-1688
2026-06-1795
2026-06-1855
2026-06-194
🔥 Today's Top 3 importance × recency
  1. Amazon SageMaker AI 非同期推論がインラインリクエストペイロードをサポート Amazon SageMaker AI Async Inference now supports inline request payloads aws-ml-blog 1d ago 重要度 Medium · 公式/技術記事 · Agent Frameworks Medium importance · official/technical post · Agent Frameworks
  2. 各トークンを最大限に活用する:Copilotによるコンテキスト処理とモデルルーティングの改善 Getting more from each token: How Copilot improves context handling and model routing github-copilot 1d ago 重要度 Medium · 公式/技術記事 · GitHub Copilot Medium importance · official/technical post · GitHub Copilot
  3. Atlas が Cloud SQL Enterprise Plus で数百の飲食店データベースをスケールする方法 How Atlas scales hundreds of merchant databases with Cloud SQL Enterprise Plus edition google-cloud-blog 2d ago 重要度 Medium · 公式/技術記事 · Gemini / Gemma Medium importance · official/technical post · Gemini / Gemma

Deep dive

深掘り一覧 Deep-dive timeline 933 timeline · 77 arXiv moved · page 1/32

arXiv 論文を分離した通常更新の一覧です。カテゴリ・タグ・検索で絞り込んで詳細へ進めます。

Browse the non-arXiv update stream by recency, then narrow with category, tags, or search.

TODAY 2 entries
🔥 HOT NEW release cursor 12h ago · zed-releases

Zed nightly、ホバーリンクからfile:line:col形式の遷移をサポート nightly: cloud_api_types: Add `ZedVip` variant to `Plan` (#59443)

重要度 High High priority 重要度 High · 公式リリース · AI Editors High priority · official release · AI Editors 公開 6月19日 Published Jun 19

AI要約 Zedエディタのnightlyビルドで、ホバー時に表示されるリンクから「file:line:col」形式のパス指定によるナビゲーションが可能になった。エラーログやスタックトレースに含まれる位置情報付きのファイル参照を直接クリックして開けるようになり、デバッグ作業の効率化に寄与する更新となっている。

EN This PR adds a new ZedVip variant to the Plan enum. Closes CLO-881. Release Notes: N/A

nightly: cloud_api_types: Add `ZedVip` variant to `Plan` (#59443) media fallback
🔥 HOT NEW release cursor 17h ago · zed-releases

Zed collab-staging: マッチ無しでも編集予測の保持率を計算 collab-staging: agent_ui: Use the thread title for agent notifications (#59377)

重要度 High High priority 重要度 High · 公式リリース · AI Editors High priority · official release · AI Editors 公開 6月19日 Published Jun 19

AI要約 Zedのコラボレーションサーバーstaging環境向けリリース。編集予測(edit prediction)機能において、候補マッチが存在しない場合でも保持率(kept rate)を算出するよう修正された(PR #55912)。AI補完の品質計測精度の改善が目的と見られる。

EN The agent-waiting notification heading was hardcoded to the agent id, showing "claude acp" for external agents. Use the thread's own title, which external agents now provide via session info updates,

collab-staging: agent_ui: Use the thread title for agent notifications (#59377) media fallback
YESTERDAY 2 entries
blog agent-fw 1d ago · aws-ml-blog

Amazon SageMaker AI 非同期推論がインラインリクエストペイロードをサポート Amazon SageMaker AI Async Inference now supports inline request payloads

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Agent Frameworks Medium priority · technical post · Agent Frameworks 公開 6月18日 Published Jun 18

AI要約 Amazon SageMaker AI の非同期推論が InvokeEndpointAsync API のリクエストボディへ直接ペイロードを送信できるインライン形式に対応。S3 への事前アップロードが不要となり、ワークフローが簡素化される。

EN Amazon SageMaker AI Async Inference now supports inline payloads in the InvokeEndpointAsync API request body, removing the requirement to pre-upload inference data to Amazon S3 before each call.

fallback
blog copilot 1d ago · github-copilot

各トークンを最大限に活用する:Copilotによるコンテキスト処理とモデルルーティングの改善 Getting more from each token: How Copilot improves context handling and model routing

重要度 Medium Medium priority 重要度 Medium · 技術記事 · GitHub Copilot Medium priority · technical post · GitHub Copilot 公開 6月18日 Published Jun 18

AI要約 GitHub Copilotがコンテキスト処理とモデルルーティングを最適化し、セッションのトークン消費をより有益な作業へ振り向ける改善を実施したことを紹介する記事。

EN GitHub Copilot improves context handling and model routing to direct more of each session's token usage toward genuinely productive work, helping credits go further.

fallback
Wed, Jun 17 1 entries
NEW blog gemini 2d ago · google-cloud-blog

Atlas が Cloud SQL Enterprise Plus で数百の飲食店データベースをスケールする方法 How Atlas scales hundreds of merchant databases with Cloud SQL Enterprise Plus edition

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Gemini / Gemma Medium priority · technical post · Gemini / Gemma 公開 6月17日 Published Jun 17

AI要約 レストラン向けオールインワンプラットフォームを提供する Atlas が、Cloud SQL Enterprise Plus edition を活用して数百の飲食店データベースを効率的に管理・拡張している事例を解説。マルチテナントアーキテクチャの課題と、Enterprise Plus が提供する高性能・高可用性機能がどのように問題を解決するかを紹介する。

EN Atlas is building the operating system for restaurants. Online storefronts, point of sale, third-party logistics, food platform integrations, customer loyalty, and AI tools represent everything a rest

fallback
Tue, Jun 16 4 entries
NEW blog gemini 2d ago · google-cloud-blog

Siemensが「象を切り分ける」手法で産業用ソフトウェア開発のエージェント型ワークフローを推進 How Siemens "slices the elephant," advancing agentic workflows for industrial software development

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Gemini / Gemma Medium priority · technical post · Gemini / Gemma 公開 6月16日 Published Jun 16

AI要約 SiemensはGoogle CloudのGeminiを活用したエージェント型AIワークフローにより、工場・エネルギーグリッド・交通網を支える産業用レガシーソフトウェアの刷新を進めている。巨大なコードベースを小さな単位に分割して段階的に処理する「象を切り分ける」アプローチが、大規模近代化の現実的な解法として注目されている。

EN For technology companies like Siemens, software is the nervous system of factories, energy grids, and transportation networks worldwide. As a global leader in industrial AI, industrial software, and i

How Siemens "slices the elephant," advancing agentic workflows for industrial software development media fallback
blog gemini 3d ago · google-cloud-blog

顧客との協業がGenAIセキュリティの未来を形作る — Model Armorの進化 How customer collaboration is shaping the future of GenAI security with Model Armor

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Gemini / Gemma Medium priority · technical post · Gemini / Gemma 公開 6月16日 Published Jun 16

AI要約 Google CloudはModel Armorの開発において顧客との密な協業を重視し、実運用から得たフィードバックを製品改善に直結させている。プロンプトインジェクションやジェイルブレイクといった生成AI固有の脅威への対応力が、このサイクルを通じて継続的に強化されている。

EN At Google Cloud, we believe that the best products are built in partnership with our customers. Their feedback and real-world experiences are invaluable in helping refine our services and deliver solu

How customer collaboration is shaping the future of GenAI security with Model Armor media fallback
NEW release cursor 3d ago · zed-releases

collab-production ep: コンテキスト取得評価のマイナー変更 (#58572) collab-production: git_ui: Add View File action to Git Panel (#59383)

重要度 Medium Medium priority 重要度 Medium · 公式リリース · AI Editors Medium priority · official release · AI Editors 公開 6月16日 Published Jun 16

AI要約 Zed の collab-production 評価パイプライン(ep)において、取得コンテキストの平均サイズ追跡や --type オプションのカンマ区切り対応などの小規模な改善が行われた。

EN Objective When reviewing changes in the Git Panel, the only ways to open a file were through a diff view ("Open Diff" or "Open Diff (File)"). There was no way to open the file directly in the editor t

collab-production: git_ui: Add View File action to Git Panel (#59383) media fallback
blog mcp 3d ago · zenn-mcp

AI専用の動画編集ツールに9個目を足したら、同じFFmpegなのにOSごとに挙動が違った — clipwright v0.3.0 JA AI専用の動画編集ツールに9個目を足したら、同じFFmpegなのにOSごとに挙動が違った — clipwright v0.3.0

重要度 Medium Medium priority 重要度 Medium · 技術記事 · MCP / Tooling Medium priority · technical post · MCP / Tooling 公開 6月16日 Published Jun 16

AI要約 clipwright GitHub: https://github.com/satoh-y-0323/clipwright / PyPI: https://pypi.org/project/clipwright/ / v0.3.0 リリース

AI専用の動画編集ツールに9個目を足したら、同じFFmpegなのにOSごとに挙動が違った — clipwright v0.3.0 og fallback
Sat, Jun 13 3 entries
blog mcp 5d ago · qiita-mcp

【OCI】Database Tools MCP Server における認可実装を確認する In May 2026, Oracle Cloud Infrastructure's Database Tools service gained MCP Server functi…

重要度 Medium Medium priority 重要度 Medium · 技術記事 · MCP / Tooling Medium priority · technical post · MCP / Tooling 公開 6月13日 Published Jun 13

AI要約 2026年5月、Oracle Cloud Infrastructure のデータベース・ツールサービスに MCP サーバー機能が追加された。本記事では、AI エージェントが Oracle Database へアクセスする際の認可(Authorization)の実装構造を実地で検証・解説している。

EN In May 2026, Oracle Cloud Infrastructure's Database Tools service gained MCP Server functionality, enabling AI agents to query Oracle databases via the Model Context Protocol. This article examines the authorization implementation that secures that access at a practical level.

fallback
NEW blog cursor 5d ago · zenn-cursor

Cursorの設定ファイルまとめ JA Cursorの設定ファイルまとめ

通常 Normal 新着 · 技術記事 · AI Editors New · technical post · AI Editors 公開 6月13日 Published Jun 13

AI要約 はじめに Cursorをより効率的に使っていきたいと考え、設定ファイルに関する情報をざっくりとまとめました。 Cursorの使い方に関する記事はたくさんありますが、設定ファイルごとにまとめた方が分かりやすいと感じたため、本記事を作成しました

fallback
blog vscode 6d ago · qiita-vscode

CodeRabbit VS Code拡張機能にPlan機能が追加されました! CodeRabbit's VS Code extension has received a new Plan feature, enhancing its AI-powered c…

重要度 Medium Medium priority 重要度 Medium · 技術記事 · VS Code / Dev Env Medium priority · technical post · VS Code / Dev Env 公開 6月13日 Published Jun 13

AI要約 CodeRabbitのVS Code拡張機能に新たにPlan機能が追加されました。GitHub・GitLab・Bitbucketと連携するAIコードレビューサービスが、エディタ内でさらに高度な機能を提供します。

EN CodeRabbit's VS Code extension has received a new Plan feature, enhancing its AI-powered code review capabilities directly inside the editor for developers using GitHub, GitLab, or Bitbucket workflows.

CodeRabbit VS Code機能拡張にPlan機能が追加されました! og fallback
Fri, Jun 12 5 entries
blog tech-news 1w ago · google-keyword

GoogleがAI詐欺に対抗する総合戦略:セキュリティ・訴訟・業界連携 How we're combatting AI scams with security, legislation and more

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Industry & Policy Medium priority · technical post · Industry & Policy 公開 6月12日 Published Jun 12

AI要約 Googleは急増するAI詐欺に対し、自社製品へのAI検知技術の組み込みや詐欺業者への積極的な訴訟提起に加え、法執行機関・通信会社・金融機関など業界パートナーとの連携を強化することで、ユーザー保護に向けた包括的な対策を展開していることを明らかにした。

EN Learn how Google is fighting scammers on all fronts with industry-leading security, lawsuits and law enforcement and industry partners.

How we're combatting AI scams with security, legislation and more media fallback
blog copilot 1w ago · qiita-copilot

GitHub Copilot への「頼み方」を3段階に分類してみた ― 自分のチャット履歴を振り返って見えたこと A practitioner's reflection on over a year of daily GitHub Copilot usage, classifying prom…

通常 Normal 深掘り候補 · 技術記事 · GitHub Copilot Deep-dive candidate · technical post · GitHub Copilot 公開 6月12日 Published Jun 12

AI要約 1年以上の GitHub Copilot 活用経験をもとに、実際のチャット履歴を分析し、コーディングエージェントへの依頼スタイルを3段階に分類・整理した実践的な考察記事。

EN A practitioner's reflection on over a year of daily GitHub Copilot usage, classifying prompt strategies into three levels based on analysis of their own real chat history.

fallback
blog copilot 1w ago · qiita-copilot

AIにソースコードを読ませる前に「地図」を渡すためのツール群を作ってみた Passing raw source code directly to AI assistants like ChatGPT or GitHub Copilot often lea…

通常 Normal 深掘り候補 · 技術記事 · GitHub Copilot Deep-dive candidate · technical post · GitHub Copilot 公開 6月12日 Published Jun 12

AI要約 ChatGPTやGitHub Copilotに既存コードの調査を依頼する際、ソースをそのまま渡しても「どこから読むべきか」をAIが把握しにくいという課題がある。この問題に対し、C#プロジェクトのクラス構成や依存関係などを整形した「地図」情報を事前生成するツール群を自作した経緯と手法を解説した記事。

EN Passing raw source code directly to AI assistants like ChatGPT or GitHub Copilot often leaves the model without clear navigational context. This blog post describes a set of custom tools that pre-generate structured 'maps' of C# codebases—covering class hierarchies, namespace trees, and dependency graphs—so the AI can orient itself before analysis begins.

AIにソースコードを読ませる前に「地図」を渡すためのツール群を作ってみた og fallback
changelog copilot 1w ago · github-changelog

GitHub Copilot CLI に /settings コマンドが登場、設定を一元管理できるように Copilot CLI: Configure everything from one place with /settings

重要度 Medium Medium priority 重要度 Medium · 変更履歴 · GitHub Copilot Medium priority · changelog · GitHub Copilot 公開 6月12日 Published Jun 12

AI要約 GitHub Copilot CLI に新たな `/settings` スラッシュコマンドが追加され、これまで `/theme` や `/streamer-mode`、`/experimental` など分散していた設定コマンドを一箇所に集約できるようになった。スキーマ駆動の設計により、設定の全体像を把握しやすくなっている。

EN GitHub Copilot CLI's new /settings slash command consolidates previously scattered configuration commands — including /theme, /streamer-mode, and /experimental — into a single schema-driven interface, making it easier to discover and manage all settings in one place.

fallback
blog mcp 1w ago · qiita-mcp

Claude Code v2.1.172 サブエージェント5階層化と重要バグ修正まとめ Anthropic released Claude Code v2.1.172 and v2.1.173 in quick succession, introducing up t…

重要度 Medium Medium priority 重要度 Medium · 技術記事 · MCP / Tooling Medium priority · technical post · MCP / Tooling 公開 6月12日 Published Jun 12

AI要約 Anthropic が Claude Code v2.1.172/v2.1.173 を連続リリース。サブエージェントの最大5階層スポーン対応という大型機能追加と、複数の重要バグ修正が含まれる。

EN Anthropic released Claude Code v2.1.172 and v2.1.173 in quick succession, introducing up to five layers of sub-agent spawning and addressing several critical bug fixes.

fallback
Thu, Jun 11 3 entries
blog tech-news 1w ago · the-verge

Google、YouTube クリエイターのコンテンツを音楽AI「Lyria」のトレーニングに利用していると認めず Google won’t just admit it’s feeding YouTube creators to its music AI

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Industry & Policy Medium priority · technical post · Industry & Policy 公開 6月11日 Published Jun 11

AI要約 YouTubeに楽曲をアップした独立系ミュージシャンのデータをGoogleが音楽AI「Lyria」の学習に使っている疑いが浮上。認めようとしないGoogleに対し、クリエイターらが訴訟を提起した。

EN Independent musicians are suing Google, alleging it uses YouTube uploads to train its Lyria music AI without disclosing the practice or obtaining meaningful creator consent.

fallback
blog local-llm 1w ago · qiita-llm

Turing世代のGPU「RTX 2070」1台でローカルQLoRAファインチューニングに挑む(進行中) A work-in-progress account of running QLoRA fine-tuning locally on a single RTX 2070 (8 GB…

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Local LLM / Open Models Medium priority · technical post · Local LLM / Open Models 公開 6月11日 Published Jun 11

AI要約 VRAM 8GBのRTX 2070(Turing世代)1台を使い、個人データをクラウドに送らずローカル環境でQLoRAファインチューニングを行う試みを記録した進行中の実験記事。

EN A work-in-progress account of running QLoRA fine-tuning locally on a single RTX 2070 (8 GB VRAM, Turing architecture), keeping all personal training data on-device without any cloud upload.

fallback
blog copilot 1w ago · github-copilot

GitHub Copilot CLI に Language Server Protocol で本格的なコードインテリジェンスを付与する Give GitHub Copilot CLI real code intelligence with language servers

重要度 Medium Medium priority 重要度 Medium · 技術記事 · GitHub Copilot Medium priority · technical post · GitHub Copilot 公開 6月11日 Published Jun 11

AI要約 GitHub Copilot CLI に LSP(Language Server Protocol)サーバーを組み合わせることで、grep や逆コンパイルに頼るブルートフォース的な手法を排除し、IDE 並みの正確なコード解析を AI に提供する設定方法が GitHub 公式ブログで解説された。対象言語の LSP サーバーをインストールして Copilot CLI に接続することで、型情報やシンボル情報を踏まえた高精度な回答が得られるようになる。

EN Install and configure LSP servers for GitHub Copilot CLI, replacing brute-force grep/decompile with real code intelligence. The post Give GitHub Copilot CLI real code intelligence with language server

fallback
Wed, Jun 10 2 entries
blog local-llm 1w ago · qiita-llm

MacでローカルLLM!Ollama × ELYZAで構築するAI環境(ターミナル・API・WebUI) A Qiita tutorial showing how to run ELYZA, a Japanese-specialised LLM, on Apple Silicon Ma…

通常 Normal 深掘り候補 · 技術記事 · Local LLM / Open Models Deep-dive candidate · technical post · Local LLM / Open Models 公開 6月10日 Published Jun 10

AI要約 Mac(Apple Silicon)にOllamaと日本語特化LLM「ELYZA」を組み合わせ、ターミナル・REST API・WebUIの3通りでローカルAI環境を構築する手順を紹介した入門チュートリアル記事。

EN A Qiita tutorial showing how to run ELYZA, a Japanese-specialised LLM, on Apple Silicon Macs via Ollama, covering terminal commands, REST API integration, and WebUI chat access.

MacでローカルLLM!Ollama × ELYZAで構築するAI環境(ターミナル・API・WebUI) og fallback
release opencode 1w ago · openhands-releases

cloud-1.38.0: Webhook認証をSandboxRecord活用でAPI呼び出し削減するパフォーマンス改善 cloud-1.38.0: perf: skip runtime API call in webhook auth via SandboxRecord (#14732)

重要度 Medium Medium priority 重要度 Medium · 公式リリース · OpenHands / OpenCode Medium priority · official release · OpenHands / OpenCode 公開 6月10日 Published Jun 10

AI要約 OpenHands のクラウド版 cloud-1.38.0 では、Webhook 認証フローにおいて SandboxRecord を活用することでランタイムへの API 呼び出しを省略するパフォーマンス最適化が実施された。認証ごとに発生していたネットワーク往復コストが削減され、高頻度な Webhook 利用環境での応答性向上が見込まれる。

EN Co-authored-by: openhands openhands@all-hands.dev

cloud-1.38.0: perf: skip runtime API call in webhook auth via SandboxRecord (#14732) media fallback
Tue, Jun 9 3 entries
blog mcp 1w ago · zenn-mcp

ブラウザを開けない CLI / MCP クライアントをどうログインさせるか、OAuth Device Code Flow を実装した話 JA ブラウザを開けない CLI / MCP クライアントをどうログインさせるか、OAuth Device Code Flow を実装した話

重要度 Medium Medium priority 重要度 Medium · 技術記事 · MCP / Tooling Medium priority · technical post · MCP / Tooling 公開 6月9日 Published Jun 9

AI要約 MCP サーバを自分のサービスに繋ぐとき、地味に困るのが「CLI からのログイン」だ。 ブラウザがある Web アプリなら、OAuth の authorization code flow が使える。ユーザーをログイン画面にリダイレクトして、

fallback
blog mcp 1w ago · qiita-mcp

[Bedrock AgentCore Gateway × Keycloak] MCP 2025-11-25 認可仕様に準拠したKeycloakでCIMDと認可コードフローを利用したMCP認可を試してみた A Hitachi engineer demonstrates MCP authorization using AWS Bedrock AgentCore Gateway and …

重要度 Medium Medium priority 重要度 Medium · 技術記事 · MCP / Tooling Medium priority · technical post · MCP / Tooling 公開 6月9日 Published Jun 9

AI要約 日立製作所のエンジニアが、AWS Bedrock AgentCore GatewayとKeycloakを用いてMCP 2025-11-25認可仕様のCIMDおよび認可コードフローを動作検証した実践的技術記事。

EN A Hitachi engineer demonstrates MCP authorization using AWS Bedrock AgentCore Gateway and Keycloak as the IdP, verifying the CIMD mechanism and Authorization Code Flow defined in the MCP 2025-11-25 specification.

fallback
changelog copilot 1w ago · github-changelog

IP allow list の EMU ネームスペース適用が一般提供開始 IP allow list coverage for EMU namespaces in general availability

重要度 Medium Medium priority 重要度 Medium · 変更履歴 · GitHub Copilot Medium priority · changelog · GitHub Copilot 公開 6月9日 Published Jun 9

AI要約 GitHub Enterprise Cloud の Enterprise Managed Users(EMU)環境において、GitHub ネイティブの IP 許可リスト設定をユーザーネームスペースにも適用できる機能が一般提供(GA)となった。企業は承認済みネットワークからのみ GitHub リソースへのアクセスを制限でき、セキュリティポリシーの一貫した施行が可能になる。

EN GitHub Enterprise Cloud's Enterprise Managed Users (EMU) feature can now enforce native IP allow list rules across user namespaces, reaching general availability. Organizations can consistently restrict GitHub resource access to approved network addresses, closing a previous coverage gap.

IP allow list coverage for EMU namespaces in general availability og fallback
Mon, Jun 8 1 entries
blog copilot 1w ago · qiita-copilot

AIエージェントのトークン代を節約する CLAUDE.md と copilot-instructions.md 実践ガイド――毎ターン何が起きているのか A practical guide explaining how CLAUDE.md and copilot-instructions.md are injected every …

重要度 Medium Medium priority 重要度 Medium · 技術記事 · GitHub Copilot Medium priority · technical post · GitHub Copilot 公開 6月8日 Published Jun 8

AI要約 CLAUDE.md や copilot-instructions.md が毎ターンのシステムプロンプトに埋め込まれる仕組みを解説し、トークンコストを抑えるための実践的な書き方を紹介する記事。

EN A practical guide explaining how CLAUDE.md and copilot-instructions.md are injected every agent turn as system prompts, and how to keep them concise to reduce token costs.

fallback
Sun, Jun 7 2 entries
blog local-llm 1w ago · qiita-llm

ローカルLLMは「ラ・サール中」の難問を解けるのか?最新モデル比較で見えた驚きの知能差 A benchmark blog post testing multiple local LLMs on La Salle Junior High School entrance …

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Local LLM / Open Models Medium priority · technical post · Local LLM / Open Models 公開 6月7日 Published Jun 7

AI要約 ラ・サール中学の入試算数問題を複数の最新ローカルLLMに解かせ、モデルごとの推論能力の差を比較検証した記事。期待に反し、モデル間で「驚きの知能差」が浮き彫りになったとされる。

EN A benchmark blog post testing multiple local LLMs on La Salle Junior High School entrance exam math problems, revealing surprising reasoning capability gaps among the compared models.

fallback
release local-llm 1w ago · ollama-releases

Ollama v0.30.3 リリース — Gemma 4 12B モデルのサポートを追加 Ollama Releases v0.30.3

重要度 Medium Medium priority 重要度 Medium · 公式リリース · Local LLM / Open Models Medium priority · official release · Local LLM / Open Models 公開 6月7日 Published Jun 7

AI要約 Ollama がバージョン v0.30.3 をリリースした。今回の更新では Google の Gemma 4 シリーズから 12B パラメータモデル(gemma4-12b)のサポートが新たに追加されており、ローカル環境での利用が可能となった。

EN New models Gemma 4 12B : high-performance multimodal intelligence that runs directly on laptops, combining efficiency with advanced reasoning. What's Changed Added support for gemma4:12b . Full Change

Ollama Releases v0.30.3 media fallback
Sat, Jun 6 1 entries
blog vscode 1w ago · qiita-vscode

Lean + Mathlib + VS Code の環境を構築してみる A step-by-step guide to setting up the Lean theorem prover with Mathlib and VS Code, demon…

通常 Normal 深掘り候補 · 技術記事 · VS Code / Dev Env Deep-dive candidate · technical post · VS Code / Dev Env 公開 6月6日 Published Jun 6

AI要約 macOS 15.6.1 を例に、定理証明支援システム Lean と数学ライブラリ Mathlib を VS Code 上で動かす環境構築手順を紹介。Windows・Linux でも同様の手順が利用可能とされている。

EN A step-by-step guide to setting up the Lean theorem prover with Mathlib and VS Code, demonstrated on macOS 15.6.1 but explicitly designed to work on Windows and Linux as well.

Lean + Mathlib + VS Code の環境を構築してみる og fallback
Fri, Jun 5 1 entries
release agent-fw 1w ago · langchain-releases

langchain-core 1.4.1 リリース — Bedrock 事前バリデーション削除を含むパッチ更新 langchain-core==1.4.1

重要度 Medium Medium priority 重要度 Medium · 公式リリース · Agent Frameworks Medium priority · official release · Agent Frameworks 公開 6月5日 Published Jun 5

AI要約 LangChain のコアライブラリ langchain-core がバージョン 1.4.1 へアップデートされた。AWS Bedrock のロード処理における事前バリデーションの削除という不具合修正に加え、ModelProfile のドキュメント文字列の拡充が行われており、小規模ながら実用性を高めるパッチリリースとなっている。

EN Changes since langchain-core==1.4.0 release(core): 1.4.1 ( #37922 ) fix(core): remove Bedrock prevalidation from load ( #37909 ) docs(core): expand and link ModelProfile docstrings ( #37904 ) release(

langchain-core==1.4.1 media fallback