ガジェット
Android 17 QPR 2 Beta 1、Pixel向け配信開始 バグ修正が中心
Android 17 QPR 2 Beta 1がPixel対応端末向けに配信開始。多数のバグ修正を含み安定性向上が図られる。ただしPixel 6およびPixel 6 Proは非対応。
最新ニュース
SINGULISMは、テクノロジー・日本文化・国際ニュース・インターネットトレンドを日本語と英語の両方でお届けするバイリンガルニュースメディアです。世界中の信頼できるソースから情報を収集し、編集チームが分析・執筆した独自記事を毎日配信しています。
Photo by Tim Mossholder on Unsplash
インターネットの声
カリフォルニアDROPツール、個人データ削除を一元化
カリフォルニア州が運用するDROPツールは、1回の申請で614社のデータブローカーに対し個人情報の削除と販売停止を要求できる。プライバシー保護の実効性を高める仕組みとして注目される。
AI
ChatGPTがエルデシュ予想を形式検証、数学証明の自動化が新段階へ
ChatGPTがエルデシュの単位距離予想を反証し、OpenAIの新モデルSolがその証明をLeanで形式検証。数学者とAIの協業に革命が起きている。
AI
Sony、Udioを著作権侵害で3万曲を追加提訴
Sony Music EntertainmentがAI音楽生成ツールUdioに対し、エルビス・プレスリーからビヨンセまで3万曲以上の著作権侵害で新たな訴訟を提起した。業界のAI著作権問題が激化している。
AI
米AI標準機構CAISI、3ヶ月でまた長官辞任
米国立標準技術研究所（NIST）傘下のAI標準機構CAISIの長官Chris Fall氏が辞任した。就任からわずか3ヶ月で、前任者も1週間足らずで辞任しており、トップの交代が相次いでいる。AI規制を巡る政権と業界の緊張が背景にある。
ガジェット
地球軌道の衛星飽和、16,000機から10万機超へ
地球低軌道に約16,000機の衛星が周回し、年内には10万機超えも。メンテナンス不能な宇宙機の増加が衝突リスクと軌道デブリ問題を深刻化させている。
開発
Linux カーネル Red スケジューラの 0-day、物理メモリ R/W へ
Red Hat 系ネットワークスケジューラに潜伏した Linux カーネルゼロデイ脆弱性の詳細が公開された。限定的な Use-After-Free から物理メモリ読み書き、並びに権限昇格に至る洗練されたエクスプロイトチェーンを解説する。
インターネットの声
FDAとTaylor Farms、下痢症集団発生で応酬
FDAとレタス供給大手Taylor Farmsがサイクロスポーラ症の集団発生を巡り対立。FDAの「謝罪」解釈を巡る応酬の背景にある食品検査技術の課題。
ガジェット
Samsung、Unpacked直前にGalaxyクレジットカードを発表
Samsungが7月22日のUnpackedイベントを前に、Galaxyブランドのクレジットカードを発表。Samsung製品購入時に最大5%のキャッシュバックを提供する。
AI
Google、Gemini効率化の新AIチップ「Frozen v2」開発
Googleが自社LLM「Gemini」向け新チップ「Frozen v2」を開発中。2028年リリース予定で、既存AIチップ比6〜10倍の効率向上を目指す。投資家好感で株価3%上昇。
開発
AMD、AVX10_V2_AUX対応パッチをGCCに投稿
AMDのコンパイラエンジニアがGCC向けにAVX10_V2_AUX ISAサポートのパッチを投稿した。FP4やFP6といった圧縮データ形式への変換命令を追加し、AIワークロードを高速化する。IntelのACEパッチに続く動きで、x86エコシステムの協業が加速している。
ガジェット
家庭キノコ栽培、5手法を比較検証
自宅でのキノコ栽培に挑戦した1年間の検証結果。5手法のうち成功したのは2手法のみ。技術的観点から環境制御の難しさと投資対効果を分析する。
AI
4社が選んだAgentic Infra、Infinigenceの戦略
WAICでMiniMax、StepFun、Kimi、Zhipuの4社が同じAIインフラ企業Infinigenceと協力。推論需要急増と計算リソース不足のギャップを埋めるAgentic Infra戦略の全容。
AI
YC Garry Tan氏、AI時代のワークフロー再構築を提唱
Y CombinatorトップのGarry Tan氏が、AI時代の真の競争力はモデル性能ではなくワークフロー再構築にあると指摘。400倍の効率向上や15人で9桁ARR達成の事例を紹介し、従来の組織論を覆す新たな法則を提示した。
開発
コードレビューグラフ、AIレビューのトークン節約
AIコードレビューにおける無駄なトークン消費を削減するツール「code-review-graph」が登場。Tree-sitterによるコード構造マップを活用し、変更箇所のみをAIに渡す仕組みを提供する。
ガジェット
AMD Medusa Point、Geekbenchでx86最速を記録
AMDの次世代モバイルAPU「Medusa Point」がGeekbenchで単スコア3,329点を記録。x86モバイルチップとしては最高値を更新し、デスクトップCPUに迫る性能を示した。
開発
XZバックドア事件を書籍化『Half a Second』無料公開
Microsoftエンジニアが0.5秒のログイン遅延からXZ Utilsのバックドアを発見した事件を書籍化。CC BY-NC-ND 4.0で無料公開。
ガジェット
テレビリモコンがIRを使い続ける理由
赤外線リモコンが登場から40年以上経った今もテレビの標準規格として使われ続ける理由を、Bluetoothリモコンとの比較から解説する。
開発
Dependable C、高信頼性を追求するC言語サブセットの提唱
C言語のサブセット「Dependable C」が注目を集めている。複雑化するISO規格に対抗し、移植性と安定性を最優先する試みだ。
開発
AI Agent設計原理の開書籍、全10章コード付きで公開
GitHubで公開された「深入理解AI Agent」は、Agent＝LLM＋コンテキスト＋ツールの核心公式に基づく全10章の書籍。全文とコードがOSSで提供され、業界の注目を集めている。