ICEエージェントの夫に認証情報を共有したサバンナ警察官を解雇
サバンナ警察の元職員が、Flockナンバープレート読み取りシステムのログイン認証情報を、連邦政府のICEエージェントである夫に提供したため解雇された。夫はそのアカウントを使用して数百件の検索を実施した。
記事全文を読む →最新の解説
Mistral AI、時系列基盤モデル「Timestral」をリリース
Mistral AIは、事前学習アプローチを用いて異なるデータ型の間でパターンを転送し、多様なドメインにわたる確率的かつ多変量な予測を提供する時系列基盤モデル（TSFM）ファミリー「Timestral」を発表しました。
記事全文を読む →
HOL Light定理証明機クイックスタートガイド
HOL Light定理証明機は形式検証のための強力なツールですが、その急峻な学習曲線は初心者にとって威圧的に感じられることがあります。新しい「クイックスタート」チュートリアルは、ユーザーがシステムの背景要件や基本操作をより効率的にナビゲートできるよう、段階的な例題を提供します。
記事全文を読む →
Lant：古くから蓄積された尿の歴史的有用性
歴史的な工業プロセスにおいて、'lant'として知られる古くから蓄積された尿は、火薬の製造、皮革の鞣し、そして織物の染色に不可欠な化学資源として機能していました。
記事全文を読む →
「Sanity's Edge」の保存：AIを用いて再構築された1990年代の音声BBS
1990年代半ばの音声専用掲示板システム（BBS）「Sanity's Edge」が、レガシーなハードドライブから回収され、最新のAIツールを用いてデコードされたことで、ウェブ上で保存および再構築されました。
記事全文を読む →
ロボティクスにおけるデータボトルネック：物理的タスクのためのモデル学習
大規模言語モデルは既存の膨大なテキストデータによって繁栄してきましたが、ロボティクスは大きな障害に直面しています。それは、物理的な動作に関する高品質で公開されたトレーニングデータの不足です。研究者たちは、人間の遠隔操作やシミュレーションから「自己中心的な」ビデオ収集に至るまで、このギャップを埋めるための様々な手法を模索しています。
記事全文を読む →
TmuxによるAIコーディングエージェントの管理：永続性とスクリプト可能性
開発者は、Claude Codeのような長時間実行されるAIコーディングエージェントを管理するために、ターミナルマルチプレクサであるtmuxをますます活用するようになっています。tmuxの切断時にも生存する能力、1つのウィンドウで複数のセッションを保持する能力、および外部コマンドを受け入れる能力を活用することで、ユーザーはエージェントとのインタラクションを自動化し、SSH経由で永続的な開発環境を維持することができます。
記事全文を読む →
Linuxカーネル7.3リリースのハイライト：Apple Siliconサポートと過去最多の参加者数
Linuxカーネル7.3のリリースは、開発規模とハードウェア互換性における重要な節目となり、特にAppleのM3シリーズチップへのネイティブサポートや、SMB共有に対するオプトイン式のTime Machineサポートが導入されました。
記事全文を読む →
macOS 27.0のファイルシステムに謎の /pkg ディレクトリが出現
ユーザーはmacOS 27.0において、システムのPATH変数に新しいパスを自動的に追加するルートレベルの新しいディレクトリ「/pkg」を特定しましたが、Appleはまだその具体的な目的を明らかにしていません。
記事全文を読む →
訴訟でVerisignが.comドメインレジストリにおいて不法な独占を維持していると主張
Hagens Bermanによって提起された集団訴訟は、.comドメインレジストリの唯一の運営者であるVerisignが、ICANNとの非競争的な契約を利用して不法な独占を維持し、消費者に過剰な料金を請求していると主張している。
記事全文を読む →
黒死病がいかにしてウサギを王侯貴族の贅沢品から庶民の日常食へと変えたか
中世イングランドにおいて、ウサギは貴族のみが享受できる高価な珍味でした。しかし、黒死病の流行後、社会構造と労働力の可用性が変化したことで、一般市民もこれらの贅沢品を取り入れるようになり、この動物の地位と生態系への影響は根本的に変化しました。
記事全文を読む →
「Not a typewriter」エラーの歴史
Unixベースのシステムにおいて、大文字・小文字の区別の問題とレガシーなハードウェア用語の組み合わせから生じた「Not a typewriter」というエラーメッセージの技術的歴史と言語的進化を辿る。
記事全文を読む →
DNS Museum：非実用的なネットワークエンジニアリングのギャラリー
DNS Museumは、開発者が標準的なホスト名解決をはるかに超える目的のために、Domain Name System（DNS）を創造的、実験的、そしてしばしば非実用的な方法で利用してきたコレクションを記録しています。
記事全文を読む →
Superlite：AIエージェントのための「Superpowers」に代わる合理的な選択肢
Superliteは、AIエージェントがソフトウェアを開発する際のプロセスをより高速かつ合理的にするための新しい仕様です。Superpowersのようなより複雑なエージェント用フレームワークに伴うオーバーヘッドや「カーゴ・カルト（形だけの模倣）」を削減することを目指しています。
記事全文を読む →
ペンタゴンによる弾薬産業基盤の再建と多様化に向けた戦略
国防総省は、ドローン群のような現代の脅威に対処するため、高価で高性能な従来のシステムと、急速に拡大する低コストで大量生産可能な武器のポートフォリオを組み合わせた「ハイ・ロー・ミックス」へと弾薬戦略をシフトさせている。
記事全文を読む →
DeepSeek V4.1 Flash 1017 (Max) の性能と効率性の分析
DeepSeek V4.1 Flash 1017 (Max) モデルに関する議論では、そのアーキテクチャの効率性が強調されており、Mimo 2.6 Pro や GPT 6.1 Sol といった競合モデルとの性能比較に加え、「max」推論負荷を使用する際の実際的なトレードオフについても検証されています。
記事全文を読む →
ヴィンテージな6502アーキテクチャを搭載したDIYノートPC
1980年代のコンピューティングで活躍したことで有名な6502 CPUを搭載した、機能的なノートPCを製作するDIYプロジェクトが公開されました。このデバイスは46KBのRAM、10.1インチのスクリーン、そしてWiFiモデムを備えており、ヴィンテージハードウェアが現代的なフォームファクタでどのような能力を発揮できるかを示しています。
記事全文を読む →
セルフホスト型LLMプロキシを導入すべき理由
開発者や組織は、データパスの細かな可視性を確保し、マルチプロバイダー構成を管理し、プロンプトがクラウドプロバイダーに到達する前にセキュリティ上の秘匿処理を強制するために、セルフホスト型の大規模言語モデル（LLM）プロキシを採用する傾向を強めています。
記事全文を読む →Cloudflare Workers上で動作するAIエージェント用WhatsApp MCPサーバー
新しい読み取り専用Model Context Protocol (MCP) サーバーにより、Cloudflare Workers上でリンクされたデバイスインスタンスを実行することで、AIエージェントが個人のWhatsAppメッセージを検索および閲覧できるようになります。
記事全文を読む →
ウィリアム・ギブソンによる「Eric Gullichsen」の商標登録という神話
Autodeskの元研究者による実体験に基づく証言により、長年語り継がれてきたテック界の伝説が明らかになった。ウィリアム・ギブソンがAutodeskによる「cyberspace」の商標登録に異議を唱えたのは事実だが、彼が報復として研究者の名前を商標登録したという主張は、実際にはいたずらであった。
記事全文を読む →