[サービス・ツール] Score: 10
AIモデルが追加するコード量を測るオープンソースのベンチマークParsimonyの紹介。既存の解決率やコストに加え、余分なコードを評価する。構文要素を単位に、追加から削除を引いた純増分でモデルを比較し、SWE-benchの結果を基に順位付けする。行数は数えず、テスト等は除外。小さいほど良いとは限らず、コード量と解決率には相関があると指摘する。
[記事] Score: 7
数学者テレンス・タオ氏がAIによる数学の変容、検証技術、科学政策への懸念を語った記事。同氏は、AIが形式検証と組み合わさり証明の大量生成や新たな研究手法を可能にすると期待する一方、学生の思考力低下や数学者の役割喪失を警告。DARPA助成のALPHAで検証済み証明の拡充を目指す。基礎研究への安定資金と科学的リテラシーの重要性も主張する。
[ブログ] Score: 16
1MパラメータのOCRモデルIndra OCRの紹介記事。CPUで毎秒49ページと高速で、TesseractやPaddleOCRより高精度だと主張する。レイアウトや表、読み順もMarkdown/JSONで出力可能。一方、複雑な表や手書き、対応外の文字は不得意とし、速度が重要な用途向けと説明する。
[サービス・ツール] Score: 104
Guitoroは、キーボードや指で演奏できる無料のオンライン仮想ギターである。実楽器の録音による4種の楽器、各調15コード、51曲、ストラム／ピッキング、バンド伴奏を収録。曲を20%まで減速し、弦の発音、運指、ストロークを可視化。鍵盤でコードを弾く、歌のチェンジを待たせる、実ギターで合わせる学習を支援し、ブラウザ内で完結する。
[ブログ] Score: 20
XBOWが6日間でChromeのフルチェーン攻撃を構築し、25万ドルを獲得した経緯を解説する記事。Maglevの可変HeapNumber再利用、WebPデコーダのTOCTOU、Crashpadの短読み取りという3つの脆弱性を連鎖させ、レンダラサンドボックス外のコード実行に至る。AIエージェントと研究者が探索・統合を並列分担し、API費用は約4万ドル。従来6〜9カ月規模の作業が6日に短縮されたと述べる。
[ブログ] Score: 69
Gentoo開発者が、ビルドバックエンドにuv-buildを使わないよう訴える記事。uv本体は評価するが、uv-buildはRust製で巨大・更新頻繁なため、Gentooではソースビルド負担が大きい。最大の難点は移植性で、対応環境が限られる。利点の一貫性はPEP 517では不要、性能差も約100msで取得時間に負ける。通常はwheelを使うが、sdist利用者への影響が大きいと主張する。
[サービス・ツール] Score: 16
AI生成TypeScriptの低品質な記述を排除するOxlintルール集を公開したリポジトリ。型安全では連鎖型アサーションやunknown引数、object引数を拒否し、境界でのパースを要求する。コード品質やテスト向けにfilter/map連鎖、モック依存テスト、部分文字列テストなどを制限する。推奨設定とopt-inルールがあり、npmのai-deslopとして導入可能。dmmulroy/anti-slop由来の汎用ルールをdeslop/*名前空間に改名し、MITで提供する。
[ブログ] Score: 146
ロボティクス向けGemini 4 Argonの能力と応用例を紹介する記事。物理理解・コード生成・視覚意味推論を強化し、ERQAで87%を記録。MuJoCo練習やゼロショット制御、世界モデル操作、実機・人間動画・手描きスケッチからのReal2Sim、ヒンドサイト注釈や価値関数推定、シミュレーションによる自己改善など、ロボティクス開発の各段階を支援すると説明している。
[サービス・ツール] Score: 762
Google DeepMindのGemini 4 Argonを紹介する記事。次世代のフロンティア知能として、科学・数学・ロボティクス・サイバー防衛の難題解決を狙う。Chromeの数百万行規模リファクタ、量子化学xTBの高速化、ADK最適化、Gemma推論加速などの実例を示す。CWE-Benchで68%を記録し、間接プロンプト攻撃への耐性やFairwind提携拡大にも触れる。
[サービス・ツール] Score: 9
Show HNで公開されたSaysoは、Mac、Windows、Linux向けの無料オープンソース音声入力アプリである。キーを押して話すと使用中のアプリに文字が入力され、音声認識は基本的に端末上で動作する。RustとGPUIで開発され、各OSでWhisperKitやsherpa-onnxなどを使用。ローカルモデル、任意のクラウドモデル、AIスタイル、辞書、履歴、アプリ別スタイル、設定ファイルによる構成変更を備える。
[ブログ] Score: 358
AnthropicがAIコーディング急増でgitの限界に直面し、社内版管理Scionを5カ月で構築・移行した事例。常時オンライン前提、サーバ中心、水平分割、疎・仮想チェックアウトで巨大モノレポを効率化。インフラを200分の1にし、CIチェックアウトを高速化、CPU25%削減。Claude活用で少人数開発を実現し、設計判断やレビューに人間が関与したと述べる。
[サービス・ツール] Score: 29
YC F24のConsusは、ITAR・CUIなど機密データを扱う企業向けLLMゲートウェイを公開した。FedRAMP High相当の監査を完了し、ITAR準拠基盤へAIリクエストを振り分ける。モデル名にコンプライアンス接尾辞を必須とし、組織別の許可リストや支出管理を提供。データは保存せずゼロ保持を徹底。自己申込不可で月40ドル/席＋トークン実費。防衛・航空宇宙分野の導入を想定する。
[ブログ] Score: 192
HN投稿後にサイトがAIボットで過負荷になった事例を述べ、対策と高速化の必要性を示す。著者は半数近くが特定のAI要約サービス、Claude、OpenAI、Google等のクローラや脆弱性スキャナだったと報告し、robots.txtとレート制限を導入。負荷に耐える改善を進めた。他にLLMでEmacsブラウザを簡素化する試みやClojure用deft、LLM執筆の是非も記す。
[サービス・ツール] Score: 6
Node.js、Bun、Deno向け共有メモリ並行処理ランタイムKnittingを紹介する。関数をワーカーで実行しメインスレッドを空ける。依存なし、型付き呼び出し、スレッド/プロセス両対応。Hono例や圧縮、React SSR、JWT、PBKDF2等を提示。ベンチでは/ping応答p99が16.93msから2.31msに改善。タイムアウト、共有バッファ、ワークスティーリングも備える。
[ブログ] Score: 257
ThunderbirdのiOS版ネイティブアプリの開発状況を伝える記事。既存コードを流用せずSwiftで一から構築し、自動で簡単な初期設定、バックグラウンド同期、読みやすい受信トレイと編集機能を整備。端末間のシームレスな体験とコミュニティによる実験的機能の検証を重視し、数カ月以内のコミュニティテスト版公開を目標に掲げている。
[サービス・ツール] Score: 3
JEPA世界モデルで自己改善するエージェント基盤RSI-Anythingを紹介する。GitHubで公開されたRSI-Anythingは、JEPA-Anythingを基盤に、候補生成、予測、選択、評価、学習、保持の反復で自己改善する汎用フレームワークだと説明する。コード修正、GUI操作、実験計画、反応最適化、免疫科学に適用し、コード修正31.2%、GUI99%、反応収率96.15%などの成果を報告している。
[記事] Score: 117
AppleがSafariへの切り替えを促す新キャンペーンを開始した。専用ページと2本の動画で、Chromeより省電力でプライバシー保護と性能に優れると主張。Macで動画再生が最大5時間長く、頻繁に使うサイトの読込が最大35%速いなどと比較。Distraction ControlやIntelligent Tracking Preventionも紹介。以前からChromeとの比較訴求を続けている。
[ブログ] Score: 91
ゲーム開発でAIを活かすには、ゲームをAIに可読化する設計が重要だと説く記事。LLMはゲームの多くがコード以外の資産や状態に依存するため苦手だが、これはコンテキスト問題だと整理する。シード付き乱数で決定性を確保し、スクリーンショットや画像差分、UIレイヤー切替で評価可能にし、ハーネスとコンテキスト工学で反復を加速する手法を提案している。
[ブログ] Score: 6
標準Cと実環境のCの非互換を列挙した記事。gcc/clangやglibc/muslが仕様に準拠しない例として、asm予約語、FLT_ROUNDS、標準プラグマ、initstate、戻り値型修飾子、muslのva_startを挙げる。標準が現実に使われない言語を作ったとの指摘も紹介する。
[サービス・ツール] Score: 8
Hypermass CLIの入門ドキュメント。2コマンドでライブのオープンデータをローカルフォルダへ同期できると紹介する。インストール後、subscribeで購読設定し、syncで公開順にファイルを受信する。処理後は削除できるが、隠しフォルダ.hypermassは保持が必要。データ科学者や開発者、研究者向けで、サーバ運用や自作ストリームの公開にも使えると説明する。
[サービス・ツール] Score: 586
Appleが家庭向け端末「HomeView」を発表した。7インチ画面、Siri AI、最大6人認識、12MPカメラ、空間オーディオ、壁掛け型を備える。スマート家電管理、通話、音楽・動画再生、写真表示に対応する。11月13日発売予定で、プライバシー保護とHome Collection連携を特徴とする。
[ブログ] Score: 7
94人の著名エンジニアのコーディングエージェント活用術を集めた記事。全行読むのは8人だけで、21人は危険箇所のみ確認、68人は複数エージェントを併用。自動レビューや敵対的レビュー、サブエージェント、独自スキルなど各人の工夫を紹介し、エージェントを信用しすぎず検証を組み込む傾向を示す。
[記事] Score: 203
Appleの研究論文は、遊休Apple Silicon GPUを集約し大規模ML推論を行う分散仮想GPUクラウドMinionsを提案する。集中GPU基盤の高コスト、伸縮性不足、待ち時間を背景に、追加調達なしで既存macOS機器を活用。タスク実行の柔軟性、耐障害性、資源効率を提供し、GPU資源が制約される環境で実用的な分散推論基盤になり得ると報告している。
[サービス・ツール] Score: 530
Firefox Enterpriseは、法人向けブラウザ管理を自社インフラで行えるようにするサービスだと説明している。オンプレミス展開でデータ主権を確保し、DLP、AI制御、拡張機能管理、SIEM連携、ロックダウンモード等を提供。GDPRやDORA、NIS2、ISO27001、SOC2対応を支援し、独自エンジンによるベンダーロックイン回避をうたう。Thunderbird版も予定。
[サービス・ツール] Score: 28
RustとTauri v2製のオープンソースMarkdownノートアプリOpensidianの紹介である。GPLv3でObsidian互換Vaultを扱い、Linux向けにAppImageやFlatpak、RPM、DEBを提供。ビルド手順や署名検証、テーマ対応を説明し、Linux配布メンテナを募集する。開発はAIモデル主導で人間がレビューしたと開示し、Obsidianとは無関係と明記している。
[サービス・ツール] Score: 27
Rust製の端末向け音楽プレイヤーSpotatuiを紹介するGitHubリポジトリ。Spotify等を統合し、Web APIのレート制限を回避する。Ratatuiを用い、Spotifyのネイティブ再生や同期歌詞、音声ビジュアライザー、ローカルファイル、Subsonic/Navidrome、ネットラジオ、YouTube、Qobuz、macOSではApple Musicに対応。Spotifyは任意。MITライセンスで公開され、1.5kスター、245フォーク。
[サービス・ツール] Score: 360
EmbeddingGemma 2を音声認識モデルに転用した事例である。音声エンコーダはそのままに、小型リーダーで音声断片をテキスト空間へ写し、約22.9万語から最近傍語を選ぶ。Mac上で1時間の音声を約13秒で処理し、オンデバイスで動作。読み取り部のみ8×H100で2時間未満訓練。誤り率は約5%で最先端の2〜3%に劣るが、次期改良で差を縮めるとする。Macアプリで公開され、音声は端末外に出ない。
[記事] Score: 619
Rustの借用チェッカーに11年以上存在した健全性バグが報告された。共変なフィールド代入により構造体のライフタイム要件を回避でき、安全なはずのコードで未定義動作や解放後参照が起こり得る。型チームはP-highと評価し、悪意あるDrop実装が必要で実害は限定的としつつ、修正を優先している。
[サービス・ツール] Score: 150
Show HNで紹介された、既存AIサブスクを文書処理に使うPDF→オーディオブック作成サービス。MCP経由でCodexやClaudeに接続し、PDFを添付して音声化を指示する。文書処理は契約済みサブスク、音声生成はOpenAIかGeminiのAPIキーで従量課金。無料キーは制限や高負荷エラーがあるため、Geminiは課金有効化が推奨される。
[ブログ] Score: 95
AWSが標準HTTPサーバーをそのままLambdaで動かせる新機能を発表した記事。Lambdaの新形態として、イベント駆動型のイベント関数、HTTPネイティブなWeb関数、分離サンドボックスのMicroVMsの3種を提示。Web関数はExpressやNext.jsなどのコードを書き換えず単一コマンドでデプロイでき、最大128同時リクエストとCPU時間課金に対応。マルチリージョン自動配信やCloudFrontのOACによるプライベートオリジンも可能。Node.js 24とArm64で5リージョンにて提供開始。
[ブログ] Score: 50
AIコーディングの進歩で新しく良いソフトが増えない理由を検討した記事。著者は、既存製品の品質・機能改善、利用者の限定、社内政治など未加速の工程、私的・特注ソフトへの移行、量の増加、余暇への還元、ソフト使用自体の減少など複数の推測的答えを挙げる。確定的でなく一部は重視すべきでないとする。
[ブログ] Score: 43
文書抽出の誤読と不自然な値を別々に検出するレビュー手法の解説記事。Unsiloedが構造化抽出と出典・信頼度を返し、TypeSafe Jevが型付き質問で値の妥当性を確率判定する。処方箋例では、汚れで信頼度が低い行と、明瞭だが量が非現実的な行を別々に検出。低信頼度やJev確率0.5未満を要確認とする例、Jev費用約0.000076ドル/文書、10万件で約7.61ドルも示す。閾値は本番前に人手確認で検証すべきだとしている。
[サービス・ツール] Score: 83
実機の食洗機を物理シミュレーションした食器積み込みゲームで、言語モデルを評価するベンチマーク。Composoが公開。ブラウザで遊べるSpotlessは、Bosch製食洗機の3Dモデルに剛体物理で食器を積み、Eco50洗浄を再現して清潔数を採点する。7段階で後半は取捨選択が必要。結果は決定的で再生検証可能。人間はブラウザ、AIはMCPで同じ操作。macOSやNode20、WebGPUが必要。
[ブログ] Score: 234
OpenAIの高速フーリエ変換主張を批判した記事。著者は、理論上は漸近的に速いが巨大な定数と非現実的な計算モデルに依存するため実用的突破ではなく、ビッグO記法の乱用や計算機科学理論の現実離れを示す例だと主張する。同様の行列積成果も実コンピュータと無関係な「銀河的アルゴリズム」だと述べ、AIが役立たない理論論文を自動生成し得ると警告する。
[記事] Score: 270
AIモデルが暗号化バックドアで任意能力を秘匿でき、能力評価の限界を示す論文。ホスト重みに暗号化ネットワークを埋め込み、秘密トリガーでのみ復号・実行する攻撃を構築。デジタルロッカーで、重み公開後も隠し回路の誘発・解釈は暗号学的に困難と証明。PyTorchと化学反応予測の代理タスクで、微調整やノイズ、トリガー探索、潜在敵対学習に耐えると評価。誘発型監査の限界を示し、防御用モデルを公開。
[サービス・ツール] Score: 130
純Rust製のオープンソース・パラメトリック3D CAD、SolidCraftの紹介。デスクトップ・Web・MCP経由のAIエージェント自動化に対応する。スケッチや拘束、押し出し、フィレット、シェルでソリッドを構築し、パラメータ変更でモデルが再構築される。Windows、macOS、Linux、ブラウザ向けに配布され、Apache-2.0とMITのデュアルライセンスで公開されている。
[サービス・ツール] Score: 82
パターン優先の実験的DAW、Blokkilyを紹介するリポジトリである。同一パターンをトラッカー、ピアノロール、ステップグリッドで編集し、複数トラックへ配置できる。CLAP/VST3やSoundFont、サンプラーに対応する。MCP経由のエージェント操作とLLM作曲支援、録音、ミックス、書き出し、クロスプラットフォーム配布を備える。実験的で制限もある。
[サービス・ツール] Score: 211
RAMを超えるLLMをSSDからエキスパートを流して動かすC製推論エンジン。Janas-LLMはMoEの重みをディスクに置き、各トークンに必要なエキスパートをNVMe SSDから読む。32GBのノートPCで48GBのQwen3-Next-80Bを毎秒24トークンで生成し、llama.cppの2.8を上回る。比較13モデル全てで高速と主張。実験段階で検証は1台のみ。
[ブログ] Score: 629
LLMは道具であり、使いこなすには技能が必要だと論じる記事。Rich Hickeyの「LLMは自動化であり道具ではない」との主張に、コンパイラや表計算も自動化を伴いつつ人が操る道具だと反論する。意図やフィードバック、専門性を伴う使い方も可能で、要約の丸呑みは学びを損なうが、読みながらLLMで解釈を検証することもできる。擬人化した語彙を批判し、技能ある操作と理解なき委任の区別が実用的だと主張する。
[サービス・ツール] Score: 148
ブラウザから電話・テキスト・ボイスメールを扱えるインターネット電話交換サービスである。IRCの#phreakと連携し、内線やダイヤルコードで通話、転送、留守番、会議、ラジオ等を操作できる。設定では通知、プライバシー、ブロック、着信時の動作を調整し、管理機能も備える。
[ブログ] Score: 247
Intel SDMにだけ記載された謎のFMA命令vfmaddrnd231pdの正体を追う記事である。CPUでは未定義例外となり、アセンブラやコンパイラも未対応。2024年版に存在し2026年版で削除された。著者は、AVX10試作段階で256ビット向け丸め制御用に検討されたが、後にEVEX符号化へ移行し不要になり、SDMから消し忘れたものと推測している。
[GitHub] Stars: 203,535
AIエージェントでアプリやバイナリを逆解析するMCPツールREAのGitHubリポジトリである。ネイティブバイナリ、JavaScript/Electron、.NET、Webサイトを対象に、ソースなしで機能を調査し根拠と限界を示す。HopperやGhidraと連携し、解析はローカルで実行。セットアップでClaude CodeやCursor等の対応エージェントにMCPと調査ワークフローを登録する。
[GitHub] Stars: 55,180
公開データを使い3D地球儀上で航空機や船舶を追跡するブラウザ型衛星シミュレータのGitHubリポジトリである。実データを活用し、航空機・船舶・衛星・地震・監視カメラ等を写実的な3D地球儀に統合。音声AI操作や対象追跡、軍事風HUD、気象・雲・雷の可視化を備え、APIキーなしでも起動できる。ソースコードは検査・拡張可能で、GitHubトレンド1位を獲得し5.1万スターを集めたと説明している。
[GitHub] Stars: 62,862
ElevenLabs代替の完全ローカル音声AIツールを謳うOSS。VoiceStudioは、音声クローン、音声設計、動画吹き替え、ディクテーション、文字起こし、オーディオブック作成を646言語で可能にするオープンソースのElevenLabs代替と紹介されている。Electron製アプリで、処理はローカル実行され、エージェント向けのローカルAPIやMCP、任意のリモートワーカーにも対応する。ライセンスはAGPL-3.0で、約3.9万スターを集めている。
[GitHub] Stars: 28,116
AIコーディングエージェントのコンテキストウィンドウを最適化するGitHubプロジェクトである。ツール出力をサンドボックス化して98%削減し、セッション記憶を永続化、MCPとフック経由で17プラットフォームのルーティングを強制する。開発チームでの利用やHacker Newsでの話題も示される。
[GitHub] Stars: 53,948
AIコーディングエージェント向けに編集品質の図を生成するスキル集。Claude CodeやCodex、GitHub Copilotなどに対応し、42種類の図を自己完結型HTMLとSVGで出力する。影や凡庸なMermaid表現を避け、意味論的パターンで振る舞いとレイアウトを分離。静的HTMLを既定としつつ任意の動きも可能。draw.ioやMermaid等の再描画、Webサイトからブランド配色を60秒で反映できるとしている。Figma不要をうたう。
[GitHub] Stars: 34,400
vercel-labs/skillsは、エージェント向けスキルをCLIで導入・利用するオープンなツールである。npx skills addでGitHubやGitLab、ローカル等から取得し、OpenCode、Claude Code、Codex、Cursorなど75以上のエージェントに対応。use、list、find、remove、updateも提供し、プロジェクト単位かグローバルに導入できる。
[GitHub] Stars: 38,241
大規模言語モデルを低VRAMで動かすAirLLMの紹介。量子化や蒸留、枝刈りなしで70Bモデルを4GB GPUで推論可能にする。レイヤ単位で重みをストリーミングし、Kimi K3 2.8Tを4GB未満、DeepSeek-V3 671Bを約12GBで実行可能とする。125Bモデルの6GB未満での学習にも対応し、GitHubで36.3kスター、Apache-2.0である。
[GitHub] Stars: 25,325
ArtCraftは、AI画像・動画制作を視覚的に組み立てるアーティスト向け制作エンジンである。2D合成や3Dシーン配置、画像の3Dメッシュ化、キャラクターのポーズと同一性転送、キットバッシングによる構図設計を備え、生成前の精密な設計と再現性を狙う。GitHubでは約7.5kスター、1kフォークを獲得している。
[GitHub] Stars: 9,173
Xcode代替のクロスプラットフォーム開発ツールxtoolのGitHubリポジトリ。SwiftPMを用い、LinuxやWindows、macOSでiOSアプリのビルドと配備を可能にする。SwiftPMパッケージからiOSアプリを生成し、署名・インストール、Apple Developer Servicesとの連携をCLIで行える。XKitライブラリも提供。MITライセンスで約9.2kスター。
Hacker News コメント