NASA、退役したSR-71Aブラックバードの元エンジニアに復活を依頼
航空週刊誌によると、NASAはSR-71Aブラックバードの元エンジニアに静かに接触し、航空機を飛行可能にする秘密の取り組みを支援してもらおうとしている。
記事全文を読む →最新の解説
AI生成数学の責任ある公開：AI研究所への推奨事項
2026年9月のAGMI組織の報告書は、AI研究所がAI生成の数学的成果を発表する際に、徹底した帰属、オープンリポジトリへの適時の dépôt、ワークショップやフェローシップへの資金提供による人間の理解支援、および公開モデルへの広範かつ公平なアクセスを求める。
記事全文を読む →
戦略と戦術をつなぐ極秘ELINT衛星
機密解除された文書は、URSALA、RAQUEL、FARRAH衛星が戦略的国家インテリジェンスツールから戦場の指揮官を支援する戦術的資産へと進化し、宇宙空間からの電子インテリジェンスを直接軍部に届けるTENCAPプログラムの先駆けとなったことを明らかにしている。
記事全文を読む →
OpenAIが多数の未解決数学問題を解決したことに対する数学者たちの驚きと懸念
Proofs and Promptsがまとめた100以上の反応によれば、OpenAIが100以上の未解決数学問題の解決を発表した後、数学者たちは技術的成果への驚きから数学研究や職業への影響への懸念まで、さまざまな反応を示した。
記事全文を読む →
NetlifyのEdge FunctionsがUnikraftマイクロVMで5倍の性能向上を達成
NetlifyはUnikraft駆動のマイクロVM上でEdge Functionsインフラストラクチャを再構築し、中央値の応答時間を25-40msから5-6msに短縮し、信頼性を向上させ、npmパッケージサポートなどの新しい機能を可能にしました。
記事全文を読む →
先進的な記録が明らかにした驚くほど複雑な脳波
頭蓋内記録は、神経の電気活動が認知課題によって変化する複雑な波パターン（ソース波、シンク波、スパイラル波など）を形成し、脳内の動的な組織原理を反映している可能性があることを示している。
記事全文を読む →
TLA+ の限界：形式検証が保証できるものとできないもの
TLA+ は並行システムの安全性と生存性を検証する強力な仕様言語だが、到達性やハイパープロパティなど一部の性質を表現するには複雑な回避策が必要で、それには重大な欠点がある。
記事全文を読む →
馬蹄工から整備士へ：テクノロジーがもたらすキャリア不安の歴史的視点
個人の家族史から、自動車時代における馬蹄工から整備士への転換が、現代のソフトウェア開発者がAIによる仕事の置き換えを恐れる姿と類似していることがわかる。これにより、創造や問題解決といった人間の根本的な動機は特定の技術スキルを超えて続く可能性が示唆されるが、個人のエピソードだけでは広範な証拠とならないことも認められている。
記事全文を読む →
バーモント州の家庭用バッテリーネットワークがピーク発電所を置き換えて最大の電力供給源となる
グリーン・マウンテン・パワーのリースプログラムにより、バーモント州の数千の住宅に設置されたバッテリーシステムが仮想発電所を形成し、単一の従来の発電所以上の電力を供給し、嵐時のレジリエンスを提供しつつコストを削減し、化石燃料のピーク発電所を廃止している。
記事全文を読む →
Emacs ラウンドトリップ: 離れようとする試みがしばしば戻ってくる理由
開発者のEmacs疲れが発端となり、メモ取りのためBearを試すが、Bearのアプリ特有の感覚がDenoteを使ったMarkdownベースのメモでEmacsへの復帰を促す。
記事全文を読む →
Linux向けProton DriveがFUSEベースのオンデマンドアクセスでクラウドストレージを提供
オープンソースのFUSE仮想ファイルシステムにより、LinuxユーザーはProton Driveをローカルディレクトリとしてマウントし、必要に応じてファイルにアクセスできます。書き込みはバッファリングされ、Protonのイベントフィードを通じて変更が同期されます。
記事全文を読む →
ブルームバーグターミナルの簡潔な歴史
この記事は、1980年代前半に専用の債券価格デバイスとして始まったブルームバーグターミナルが、金融データ、分析、ニュース、通信を統合したプラットフォームへと進化する過程を追跡します。
記事全文を読む →
Google、100万トークンのコンテキスト窓を持つGemini 4 Argonフロンティアモデルを発表
Googleは、業界をリードする100万トークンのコンテキスト窓を備えた最新のフロンティアAIモデル「Gemini 4 Argon」を発表しました。このモデルは、ソフトウェアエンジニアリング、エンタープライズナレッジワーク、サイバーセキュリティ防御の分野における複雑な推論に設計されています。
記事全文を読む →
食品加工が栄養成分を超えて代謝と脳の反応を変える
バージニア工科大学の研究では、カロリーと栄養素が一致している場合でも、高度に加工された食品は最小限に加工された食品と比べて異なる代謝および脳の反応を引き起こし、食品加工そのものが身体の食物への反応に影響を与えることを示唆している。
記事全文を読む →Micron CEO が 2028 年までメモリ供給の逼迫を警告
Micron CEO のサンジャイ・メホトラ氏は、AI 需要の高まりにより 2027 年と 2028 年のメモリおよびストレージ供給が 2026 年相比してかなり逼迫すると述べ、新工場計画があるにもかかわらず近い見通しでの緩和は限定的だと指摘した。
記事全文を読む →
Rustコンパイラ、2026年9月に複数のターゲット最適化により4.57%の高速化を達成
最近のRustコンパイラの改善により、2026年7月から9月のコンパイル時間の平均ウォールタイムが4.57%短縮され、rustdoc、Clippy、LLVM統合、借用チェッカー、トレイトソルバー、データフロー分析への具体的な強化が要因となった。
記事全文を読む →
Codemodeの理解：LLMエージェントオーケストレーションのためのハーネスサイドスクリプティング
Codemodeは、LLMエージェントがツールコールをオーケストレーションし、構造化された出力を保持し、モデルのコンテキストウィンドウを消費することなく状態を永続化できるハーネスサイドJavaScriptサンドボックスを提供します。
記事全文を読む →
嘘のコスト：ロバート・クリンジェリーのMineserver Kickstarterが約束の破綻へと崩壊した経緯
技術コラムニストロバート・X・クリンジェリーの失敗したMineserver Kickstarterプロジェクトの詳細な検証。2015年に3万5000ドル以上を調達したが、単一のユニットも出荷されず、エスカレートする言い訳と約束の破綻のパターンが明らかになり、最終的に彼の信用を失わせた。
記事全文を読む →
国際連合がオープンAI対応バイオロジーデータリソースの創出に18億ドルを拠出
バイオハブ、米国エネルギー省（DOE）、国立衛生研究所（NIH）が主導する連合は、オープンでAI対応のバイオロジーデータセットを開発するために18億ドルを拠出することを約束しました。バーチャル・バイオロジー・イニシアティブは、生命の予測モデルに必要なデータとツールを生み出すことを目指し、学界、産業、慈善団体のパートナーが参加しています。
記事全文を読む →
Read Rareは、レアな内部技術メモと忘れられた書籍への無料アクセスを提供
Read Rareは、テクノロジーのリーダーからの内部文書、漏洩したハンドブック、絶版書籍を編集し、ウォーレン・バフェットの1972年投資手紙、1968年のインテルメモ、スティーブ・ジョブズの2010年『Googleとの聖戦』メールなどへの無料アクセスを提供します。
記事全文を読む →