1901

Lowfat: LLMトークン使用量を削減するためのプラグイン可能なCLIフィルタ

Lowfatは、コマンド出力からノイズを取り除くことで、AIトークンコストとコンテキストウィンドウの肥大化を削減するために設計された、軽量でローカルファーストなCLIツールです。

1902

Ladybird ブラウザ、開発モデルを変更しパブリックプルリクエストを制限

Ladybird ブラウザプロジェクトは、AI 生成コードの貢献に対処し、セキュリティを強化しアーキテクチャの整合性を保つため、パブリックプルリクエストの受け入れを停止しました。

1903

GoogleとSpaceXのコンピューティング契約:月額9億2000万ドルのインフラ契約

GoogleはGemini Enterpriseの需要急増に対応するため、約11万個のGPUおよび関連するコンピューティング・コンポーネントへのアクセス権を得るために、2026年10月から2029年6月までの期間、SpaceXに対して月額9億2000万ドルを支払う予定です。

1904

李光耀とシンガポールの変革

李光耀は、実用的な経済政策と厳格な社会統治の組み合わせにより、資源の乏しいポスト・コロニアルな拠点から、グローバルな金融ハブへとシンガポールの急速な上昇を導きました。

1905

「Oh Shit」の瞬間:生成AIの実世界でのブレークスルー

ユーザーは、コーディング、ハードウェアデバッグ、複雑な問題解決における生成AIの深遠な能力に対する懐疑から実感へと移行した具体的な瞬間を共有しています。

1906

プログラマーとAI中心のドキュメント作成へのシフト

ソフトウェアエンジニアは、AIエージェントのパフォーマンスを最適化するために、詳細なドキュメント(CLAUDE.md など)を優先的に作成するようになっており、AIは人間の同僚よりも信頼できる読者であるという認識の変化が明らかになっています。

1907

Microsoft pg_durable: PostgreSQL向けのインデータベース・デューラブル・エグゼキューション

Microsoftは、SQLで定義され、データベース内でデューラブルに実行される、長時間実行されるフォールトトレラントなワークフローを可能にするPostgreSQL拡張機能であるpg_durableをオープンソースとして公開しました。

1908

国際宇宙ステーションの空気漏れ修理と宇宙飛行士の避難

国際宇宙ステーション(ISS)のセグメント内の亀裂による空気漏れに対処するため、NASAが修理を実施した際、ISSに滞在中の宇宙飛行士は一時的に避難するよう指示されました。

1909

韓国、オンラインコミュニティへのAI画像検閲を義務付け

韓国は、ディープフェイクや違法コンテンツに対抗するため、オンラインフォーラムにAI駆動の画像スキャンツールを実装することを要求しており、監視、ベンダーロックイン、および文化的価値観をめぐる論争を引き起こしています。

1910

欧州における宇宙ベースのGNSS干渉の追跡

研究論文により、2019年以降、ヨーロッパ、グリーンランド、およびカナダに影響を与える広域GNSS干渉の発生源として、ロシアのEdinaya Kosmicheskaya Sistema早期警戒衛星コンステレーション、特にCosmos 2546が特定されました。

1911

C++: The Documentary

新しいドキュメンタリーが、Bell Labs での 'C with Classes' から、世界で最も急速に成長しているプログラミング言語の一つになるまでの、C++ の 40 年間の進化の軌跡を詳述しています。

1912

Transformersには3つの投影が必要か? QKVバリアントの系統的な研究

系統的な研究により、KeyとValueの投影を共有する(K=V)ことで、MQAと組み合わせた場合にKVキャッシュを最大96.9%削減でき、モデルのパフォーマンスへの影響は最小限であることが明らかになりました。

1913

S&P Dow Jones Indices が MegaCap IPO エントリールールを維持

S&P Dow Jones Indices は、SpaceX のような MegaCap IPO の S&P 500 へのファストトラック組み入れを拒否し、指数の安定性を保護するために厳格な収益性と上場期間の要件を維持しました。

