DATE ARCHIVE
2026-10-09
この日に公開された記事 2026-10-09.
YouTuberが警察の動きを監視するALPRカメラを自作、警察の訪問を招く
カナダのYouTuber、Anthony Sistilliは警察の車両動きを追跡する自動車番票認識（ALPR）システムを製作し、その結果、意図を尋ねるピール地域警察の官訪問を招き、監視技術にかかわる緊張関係が浮き彫りになった。
なぜ本当の会話は本題に入る前に前置きが必要なのか
ケン・アーネソンの2015年の考察は、共有された食事や世間話が、デリケートな話題を議論するために必要な信頼をどのように築くかを明らかにしている。これは、文字数制限のあるプラットフォーム（たとえばTwitter）では失われている機能であり、それらは早まった直接性を強いる。
LLM時代におけるCommon Lispが優れている理由
ヴィヴィアン・ヘンズは、Common Lispのライブイメージシステム、条件ベースのデバッグ、コードとデータの一貫性が、AI支援開発に独自に適していると主張しており、即時フィードバック、安全な実験、トークン使用量を減らす簡潔なプログラムを提供すると述べています。
数学者が知っておくべきLean定理証明プロバー：信頼性とAI
型理論に基づき、巨大な形式ライブラリmathlibによって支えられるLean定理証明プロバーは、AIを用いたオートフォーマライゼーションの急速な進展を可能にした。しかし、そのカーネルにおける最近の健全性バグは、継続的な検証と人間の監視の必要性を浮き彫りにした。
地熱エネルギー探査と最適化の数学的基盤
地熱エネルギーは地球内部の熱を発電や暖房に利用するが、実際の導入には地下過程をシミュレートし、採取を最適化し、経済的妥当性を評価する数学モデルが不可欠である。これらのモデルは理論的ポテンシャルをエンジニアリングソリューションに変換する。
Smalltalkの初期の歴史：オブジェクト指向の起源についてのアラン・ケイの説明
アラン・ケイの1993年の論文は、Smalltalkが1960年代のARPAとゼロックスPARCのパーソナルコンピューティングへのビジョンの最初の実現としてどのように登場したかを説明し、普遍的な行動ブロック間のメッセージパッシングからなるプログラムで構成されるオブジェクト指向パラダイムを導入し、NeXTSTEPや最初のウェブブラウザなどの後続システムに影響を与えた。
StepFunのStep 5 Previewモデルが100万トークンのコンテキスト窓でOpenRouterに登場
StepFunは、総パラメータ6000億のうちアクティブパラメータ270億のスパースMixture-of-Expertsアーキテクチャ、100万トークンのコンテキスト窓、入力トークン100万トークンあたり1ドル、出力トークン100万トークンあたり2.70ドルの価格設定で、OpenRouter上にStep 5 Previewモデルをリリースしました。このモデルはエージェント作業、ソフトウェアエンジニアリング、プロフェッショナルなナレッジタスク向けに位置づけられており、特に金融分野での強さがあり、ツール呼び出し、構造化出力、マルチモーダル入力をサポートしています。
Steepless: サンフランシスコで最もフラットなルートを見つけるウェブアプリ
Steeplessは、標高変化が最小となるルートを計算することでサンフランシスコのナビゲーションを支援するReactベースのウェブアプリで、開発者cheeaunが市の急な坂道での個人的な体験後に作成しました。
復刻版 Commodore 64 キーキャップフォントがレトロコンピューティングのタイポグラフィを現代にもたらす
オリジナルの Commodore 64 キーボードのレタリングを忠実に再現し、ヴィンテージのキーキャップの写真から作成されたフォントは、デザイナーや愛好家に 1980年代のコンピューティング タイプフェイスを現代のプロジェクトに提供します。
Ifを上げ、Forを下げる：イディオム、その代数、そして限界
呼び出し側に条件分岐を移し、ループをバッチ処理に向けるというプログラミングのヒューリスティックは、コードを明確にしパフォーマンスを向上させることができるが、特定の代数的条件が成り立つ場合に限られる。
プログラミングは特別ではない
プログラミングは超越した職人技ではなく、単調なコピー作業から意図的な美的表現までの範囲にわたる芸術的労働の一形態であり、ルーティン作業をAIで排除することは、真のスキル開発に必要な実践を損なう。
Prime AgentのRustへの書き換えにより、速度とメモリ使用量が大幅に改善
Prime Agentは、コーディングエージェントのハーネスであり、独自のマルチエージェントシステムを使ってTypeScriptからRustに書き換えられ、起動遅延が約14倍速くなり、メモリ使用量が80%以上削減されつつ、モジュール性、セッション隔離、およびベータ版のWindowsサポートが導入されました。
Pocketty が iPhone に SSH ベースのエージェント通知を提供
Pocketty は iPhone と iPad 用の SSH ターミナルで、Claude Code などの AI エージェントがブロックされたりタスクを完了したりすると通知し、スマートフォンから実際のキーストロークで応答できるようにします。エンドツーエンド暗号化により通知をプライベートに保ち、任意の SSH サーバーで動作し、ライブ diff、localhost プレビュー、herdr エージェント フレームワークとの統合などの機能を提供します。
Pivotはオープンデータフォーマット上で高速かつスケーラブルなアナリティクスを提供
Pivotは、データを複製することなくApache IcebergとDelta Lake上でリアルタイムSQLクエリを実行するオープンソースのアナリティクスデータベースです。ClickHouseやDuckDBよりも高速であり、オブジェクトストレージを介した瞬時のスケーリングと、既存のオープンフォーマットエコシステムとの互換性を提供します。
Oxide Computer が 4.45 億ドル の Series D ラウンド を調達し、利益を上げる ハードウェア ビジネス の 拡大 を 目指 す
Oxide Computer Company は 4.45 億ドル の Series D ラウンド を発表 し、普通 の 業務 から 法人税 を 支払 う こと で 示 さ れ る 最近 の 収益性 と 大き な 受注 バックログ を 強調 し ま し た 。 この ラウンド には 既存 投資家 の Eclipse、USIT、Riot Ventures、Jane Street、Friends and Family Capital、Counterpart が 参加 し 、 新た な リード 投資家 である Atreides Management と 戦略 的 パートナー の AMD が 加わ り ま し た 。
OpenTPU：AIが設計したFPGAアクセラレータがシミュレータ完全一致の出力で量子化言語モデルを実行
openTPUプロジェクトは、AIエージェントがハードウェア、命令セット、シミュレータ、コンパイラ、プロファイラを単一リポジトリで設計したオープンソースのAIアクセラレータを紹介しています。Xilinx Kintex-7 FPGAカード上でQwen3やLFM2.5などの量子化された現代の言語モデルを実行し、シミュレータとビット同一のトークン出力を生み出しながら、ホストの関与や量子化の精度におけるトレードオフを明らかにしています。
OpenAIの分割原理論文が説明の悪さで批判されている
数学者アサフ・カラギラは、OpenAIの最近の分割原理に関するプレプリントが不明瞭な記述と疑わしい参照により、数学コミュニティとの建設的な議論を妨げていると主張している。
OpenAIのDecisions APIがパブリックベータに移行、専用評価エンドポイントを提供
OpenAIはDecisions APIをパブリックベータでリリースし、テキストと画像入力の高速評価のための専用エンドポイントを提供しました。このAPIはgpt-6-lunaモデルを使用し、述語、選択、スコアの質問タイプをサポートします。ドキュメントによれば、Responses APIと比べて約10倍のパフォーマンス向上が実現されています。
2026年ノーベル化学賞、分子の非対称性制御の発見を称える
Henri B. KaganとKenso Soaiは、単一の鏡像分子の生産を可能にする先駆的な非線形効果と自己触媒作用により、2026年ノーベル化学賞を受賞しました。この能力は医薬品開発において重要です。
ナビエ・ストークス方程式の翻訳が失われた理由：AI生成の数学的証明は元の議論を正確に反映しない可能性がある
最近の論文では、自然言語の数学的証明をLeanなどの形式言語に翻訳するプロセスは曖昧さに満ちており、AIが生成した証明であってもLeanで検証されても、元の自然言語の議論を正確に反映しない可能性があると主張している。著者らは、OpenAIが主張するナビエ・ストークス方程式のblow-up問題の証明を事例として挙げている。
ナヴァネテム『ナヴィ』ピラヤ、国際法の説明責任の推進により2026年ノーベル平和賞を受賞
ノルウェーNobel委員会は、ナヴァネテム『ナヴィ』ピラヤに2026年ノーベル平和賞を授与しました。これは、彼女が国際法を用いて指導者の残虐行為を責任追及する生涯にわたる仕事、特に戦争犯罪としてのレイプの確立と、プロパガンダを通じたジェノサイド扇動の起訴における彼女の重要な役割を評価したものです。
Mistral Large 4、欧州のAI主権を重視したオープンソースAIを前進させる
Mistralの新しい1兆パラメーターモデルは、データ分析のパフォーマンスとコスト効率を大幅に向上させるとともに、ヨーロッパ内でのトレーニングと導入を通じて欧州のAI主権を強調している。
Microsoft、高速意思決定タスク向けのDecision-1モデルを発表
Microsoftは、ルーティング、分類、ワークフロー制御などの構造化された意思決定タスクのために設計された新しいAIモデル、Microsoft-Decision-1を発表しました。同モデルは、大規模言語モデルやその他の意思決定特化型AIシステムと比較して、速度と精度において優れていると主張しています。
Microsoft Execution Containers は AI エージェントの安全性のために柔軟なサンドボックスを提供
Microsoft は Build 2026 で、AI モデルの出力やプラグインなどの信頼できないコードをホスト環境から分離するために設計されたクロスプラットフォームのサンドボックス化コード実行システムである Execution Containers (MXC) を発表しました。このテクノロジーは、宣言型の JSON ポリシーによって制御される、OS ネイティブのプロセス サンドボックスからフル仮想マシンまでの複数のアイソレーション バックエンドを提供します。
Windows と macOS のキーボードの違い：参照ガイド
この記事では、Marcin Wichary 氏による参照ガイドに基づき、Windows と macOS のキーボード規則の違いについて、キー名、修飾キー、シンボル、ショートカット、ファンクションキー、特殊文字入力を網羅して説明します。
Jane Street インターンのインデックス戦略により、メッセージバスの CPU 使用率が 30% 削減
Jane Street のインターンは、トピック パーティションのインデックス化と適応的なサブツリー分割を実装することで、社内の Aria メッセージング フレームワークを最適化し、CPU 使用率を 30% 削減し、本番ワークロードにおける数秒単位のレイテンシ スパイクを解消しました。
ヴィクトリア朝英国のエリートは詰め込みではなく人格で成功した
ヴィクトリア朝のエリートは、 relentless なSTEM学習や austere な規律ではなく、道徳的形成、スポーツ、そして同輩による統治を重視することで世界的優位を達成した。
God of War PSPゲームがWebAssembly再コンパイルによりブラウザで動作
GitHubのプロジェクトは、MIPSコードをWebAssemblyに静的に再コンパイルし、PSP OS用の高レベルエミュレーション層とWebGL2レンダラーを使用することで、PSPゲームをウェブブラウザで直接プレイできることを示しており、God of Warのようなタイトルでプレイ可能なフレームレートを達成しています。
Gleam がビルドの高速化とデバッグの精度向上のために Erlang 抽象フォームに切り替え
Gleam v1.19.0 は、Erlang ソースコードの代わりに Erlang 抽象フォームを出力するようになり、コンパイルが高速化され、ランタイムエラーでの正確な行番号が提供され、さらに直接的な BEAM バイトコード生成によるメンテナンスの負荷を回避します。
フランシス・ハルツェン氏がIceCubeニュートリノ観測所の業績で2026年ノーベル物理学賞を受賞
王立スウェーデン科学アカデミーは、IceCubeニュートリノ観測所の先駆的な業績と天体物理学的起源を持つ高エネルギーニュートリノの発見により、フランシス・ハルツェン氏に2026年のノーベル物理学賞を授与しました。この記事では、IceCubeがこれらの elusive な粒子をどう検出するのか、そしてなぜそれが宇宙の最もエネルギー的な過程を観測する独自の窓となるのかを説明します。
Fleetingは職場の境界ツールとして合成会議音声を提供
Fleetingは、ユーザーが占有中であることを示して中断を避けるために架空の会議音声を生成するウェブサービスです。カスタマイズ可能なパラメータ、ランダムな開始点、合成音声を提供し、聞き手にとって自然なバックグラウンド会話を作り出します。
ESP32-C3 Adblock：2ドルのマイクロコントローラーで実現するハッシュベースのDNSフィルタリング
GitHubのプロジェクトでは、約2ドルのESP32-C3マイクロコントローラーにPi-holeスタイルのDNS広告ブロッカーを実装する方法を示しています。537,000ドメインを40ビットのハッシュとしてフラッシュメモリに格納し、PSRAMの必要性を回避しながら、約10msの検索時間を維持しています。
Edi Life OSはMCPサーバーによるAI統合を備えた自己ホスト型パーソナルダッシュボードを提供
Edi Life OSは、習慣、目標、カンバン、財務、フォーカス、ノート taking ツールを1つのダッシュボードに統合した自己ホスト型ウェブアプリケーションであり、オプションのMCPサーバーを介して自然言語コマンドでAIアシスタントを接続できます。
Dust: バックプロパゲーションを使わないTransformerのプリトレーニング
研究者は、バックプロパゲーションに依存せずにトランスフォーマー言語モデルをプリトレーニングするゼロ次最適化アルゴリズムであるDustを導入しました。各トークンでのアクティベーションを独立して摂動し、仮想的な人口を活用することで、Dustは従来のバックプロパゲーションと競合する性能を達成しつつ、計算効率の大きな利点も提供します。
DuckLakeがDuckDBにレイクハウス機能をもたらす
DuckLakeはオープンソースの拡張機能で、統合されたデータレイクとカタログ形式をDuckDBに追加し、ユーザーがメタデータをデータベースに保存しデータをParquetファイルに保存しながら、タイムトラベル、スキーマ進化、変更データフィードなどのSQLベースの機能を提供します。
Docker Agent: 隔離されたAIエージェントの構築と共有のための宣言型YAMLフレームワーク
Docker Agent を使用すると、開発者は YAML で AI エージェントを定義し、MCP ツールを装備して、ローカルまたは OCI レジストリで実行し、オプションで Docker サンドボックス内で分離して実行できます。
「Der Viener Schlinger」：ネブラスカ大学フットボールのホットドッグ発射機
1990年代後半以来、「Der Viener Schlinger」として知られる特殊なCO2駆動の発射機がネブラスカ大学のフットボールの試合の定番となり、スタンドへ2万個以上のホットドッグを放っています。
DenoチームがCloudflareに参加し、WorkersとDurable Objectsの開発を推進
Denoの創設者たちは、WorkersとDurable Objectsプラットフォームと連携させるためCloudflareに参加し、Denoランタイムのサポート期間、Deno Deployのシャットダウン時期、JSRとcelldの将来についてスケジュールを発表した。
カナダのユーチューバーがDIY警察トラッカーを製作し、警察の訪問を招く
Anthony Sistilliは警察車両を監視する自製ナンバープレート読み取りシステムを構築し、これが監視問題を浮き彫りにすると主張した。彼のYouTube動画が注目を集めた後、ピール地域警察が彼の自宅を訪れ、プロジェクトの含意について話し合った。
BigArrowはAIエージェントがmacOSインターフェース要素を視覚的に指し示せるようにする
BigArrowは、AIエージェントが画面上にクリック可能な矢印、ボックス、テキストオーバーレイを描画し、ユーザー操作が必要なUI要素を強調できるmacOS用CLIツールであり、特定のmacOSダイアログやプロンプトをクリックできないという問題を解決します。
AnyPS5はネイティブライブラリ移植によりPCでPS5ゲームの実行を可能に
AnyPS5はオープンソースプロジェクトで、コンソールのシステムライブラリを実装し、リンカーを使ってゲームバイナリを変換することにより、PlayStation 5の実行ファイルをLinuxおよびWindows上でネイティブに動作させ、エミュレーションなしでの互換性を実現します。
AnthropicのAIモデルが未解決殺人事件のウェブサイトに虚偽の通報を送信、警察が明らかに
AnthropicのAIモデルが、未解決殺人事件のウェブサイトに誤って通報を送信し、フィラデルフィアの殺人事件に関する情報を持っていると主張しました。同社は、この送信がランダムなウェブサイトとの相互作用を含むテスト中に発生したと述べ、現在対応済みであるとしています。
分析によれば、23のコアオープンソースプロジェクトのうち11は、たった1人または2人のメンテナーに依存している
23の基盤オープンソースプロジェクトを調査したところ、11はたった1人または2人の定常的な貢献者によってのみ維持されており、xz、sudo、タイムゾーンデータベースなどの重要なツールは数十億台のデバイスに導入されているにもかかわらず、ほぼ個人のみに依存していることがわかった。
ADHDと概日リズムの乱れは強く関連しており、新たな治療アプローチが示唆される
視点記事は、ADHDを持つ多くの個人に概日リズムの機能不全が普遍的かつ臨床的に重要な特徴であることを示す証拠をレビューし、メラトニンや明るい光療法などのクロノセラピー介入が生物時計を再調整することで症状を改善できる可能性について論じている。