リサーチ・論文

アンドレアス・クリング氏、Ladybirdブラウザの公共プルリクエスト受付停止を発表

アンドレアス・クリング氏は2026年6月5日(現地時間)、自身が主導するLadybirdブラウザプロジェクトにおいて、公共のプルリクエスト(変更提案)の受け入れを停止する方針を明らかにした。この決定は、コードがブラウザに統合された後の責任の所在を明確にし、開発体制を再構築するための一環とされている。クリング氏は、プロジェクトが「実際のユーザー向けのブラウザ」へと進化する段階にあると説明し、変更の導入者にはその結果に対する責任を求めていく姿勢を示した。

ベンダー・製品

【速報】Vercel、skills.sh APIの提供を開始

Vercelは2026年6月4日(現地時間)、skills.sh APIが利用可能になったと発表した。開発者はプロジェクトのVercel OIDCトークンを用いて認証し、オープンソースエコシステムから60万件を超えるスキル情報をクエリできる。スキルの検索、詳細情報の取得、セキュリティ監査の確認などが可能となる。

ベンダー・製品

Mistral AI、形式証明アシスタントLean 4向けAI「Leanstral」をオープンソース公開

Mistral AIは2026年3月16日(現地時間)、形式証明アシスタント「Lean 4」向けに設計されたオープンソースコードエージェント「Leanstral」を発表した。このエージェントは、複雑な数学的オブジェクトやソフトウェア仕様の形式証明を支援する。Apache 2.0ライセンスの下でウェイトが公開され、Mistral vibeのエージェントモードと無料APIエンドポイントを通じて利用可能となる。

リサーチ・論文

Armin Ronacher氏、AI改変イシュー報告の誤解に警鐘

ソフトウェア開発者のArmin Ronacher(アルミン・ロナハー)氏が5月24日(現地時間)、Simon Willison's Weblogが報じた記事の中で、現在のイシュー報告における「最も不満な失敗モード」について指摘した。同氏は、報告者が自身で直接観察した事柄ではないイシューを提出し、それらが「clanker」によって書き換えられることで、不正確な結論が自信に満ちた形で提示される現状に強い懸念を示している。この問題は、開発現場での誤解や時間的コストの増大を招く可能性があると警告した。

リサーチ・論文

英国GDS、NHSのオープンソース撤退に原則的見解表明

英国政府デジタルサービス(GDS)は5月17日(現地時間)、国民保健サービス(NHS)がオープンソースリポジトリへのアクセスを停止した決定に対し、原則的な見解を表明した。NHSは「プロジェクト・グラスウィング(Project Glasswing)」の一部で報告された脆弱性に対応するため、該当リポジトリを閉鎖する措置を講じていた。GDSは5月14日に発表した文書の中で、「デフォルトでオープンを維持する」ことを公共部門における主要な推奨事項として強調している。サイモン・ウィリソンズ・ウェブログ(Simon Willison's Weblog)が報じた。