潜入調査報告書がアメリカの民兵組織の内部構造を暴露
あるフリーランスの自警団員が、著名な右派民兵組織の幹部らの中に数年間潜入し、内部の通信、秘密の作戦、および法執行機関とのつながりを記録した。
記事全文を読む →最新の解説
HaskellのKindシステムとHigher-Kinded Typesの理解
HaskellのKindシステムは、型レベルの構成要素を分類する仕組みを提供し、開発者が'Maybe'や'Either'といった具体的な値だけでなく、型コンストラクタを抽象化することを可能にする'higher-kinded types'（HKTs）を実現します。
記事全文を読む →
DeepSeek、エージェンティック・ワークフロー向けのSearchおよびFetch APIをリリース
DeepSeekは、大規模言語モデル（LLM）や検索拡張生成（RAG）アプリケーションに対し、低コストでライブのウェブコンテンツへの直接アクセスを提供するための専用SearchおよびFetch APIを導入しました。
記事全文を読む →
ニューヨーク州下院議員、ライセンスではなくゲームの所有権を義務付ける法案を提出
提案された「Power To The Players Act」は、ビデオゲームのパブリッシャーに対し、消費者に取り消可能なライセンスではなく購入したコンテンツの実際の所有権を提供することを求めると同時に、サーバー停止後の機能的なオフラインモードの提供を義務付けることを目的としている。
記事全文を読む →
エリザベス・ホームズのドキュメンタリーにおけるナラティブのメカニズム
エリザベス・ホームズとTheranosに関する新しいドキュメンタリーにおいて、カメラアングル、編集、情報の順序といった映画的手法を用いていかに視聴者の認識を操作し、ナラティブの枠組みによって観客がいかに容易に誘導されるかを実証しているかが分析されている。
記事全文を読む →
Meta、国民抗議日の最中にNo KingsのInstagramアカウントを停止
アドボカシー団体Indivisibleは、Metaが大規模な国民行動の最中に「No Kings」のInstagramアカウントを停止し、投稿のロックを維持したまま一時的に視認性を回復したと報告した。
記事全文を読む →
Lean証明アシスタント、AIによる脆弱性に対抗する検証済みカーネルを導入
Lean証明アシスタントのバージョン4.35.0がリリースされました。これには複数の「検証済み」カーネルが含まれています。これらのカーネルは、数学的証明をチェックするために使用されるコアロジック自体が形式的に一貫しており、AIエージェントによって発見されるバグや脆弱性の影響を受けにくいことを保証することで、より高度なセキュリティを提供するように設計されています。
記事全文を読む →
AnthropicのClaude、NIST楕円曲線シードの起源を特定
Anthropicの研究チームはClaudeモデルを使用して、25年前の暗号学的な謎を解決しました。広く使用されている複数のNIST楕円曲線標準のシードが、Unixタイムスタンプで初期化された1990年代の一般的な擬似乱数生成器を使用して生成されたことを発見しました。
記事全文を読む →
低予算のレーザーフォールトインジェクション・プラットフォームがRP2350のセキュアブートを突破
カスタムビルドされた低コストのレーザーフォールトインジェクション・プラットフォームを使用し、シリコンダイを直接標的にすることで、Raspberry Pi RP2350マイクロコントローラのセキュアブート機能をバイパスした。
記事全文を読む →Codexデスクトップアプリ、Crashpadダンプによる無制限なディスク容量の増加に直面
macOS上のCodexデスクトップアプリのユーザーから、アプリケーションのクラッシュ報告システムであるCrashpadが、保留中のメモリダンプを継続的に生成するバグが報告されました。この動作により、アプリケーションが正常に動作している間でも、ローカルディスクの使用量が1日に数ギガバイト増加することがあります。
記事全文を読む →
ChromeとEdgeがXSLTのサポートを廃止へ
Google ChromeとMicrosoft Edgeは、XMLドキュメントをHTMLに変換するために長年使用されてきた技術であるXSLTのサポートを削除する方針です。一部の開発者はこれをレガシー技術からの必要な移行と見なす一方で、RSSフィードやモジュール式Webコンポーネントといった特定のユースケースにおいて、直接的でシームレスな代替手段が欠如していることを指摘しています。
記事全文を読む →Parin: D言語向けのコード駆動型2Dゲームエンジン
ParinはDプログラミング言語向けに設計された2Dゲームエンジンであり、raylibのような低レベルなライブラリと、Godotのようなフルスケールのエンジンの中間的な位置付けを意図しています。コード駆動型のアーキテクチャ、柔軟なメモリ管理、そしてJokaユーティリティライブラリに基づいたモジュール式の基盤を特徴としています。
記事全文を読む →
MapQuest、マッピングアプリに監視カメラレイヤーを追加
MapQuestは、Flockやその他の主要メーカーの屋外監視カメラおよびナンバープレート読み取り機の位置を表示する、アプリ内の新しい切り替え可能なレイヤーを導入しました。
記事全文を読む →
OpenCode Consoleのセキュリティ侵害によりユーザーの認証情報に影響
OpenCodeは、大規模な蒸留攻撃（distillation attack）を伴うセキュリティ侵害を報告しました。この事案はOpenCode Consoleユーザーの1.4%に影響を及ぼしており、OpenAIやAnthropicなどのサービスの個人用APIキーが流出した可能性があります。
記事全文を読む →
Furifont：リガチャを用いて振り仮名を表示する日本語フォント
Furifontは、フォントのリガチャ機能を利用して漢字の上に振り仮名を自動的に表示する特殊な日本語フォントです。従来のルビタグの実装が困難な環境において、日本語学習者を支援する斬新な手法を提供しますが、日本語の文脈依存な読みの性質に関する技術的な課題にも直面しています。
記事全文を読む →
Llmspeed: ローカルLLMのパフォーマンス用シミュレーター
Llmspeedは、ユーザーが機器を購入する前に、特定のハードウェア構成における様々な大規模言語モデル（LLM）のパフォーマンスを推定するためのWebベースのツールを提供します。
記事全文を読む →
Linuxカーネル7.2リリースの開発統計
Linuxカーネル7.2リリースの公開は、プロジェクト史上最も活発な開発サイクルの一つとなり、過去最多の初参加者数と、LLM（大規模言語モデル）を活用したバグ検出の顕著な増加を特徴としました。
記事全文を読む →Pele: Mermaid図形用軽量・テーマ対応レンダラー
Peleは、フルブラウザ環境のオーバーヘッドなしでMermaid図形をSVG形式にレンダリングするために設計された、高性能な同期ツールです。
記事全文を読む →/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/5a/22/5a227d41-20eb-46fb-8ddb-e2375565a170/transition3-little-dams.jpg)
金が石油や医薬品を抜き、米国最大の輸出項目に
2025年後半から、世界的な需要の急増と地政学的な動向の変化を背景に、米国の金輸出額は石油や航空機といった従来の高付加価値カテゴリーを上回り始めました。
記事全文を読む →