1914

AIエージェントのためのテスト駆動開発 (TDD) の実装

Jason Swettは、AIが生成したテストとコードの品質を向上させるために、構造化された「specify-encode-fulfill」ループとKent BeckのCanon TDDの適用を提案しています。

1915

ESP32 Bit Pirate: マルチプロトコル・ハードウェア・ハッキングツール

ESP32 Bit Pirateは、WebまたはSerial CLIを介してI2C、UART、SPI、およびワイヤレス・プロトコルをサポートする、ESP32-S3ベースのデバイスをマルチプロトコル・ハッキングツールへと変貌させるオープンソース・ファームウェアです。

1916

Azure Linux 4.0 リリース: Microsoft による初の汎用クラウド OS

Microsoft は Azure Linux 4.0 をパブリックプレビューとしてリリースしました。これにより、このディストリビューションは、特化型の内部ツールから、すべての Azure VM および間もなく WSL でも利用可能な汎用クラウド OS へと移行します。

1917

Open Code Review: AlibabaによるAI搭載コードレビューCLIツール

Open Code Reviewは、決定論的なエンジニアリングとLLMエージェントを組み合わせることで、規模の大きなコードレビューを、正確かつ行レベルで提供するオープンソースのCLIツールです。

1918

Metaが廃止されたPortalデバイスでADBを有効化

Metaは、製造終了したPortalスマートディスプレイラインに対してAndroid Debug Bridge (ADB) のサポートを拡張し、開発者がアプリをサイドロードし、ハードウェアを再利用することを可能にしました。

1919

Lean 4 と AI エージェントによる形式検証済みマルチポリゴン交差判定

`verified-polygon-intersection` プロジェクトは、Lean 4 を用いて正当性を保証し、Claude Opus 4.8 を用いて自律的な証明生成を行う、マルチポリゴン交差判定アルゴリズムの最初の形式検証済み実装を提供します。

1920

Anthropic 再帰的自己改善の進捗と傾向

Anthropic は、AI が自らの開発を大幅に加速させていると報告しています。現在、同社のプロダクション・コードの 80% 以上が Claude によって作成されており、これは潜在的な再帰的自己改善への移行を示唆しています。

1921

Meta Stella アプリ v273.0.0.21 顔認識分析

Meta の Stella コンパニオンアプリ バージョン 273.0.0.21 の分析により、バイオメトリック埋め込みモデルとベクトル類似性データベースを含む、完全で休止中のオンデバイス顔認識パイプラインが明らかになりました。

1922

レトロテック・ペアレンティング:監視資本主義に対抗するためのレガシー・ハードウェアの活用

現代のデバイスが持つエンゲージメント最適化アルゴリズムを避け、子供たちにデジタル的な自律性を与えるために、CD、固定電話、オフライン PC などの「レトロテック」を採用する親たちの動きが広がっています。

1923

The New York Times とサブスクリプション・ダークパターンの台頭

ユーザーは、強制的なアップセル、解約手続きの困難さ、および配信停止できないマーケティングメールなど、強引な「ダークパターン」を採用している The New York Times に対して、批判を強めています。

1924

Anthropic Defending Code Reference Harness

Anthropicは、Claudeを使用して、ソースコードのスキャン、トリアージ、およびパッチ適用を行うための、多段階パイプラインを備えた自律的な脆弱性発見および修正のためのオープンソースのリファレンス実装をリリースしました。

1925

Boxes.dev: Claude Code と Codex のためのクラウドネイティブなエージェンティック開発環境

Boxes.dev は、Claude Code や Codex エージェントに隔離されたクラウドコンピューティングとファイルシステムを提供し、localhost の制約を排除するクラウド専用のエージェンティック開発環境 (ADE) です。

1926

世界の電力生成:2 2026年4月、風力と太陽光がガスを上回る

