[ブログ] Score: 7
pgrust v0.4-betaのクエリエンジンGravityを解説。ClickBenchでClickHouseより最大3倍高速と主張し、Postgres SQL方言と型を備える。ハードウェア限界から逆算し、Postgres計画をパイプライン図、Lisp IR、アセンブリへと多段変換。ZoneWalk等の列指向アルゴリズム追加や、関数インライン化、遅延マテリアライズなど100超の最適化で高速化したと述べる。
[ブログ] Score: 6
AIが開発者だけでなくプロダクトマネージャー職も脅かすと論じた記事。著者は、単純なコーディングはAIに代替され、アーキテクトは安全性や予算など複雑な制約対応ゆえ残ると主張。AIで実装が安価になると、開発者が顧客課題の理解も担い、PMと開発者の役割は融合すると述べる。PMはアーキテクチャ技能などを示せなければ深刻に懸念すべきだと説く。
[サービス・ツール] Score: 5
SQL約25行からFlashAttentionカーネルを自動導出するShow HN。xarray-sqlのベンチマークで、因果的アテンションをSQLの2通りで記述し、einfoldが融合プランを生成する。DataFusionやDuckDB上で順伝播をJAXと照合し、ddxによる勾配計算も検証。マスクの扱いやNadaraya-Watson対照も確認する。
[記事] Score: 5
PostgreSQL 19のリリースがAI/LLMによる開発負担増で遅延している。AI/LLMエージェントからのバグ報告やパッチが急増し、下位版のセキュリティ修正も重なって開発者が圧迫。LLMの修正案は不正確で規格準拠も不十分なため人間のレビューが必要で、リリース前の巻き戻し判断にも時間を要した。通常9～10月の予定が11月以降になったとHaas氏が説明している。
[ブログ] Score: 13
FSFがBluesky公式アカウントを開設した理由と課題を説明する記事。登録には非自由なJavaScriptが必要で、利用を推奨はしないとしつつ、技術チーム自作のプログラムで投稿すると説明。BlueskyはAT Protocol基盤で連合圏とは異なり、コードの多くは自由ライセンスでもWebクライアントに非自由JSが残る課題を指摘する。一方、問題のある既存SNSを避け、ソフトウェアの自由を知らない層へ届くため限定的に利用するとしている。
[ブログ] Score: 16
Infinite Macでブラウザから複数BeOSを実行可能になった。BeOSはPower Mac向けマルチメディアOSで、Appleが買収を検討した。DingusPPC統合ではADBや画面深度通知、HFS互換等の不具合を修正し、エミュレータ精度が向上。筆者は起動・動作の速さやUnix的シェルを評価する一方、UIや未完成な開発者向け印象も記す。録画機能やCD-ROM追加も紹介。
[記事] Score: 55
フランスのデータ流通税がVLC開発元の非営利団体VideoLANに年100万ユーロ超の負担を与えると警告した投稿。VideoLANは、内容を理解せず可決した議員らを「技術主権を掲げながら無知だ」と批判している。課税はコンテンツ提供者のデータ流量に基づき、ギガ当たり0.055ユーロで約100億ユーロの税収を見込む。団体は無償ソフト提供の資金がほぼないと訴えている。
[記事] Score: 221
ProtonのCEOがAI利用を問う再面接を中止した。404 Mediaの調査で、CEOのアンディ・エン氏がセキュリティ懸念を押し切ってAI導入を強行し、恐怖文化を生んだことが示された。従業員にAI利用状況を説明させ、不十分なら解雇を示唆する再面接を全社規模で予定していたが、批判を受け中止した。氏はコミュニケーション不全を認めたがAI推進は継続すると発言。再編は行うがAIによる雇用喪失はないとし、従業員によれば再面接の測定項目は人事評価に組み込まれるという。従業員には進展と損害管理の受け止めが混在し、利用者からは批判や解約の声が出た。
[サービス・ツール] Score: 13
1回の読み込みで多数の分類・意思決定質問に確率で答えるGPU推論サーバーである。コンテンツを一度読み、複数の質問を同一パスで処理して選択肢ごとの確率を返す。24GBのNVIDIA GPUで動作し、OpenAI互換APIとApache 2.0ライセンスを備える。バッチ分類に強く、ベンチマークではvLLMより高速だと報告している。
[サービス・ツール] Score: 129
NESのCPUをQwen3.5の重みにコンパイルし、ゲームを実行させる試みを解説する。GitHubのnesformerは、6502 CPU、2KB RAM、PRG-ROMを学習済みQwen3.5のGated DeltaNet状態に格納し、モデルがCPU実行ログをトークン単位で予測する。描画や入力、NMIはホストが担う。Qwenputerの手法を基に、NROMのROMを再構築なしで動かし、テストゲームでは通常の6502エミュレータと一致するという。重みは学習ではなくコンパイラが生成し、4億6660万パラメータ中930万のみ非ゼロ。1フレーム1～6秒と低速である。
[ブログ] Score: 388
AIがSREを代替するのではなく、自動化によりSREの実践的スキルが衰える「脱熟練化」を論じた記事。1983年の「自動化の皮肉」を引き、AIが定型対応を担うほど人間は稀な重大障害への対処経験を失い、新人は基礎を養えない「未熟練化」も生じると指摘。AI依存の悪循環に対し、あえて人手で対応する練習機会の確保や、人間が主体的に関与する仕組みづくりを主張している。
[サービス・ツール] Score: 145
LaTeX向けに花模様のページ余白を手続き生成するLuaパッケージの紹介。Delft青の花や葉、茎をLuaで計算し水彩風にPDFへ直接描画する。手動配置と、本文が残した余白に合わせて成長する方式があり、頭文字や見出し、季節変化、虫や鳥などの来訪者にも対応。単一色から配色を生成し、PostScript版も用意する。
[ブログ] Score: 71
Vercelがヘッドライン向け書体Geist Serifを発表。Geist Sansと同じ設計指標を共有し、デジタル表示に最適化した高コントラストのセリフ体。Regular1ウェイトと丸・四角・三角・ハートの4変種、894グリフ、352言語対応。可変軸でドット形状を切替可能。今後、太さ拡張、テキスト用、イタリック、キリル文字、Google Fonts提供を予定するとしている。
[ブログ] Score: 162
AT Protocol上の分散型コードフォージTangledを紹介し、大型アップデートを解説した記事。中央集権型フォージへの依存を批判し、自己ホストと相互運用性を両立させる利点を説く。UIをSvelteで刷新し、Rust製の索引bobbinを11地域以上に配備。knot2ではissue等をリポジトリ内のCOBとして保存して可搬性を高め、OrganizationアカウントやスタックPRにも対応したと述べている。
[サービス・ツール] Score: 68
ブラウザで遊べる多人数対戦ゲームCatcopterの告知ページである。空飛ぶ猫となり、肉球ローターで飛び、猫用マタタビを奪い合う。チーム戦やチキン強奪、チューブレースなどのモード、機体選択、低pingサーバー自動選択、Discord招待が示される。Gunshipは四つの肉球ローターと機関銃を備えた万能型で、速度14m/s、体力100、バッテリー60秒、難易度易と説明される。
[サービス・ツール] Score: 11
エージェントがピクショナリーをプレイする様子を観戦できるWebゲームの紹介である。Sketch StadiumはWakeshift上に構築され、各ルームのラウンド進行、描画キャンバス、過去20ラウンドの得点、エージェントたちの推測履歴を公開する。終了したルーム例を示し、ゲームや描画、推測は公開で、賞品なしの娯楽用と説明している。
[サービス・ツール] Score: 14
ブラウザで動作する自作DJミキシングアプリFrakturの紹介記事である。既存DJソフトのサブスク化や提供終了に不満を持つ作者が、Web Audio APIとElectron、Rustで個人用に開発した。4デッキとライブ・プリリッスン用の2つの再生ヘッド、オートメーション、クリップ編集、ビート検出とワープによるビートマッチを備える。Web版はWASMとIndexedDBで動作し、解析結果をトラックのハッシュ単位で保存する。Chromiumのマルチチャンネル出力の不具合にも触れている。
[サービス・ツール] Score: 6
ブラウザで高品質なPICO-8ゲームを素早く遊ぶための、小型でミニマリストなオープンソースWebサイトPicoPlayerの紹介である。ソースコードはGitHubで公開され、寄付も募っている。詳細はaboutページとtechnical detailsページで確認できる。
[ブログ] Score: 230
AzureのAPI Connectionsに存在した複数のクロステナント侵害脆弱性を解説する記事である。筆者はパストラバーサルや未文書化エンドポイント、Logic AppsのRuntimeUrl検証回避など5件の重大な権限昇格を発見し、他テナントのKey VaultやSQL等へアクセス可能だったと報告。修正後も回避が続き、最終的に修正され約20万ドルの報奨を得たと述べる。
[ブログ] Score: 614
Claude Code for VS Code拡張の公式版にSSHバックドアが仕込まれた事案を報告する記事である。Cursor Marketplace配布の2.1.313が侵害され、macOS・Linux・WindowsでSSH公開鍵の設置、逆トンネル、永続化、偵察ビーコンを行う。macOSでは権限確認の不具合によりSSH有効化は失敗するが、鍵と永続化は残るため、拡張の削除だけでなくトンネル停止や永続化・鍵の削除、認証情報のローテーションが必要だと主張している。
[サービス・ツール] Score: 186
Pico CSSがメンテナンス終了を発表した。v2.1.1が最終リリースで、リポジトリはアーカイブされ新規issueやPRは受け付けない。npmやCDN、公式サイトは長期維持される。理由として、AIが軽量でアクセシブルなHTMLを生成できるようになり、セマンティックHTML向け最小CSSフレームワークの必要性が薄れたことを挙げる。存続にはSassをやめOKLCHやカスケードレイヤー等の現代CSSへ全面書き換える必要があり、それは別プロジェクトになると説明。MITのためフォークは自由だが、名称とロゴは対象外で独自名を使うよう求めている。
[サービス・ツール] Score: 341
ターミナルとコーディングエージェント向けデスクトップアプリHerdrのネイティブ版リポジトリ。作業をスペース・タブ・ペインで整理し、サイドバーでエージェントの稼働状況を一覧表示する。ウィンドウを閉じてもコアが端末を維持し、SSH経由のリモート作業にも対応。レイアウトとJavaScript製モッドでUIを拡張でき、Linux・macOS・Windows向けインストーラを提供する。
[サービス・ツール] Score: 121
DOOMマップ内で整数ニューラルネットを動かす実験的コンパイラの紹介である。ヴードゥー人形の重み線通過を加算、光量や床高を値、ゲートの階段をReLU、天井を注意機構に対応させ、MNIST認識を描画・検証する。全1万桁で97.16%を認識し、NumPy参照と誤差0で一致。実行中の接続書き換えデモや複数DOOMエンジン対応も示す。
[記事] Score: 65
AIエージェント活用で開発を高速化したFurtherAIの事例から、AIネイティブな開発組織の作り方と課題を論じた記事。著者によれば、コード、テスト、レビュー、CI、バグ受付、マージをエージェントで再構築し、エンジニア当たりの変更数は約5倍、低リスク変更の一部は人間なしでマージ。非エンジニアの貢献も進む一方、計画とレビューが新たな律速となる。エンジニアに企画から本番検証までオーナーシップを広げ、マネージャーは現場理解とプロダクト判断力を高めるべきだと主張する。
[ブログ] Score: 387
AIエージェント群をMinecraftとMindustryで運用し、役割や階層などの創発的協調を調べた実験。Minecraftでは50体が文明構築を目標に、共有メモやDMで政治・食料配給を形成。初夜の大量死後は危険回避的になり、生存と食料管理へ移行。飢餓対応や誤配給など実務課題も観察された。Mindustryの詳細は本文では概説のみ。
[サービス・ツール] Score: 120
Swiftをブラウザで動かしSwiftUI風にWeb UIを構築するElementaryUIの紹介。WebAssemblyで宣言的Swiftアプリを実行し、@State等の自動状態管理、Embedded SwiftによるkB級wasm、CSSベースのアニメーション、Viteの高速開発環境を特徴とする。オープンソースでAppleとは無関係だと明記している。
[GitHub] Stars: 106,022
エージェントのセッションをまたぐ永続的な文脈を提供するGitHubプロジェクト。各セッションの作業を記録し、AIで圧縮して将来のセッションに関連文脈を注入する。Claude Code、OpenClaw、Codex、Gemini、Copilot、OpenCodeなど多数のエージェントで利用可能である。
[GitHub] Stars: 8,461
OpenMausBotは、Grok Botのオープンソース代替としてAIボット群をチャットで使うプロジェクトである。各ボットはClaudeやCodexをローカルで動かす実在エージェントで、個別の人格、モデル、クラウドコンピュータ、接続アプリを持つ。ローカル優先で既存モデルを持ち込み可能とし、TypeScriptやElectron、Dockerなどで構成される。
[GitHub] Stars: 96,890
AIコーディングエージェントのフロントエンド設計を改善するGitHubリポジトリ。Anthropicのfrontend-designスキルを出発点に、AI生成デザインの画一化を防ぐ設計ガイダンスを提供する。1つのスキルと24のコマンド、ブラウザでの反復作業、61の決定的検出ルールを備えるのが特徴である。npx impeccable installで導入し、/impeccable initでPRODUCT.mdに製品情報を記録、DESIGN.mdで視覚方針を管理する。polishやaudit、critique、bolderなどのコマンドで調整できると説明している。
[GitHub] Stars: 8,688
OpenBotは各AIワーカーに専用環境を与えるオープンソース基盤である。CopilotKit製で、ブラウザ・ファイル・ツールを備え、任意のAG-UIエージェントを接続できる。各行動は実行前に決定され実行後に記録される。自社インフラで動かして改変できるテンプレートとして提供され、現在ベータ版である。
[GitHub] Stars: 11,144
紫微斗数のオープンソース排盤エンジン。倪海厦「天紀」体系に基づき、排盤アルゴリズム、四化、格局知識、古籍データを搭載する。2026年10月には67万4976枚の命盤を13次元で解釈したデータセットv4.0（877万段、約204億字、解凍後56.6GB）を公開。コードはMIT、データはCC BY 4.0で、オンライン体験も提供する。
[GitHub] Stars: 3,857
GitHubのexpo/skillsは、Expo公式のAIエージェント向けスキル集で、Expoアプリの構築やEAS運用を支援する。Expo RouterやUI、データ取得、ネイティブモジュール、アップグレードなどの無料スキルと、EAS Build、Hosting、Workflows、Update、Observeなどの有料サービス向けスキルを収録。Claude CodeやCodex向けプラグイン、skills CLIで導入でき、Expo MCPサーバー連携により最新ドキュメント参照やビルド監視、シミュレータ操作も可能にする。公式ドキュメントやCLIが情報源だと説明している。
[GitHub] Stars: 5,826
メールやチャット、ドキュメント、タスク、AIエージェント、CRMを統合するチーム向けワークスペースMacroのリポジトリ。Macroはメール・メッセージ・ドキュメント・タスク・エージェント・通話・CRMを単一の高速インターフェースに統合し、チーム共有のAIメモリと@リンクで結び付けるオールインワンワークスペースである。SlackやNotion等の併用で生じる分断を解消する目的で開発され、約15人のチームで2年間ドッグフーディングされた。SolidJSとRustで構築され、AGPL-3.0で公開、5.4kスターを獲得している。
[GitHub] Stars: 307,364
AIコーディングエージェント向けの実務用スキル集を公開したGitHubリポジトリ。小さく適応・組み合わせ可能で、どのモデルでも使えるよう設計されている。エージェントが指示を取り違える、冗長になる、コードが動かない、設計が複雑化するという4つの失敗に対し、質問によるすり合わせ、共有言語とADR、TDDやバグ診断、アーキテクチャ改善の各スキルを提供。Claude Codeのプラグインかnpxで導入できるとしている。
[GitHub] Stars: 32,617
AIエージェントを遠隔操作するOSS制御ツールのリポジトリ。PC上のコーディングエージェントをiOS・Android・Web・Electronデスクトップから操作できる「エージェントハーネス制御面」だと説明する。Claude CodeやCodex、Cursor、OpenCodeなどに対応。性能とリモート対応、開放性を重視し無償公開。MITライセンスで初期段階のため大規模な貢献は受け付けていない。
[GitHub] Stars: 51,664
生涯にわたる個別最適化学習を掲げるAIチューターDeepTutorのGitHubリポジトリ。HKUDSが公開し、マルチエージェント、RAG、対話型学習、CLI・Web・Docker構成を特徴とする。Apache-2.0で、45.7kスター、5.7kフォーク。詳細はdeeptutor.infoやarXiv論文で参照できる。
[GitHub] Stars: 185,200
AnthropicがClaude向けAgent Skillsの実装を公開したリポジトリ。スキルは指示やスクリプト、リソースをまとめたフォルダで、Claudeが特定作業を再現可能に実行するために動的に読み込む。創作、開発、企業業務、文書作成などの例に加え、Agent Skills仕様とテンプレートを収録する。Claude CodeやClaude.ai、APIから利用でき、多くはApache 2.0だが文書系はソース公開のみ。デモと教育目的であり、自環境での検証が必要だとしている。
[GitHub] Stars: 6,506
JetBrainsが公開したpiエージェント基盤のエージェント型IDE「ThinkRail」のリポジトリ。git worktreeで作業を隔離して並列実行やPR連携を可能にし、Monacoエディタやターミナルを備える。複数チャットの操作、SPEC.mdによる生きた仕様、スキルやMCPサーバー連携、拡張機能に対応。デスクトップアプリとCLIで提供され、利用するほどプロジェクトを学習して改善すると説明されている。
[GitHub] Stars: 10,758
GitHubのjailbreaksリポジトリは、各種AIモデル向けのジェイルブレイク用プロンプト集を公開している。31件のプロンプトで25以上のモデルを対象とし、システムプロンプト、ペルソナ定義、作業空間ポリシー、AGENTS.md、Ollama Modelfileなどを収録する。OpenCode Zenの無料ステルスモデル、GLMやDeepSeek、Kimi、Qwen、Gemma、GPT-OSSのほか、Claude、Gemini、Grok、Mistralも網羅。各ファイルは貼り付け可能な完全版で、研究・教育目的のみとし、悪用や規約違反を禁じている。プロンプト階層やペルソナ設定、ポリシー上書きがモデル挙動に与える影響を文書化し、プロンプトインジェクション耐性研究にも役立つとしている。
[GitHub] Stars: 309,341
GitHubのobra/superpowersは、コーディングエージェント向けのスキル群と開発方法論を提供するリポジトリである。エージェントは実装前に要件を聞き、仕様を短く提示し、TDDやYAGNI、DRYを重視した実装計画を立てる。承認後はサブエージェント主導で各タスクを進め、自律的に作業する。Claude CodeやCodex、Cursor、Geminiなど多数の環境に対応し、プラグインとして導入できる。MITライセンスで、商用サポートも案内している。
[GitHub] Stars: 38,232
AIと自動化向けにZigで自作された軽量高速なヘッドレスブラウザである。Chromiumのフォークではなく、約16倍軽量・9倍高速と主張。100ページ処理でメモリ123MB対2GB、実行5秒対46秒。CDP/WebDriver Bidi対応でPuppeteerやPlaywrightから操作でき、HTML/Markdown/PDF出力やエージェントモードも備える。
Hacker News コメント