DATE ARCHIVE
2026-09-26
この日に公開された記事 2026-09-26.
Wube Softwareが『Factorio』公式の3Dプリント用モデルデータを公開
Wube Softwareは、ゲーム『Factorio』に登場する搬送ベルトやインサータ、バイターなどのエンティティを再現した65種類の公式3Dプリント用モデルを公開し、ファンがミニチュアとして組み立てられるようにしました。
Whiteboard：AIエージェントと連携するソフトウェアアーキテクチャのためのオープンソースキャンバス
Whiteboardは、人間とAIコーディングエージェント間の協調的なソフトウェアアーキテクチャ設計を促進するために設計されたオープンソースのデスクトップアプリケーションです。コードに直接リンクする視覚的なキャンバスを提供することで、開発者がAIによって生成された変更の複雑さを管理できるよう支援することを目的としています。
Open Observatory of Network Interference（OONI）の概要とインターネット検閲測定へのアプローチ
Open Observatory of Network Interference（OONI）は、インターネット検閲を検出し記録するための無料ソフトウェアツールを開発し、世界中のネットワーク干渉に関するオープンなデータセットを維持するグローバルプロジェクトです。
貨幣および銀行システムの階層的性質を理解する
貨幣、負債、銀行システムが単純な物々交換から複雑な金融階層へとどのように進化するかを概念的に探求し、現代の経済安定における信頼とバランスシートの役割を強調する。
2025年におけるソフトウェアサンドボックスの基礎を理解する
ソフトウェアサンドボックス、すなわち裁量的な権限剥奪は、プロセスの機能を制限するための重要なセキュリティプラクティスです。現代のアプローチでは、レガシーなカーネルレベルのハックよりも、プロセスレベルの分離と能力ベースの通信が重視されています。
米国郵便検視官、偽造切手ラベルを販売するウェブサイトを閉鎖
連邦当局は、米国郵便局の偽造切手ラベルを販売していた無許可のウェブサイトLabelsBank.comを押収し、1億2600万ドル以上の損失と500万枚以上の詐欺ラベルを約5000人の顧客に販売した計画についてパキスタン国籍の人物を起訴した。
TinyBrains：戦略ゲームにおける小型ニューラルネットワークのための競技プラットフォーム
TinyBrainsは、戦略ゲームをプレイ可能な小型で効率的なニューラルネットワークの開発を競う新しいプラットフォームです。エントリーはファイルサイズに基づいた階級に分類され、直接対決によってパフォーマンスが評価されます。
書評：McKenneyの並列プログラミング教科書は厳密だが挑戦的
TLA⁺と分散システムの背景を持つ評価者が、Paul E. McKenneyの無料のオンライン教科書「Is Parallel Programming Hard, And, If So, What Can You Do About It?」を読み、最初の5章を優れたものと評価した——しかし、CPUキャッシュ、コンパイラの命令再ordering、メモリモデルについてまだ学ばなければならないことの多さを明らかにした。
Meta Platforms社と仮想現実および拡張現実ハードウェアの進化
FacebookやInstagramの親会社であるMeta Platforms社は、メタバースへの戦略的転換の一環として、仮想現実および拡張現実技術への多額の投資を継続しています。この取り組みには、デジタルエコシステムを物理環境に統合することを目的としたQuestシリーズやスマートグラスなどのハードウェア開発が含まれています。
Laya：AIワークフロー向けオープンソース非自己回帰型意思決定エンジン
Layaは、ルーティング、トリアージ、分類といった構造化タスクにおいて、生成AIモデルに代わるものとして設計された新しいオープンソースの非自己回帰型意思決定エンジンです。強化学習と双方向エンコーダーを活用することで、35ミリ秒未満でキャリブレーションされた確率出力を提供し、ブラックボックス化された独自モデルに代わる透明性の高い高速な選択肢を実現します。
Ink & Switchが設立10周年を記念したインタラクティブなホームページを公開
独立系研究ラボのInk & Switchは、設立10周年を記念してインタラクティブなホームページ「Tenfold」を公開しました。同ラボの実験的なソフトウェア設計とユーザー中心のコンピューティングに対する継続的な取り組みを紹介しています。
Heretic：Transformerベース言語モデルの検閲解除を自動化するツール
Hereticは、「アブリタレーション（abliteration）」という手法を用いて、言語モデルから安全性の調整制限を自動的に解除するオープンソースツールです。モデルの重みを修正することで、手動介入や大規模な再学習なしに拒否行動を回避します。
Go Concurrency Distilled
アントン・ジヤノフによる新しいミニブックが、Goの並行性プリミティブ——goroutines、channels、select、pipelinesなど——のすばやい復習を提供する。読者がブラウザ上で直接コードを編集して実行できるインタラクティブな例が含まれている。入門書ではなく、入門用の演習教材は別のワークブックを参照するよう案内されている。
Git-bug: Gitリポジトリに統合された分散型オフラインファーストのバグ追跡システム
Git-bugは、バグ追跡機能をGitリポジトリ内に直接組み込むオープンソースツールです。ソースコードと共に課題データを保存することで、オフラインでの共同作業を可能にし、ベンダーロックインを回避します。
ジョージ・ポーヤによる体系的な問題解決のためのヒューリスティック・フレームワーク
1945年に初版が発行されたジョージ・ポーヤの『いかにして問題をとくか』は、複雑な問題に取り組むための4段階の構造化された手法を提示しており、即座に行動を起こすことよりも、深い理解と反復的な計画立案を重視しています。
MITにおけるAI搭載型監視インフラの導入に対し、教員から懸念の声が上がる
マサチューセッツ工科大学（MIT）の教員グループは、キャンパス内に数百台のAI対応監視カメラが設置されたことに対し、プライバシー侵害、法執行機関へのデータ共有の可能性、およびコミュニティへの事前協議の欠如を理由に懸念を表明しています。
F-Droid 2.0がリリース、大幅なデザイン刷新とアーキテクチャの近代化を実現
自由でオープンソースなAndroidアプリケーションの老舗リポジトリであるF-Droidが、バージョン2.0をリリースしました。このアップデートでは、インターフェースの全面的な刷新、検索および発見機能の向上、そしてKotlin Composeといった最新の開発ツールへの移行が行われています。
アールト大学が公開したノキア・デザイン・アーカイブを探求する
アールト大学は、1990年から2020年までのノキア・モバイル・フォンズおよびマイクロソフト・モバイルの設計の変遷を記録した包括的なデジタルリポジトリ「ノキア・デザイン・アーカイブ」を公開しました。
CVE-2025-13032を悪用したAvast Antivirusのカーネルヒープオーバーフロー攻撃
セキュリティ研究者がAvast Antivirusのカーネルドライバにおけるダブルフェッチ脆弱性の悪用手法を詳細に解説し、Windows 11上でローカル特権昇格を実現する方法を実証しました。
StarCraft: Brood Warにおける現代AIエージェントの性能評価
新しいベンチマーク「Brood War Bench」は、古典的なリアルタイム戦略ゲーム『StarCraft: Brood War』において、現在の大規模言語モデルが自律エージェントとしてどの程度機能するかをテストし、長期的な計画立案と実行能力における重大な限界を明らかにしました。
Claude Maxは利用枠を増やすプランで、モデルの賢さを示す証拠ではない
AnthropicのMaxプランは月額100ドルまたは200ドルで、Proの5倍または20倍のセッション利用枠を提供する。上限は残り、利用容量の増加はモデルの優位性を示さない。
Bastardica：ハイブリッドな「呪われた」フォントを作成するためのブラウザベースのツール
Bastardicaは、2つの異なる書体をブレンドしてカスタムOpenTypeフォントを生成できるウェブベースのユーティリティです。このツールは文脈依存の合字（リガチャ）を活用し、ベースフォントの文字をミックスインフォントの文字と自動的に置き換えることで、意図的に不調和で実験的なタイポグラフィを作成することを可能にします。
HOL Light定理証明機クイックスタートガイド
HOL Light定理証明機は形式検証のための強力なツールですが、その急峻な学習曲線は初心者にとって威圧的に感じられることがあります。新しい「クイックスタート」チュートリアルは、ユーザーがシステムの背景要件や基本操作をより効率的にナビゲートできるよう、段階的な例題を提供します。