DATE ARCHIVE
2026-10-16
この日に公開された記事 2026-10-16.
Waymo、トロントへの自動運転配車サービスの拡大を発表
Waymoは、2028年までにトロントで完全自動運転の配車サービスを開始する計画を発表しました。この計画は、高精度地図の作成と手動テストを含む段階的な安全検証期間から始まります。
Dektonの科学：高圧セラミックスがいかに表面素材を再定義しているか
Dektonは、熱、傷、汚れに対してほぼ不浸透性を持つように設計されたハイテク磁器素材です。磁器、ガラス、石英のスラリーを極端な油圧と温度にさらすことで、メーカーはセラミックス特有の脆さを克服する高密度な固体塊を作り出しました。
エリザベス・ホームズのドキュメンタリーにおけるナラティブのメカニズム
エリザベス・ホームズとTheranosに関する新しいドキュメンタリーにおいて、カメラアングル、編集、情報の順序といった映画的手法を用いていかに視聴者の認識を操作し、ナラティブの枠組みによって観客がいかに容易に誘導されるかを実証しているかが分析されている。
Tesla Roadster、SpaceXのコールドガススラスター技術を統合
新型Tesla Roadsterは、SpaceXの技術から派生した推進システムを搭載しており、高圧窒素とコールドガススラスター（CGT）を利用することで、極限の加速と飛行能力を実現します。
セキュリティ企業Calif、iPhoneの脆弱性と永続的な脱獄を実演
セキュリティ研究企業Califは、ゼロクリックの脆弱性や永続的な脱獄を含む、iPhoneに対する一連の高影響なエクスプロイトを実演した。パリで開催されたHexaconで公開されたこれらのデモは、PDF解析やカーネルレベルの権限昇格といった高度な攻撃手法に対するiOSエコシステムのセキュリティ確保における継続的な課題を浮き彫りにしている。
研究者がOpenBSDにおける37年前のカーネルバグを悪用
Califのセキュリティ研究者が、共有メモリの計数における37年前の整数オーバーフローと、別の範囲外書きを組み合わせることで、OpenBSDにおけるローカル権限昇格を実証した。
地図ポリゴンの三角形分割の最適化：より高速なEar-Clippingアプローチ
GLOBUSのエンジニアは、地図ポリゴンをGPUレンダリング用の三角形に変換するプロセスを最適化することで、標準的な「earcut」アルゴリズムを凌駕するC++およびWebAssemblyライブラリ「earstrip」を開発しました。
ニューヨーク州下院議員、ライセンスではなくゲームの所有権を義務付ける法案を提出
提案された「Power To The Players Act」は、ビデオゲームのパブリッシャーに対し、消費者に取り消可能なライセンスではなく購入したコンテンツの実際の所有権を提供することを求めると同時に、サーバー停止後の機能的なオフラインモードの提供を義務付けることを目的としている。
MapQuest、マッピングアプリに監視カメラレイヤーを追加
MapQuestは、Flockやその他の主要メーカーの屋外監視カメラおよびナンバープレート読み取り機の位置を表示する、アプリ内の新しい切り替え可能なレイヤーを導入しました。
黒死病がいかにしてウサギを王侯貴族の贅沢品から庶民の日常食へと変えたか
中世イングランドにおいて、ウサギは貴族のみが享受できる高価な珍味でした。しかし、黒死病の流行後、社会構造と労働力の可用性が変化したことで、一般市民もこれらの贅沢品を取り入れるようになり、この動物の地位と生態系への影響は根本的に変化しました。
/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/5a/22/5a227d41-20eb-46fb-8ddb-e2375565a170/transition3-little-dams.jpg)
米国北東部におけるダム撤去が回遊魚の経路を回復
米国北東部における老朽化したダムの撤去により、アライブやウミアンコウといった回遊魚種が歴史的な産卵地へと戻る道が開かれています。
Claudeは新しいアルゴリズム構造を発見することで量子回路を最適化
Anthropicの研究者は、Claudeモデルが新しい数学的対称性と可逆的アーキテクチャを特定することで、より効率的な量子回路を自律的に設計でき、複雑なシミュレーションに必要なリソースを大幅に削減できることを実証した。
FPUエミュレータのためのスーパーオプティマイザーのブルートフォース
ある開発者が、分岐ロジックを回避して浮動小数点数における最下位セットビットを特定するための、斬新な5演算の数式を発見するために、帰納的なブルートフォース探索を使用した。
BroadcomのWiFi脆弱性が世界中の数百万台のルーターに影響
Broadcom独自のWiFi実装における長年の脆弱性が、数百万台のルーターでのリモートコード実行を可能にしています。2018年以降に修正策が知られていたにもかかわらず、多くのメーカーやISPはアップデートの展開に失敗しており、デバイスは認証なしの攻撃に対してさらされています。
Basis、LLMとLeanを用いてインタプリタをマシンコードに対して検証
Basisの研究チームは、LLMを使用して高レベルのルールと低レベルのRISC-V命令の間のギャップを埋めることで、プログラミング言語の形式的意味論が実際のコンパイル済みバイナリと一致することを検証する手法を開発した。
AnthropicのClaude、NIST楕円曲線シードの起源を特定
Anthropicの研究チームはClaudeモデルを使用して、25年前の暗号学的な謎を解決しました。広く使用されている複数のNIST楕円曲線標準のシードが、Unixタイムスタンプで初期化された1990年代の一般的な擬似乱数生成器を使用して生成されたことを発見しました。