2026年4月、風力と太陽光エネルギーは、ガスの477 TWhに対し、531テラワット時(TWh)を生成し、世界全体で初めて天然ガスを上回る電力を生成しました。

1927

llm.txtの台頭:機械可読なウェブコンテンツは人間の体験を改善できるか?

llm.txt ファイルの出現は、現代のウェブに対する合理化されたテキスト優先の代替案を提供し、ポテンシャルとして、人間にマーケティングの乱雑さと複雑なレイアウトを回避する手段を提供します。

1928

WSL 2 のファイルシステムパフォーマンス向上(デバイスごとの SWIOTLB プール)

2026年5月のWSL 2アップデートで、virtiofs と VirtioProxy 用のデバイスごとの DMA プール(SWIOTLB)が導入され、I/O の競合が減少し、クロスOSファイルアクセスが高速化されました。

1929

LEGO Sagrada Família セット分析

LEGO Sagrada Família セットは、その価値、単一目的の大人向けキットへの移行、そして数世紀にわたる建設で有名な建物を再現することの皮肉について、愛好家の間で議論を巻き起こしています。

1930

Metaのlocalhostトラッキング論争と法的影響

Metaは、Meta Pixelを通じてモバイルウェブの閲覧活動をユーザープロフィールに紐付けるためにAndroidのlocalhost機能を利用したため、法的措置とブラウザレベルの緩和策に直面しました。

1931

Ableton Live 12.4.5 Extensions SDK Release

Abletonは、Live 12.4.5においてExtensions SDKを導入しました。これにより、ユーザーはNode.jsを使用して、タスクの自動化、MIDIの変換、およびDAWのワークフローのカスタマイズを行うためのJavaScriptベースのツールを構築できるようになります。

1932

イアンの安全な靴ひも結び: ダブルスリップノットのガイド

イアンの安全な靴ひも結び(別名ダブルスリップノット)は、標準的な結び目の約2倍の張力耐性を提供し、滑りやすい靴ひもや高活動時の使用に最適です。

1933

マルジャン・サトラピ、56歳で死去

フランス系イラン人の作家であり監督の『Persepolis』の作者、マルジャン・サトラピが、夫の死による悲しみにより56歳で亡くなったと報じられています。

1934

AnthropicはどのようにClaudeを封じ込めるか:エージェント・セキュリティ・パターンと教訓

Anthropicは、claude.ai、Claude Code、およびClaude Coworkにおいて、環境レベルの封じ込め、VM隔離、およびエグレス・コントロールを使用して、AIエージェントの「ブラスト・ラディウス(爆風半径)」を制限するための戦略を詳細に説明しています。

1935

VoidZeroがCloudflareに参加:ViteとJSツールチェーンの未来

CloudflareはVite、Vitest、Oxcの背後にいるチームであるVoidZeroを買収し、これらの基盤ツールをオープンソースかつベンダーに依存しない形で維持しつつ、Cloudflareの開発者プラットフォームに統合することを約束しました。

1936

英国メディアと防衛セクターの利益相反レポート

AOAVの報告書によると、メディアで独立した専門家として引用された退役した英国の上級軍関係者の約60%が、防衛産業への商業的つながりが開示されていなかったことが明らかになった。

1937

Uruky プライベート検索エンジン概要

Urukyは、AI機能や広告主体のエコシステムよりも、ユーザーの匿名性とパーソナライゼーションを優先する、EUを拠点とする有料のプライベート検索エンジンです。

1938

UC Berkeley コンピュータサイエンス 不合格率がAI利用と数学スキル低下の中で急増

UC Berkeleyのコンピュータサイエンス科目の不合格率が2026年春に急増し、教授たちはこの傾向をLLMへの過度な依存と学生の基礎的な数学的準備の著しい低下に帰している。

1939

脆弱なFirebaseアプリにおけるLLMペネトレーションテスト能力の評価

