v1.1.5-pre v1.1.5-pre
Fixed the git: worktree popup listing no worktrees when a project was opened at the parent of a .bare directory (bare-clone-with-sibling-worktrees layout). ( #55790 ) Fixed a crash when pasting an ima
Fixed the git: worktree popup listing no worktrees when a project was opened at the parent of a .bare directory (bare-clone-with-sibling-worktrees layout). ( #55790 ) Fixed a crash when pasting an ima
AI要約 本論文は質的研究に生成AIを取り入れる「Vibe Research」の是非を検討する。AIによるコーディングや分析支援の利点を認めつつ、解釈の妥当性や研究者の役割、倫理的課題を議論し、適切な活用指針を提示する。
EN This paper examines the use of generative AI in qualitative research ('vibe research'), discussing benefits like AI-assisted coding and analysis alongside concerns about interpretive validity, researcher agency, and ethical implications, offering guidance for responsible adoption.
og AI要約 Code World Model(CWM)のリリースに伴う安全性評価レポート。サイバーセキュリティ、化学・生物兵器、AI自己改善などの主要リスク領域について評価を実施し、重大なリスクは確認されなかったと報告している。
EN A preparedness report evaluating the Code World Model (CWM) across critical risk domains including cybersecurity, CBRN, and AI self-improvement, finding no significant risk thresholds crossed.
og AI要約 AI支援によるソフトウェア開発で生産性と信頼性が両立しないパラドックスを指摘し、仕様駆動型ガバナンスによってAI生成コードの品質と保守性を担保する枠組みを提案する研究論文。
EN This paper highlights the productivity-reliability paradox in AI-augmented software development and proposes a specification-driven governance framework to ensure quality and maintainability of AI-generated code.
og AI要約 GitHub上のリポジトリ分析と実務者へのアンケートを通じて、ソフトウェア設計プロセスにおける大規模言語モデル(LLM)の利用実態を実証的に調査した研究。設計タスクへのLLM適用の現状と課題、利点を明らかにする。
EN An empirical study examining how large language models are used in software design, combining analysis of GitHub repositories with a survey of practitioners to identify current adoption patterns, benefits, and challenges.
og AI要約 形式手法における仕様生成タスク向けの新ベンチマークLiveFMBenchを提案。エージェント型LLMワークフローの性能と限界を評価し、複雑な仕様の自動生成における課題を明らかにした。
EN This paper introduces LiveFMBench, a benchmark for evaluating agentic LLM workflows on formal specification generation, revealing both the capabilities and limitations of current agent-based approaches in producing complex specifications.
AI要約 本研究はLLM駆動のマルチエージェントシステムによる自律的なテスト修復の実用的限界を検証する事例研究である。発見と自己修正の能力を評価し、現状の手法では完全自動化に課題が残ることを示した。
EN A case study examining the practical limits of autonomous test repair using a multi-agent system with LLM-driven discovery and self-correction, highlighting remaining challenges for full automation.
AI要約 本論文は、生成AIエージェントを活用した説明可能なトピックモデリング手法「Agentopic」を提案する。従来のトピックモデルに比べ、エージェントによる反復的な処理で解釈性と精度を向上させ、抽出されたトピックに対する説明能力を高めている。
EN This paper proposes Agentopic, a generative AI agent-based workflow for explainable topic modeling. By leveraging iterative agent reasoning, it improves interpretability and accuracy over traditional topic models while providing explanations for extracted topics.
og AI要約 本論文はStyleShieldを提案し、連続的かつ制御可能なスタイル転送を用いてAIGC(AI生成コンテンツ)検出器の脆弱性を明らかにする。スタイルの強度を調整することで検出器を回避でき、既存検出手法の頑健性に重大な課題があることを示した。
EN This paper introduces StyleShield, which exposes the fragility of AIGC detectors via continuous controllable style transfer. By adjusting style intensity, the method can evade detection, revealing significant robustness limitations in current AIGC detection approaches.
AI要約 産業制御システム向けの異常検知手法PhaseNet++を提案。周波数領域での位相情報とセンサ間の位相コヒーレンスグラフを活用し、従来の振幅ベース手法では捉えにくい微細な異常を検出する。
EN PhaseNet++ is a phase-aware frequency-domain anomaly detection method for industrial control systems that leverages phase coherence graphs across sensors to detect subtle anomalies missed by amplitude-based approaches.
EN arXiv:2605.00933v1 Announce Type: cross Abstract: Continuous Glucose Monitoring (CGM) can detect early metabolic subphenotypes (insulin resistance, IR; $\beta$-cell dysfunction), but population-scale
EN arXiv:2605.00905v1 Announce Type: cross Abstract: Diagram question answering (Diagram QA) requires reasoning-level attribution that links each question-answer pair to all visual regions needed to deri
EN arXiv:2605.00994v1 Announce Type: cross Abstract: Finetuning can significantly modify the behavior of large language models, including introducing harmful or unsafe behaviors. To study these risks, re
EN arXiv:2605.01097v1 Announce Type: cross Abstract: Recent advances in large language models (LLMs) have led to the development of AI-powered tutoring systems that provide interactive support via dialog
EN arXiv:2605.01106v1 Announce Type: cross Abstract: Speculative decoding accelerates autoregressive inference by drafting candidate tokens with a fast model and verifying them in parallel with the targe
EN arXiv:2605.00847v1 Announce Type: cross Abstract: Representing and navigating hierarchy is a fundamental primitive of reasoning. Large language models have demonstrated proficiency in a wide variety o
AI要約 最近 AI 界隈で「プロンプトは終わった、これからはハーネスの時代だ」「メタハーネスが来る」「LangChain で組み合わせる」といった話をよく目にします。SNS では AI 研究者の主張をインフルエンサーが拡散していて、議論としては確か
AI要約 はじめに ChatGPT や Perplexity のような「検索しながら答えてくれる AI」を、ローカルで・無料で・自分のデータを外に出さずに実現したい。そう思って調べると、Ollama + OpenWebUI + SearxNG という
AI要約 Claude Codeで利用可能なMCP(Model Context Protocol)サーバーを公式・コミュニティ別に整理した記事。各MCPの機能や用途を比較し、開発作業の効率化に役立つツールを紹介している。
EN An overview comparing MCP (Model Context Protocol) servers available for Claude Code, categorized by official and community offerings. The article reviews features and use cases to help developers choose tools that streamline their workflows.
og EN The Silicon Valley AV startup has not started driverless testing yet.
AI要約 SAPが設立わずか18か月のドイツのAIスタートアップに11.6億ドルを投じ、同社の「NemoClaw」AI技術の採用を決定した。欧州発のAI基盤強化を狙う大型投資として注目される。
EN SAP is investing $1.16B in an 18-month-old German AI lab and adopting its NemoClaw technology, marking a major bet on European AI infrastructure and signaling SAP's push to strengthen its enterprise AI stack.
og AI要約 Simon Willisonが新しいDatasetteプラグイン「datasette-referrer-policy」のバージョン0.1を公開した。HTTPレスポンスにReferrer-Policyヘッダーを追加し、外部リンク経由でリファラ情報が漏れるのを防ぐ。デフォルトではno-refererを設定する。
EN Simon Willison released datasette-referrer-policy 0.1, a new Datasette plugin that adds a Referrer-Policy HTTP header (defaulting to no-referrer) to prevent referrer information from leaking when users follow external links.
AI要約 Microsoft Flight Simulatorが、オーストラリア・ニューサウスウェールズ州の山火事と戦うボランティア消防組織NSW Rural Fire Serviceの活動を称えるコンテンツを発表。実機を再現した航空機などを通じて彼らの貢献を伝える内容となっている。
EN Microsoft Flight Simulator unveiled new content honoring the volunteers of the NSW Rural Fire Service, Australia's bushfire-fighting organization, recreating their aircraft and operations to highlight their bravery and contributions.
og AI要約 マッチングアプリBumbleの有料ユーザー数が減少傾向にある中、同社は今年後半に予定しているサービスの大規模刷新に活路を見出そうとしている。業績低迷の打開策として新機能や体験の改善が鍵となる。
EN Bumble's paying user base is declining, and the dating app company is pinning its hopes on a major product overhaul planned for later this year to reverse the trend and revitalize growth.
og AI要約 スタートアップのAltaraが、物理科学分野の研究を遅らせているデータ不足の課題を解決するため、700万ドルのシード資金を調達した。実験データの構造化と統合により、研究開発の加速を目指す。
EN Startup Altara has raised $7M in seed funding to tackle the data gap that has been slowing down progress in the physical sciences, aiming to structure and unify experimental data to accelerate R&D.
og AI要約 米EVメーカーLucid Motorsは、2024年の生産台数見通しを撤回した。サプライチェーンや市場環境の不確実性を理由に、年間生産台数の予測を提示できない状況にあると明らかにした。
EN Lucid Motors has withdrawn its annual EV production guidance, saying it can no longer provide a forecast for how many vehicles it will build this year amid supply chain and market uncertainties.
og AI要約 MicrosoftのSatya Nadellaが、エージェント型AIシステムの構築に伴い、すべての企業が仕事の在り方を再考する必要があると指摘。AIが実行を担う一方で、人間の主体性を拡張し業務プロセスを再設計する機会が生まれるとし、その移行に向けた重要な考慮点を解説している。
EN Microsoft's Satya Nadella argues that every firm must reconceptualize work as they build agentic AI systems. With AI handling more execution, businesses have an opportunity to expand human agency and redesign how work gets done.
AI要約 OpenAIのグレッグ・ブロックマン社長が、陪審の前で自身の個人日記の記述を読み上げざるを得なくなった。日記の内容が金銭欲に満ちていると受け取られる可能性があり、彼はその真意を法廷で説明する必要に迫られた。
EN OpenAI president Greg Brockman was forced to read entries from his personal diary aloud to a jury and explain why passages that appear greedy reflect something different, as part of ongoing legal proceedings.
og AI要約 Simon Willisonが、AIエージェントに実店舗のカフェをストックホルムで運営させた実験について紹介。AIが意思決定や仕入れ、価格設定を担当し、その過程と結果を観察した試みで、自律型AIの実用性と限界を検証する内容となっている。
EN Simon Willison covers an experiment where an AI agent was tasked with running an actual cafe in Stockholm, handling decisions like procurement and pricing. The post examines what worked, what failed, and the broader implications for autonomous AI agents in real-world businesses.
AI要約 n8nの公式MCPサーバーが、従来の「ワークフロー実行」から「ワークフロー構築」へと進化した。ClaudeやCodexなどのAIアシスタントから自然言語で指示するだけで、n8nのワークフローを直接生成・編集できるようになり、開発体験が大きく変わる。
EN n8n's official MCP server has evolved from merely executing workflows to actually building them. Users can now generate and edit n8n workflows directly from AI assistants like Claude and Codex via natural language instructions.
og AI要約 GitHub MCP Serverを通じたシークレットスキャン機能が一般提供(GA)となりました。AIエージェントやMCP対応クライアントから、リポジトリのシークレット検出アラートに直接アクセスし管理できるようになります。
EN Secret scanning via the GitHub MCP Server is now generally available, enabling AI agents and MCP-compatible clients to access and manage repository secret scanning alerts directly through standardized tooling.
og