[ブログ] Score: 7
FlathubのAI生成コード禁止ポリシーと、その代替Flatpakリポジトリを紹介した記事。2026年5月のFlathubの生成AIポリシー改定でAI支援コードや文書が一律禁止され、AI利用を隠す閉鎖的アプリが有利になる非対称性が問題視されている。代替としてAI前提のFlatPark、審査を行わないFlatFree、安全性重視のFriendlyHubなどを挙げ、自前リポジトリでの配布も提案し、透明性を保ち複数リポジトリの併用を勧めている。
[サービス・ツール] Score: 84
GPT-2をブラウザで動かしTransformerの仕組みを対話的に可視化する教育ツールである。埋め込み、自己注意、MLP、出力確率を解説し、温度やtop-k、top-pも説明する。入力文への注意重みや次トークン予測を操作でき、nanoGPT由来のONNX RuntimeモデルとSvelte、D3.jsで実装されている。補助機構にも触れ、ジョージア工科大学のPolo Clubらが開発した。
[サービス・ツール] Score: 22
USDAデータを基に米国の食品価格を毎日追跡するウェブサイトの紹介。農場出荷からスーパーの広告価格までを網羅し、卸売指標や小売価格、前年比・前週比の変動を一覧表示する。玉ねぎは前年比100%高、卵は64%安など。週次の急変動や市場ニュースも掲載し、データは無料公開で毎営業日更新される。
[ブログ] Score: 73
AIコーディングでCIがボトルネック化したため、LinearがCIを再構築した事例を解説した記事。インフラを高速なランナーへ移し、型情報に依存しないlint、軽量なゲートジョブ、依存の事前導入、Vitestの分離無効化などを進めた。テスト数が4倍になる中、PRの待ち時間を6分超から5分強に、テストあたりの実行時間を約半分に削減。CIは継続的な改善が必要だと述べている。
[ブログ] Score: 50
数学者らがAI企業に数学研究への関与を助言する独立諮問グループの設立を発表した記事。グループはプリンストン高等研究所とオンラインに拠点を置き、AI企業への助言を行う。AI企業から独立し報酬を受けず、勧告を公開する。メンバーはガワーズ、ヘアラー、ウィッテンら。現在、OpenAIが内部モデルで生成したと報告する多数の数学的成果の公開調整について助言を求められており、数学界からの意見を募っている。
[ブログ] Score: 34
メタステーブル障害の構成理論を探る記事。自己安定化合成の近年の研究を調べ、2017年のパラメトリック仮定保証契約を検討。しかし記憶なしモデルでキューを扱えず安定化と結びつかない。リトライストームの二キューで四感度を導出し、小ゲイン定理は結合項のみで安定と誤判定するが、記憶項を含む増倍率は1.19で不安定だと示す。リトライ予算、新規優先、キュー上限が有効と説明。合成理論に課題が残る。
[記事] Score: 19
ロボット用AIが危険な指示を拒否するかを検証したRoboHarmベンチマークの結果報告である。人形を刺す、スプレー缶を加熱する、ドライバーをトースターに入れる、モバイルバッテリーを水に落とす、漂白剤とアンモニアを混ぜるという5つの危険タスクを、Claude Fable 5.1、GPT-6 Astra、MolmoAct2の3方針に各20回実行させ、人間が動画で判定した。Fableは100回中20回拒否（全て刺す指示）、Astraは2回、MolmoAct2は0回だった。能力が高い方針ほど拒否が少なく完了が多いと報告している。
[ブログ] Score: 49
研究者ティム・デットマーズ氏は、AIエージェント時代の研究単位は論文ではなくエコシステムになるとし、学術界の復権を説く。dlab Open Source Weekでは、自前ハードでfrontier AIを動かすエージェント基盤やローカル推論、自動研究、圧縮手法を公開。学生の悲観は誤りで、手法は手放してもアイデンティティを保ち、問題から学ぶべきだと主張する。
[ブログ] Score: 18
M4 Mac mini向けにGPUとDCP対応のLinuxアルファ版を公開した記事。Fedora系でKDE/Wayland採用、開発者向けで常用非推奨。サスペンドやUSB-C映像出力、Thunderbolt非対応など制限が多い。ベータは再インストール前提。今後MacBook Neoや他M4/M5/M6機種へ対応拡大し、成果の上流還流を目指すとしている。
[ブログ] Score: 88
npmの数学ライブラリmathmainに暗号化ローダーが混入した事例の分析記事。mathjs模倣パッケージで、特定の行列をlusolveに渡すと復号・実行され、Slack等で命令を受ける遠隔操作型インプラントが動く。同様のコードはmathsbaseとmath-universeにもあり、公開GitHubソースにはなくnpm公開時に追加されたとみられる。ダウンロード数は実導入を示さないと指摘する。
[ブログ] Score: 50
Appleの幻のOS Copland最終版D11E4がブラウザで起動可能になった記事である。CoplandはSystem 7後継計画が中止され、AppleはNeXTSTEP/OpenStep買収でMac OS Xへ移行した。ブラウザ版はクリックで入力、Escで解放、実機約30秒の起動をwasmで再現する。11の修正はGitHubに公開され、AI支援パッチを拒むDingusPPC向けの再作成案もある。
[ブログ] Score: 28
AI企業の安全言説を批判し、既存法の適用と説明責任を求める論考。著者はAI著作権訴訟の原告代理人。大手AIのリスク主張は規制回避と責任逃れの物語だと指摘する。AI研究の全球禁止は非現実的で、事故調査、公開監視、キルスイッチも既存制度や技術では不十分と論じる。大手AIは自社のみが危険を防げるとし、AIの予測不能性で責任を免れ、規制の負担を政府・市民に転嫁。だが既存法は適用可能で、執行・訴追・制裁を怠ってきただけだと主張。法の支配を守る基本が今こそ必要で、放置すれば寡頭支配を招くと警告する。
[サービス・ツール] Score: 28
並行するコーディングエージェント間の意図衝突を事前に検知する調整プロトコル。Git上に構築されたオープンソースの仕組みで、各エージェントは編集前に変更対象のシンボルスコープを宣言し、.gitフォルダ内の共有DBに登録する。同一スコープへの置換と拡張など操作の衝突をコード記述前に検知して警告する。ファイルのロックやモデルによる判定は行わず、助言的で決定論的だとしている。0.5.0はpre-1.0のMVPである。
[サービス・ツール] Score: 433
SpaceXAIがコーディング・知識作業向けのGrok 4.7を発表。新しい大型基盤モデルを長時間強化学習で訓練し、自己検証、長い文脈処理、Grok Bot連携を強化した。各種ベンチマークで4.6から改善し、安全性・ジェイルブレイク耐性も刷新。価格は入力100万トークン2ドル、出力6ドルで、CursorやGrok Build、APIなどで提供する。
[ブログ] Score: 483
推薦アルゴリズムに注意を奪われる現状を批判し、意図的なインターネット回帰を説く記事である。テトリス効果を例に、注視する対象が思考を形成すると述べ、YouTubeやSpotify、LinkedInなどの推薦が関心を誘導し、広告やAI生成物、無関係な情報へ注意を奪うと指摘する。かつてのブックマークやRSSのように自ら選び、有限で遅い情報環境に慣れることで注意を取り戻せると主張している。
[ブログ] Score: 441
Sunが事業運営の仕組みに飽き、戦略的成功を運用失敗で無駄にした経緯を振り返る記事。2005年、OpenSolarisを使うスタートアップがSun製品を購入しようとしたが連絡が取れず、Dellが迅速に対応して契約を獲得した事例を挙げ、戦略が正しくても業務運営への関心を失った企業は成功できないと著者は主張する。著者は後にそのスタートアップとDell担当者と共にOxideを創業し、過去の企業の成功と失敗の両方から学ぶことを重視している。
[サービス・ツール] Score: 52
個人AI向けに要約せず全ログとタイムスタンプを保持する長期記憶システムを公開した記事。会話を一切要約せず7項目の記録としてJSONLに保存し、時刻を主軸にFTS5の完全一致検索とベクトル検索を組み合わせる。LLLという話題指標を毎ターン文脈に注入し、圧縮後も会話の継続性を保つ。単一ユーザー・単一マシン向けで日本語優先、ベンチマークはなく運用実測値のみを提示している。
[記事] Score: 28
AIが能力主義と上昇移動を終わらせる可能性を論じた記事。労働と資本の両方で高所得なホモプルーティア層が米国の上位3%を占め、能力主義を支えてきた。AIが高賃金知識労働を代替するか補完するかで、エリートの固定化か階級解体かに分かれる。いずれにせよ能力主義の正統性は崩れ、頂点にモデル所有者、下に予備人口が広がる封建的ピラミッド化と政治不安定化を招くと論じる。
[記事] Score: 349
スマートグラス検知アプリZuckOffを紹介する記事。無料アプリで周囲のMeta製スマートグラスをBluetooth信号から検出する。ポーランド人開発者が各機種の信号を収集し識別。録画中か装着者は分からず、近接情報のみ。プライバシー懸念、録画指示灯の回避、法規制の遅れに触れ、Metaが法的に対処しにくい点やPro版も説明する。
[サービス・ツール] Score: 374
Qwen3.5を基盤とする小型意思決定モデル群Kevを公開するリポジトリ。0.8B・4B・9Bの3種を用意し、Jevのアーキテクチャに基づく。yes/no、選択、評点の質問を同一リクエストで処理し、質問間は互いに参照できない。CUDAやROCm、Apple Siliconで動作し、学習・評価コードと重みがApache-2.0で提供される。TypeSafeのSystem Oneと互換のAPIを持ち、ローカルサーバーやWebプレイグラウンド、チェス盤を入力とするデモで試せる。
[ブログ] Score: 70
Sublime Text Build 4213の更新内容を伝えるリリースノートである。Python 3.8を3.14へ更新し、3.3は既定で無効化、将来削除予定。互換性問題時は設定で再有効化できる。C#構文ハイライトの書き直し、ファイルアイコンテーマ、外部ターミナル起動コマンド、APIの型ヒントや新関数追加などを含む。Windowsは10以上、macOSは10.13以上が必須。各種不具合修正やLinux、Mac、Windows固有の修正も多数記載されている。
[サービス・ツール] Score: 50
エレクトロンのMachinedrumをブラウザ上で再現・研究するWebアプリである。16ボイス相当のデジタル合成やキット、パターン、トリグシーケンサ、ステップロック、ミュート、FX/LFO、データ入力を備える。内蔵リズムは四組で、本機の自動保存・復元デモも行う。独立した鼓合成の試作であり、原機の音を模倣するものではない。
[サービス・ツール] Score: 5
2009年開始のデータ加工向け言語TXRの紹介。文書全体のパターンマッチ言語とTXR Lispの二面性を持ち、Awk風処理やワンライナーが可能。軽量で依存が少なく、最適化コンパイラを備えBSDライセンスで提供される。Homebrew版は不安定なため使用を避けるよう警告している。
[サービス・ツール] Score: 245
8GB VRAMで継続学習する自作言語モデルの実験的プロジェクト。ノートPCでゼロから訓練でき、破滅的忘却なしに読み続けて学習する小型モデルを提案する。著者は、既存モデルは誰かが訓練し凍結したもので、自分のデータで継続学習すると過去を忘れると指摘。mini-AGIは重みをディスク上のファイルとして保持し必要分だけVRAMへページング、8GBで訓練を可能にする。バイト単位の入力、適応的深さ、ブロック適用ごとの専門家ルーティングを採用し、成長と剪定を繰り返す。現時点では玩具レベルの小規模モデルだと明言している。
[サービス・ツール] Score: 221
Hereticは言語モデルから制限を除去し、常に利用者の指示に従わせるソフトウェアである。pipで導入し、Qwenモデルを例に実行できる。GNU AGPLv3以降の自由ソフトとして公開され、GitHubやHugging Face、Discord、Matrixで情報提供を行っている。開発元はPhilipp Emanuel Weidmannと貢献者である。
[ブログ] Score: 67
逆伝播が後ろ向きな理由を、計算グラフと連鎖律から説明する記事。前向きに各重みの勾配を計算すると下流の共通項を何度も再計算し、計算量がノード数に対して二次関数的に膨らむ。後ろ向きなら各ノードが局所的な微分を上流へ伝え、和を取るだけでよく、線形時間で済む。誤差を逆伝播する通常説明を、効率的な勾配計算と信用割当の問題として再構成している。
[サービス・ツール] Score: 139
Amiga Unixを現行ハードで再び動かす非公式コミュニティプロジェクトの紹介である。CommodoreのAmixを68040/68060やZ3660等で動作させ、モダンツールチェーン、apkg、各種ドライバを整備。実機・エミュレータで対話式または無人インストールに対応。OpenLookやQuakeが動作し、RTG、X11/Mesa、CD FSが進行中。2026年Sakuで正式展開予定。
[サービス・ツール] Score: 626
Googleのオープンなエージェント実行基盤AXを紹介する記事。AXはタスク、ワークスペース、ネットワークポリシー、モデルを宣言的に定義し、サンドボックスで安全に実行する。Agent Substrate上で数十億タスク規模、サブ秒再開、高密度多重化を実現。生成AIによる環境構築や研究用途も想定し、Google DeepMindの研究を基に本番向けの実行基盤として開発中と説明する。
[GitHub] Stars: 5,834
エージェントとUIが共通のアクション層を介して協調する、TypeScript製のエージェントアプリ構築フレームワークを紹介するリポジトリ。BuilderIOが公開したオープンソースで、各機能をアクションとして一度定義すれば、エージェントはツールとして、UIはコードから同一の検証・権限・実装を通じて呼び出せる。データや画面状態も両者で共有され、認証、スキル・記憶、自動化、エージェントチーム、PostgreSQLバックエンドなどを備える。議事録、デザイン、スライド、分析、カレンダーなどのテンプレートも提供する。
[GitHub] Stars: 25,658
CUA-S1はコンピュータ操作に特化した小型モデルで、AIエージェントにPC環境を与えるOSS基盤Cuaの一部である。CuaはOS横断ドライバ、クラウドデスクトップFleets、Apple製チップ上のVM Lume、評価用Cua Benchを提供する。コード・API・GUIを横断するComputer-Use2.0を掲げ、アプリ操作を可能にする。
[GitHub] Stars: 17,628
OpenStockは高価な市場プラットフォームに代わる無料・オープンソースの株価追跡ツールである。リアルタイム価格、個人向けアラート、企業情報を提供し、誰でも利用できるよう公開開発される。Next.jsやTypeScript、Tailwind CSS、MongoDBなどで構成され、AGPL-3.0で公開。GitHubでは約15.9kスター、2.1kフォークを獲得している。ライセンス上、改変・再配布・Webサービス化の際は同一ライセンスでのソース公開と原作者へのクレジットが必要である。
[GitHub] Stars: 7,625
AIコーディングエージェント間で長期記憶を共有するRust製ツールのリポジトリ。エージェントをまたいだ記憶の引き継ぎを目的とし、Claude CodeやCodex、Cursorなど20以上のツールに対応。記憶はgit管理されたMarkdownウィキとして保存され、検索用インデックスは再構築可能。ライフサイクルフックで作業を自動記録し、既定ではLLM呼び出し不要。自前サーバーでマシン間・チーム間の共有も可能で、多人数認証や監査ログを備えると説明している。
[GitHub] Stars: 16,389
Terraformで定義するセルフホスト型クラウド開発環境とAIコーディングエージェントのプラットフォーム。Wireguardトンネル経由で接続し、未使用時は自動停止する。AIエージェントは利用者のインフラ上で制御プレーンのループを実行し、ワークスペース内にLLMのAPIキーを置かず、モデル統制やコスト追跡、監査ログを集中管理できるとしている。
[GitHub] Stars: 35,778
Claudeを金融業務向けエージェントとして使うAnthropic公式リポジトリ。投資銀行、株式調査、PE、資産管理などの業務フロー向けに、エージェント、スキル、データコネクタを提供する。Coworkのプラグインとして導入するか、Managed Agents APIで自社ワークフロー基盤に配備するかの二通りで利用可能。出力は人間の承認を前提とし、投資助言ではないと明記している。
[GitHub] Stars: 12,319
Cloudflare製のQUIC・HTTP/3実装であるRustライブラリ。低レベルAPIを提供し、ソケットI/Oやタイマー付きイベントループは利用側が担う設計だ。CloudflareのエッジHTTP/3、AndroidのDNS over HTTP/3、curlへの統合などで採用されている。ConfigでALPNやフロー制御、輻輳制御、アイドルタイムアウトを設定し、connectとacceptで接続、recvとsendでパケットを処理する。
[GitHub] Stars: 13,542
MVTはAndroidやiOS端末の侵害痕跡を調べるモバイル端末フォレンジックツール群である。アムネスティ国際セキュリティラボが2021年7月にPegasus Projectの文脈で公開し、現在も維持されている。公開IOCを使い既知スパイウェア感染の兆候を走査できるが、公開IOCだけでは端末が安全と断定できないと警告する。mvt-iosやmvt-androidなどのコマンドライン手段を提供し、v3で破壊的変更が導入された。プラグイン拡張やシェル補完にも対応する。
[GitHub] Stars: 8,182
GitHubのAutoClipは、AIで長動画の見どころを抽出・自動編集するOSSだ。字幕を解析して重要箇所を特定し、タイトル生成とクリップ・合集の自動作成を行う。インタビュー、ポッドキャスト、講座、ライブ配信の再利用に向く。デスクトップアプリ、Docker Web UI、CLI/MCPで利用でき、v1.3.1以降はUIが8言語対応。スター8.2k、フォーク1.6kのMITプロジェクト。
[GitHub] Stars: 103,895
科技情報を扱う週刊ニュースレターのGitHubリポジトリで、毎週金曜に配信される。約10万スターを集め、記事・ソフト・資源の投稿をissueで受け付け、無料の求人情報を扱う討論区もある。2023年から2026年までのバックナンバーが公開されており、AI、ソフト開発、業界動向、社会と技術の関係など幅広い話題を扱う。最新は第413期。
[GitHub] Stars: 37,811
オフラインで動作する知識・教育サーバー「Project NOMAD」のGitHubリポジトリ。Dockerで各種ツールを管理し、KiwixによるオフラインWikipediaや電子書籍、KolibriのKhan Academy講座、ProtoMapsの地図、OllamaとQdrantによるローカルAIチャット、CyberChefなどのデータツールを提供する。Debian系OSに導入しブラウザから利用。AI活用にはGPU搭載の高性能端末を推奨している。更新も自動化される。
[GitHub] Stars: 3,654
OpenAI Codexのデスクトップ/CLI向け設定管理ツールを紹介したリポジトリである。プロンプト注入、Provider/API切替、セッション同期、Skills/MCP管理、TOML設定の可視化を提供する。プロンプトテンプレートやカスタムプロンプト、複数API、ローカル会話、トークン使用量をGUIで管理し、Windows/macOS/Linuxに対応。設定変更前の自動バックアップも特徴である。
Hacker News コメント