セキュリティ研究者の jc4p は、脆弱な React Native アプリを対象に様々な LLM をテストするために 1,500 ドルを費やし、GPT-5.5 が最も高い解決率を示した一方で、Anthropic のモデルはセキュリティガードレールによって頻繁に妨げられることを発見しました。

1940

彼らは重みでできている:LLMアーキテクチャへの風刺的な視点

Max Leiterの短編小説「They' never Made Out of Weights」は、Terry Bissonによる「They're Made Out of Meat」の対話形式のパロディを用いて、大規模言語モデルが完全に浮動小数点数の重みで構成されているという哲学的な含意をを行探求しています。

1941

米国による海洋観測イニシアティブ(OOI)インフラの解体

トランプ政権は海洋観測イニシアティブ(OOI)を解体し、北大西洋子午面循環(AMOC)や地球規模の気候パターンの監視に不可欠な900以上の機器を撤去しています。

1942

Infracost Dev: AI コーディングエージェントと IDE へのクラウドコスト・インテリジェンスの統合

Infracost Dev は、リアルタイムの価格設定、FinOps のベストプラクティス、および自動化されたタグ付けの修正を、IDE やエージェント・ループ内に直接提供することで、AI コーディングエージェントや開発者がコストを意識したインフラストラクチャの変更を行えるようにします。

1943

AIハイプの時代における深い技術的コンテンツの探し方

AI主導のコンテンツが主流のフィードを支配しているため、開発者やエンジニアは、深い技術的コンテンツを見つけるために、RSSフィード、lobste.rsのような専門的なフォーラム、およびアーカイブ資料へとシフトしています。

1944

Mercek: Amazon ECS 用のデスクトップ IDE

Mercek は、バックエンド・サーバーを必要とせず、複数の AWS アカウントやリージョンにわたるクラスター、サービス、およびタスクの統合ビューを提供する、Amazon ECS 用のオープンソース・デスクトップ IDE です。

1945

FFmpeg WebCLI: WebAssemblyによるブラウザベースのビデオ編集

FFmpeg WebCLIは、WebAssemblyを使用してブラウザ上で直接FFmpegのビデオおよびオーディオ処理を可能にする、プライバシー重視でオフライン対応のPWAです。サーバーへのアップロードは不要です。

1946

Gaussian Point Splatting: 大規模シーン向けリアルタイムレンダリングのスケーリング

Gaussian Point Splatting は、ピクセルサイズの不透明な点をサンプリングし、GPU atomics を利用して高並列なワークロード分散を実現することで、数億個の Gaussian をリアルタイムでレンダリングすることを可能にする確率的レンダリング手法です。

1947

Mnemo: LLMのためのローカルファーストAIメモリレイヤー

Mnemoは、あらゆるOpenAI互換のLLMに対して、永続的なナレッジグラフ・メモリとセマンティック検索を提供する、Rustベースのローカル・サイドカー・サービスです。

1948

数学者たちがAIが数学的研究と教育に与える影響について警告

数学者たちは、数学におけるAIの急速な進展について警告を発しており、AIがアクセシビリティを高めるのか、それとも将来の研究者の基礎的なスキルや訓練を損なうのかについて議論を巻き起こしています。

1949

Ted Chiangによる、人工知能が意識を持たない理由について

作家のTed Chiangは、大規模言語モデルは意識を持たないと主張し、AnthropicのようなAI企業が用いる擬人化された枠組みに異議を唱えている。一方で、コミュニティの議論は、知能と意識の意識の間の緊張関係をハイライトしている。

1950

バーニー・サンダース上院議員、アメリカAI主権基金法案を提案

バーニー・サンダース上院議員は、アメリカAI主権基金法案を提案しました。これは、主要なAI企業に対し、一回限りの50パーセントの株式課税を通じて公的な所有権を確立し、集合的な人類の知識によって生成される富が一般市民に利益をもたらすようにすることを目的としています。