DATE ARCHIVE
2026-10-08
この日に公開された記事 2026-10-08.
Zerobrewはコンテンツアドレス可能なストレージによりHomebrewに比べて最大100倍の速度向上を主張
Zerobrewは、Homebrewの既製ボトルを再利用しつつ、コンテンツアドレス可能なストレージとインプロセスリンクを通じてインストールを行い、HomebrewのRuby評価やバイナリごとの再リンク手順を回避することで、インストールを劇的に高速化すると主張する新しいパッケージマネージャーです。
なぜAIコーディングエージェントはまだ使えるソフトウェアを構築することに苦労するのか
100ドルずつ与えられた4つのAIコーディングエージェントにPDFエディターの構築を任せた実験で、エージェントは機能するツールを生み出せるものの、その結果得られたソフトウェアには人間の開発者ならすぐに見つけることができる使い勝手の欠陥があることが明らかになった。
WhatsAppのヘルプページに隠されたAI指示が露呈
プライバシー研究者が、WhatsAppのヘルプページ内に、データ保護規制当局や法的権利に関する情報をサポートチャットボットに伏せさせるための隠れたテキストを発見した。
AI時代の学生に数学について何を伝えるべきか
AI言語モデルが進展する中、数学の学生は学術キャリアを追求すべきか不安に駆られている。テレンスタオのブログへのゲスト投稿で、Álvaro Lozano-Robledo は AI が既存の知識を整理するには優れているが、真に新しい数学的アイデアを生み出すには人間の創造性が不可欠であると主張し、学生には「落ち着いて数学の学習を続けるべき」と助言している。
トランプ大統領が『AI』利用者をホワイトハウスの『敵』と宣言、AI用語の再ブランド化を推進
トランプ大統領は、自身の好む『スーパーインテリジェンス』（SI）という用語ではなく『人工知能』（AI）という言葉を使う者はホワイトハウスの『敵』であるとTruth Socialで宣言した。これを裏付けるため、連邦機関に対し法律が許す限りで『AI』および『人工知能』を『SI』に置き換える行政命令に署名した。この命令により、SpaceXのAI部門がSpaceXSIに改称されるなどの動きが見られる一方、OpenAIなどの民間企業は法的義務がないと強調され、言語の強制が修正第1条に関わる懸念を呼ぶと指摘されている。
トランプ政権、詐欺の疑惑で主要テック企業をグリーンカードプログラムから排除
トランプ政権は、H-1Bビザ制度の不正使用を理由に、熟練した外国人労働者が米国で永住権を取得するのを助ける連邦プログラムからマイクロソフト、アドビ、およびいくつかの主要IT企業を停止した。
ボランティアメンテナーが支えるグローバルインターネット基盤
何十億人も利用する重要なデジタルインフラストラクチャーは、ごく少数の開発者、しばしばボランティアや最小限のサポートで維持されており、サプライチェーン攻撃や資金格差によって脆弱性が露呈している。
Cleoの謎：スタック・オーバーフローの匿名数学者がウラジミール・レシェトニコフと判明
スタック・オーバーフローのMathematics部門で、解答過程を示さずに複雑な積分問題の専門的な解答を提供していた匿名ユーザー「Cleo」の正体が、2025年1月にウズベキスタン系アメリカ人のソフトウェア開発者かつ数学者であるウラジミール・レシェトニコフであることが明らかになった。
TerseプラグインはClaude Codeの冗長性を半分に削減し、フィラー表現を排除
Claude Code用のTerseプラグインは、フィラー語、メタファー、自己参照的表現を禁止する厳密な記述ルールにより、AIの冗長性を最大70%削減し、トークン使用量を管理するコンテキストメーターを追加します。
スリランカ出身の移民労働者、フェイスブックのコメントを理由にサウジアラビアで死刑に直面
スリランカ出身の24歳の移民労働者アノジャン・シヴァラサ氏は、冒とく的なフェイスブックのコメントを理由にサウジアラビアで死刑判決を受け、家族は9月28日以降連絡がないと報告している。この事例は国際的な懸念を呼んでおり、ヒューマニストUKは英国政府にサウジ当局への介入を求めている一方で、スリランカ政府は恩赦を求めている。
リチャード・ガリオット、著作権法の規定を通じてアルティマの権利を回復へ
ビデオゲームデザイナーのリチャード・ガリオットは、米国著作権法の規定を利用して、クリエイターが35年後に権利を取り戻せる仕組みを使い、エレクトロニック・アーツからアルティマシリーズの支配権を回復する準備を進めており、その移転は2027年に完了すると見込まれています。
OTelネイティブによる設計：任意のオブザーバビリティスタックにエクスポートできるプロダクトの構築
OpenTelemetryのブログでは、OTLPプロトコルを使ってログ、トレース、メトリクスを任意のオブザーバビリティバックエンドにエクスポートできるようにプロダクトを設計する方法が説明されており、カスタム統合不要でベンダーニュートラルなテレメトリーを提供しています。
OpenAIの年間売上高がほぼ200億ドル下方修正された
OpenAIは投資家に対し、2026年9月末時点で年間売上高が約500億ドルに達したと伝えた。これは以前に挙げられていた680億ドルの数値を大きく下回るもので、AI関連株の下落を招き、2027年の可能性のあるIPOを前に評価を見直す声が高まっている。
OpenAIのAI生成ナビエ・ストークス証明は、Lean訳における微妙な論理的弱体化を示す
数学者たちは、OpenAIが主張するナビエ・ストークス問題の証明のLean版が自然言語オリジナルより数学的に弱いことを発見し、類似のAI生成数学が多数公開される中でAI生成形式証明の信頼性に懸念を抱かせている。
OpenAIが多数の未解決数学問題を解決したことに対する数学者たちの驚きと懸念
Proofs and Promptsがまとめた100以上の反応によれば、OpenAIが100以上の未解決数学問題の解決を発表した後、数学者たちは技術的成果への驚きから数学研究や職業への影響への懸念まで、さまざまな反応を示した。
LLM生成のRustによるTypeScriptコンパイラ移植が互換性と速度の向上を示す
ts-rsという実験的なプロジェクトが、大規模言語モデルを使用してMicrosoftのTypeScript 7コンパイラをRustに移植し、元のGoベースの動作を維持しながらベンチマークで顕著なパフォーマンス向上をもたらした。
Hetzner Cloudのネットワークスタックの内部: LinuxブリッジからカスタムOpen vSwitchオーケストレーションへ
仮想マシン用ネットワークインフラストラクチャをHetzner Cloudがどのように構築し、進化させたかを探求し、初期のLinuxブリッジからFlusskrebsオーケストレーションを伴う現在のOpen vSwitchベースのスタックへの進化を詳細に説明し、新しい自社構築ソリューションの開発を促進する制限を検討する。
ICE拘留者が施設のビデオ通話システムを乗っ取り、状況を暴露してハンガーストライキを引き起こす
ジョージア州フォークストンICE処理センターの移民拘留者は、施設自身のビデオ通話ソフトウェアを乗っ取り、非人道的な状況の証拠を記録・共有し、大規模なハンガーストライキと施設側の報復措置を引き起こした。
フォールト注入がいかにしてXbox 360のセキュリティを回避したか
ハードウェアセキュリティの研究者が、CPUに精密なエネルギーパルスを送り込むフォールト注入（Fault Injection）によって、ソフトウェアベースの攻撃に対しては耐性のあるセキュアブートプロセスをいかに回避できるかを解説する。
チャールズ・モンティースがゴールディングの『蝿の王』を文学的古典に編集した方法
LRBの記事は、編集者チャールズ・モンティースがウィリアム・ゴールディングの断固として拒まれた原稿を『蝿の王』に変えるために行った構造的、 tonal 、寓話的な具体的な修正を詳述し、さらに小説の成功後、二人の協力関係がどのように変化していったかを追う。ゴールディングはその後、ますます複雑なテーマを追求した。
ブレイドの時間メカニズムが一貫した時間旅行のフィクションをどのように築くか
2015年のqntm.orgのエッセイを分析し、ブレイドの巻き戻し能力がどのように内部的に一貫した時間旅行モデルを作り出すか、免疫を持つ緑のオブジェクトが第二の時間次元を示唆する役割、そしてなぜその一貫性が現実世界の妥当性についての主張ではなく、思考実験に閉じられたものであるかを検討する。
元OpenAI安全研究者らが解雇を争い、安全文化への萎縮効果を警告
元OpenAI安全研究者のジャスミン・ウォン、トメク・コルバック、ミキータ・バレスニの3人は、研究情報の取り扱いを誤ったとして解雇されたという会社の主張を争う公開書簡を発表し、解雇が安全に関するオープンな議論を抑制する萎縮効果をもたらすと警告した。
ウィーンと北京で初めてのトリウム核時計が刻む
オーストリアと中国の研究者が独立して、トリウム-229核遷移を用いて時間を追跡する初めての核時計を構築し、数百万年に1秒しかずれない精度を達成し、携帯可能な時間計測やダークマター検知への道を開いた。
身体の傷跡と個人の歴史の中に意味を見出す
手術の跡から子供の頃の擦り傷まで、身体の印がいかに個人の歴史と回復力の具体的な記録として機能するかについての考察。
連邦判事、Flockのナンバープレート検索を違憲と判決
連邦判事は、令状なしでFlockの自動ナンバープレート認識（ALPR）システムを使用して運転者の過去の移動履歴を追跡することは、修正第4条の権利に違反する「無差別な大量監視」にあたると判決した。
整数と浮動小数点演算における異なる安全パラダイム
開発者はしばしば、整数演算の安全アプローチを浮動小数点計算に誤って適用しますが、これらのパラダイムは根本的に異なります。整数演算では、オーバーフローによる未定義動作を避けるために事前チェックが必要ですが、浮動小数点演算では特殊な値が生成され、これが計算を通じて安全に伝播するため、事後検証が求められます。
Bigwords.pageはURLのみでどのブラウザでもフルスクリーンサインに変換
Bigwords.pageは、URLフラグメントにすべてをエンコードすることで、アカウントやバックエンド、サーバーストレージを必要とせず、メッセージ、タイマー、サインのフルスクリーン表示を作成できます。
Bevy 0.20リリースがレンダリング、シーン構文、UIツールキットを強化
Bevy 0.20は、Solariによる高速かつ正確なパストレースレンダリングを導入し、BSNシーンシステムの構文を可読性向上のため改善し、Feathers UIツールキットに新しいウィジェットを追加し、WESLシェーダー標準を採用しています。ただし、ReSTIRを無効にしたときのシャドウ品質の低下や、すべてのenumフィールドを明示的に指定する必要があるなどのトレードオフにも言及しています。
AI誘発絶滅のリスクを評価する：調査と専門家が語ること
AI研究者、予測者、一般市民の調査では、先進AIが人類絶滅または深刻な権力喪失を引き起こす確率の見解に幅があり、専門家の中央値は約10%、米国成人の半数が懸念を示している一方で、個々の専門家は個人的確率にばらつきがある。
アン・カーソン氏が2026年ノーベル文学賞を受賞
カナダ出身の詩人かつエッセイストであるアン・カーソン氏は、スウェーデンアカデミーが彼女の古典伝統と対話しながら新しい文学形式を生み出す大胆で独創的な作品群を挙げたことにより、2026年のノーベル文学賞を受賞しました。
ウェブページ向けアニメーション ASCII アート
提出されたストーリーはウェブページ向けアニメーション ASCII アートについて説明していると主張していますが、提供された主要ソースは Claude Code と pi 向けのターミナルベースのアニメーションについて記述しており、ウェブベースの実装ではありません。
/i/213761/products/2026-07-05T13:35:27.932Z-ANNA%20Kit..jpeg?1783234822)
ブラウザ内のアナログコンピュータシミュレータ
この記事では、 Pavel Krivanek のブラウザベースのアナログコンピュータシミュレータ『The Analog Thing』について説明しています。このシミュレータは、物理的なハードウェアを必要とせずにウェブブラウザ上で直接アナログコンピューティングの概念をシミュレートすることを可能にします。
AIを活用したアーカイブ検索が忘れられた隕石、失われたジャワサイの輸送、そして隠された火山の証跡を発見
カスタムAIパイプラインを用いて4世紀分のデジタル化された歴史記録を検索した研究者ジェシー・ウェイツは、マハラシュトラ州での1812年の隕石落下、キャンディ王へ向けられた以前未記録のジャワサイ3頭の輸送、そして記録されていない火山噴火の痕跡を発見し、言語モデルがアーカイブの中の見落とされた出来事を明らかにできることを示した。
4時間バッテリー貯蔵が世界中でガスタービンをコストで上回る
ウッドマッケンジーの分析によると、調査対象の全43市場で4時間バッテリー貯蔵システムの設置コストがオープンサイクルガスタービンより安くなっており、再エネの統合が進むにつれてコストはさらに低下すると予測されている。