MiniMax、エージェントタスク向けのM3.1 Flashモデルをリリース
MiniMaxは、高速な推論と、複雑なエージェントワークフロー、コーディング、サイバーセキュリティにおけるパフォーマンスのバランスを両立させるために設計された次世代の大規模言語モデル（LLM）であるM3.1 Flashをリリースしました。
記事全文を読む →最新の解説
KillSwitch：LLMを打ち負かすために設計された難解言語
Dominik Pichetaは、LLM（大規模言語モデル）やコーディングエージェントの特定の構造的弱点を突くことで、それらに対して敵対的に動作するように特別に設計されたスタックベースのプログラミング言語、KillSwitchを開発しました。
記事全文を読む →
レトロゲームの移植：PalmOS向けLemmings
レガシーなモバイルOSであるPalmOS向けに移植された、古典的なパズルゲームLemmingsのクローンを含むGitHubリポジトリが公開されました。このプロジェクトは、「レトロ」なソフトウェアエンジニアリングに対する根強い関心と、ニッチなハードウェアの歴史の保存を浮き彫りにしています。
記事全文を読む →KiviDB：集成了向量検索のRustベースのRedis代替案
KiviDBはRustで記述された、マルチスレッド対応のRedis互換メモリデータベースです。高スループットなパフォーマンスを提供しながら、フルテキスト検索およびベクトル検索機能を内蔵していることを特徴としています。
記事全文を読む →
GitHub、Actions、Pages、Webhooksの可用性低下を報告
GitHubは、Actions、Pages、Webhooksのサービスにおいてパフォーマンスの低下を引き起こしたインシデントを認めました。この問題は、解決されるまでワークフローの処理やサイトのビルドに影響を与えました。
記事全文を読む →
Free Pascal Compilerに完全な動的パッケージサポートを追加
Free Pascal Compiler (FPC) と Lazarus IDE に完全な動的パッケージサポートが導入され、開発者はIDEやアプリケーション全体を再ビルドすることなくコンポーネントやプラグインをインストールできるようになりました。
記事全文を読む →
研究により、犬も人間の「ブーバ/キキ」の音と形の連想を共有していることが判明
新しい研究により、飼い犬は音と形に関する普遍的な認知マッピングを共有している可能性があり、具体的には丸い音を丸い形に、鋭い音を尖った形に関連付けることが示唆されています。
記事全文を読む →
卵市場における価格操作の疑惑 regarding
Politicoの報告とそれに続く議論では、卵生産者が二次取引所において虚偽の入札を行い、主要市場の価格指数に影響を与えることで、市場価格を操作した可能性があるという疑惑を調査しています。
記事全文を読む →
CERNとMistralが提携し、衝突加速器物理学のための基盤モデルを開発
CERNとAIラボのMistralは、大型ハドロン衝突型加速器（LHC）における複雑な粒子衝突の再構成を効率化するために設計された基盤モデル「Large Physics Model」を開発するための意向表明書に署名しました。
記事全文を読む →
AI時代における数学の変貌する展望
数学者であり教育者でもあるGrant Sanderson（3blue1brown）は、AIの台頭が人類にとって数学の新たなフロンティアを探索する独自の機会をもたらすと主張する一方で、コミュニティの議論では「職人技」の喪失や数学的権力の集中に対する懸念が浮き彫りになっている。
記事全文を読む →
連邦判事、Flockのナンバープレート検索を違憲と判決
連邦判事は、令状なしでFlockの自動ナンバープレート認識（ALPR）システムを使用して運転者の過去の移動履歴を追跡することは、修正第4条の権利に違反する「無差別な大量監視」にあたると判決した。
記事全文を読む →
Google Research、再帰的エージェント最適化のためのHarness²を公開
Harness²は、AIモデルをエージェントとして機能させるための「ハーネス（プロンプト、ツール、メモリのシステム）」を最適化するために設計されたプラグアンドプレイのフレームワークです。2段階の再帰を利用することで、このフレームワークは、エージェントがオープンワールド環境で未知のタスクに遭遇した際に、自身の実行システムを洗練させることを可能にします。
記事全文を読む →
研究者が「De-slopped」Qwen3-4Bモデルを訓練し、AI特有の執筆癖を排除
ある開発者が、事実の正確性を維持しつつ、過度なエムダッシュ（—）や繰り返されるリスト構造といった一般的な「AI特有の執筆癖」を排除するために設計された、Qwen3-4B-Instructモデルのファインチューニング版を公開した。
記事全文を読む →
ESAのHeraミッション、NASAのDART衝突地点を調査
欧州宇宙機関（ESA）のHera宇宙船がDimorphos-Didymos小惑星ペアに接近し、2022年にNASAのDouble Asteroid Redirection Test（DART）によって打撃を受けた地点の高解像度フォローアップ画像を撮影します。
記事全文を読む →
グディニャの台頭：戦間期ポーランドの近代性の象徴
20世紀初頭、ポーランドの港湾都市グディニャは小さな漁村から海事メトロポリスへと変貌を遂げ、ポーランドの近代化と国際的地位への野心を具現化する象徴となりました。
記事全文を読む →
Let's Encrypt、BGPハイジャック対策に向けマルチパースペクティブ・ドメイン検証を拡大
Let's Encryptは、新しいベースライン要件を満たし、BGPハイジャック攻撃に対する保護を強化するため、ドメイン検証に使用するリモートネットワークパースペクティブの数を増やします。
記事全文を読む →
Flatpakのセキュリティとデスクトップにおける有用性を巡る議論
LinuxデスクトップエコシステムにおけるFlatpakの役割に関する技術的分析では、そのサンドボックスモデルがレガシーアプリケーションに対して十分なセキュリティを提供しているか、また従来のパッケージング手法と比較してどのような位置づけにあるかを探ります。
記事全文を読む →
高スループットなワークフローに向けたPostgres DELETEの最適化
PostgresのDELETEはMVCCのオーバーヘッドにより高パフォーマンスなシステムでは避けられる傾向にありますが、DBOSのエンジニアは、外部キーの削除、キャッシュ局所性の向上、手動のVACUUMを含む特定の最適化によって、複雑なデータ保持ポリシーに対してDELETE操作をスケールさせることができることを実証しました。
記事全文を読む →STROT：LLMの意図をローカルの意思決定パイプラインにコンパイルする
STROTは、大規模言語モデル（LLM）を「コンパイル時」に一度だけ使用して、独立したローカルの意思決定モデルを合成するフレームワークです。このアプローチにより、LLMのコストの高い非決定的な推論をビルド段階に移し、プロダクション環境ではゼロの追加コストと決定論的な出力で意思決定を実行できるようにします。
記事全文を読む →