[ブログ] Score: 5
NixOSの設定を条件にVEX文書を自動生成し、脆弱性トリアージを効率化する手法を解説した記事。LLM支援で脆弱性報告が増え、SBOMスキャンは誤検知が多くOSのCVE評価が負担。Goは到達可能性解析で絞れるが、NixOSは設定条件をNixで記述し、該当時のみVEXのnot_affectedを自動生成できる。著者はnixos-vexを公開し、高信頼データ源には未推奨ながらNixへの還元を目指す。
[サービス・ツール] Score: 143
Total Annihilationを現代PC向けに再構築したオープンソースRTSエンジン。NanolatheはMITライセンスで、コードの研究・改変が可能。ブラウザではデモ3ミッションを無料で遊べる。Windows/Mac/Linux版では自前のゲームファイルを使い、キャンペーン、スカーミッシュ、オンライン対戦に対応する。最新GPU描画とクラシック表示を切り替えられる。非公式プロジェクトであり、ゲーム本体の権利者とは無関係だと説明している。
[サービス・ツール] Score: 37
APSWはSQLiteの全機能をPythonから使うラッパーである。CPython 3.10以降に対応し、SQLite C APIとPython C APIを橋渡しする。全文検索、セッション、仮想テーブル、VFS、JSON、CArray、非同期処理を備える。標準sqlite3は互換性重視、APSWはSQLiteの完全活用と開発者体験の向上向け。ドキュメントやPyPIリリースも提供する。
[サービス・ツール] Score: 27
Playgrndは、ブラウザで動く小さなツール群を提供する無料サイトである。奇妙で美しいものを作るためのツールをまとめ、種類や年、価格で絞り込める。全ツールはブラウザ上で動作し、アップロードや保存は行われず、書き出したデータは利用者のものになると説明している。
[ブログ] Score: 59
商用の空間オーディオ効果を、計測音と録音から逆解析した記録。著者はインパルス応答やスイープ等を対象プログラムに通し、線形時不変性や時間不変性を検証。4つのコンボリューションフィルタを抽出し、Linux用Saqに実装した。音量低減モードなど一部は固定フィルタで再現できなかったと述べる。
[ブログ] Score: 224
AIによるコード書き換えでも人間の思考とトレードオフの理解は不可欠だと論じた記事。DHHがCampfireをAIでRust等へ移植した事例を検証し、曖昧な指示では後方互換や性能判断がAI任せになる点を指摘。Rust版は非同期処理や通知配信の設計に問題があり、高負荷時に通知到達率が1%まで低下した。ベンチマークは一指標で判断できず、Elixirも万能ではない。失敗設計と制約の重要性を主張している。
[ブログ] Score: 183
PATH内の引用符付きチルダは展開されず、ホームではなくカレント配下を指す危険を解説する記事。export PATH="$PATH:~/.local/bin/"では~は展開されず、PATHにリテラルの~が入る。実行時は./~/.local/bin/と解釈され、カレント内のバイナリを誤実行し得る。$HOMEを使い、echo "$PATH" | grep '~'で確認できる。nonoの警告がきっかけ。
[ブログ] Score: 115
Valenの新借用検査器を解説し、Rustより柔軟なコンパイル時メモリ安全性を目指す記事である。グループ借用を基に、参照先をパスとして記憶し、共有xor可変の制約をuse-after-free防止へ緩和する。同一対象への複数読み書き参照やC++的な利用を許し、実行時コストを抑える。Valeの世代参照・領域借用やRust相互運用も統合。Carbonなど他言語への波及にも触れ、仕組みと利点を説明している。
[サービス・ツール] Score: 109
Mac向け無料・オープンソースの音声入力アプリBetterWisprの紹介。音声はMac内のローカルモデルで処理され、クラウド送信は不要だとしている。Option+Spaceで任意アプリに口述でき、アプリ別の文体設定、フィラー除去、音声コマンド、語彙学習、履歴管理、議事録要約に対応。ParakeetやWhisperなど複数モデルを選べ、Apache 2.0で公開されている。
[ブログ] Score: 329
開発者によるREADMEの使い勝手を実ユーザーに検証してもらった記事。著者はNLnet助成の一環として1時間25ユーロを支払い、被験者に画面共有と発話を求め、誤解や混乱点を収集した。リンク誤り、専門用語の説明不足、構成の分かりにくさ等を発見し、各回後に修正して再検証した。LLMで模擬せず実在の人間に依頼すべきだと主張している。
[サービス・ツール] Score: 382
Nitter運営者がX社からの停止要求を受け、資金と法的支援を募っている。2026年8月24日と9月8日、X Corp.はNitterの全インスタンスとリポジトリの恒久的削除を要求した。9月7日の「法的代理人がいる」との説明は誤りで、現在は弁護士不在である。寄付は訴訟費用を優先し、余剰はNitterまたは後継の開発に充てる。7年間の利用者・支援者に感謝を表明している。
[サービス・ツール] Score: 284
IRCv3は、IRCクライアントプロトコルを拡張する仕様群を策定するワーキンググループの公式サイトである。SASL認証やメッセージタグ、AWAY通知、サーバー時刻、バッチなど後方互換の拡張を紹介。アカウント登録、チャット履歴、STS、Unicodeニックネーム、アバターを進行中とし、InspIRCdやWeeChat等が参加している。
[記事] Score: 9
Xapianの既定BM25重み付け方式を、従来の確率論的モデルからBM11・BM15を経て解説した技術ノートである。BM25はTRECで有望とされ、BMはBest Matchの略。k1やk3、クエリ内・文書内頻度、文書長を用いる式に、長さ正規化を調整するbを導入する。既定値はk1=1、k2=0、k3=1、b=0.5で、Lに下限0.5を設ける。最適値は文書やクエリで変わり調整可能と述べる。
[サービス・ツール] Score: 364
LineageOS 24.0の公式チェンジログである。Android 17を基盤に、セキュリティパッチ、標準アプリのMaterial Design 3 Expressive化、WebUSBによるブラウザ書き込みツール、CI/CD改善、アクセシビリティ監査を盛り込んだ。カーネル4.4/4.9端末は22.2のみ受付とし、24.0向けに多数端末を追加した。
[サービス・ツール] Score: 47
CIA World Factbook終了を受け、各国データを再集約するサイトの紹介記事である。World Bank、WHO、IMF、FAO、UNODCなどの公開データを基に、国別指標、散布図、CSV出力、APIを提供する。制作者はYegor Tkachenkoで、Claudeの支援を受け、2026年2月にCIAがFactbook更新を終えた後、世界データを一箇所で再提供する試みだと説明する。
[ブログ] Score: 124
AIエージェントでFPSを逆コンパイルした約5000億トークンの記録。初期は8割復元したが意味的誤りが多く、バイト一致検証を導入。改ざん防止のCIと組み合わせ、最終的に99%の関数を復元、83%がバイト一致。正確性の機械検証が安価なモデルの活用と完全自律化を可能にしたと主張。指示は陳腐化するため定期再読込が必要で、生産性より正確性が重要だと述べる。コードは非公開。
[サービス・ツール] Score: 124
欧州企業の製品・サービスを探せるディレクトリサイトの一覧ページである。1Password、Adobe、Amazon、Google、Microsoft、Netflix、Nikeなど多数の非欧州ブランドを項目として列挙し、各項目を選ぶと欧州拠点企業による代替候補を確認できる仕組みになっている。検索機能や提案投稿、ブログへの導線も備え、非欧州製品から乗り換える際の参照先として提供されている。
[サービス・ツール] Score: 128
PSP 1000をRaspberry Piで動かす自作基板プロジェクトの解説である。PSPi 6はPSP 1000専用で、Pi Zero/Zero 2W/CM4に対応。800x480液晶、電源管理、PSPボタン、音声、LED表示を備え、RetroPieやUbuntu等が動作する。設計はCreative Commonsで公開され、PCB製造で自作できる。開発は完了し出荷中。WikiやDiscordで貢献を募る。
[ブログ] Score: 442
LLMで固定選択肢から一度に意思決定するモデルを自作する記事。通常のLLMがトークンごとに生成するのに対し、選択肢A〜Eなどに語彙を制限し、1回の推論で最高確率の選択肢を選ぶ手法を解説する。Qwen3-1.7Bで実装し、CommonsenseQA評価は約59%、微調整で約62%。ただし出力確率は過信傾向で精度と一致しないため、温度約3.80のスケーリングで校正し、学習・評価用リポジトリも公開している。
[サービス・ツール] Score: 511
サンフランシスコの住宅開発を題材にしたシミュレーターDiscretionary Reviewの紹介である。市の裁量審査、高さ制限、監督区、住民政治、連合政治、地価などの要素を操作し、住宅供給の障壁を体験するゲームである。ニュースやプロジェクト管理を通じて規制と政治の影響を可視化する。
[GitHub] Stars: 98,499
AIエージェントでアプリやバイナリを逆解析するMCPツールREAのGitHubリポジトリである。ネイティブバイナリ、JavaScript/Electron、.NET、Webサイトを対象に、ソースなしで機能を調査し根拠と限界を示す。HopperやGhidraと連携し、解析はローカルで実行。セットアップでClaude CodeやCursor等の対応エージェントにMCPと調査ワークフローを登録する。
[GitHub] Stars: 29,526
PS5実行ファイルをLinux/Windowsへ自動移植するツールAnyPS5のリポジトリである。再リンカでネイティブ形式へ変換し、システムPRXライブラリを動的リンク向けに実装。エミュレーションや別ランタイムは使わない。シェーダ再コンパイラはSPIR-Vを生成する。対応ゲーム一覧や入力設定を公開。GPL-2.0。研究・保存・相互運用目的で、著作権物は含まないとしている。
[GitHub] Stars: 17,283
ArtCraftは、AI画像・動画制作を視覚的に組み立てるアーティスト向け制作エンジンである。2D合成や3Dシーン配置、画像の3Dメッシュ化、キャラクターのポーズと同一性転送、キットバッシングによる構図設計を備え、生成前の精密な設計と再現性を狙う。GitHubでは約7.5kスター、1kフォークを獲得している。
[GitHub] Stars: 50,099
AIコーディングエージェント向けに編集品質の図を生成するスキル集。Claude CodeやCodex、GitHub Copilotなどに対応し、42種類の図を自己完結型HTMLとSVGで出力する。影や凡庸なMermaid表現を避け、意味論的パターンで振る舞いとレイアウトを分離。静的HTMLを既定としつつ任意の動きも可能。draw.ioやMermaid等の再描画、Webサイトからブランド配色を60秒で反映できるとしている。Figma不要をうたう。
[GitHub] Stars: 51,365
公開データを使い3D地球儀上で航空機や船舶を追跡するブラウザ型衛星シミュレータのGitHubリポジトリである。実データを活用し、航空機・船舶・衛星・地震・監視カメラ等を写実的な3D地球儀に統合。音声AI操作や対象追跡、軍事風HUD、気象・雲・雷の可視化を備え、APIキーなしでも起動できる。ソースコードは検査・拡張可能で、GitHubトレンド1位を獲得し5.1万スターを集めたと説明している。
[GitHub] Stars: 104,410
PyTorchの公式GitHubリポジトリで、GPU対応のテンソル計算と動的ニューラルネットワークを提供する。PythonパッケージとしてNumPy類似のテンソル演算を強力なGPU加速で実現し、テープベースの自動微分による深層学習を可能にする。スター数104k、フォーク31.9kを超える大規模OSSで、autogradやdeep-learningなどが主要トピックとして示されている。
[GitHub] Stars: 36,337
大規模言語モデルを低VRAMで動かすAirLLMの紹介。量子化や蒸留、枝刈りなしで70Bモデルを4GB GPUで推論可能にする。レイヤ単位で重みをストリーミングし、Kimi K3 2.8Tを4GB未満、DeepSeek-V3 671Bを約12GBで実行可能とする。125Bモデルの6GB未満での学習にも対応し、GitHubで36.3kスター、Apache-2.0である。
[GitHub] Stars: 74,138
アポロ11号の誘導計算機AGCの命令船用Comanche055と月着陸船用Luminary099の原典ソースコードを収録したGitHubリポジトリである。Virtual AGCとMIT博物館がデジタル化し、原本スキャンとの差異修正PRを募る。パブリックドメインで多言語READMEも存在する。
Hacker News コメント