[サービス・ツール] Score: 33
AppleのFoundation Modelsフレームワークを紹介する開発者向けページである。Swift APIで任意の大規模言語モデルをアプリに統合できる。オンデバイスモデルやPrivate Cloud Computeへの直接アクセス、画像理解、ツール呼び出し、Dynamic Profilesなどを標準搭載し、ClaudeやGeminiなどサーバーモデルも同一APIで扱える。macOS 27のfm CLI、Evaluationsフレームワーク、Python SDKやユーティリティのオープンソース提供も案内している。
[ブログ] Score: 4
AI生成アプリ急増でAppleの審査が滞留し、開発者が苦しむ状況を報じる記事。AIにより誰でもアプリを作れるようになり、iOS音楽アプリは毎日10〜20本投入される。審査は数週間待ちとなり、AI自動審査による誤却下も頻発する。Unfiltered Audioは4回却下されMIDI版を断念し、CRUX Synthも同様に4回却下され公開が危ぶまれる。Appleが開発者と向き合わなければ市場が歪むと主張している。
[サービス・ツール] Score: 12
AIエージェント向けのオープンソース埋め込みグラフデータベースを紹介する記事。エージェントがCypherで接続データを照会できるよう、データをメモリ・ディレクトリ・単一ファイルに保存し、サーバー不要でアプリに組み込める。Agent skill、MCP、CLI、各種言語ライブラリを提供し、サインアップなしで利用可能。事実同士の関係と類似性を一つのクエリで扱え、Apache-2.0で公開されている。
[サービス・ツール] Score: 4
DRS-VPTは初期姿勢なしの画像位置推定とカメラLiDAR校正を可能にするECCV 2026手法。カメラ画像をLiDARスキャンや3D点群マップに直接位置合わせし、ターゲット不要で校正する。運転用LiDARと屋内マップを同一モデルで扱い、Hugging Faceデモ、Python API、KITTI/nuScenes評価手順、Apache-2.0ライセンスを公開。
[ブログ] Score: 21
AIで試作は容易になったが、保守可能なソフトウェアにはならないと説く記事。著者は、Claude Codeで飲食店オーナーが作ったアプリを例に、認証や例外処理、テスト、仕様記録が欠け、障害時に原因を追えないと指摘。AIは実行を安くするが、何を作るかや失敗時の対処は担わない。残るべきはコードではなく、仕様や意思決定の記録だと主張している。
[ブログ] Score: 185
Google AntigravityがGemini 4 HydrogenとOrchestratorを発表した。OrchestratorはCarbonとHydrogenを動的に連携し、計画・修正と編集・テストを分担する。Terminal-Bench 4.1でCarbon並みの成功率を維持しつつ、クォータ24%減、19%高速化した。SDKで明示的なマルチモデル構成も可能である。Hydrogen単体は知能指数51、Terminal-Bench 57%で、思考レベルを4段階選べる。AI Pro/Ultra向けに順次提供される。
[ブログ] Score: 197
Rust 1.100.0がリリースされ、10年越しのnever型やAllocator APIが安定化した。DropGuard、conjure_zst、Cargoの未使用依存関係警告、ビルドキャッシュ衝突軽減、依存クールダウンも導入。多数のAPIが安定化し、Infallibleはnever型の別名になる。2024以前のエディションではnever型フォールバックが変わり、稀に破壊的変更となる。
[ブログ] Score: 89
PostgreSQLに22年間潜んでいた型混同脆弱性をRCEへ発展させた経緯を解説した記事。著者はpg_clickhouseのエクスプロイトを機にPostgreSQL内部の型表現を調査し、複合型の属性をPREPARE後にALTER TYPEで変更すると、値が誤った型として解釈されセグフォルトが起きることを発見した。低権限ロールでも再現でき、制御したUUIDのバイト列がbyteaとして扱われることで信頼性の高いメモリ破壊につながるとし、CVE-2026-6460として報告したと述べている。
[サービス・ツール] Score: 58
既存エージェントに自己改善・耐久実行・管理機能を追加するOSS。AgentRunはClaude Code等の基盤上で、実行ごとにノートやスキルを学習しトークン消費を削減。中断しても再開でき、承認や予算管理を一元化する。コードレビューでは1件18セントで1.6倍のバグ検出、分類では0.89ドルから0.12ドルに削減した事例を紹介。Apache-2.0で提供。
[ブログ] Score: 390
Gemini 4 Hydrogen発表の記事。グーグルは、日常的なコーディングやエージェント作業向けの高速・高効率モデルと説明。AI StudioやAPI、Geminiアプリ、検索、Antigravityで提供。1Mトークン均一価格、Carbon/Argonとの連携やOrchestrator、3.8 Flashからの性能向上、各種ベンチマークを示す。
[記事] Score: 27
Leerooが、実験を繰り返して企業データ向け最適解を学習・展開するOSSエンジンKapsoを公開した記事である。Kapsoは過去の実験から教訓バンクを作り、信頼度や適用条件、根拠を保持する。提案・実装・検証モジュールが実験を回し、learn()で更新。gitで経験共有でき、モデルやコーディングエージェントに非依存。RelBenchやMLE-bench、AI競技会で成果を報告。コメントでは名称衝突やRelArenaでの検証を求める声がある。
[ブログ] Score: 23
GCCが文字列定数を分割・重複排除し、バイナリ内の絶対パス監査をすり抜ける問題を解説。x86-64のGCCは文字列を16〜64バイト断片に分け、XMM/YMMでコピーするため、std::string初期化などではビルド時の絶対パスが残らず、grep監査が失敗する。_placeholdの反復は最小公倍数単位で重複排除。Clangは分割しないが生成命令はほぼ同じ。無効化は-Osや-mstore-max=128。事後スキャンの脆さを指摘しDebianの再現性検証を評価。stringsの解釈性やConda/Spackのパッチングのためリテラル保持を支持し、GCCにオプトアウト追加のパッチを提案。
[サービス・ツール] Score: 206
300ドルの刺繍機にサブスクリプションが必要だったため自作された、無料・オープンソース刺繍ソフトZigZagの紹介である。Rust製でMacとWindowsに対応し、SVGを刺繍データへ変換、ステッチを視覚編集、MCP経由でAIエージェントと共同作成できる。PES、DST、EXP、JEF、VP3への書き出しやBrother SkitchへのBluetooth送信、多彩なステッチ、重なり除去や経路計画、糸交換削減機能を備える。
[ブログ] Score: 60
AWS Lambda Web Functionsが最終リクエスト後も5〜7分メモリ課金される問題を検証した記事。Easelは独自コンピュートへ移行し、同一Next.jsアプリでウォーム応答が1.5〜3倍、コールドスタートが約3.5倍高速だったと報告する。低トラフィックの多数アプリではアイドル課金が不利だとし、単一リージョン・小規模な初期比較で限定的と注記している。
[サービス・ツール] Score: 17
Apron Chat Protocolは、約100行でサーバーを書けるほど最小限の自己ホスト型チャット用プロトコルである。JSONをWebSocket等で送受信し、部屋・スレッド・DM・ボット・リアクション等を段階的に追加できる。GoやPython等の参照サーバー、Web/macOS/TUIクライアント、公開デモ、仕様やテスト用データが提供されている。
[サービス・ツール] Score: 60
Fable52.gamesは、Claude Fable 5.2が単一プロンプトから自律生成した単一HTMLファイルのブラウザゲームを集めた非公式アーケードである。32本の3D・2D作品を掲載し、各ゲームのプロンプトやソースを閲覧でき、ダウンロード・改変・投稿にも対応する。FAQでは、モデルの長時間自律コーディング、WebGLやWeb Audioで単一ファイル内に完結する仕組み、サンドボックスによる安全な実行、原作者のライセンス尊重を説明している。
[サービス・ツール] Score: 92
SwiftUI製のmacOS/iPadOS/iOS向けネイティブExcalidrawクライアント。Excalidrawの描画面を保ちつつ、実ファイルとしての管理、iCloud同期、履歴チェックポイント、共同編集、AIによる作図支援、MCPサーバー連携、LaTeX数式や関数グラフ、ファイルの暗号化ロック、画像・PDF・編集可能形式の書き出しに対応する。App Store版とDMG版があり、MITライセンスで公開されている。
[サービス・ツール] Score: 9
各予定に専用ToDoを付けるカレンダーアプリの紹介。Zesfyは、複数タスクを1イベントにまとめるセッション、重要タスクの強調、状態別整理、サブタスク完了に応じた進捗自動更新、カレンダーグループの絞り込みを備える。iPhone向けで無料、アプリ内課金あり。iOS 17.2以降対応で、開発者はデータ収集なしとしている。
[サービス・ツール] Score: 232
古い小型端末でLLMを動かす手法をまとめたGitHubリポジトリ。TVボックスや2013年製iPad Airなど約1GB RAMの端末で、llama.cppへの独自パッチにより1ビットカーネル、語彙削減、MoEエキスパートのフラッシュ読み出しを用い、8B・16Bモデルの実行を実現した。実測値や再現手順、失敗例も公開し、手法は特定端末に依存しないとしている。
[サービス・ツール] Score: 94
PostgreSQLの全サポート版と19 RC2が公開され、52件の脆弱性と140件超のバグが修正された。PostgreSQL 14は今回が最終リリースでEOLとなる。GINやpg_trgmのGiSTインデックス破損、REINDEX CONCURRENTLY後の更新漏れ、増分バックアップの破損などの不具合も修正された。更新後には再インデックスや完全バックアップの再取得といった追加手順が必要になる場合がある。
[サービス・ツール] Score: 110
LibreAGIは消えやすいOSSモデルを会員制BitTorrentで保存する取り組みである。Open weightsのモデルを会員が複製・シードして維持し、希少なモデルほど報酬が増える仕組みを採用。safetensorsやGGUFなど多形式に対応し、Apache-2.0等のライセンスとソースコミットを検証する。署名済み公開カタログでモデル情報を残し、サイト消滅後もswarmを再構築可能とする。IRCの公開チャンネルも提供する。
[ブログ] Score: 142
Jane StreetがLLM時代に対応しソフトウェアエンジニア面接を一部変更した記事。同社はLLMが開発を変えたとし、コーディング面接の目標は維持しつつ、設計やコードの品質・構造・意図の検証、LLMを使ったコード生成を評価する新形式を一部導入。従来型の面接も残る。方式は進化中で、詳細は今後明かすとしている。
[ブログ] Score: 28
CPythonにメタトレーシングJIT基盤ykを適用する試行を解説する記事。ykでCインタプリタを高速化する背景から、CPythonのtier2インタプリタに約80行の変更でYkLocationを組み込み、AWFYベンチマークで通常CPythonより多くで高速、実験的JITより13中8で高速だったと報告する。ただし実用段階ではなく、ベンチ結果が実世界性能を保証しないと著者は注意を促す。
[ブログ] Score: 337
ソフトウェアの正しさの保証が本質的に困難だと論じる記事。停止問題やライスの定理、ビジービーバー関数、ゲーデルの不完全性定理を示し、検証の不能性・非計算性を説明する。さらに、ZFCから独立する小規模プログラムの存在や計算量理論を挙げ、正しさには避けられないコストが伴い、数学だけでは解決できないと主張する。
[記事] Score: 116
Linux向けFOSSピンボールシミュレーションエンジンの開発進捗報告である。開発者は音響・物理演算・コンソール・ゲーム内エディタ・カメラ等を改善し、物理にはJoltを採用した。2026年IAAPA ExpoでLinuxとFOSSへの支持を測るため披露する予定で、卓のアート制作の協力者を募集している。今後は物理精度の向上やDMD表示、デュアルモニタ対応を目指すと述べている。
[ブログ] Score: 350
Apache HTTP ServerのHTTP/2に深刻なRCE脆弱性があると報告した記事。CVE-2026-119618はassign_headers()の競合状態によるヒープ破壊で、未認証の遠隔攻撃者が任意コード実行可能。Wiz調査では64%のクラウド環境が該当し、51%が公開状態。影響はApache 2.4.55～2.4.70とmod_h2 2.0.8～2.0.42。2.4.71以降への更新、またはHTTP/2無効化を推奨。公開時点で悪用報告はない。
[サービス・ツール] Score: 135
x86-64 PC上でApple Silicon環境を再現する汎用レイヤーを目指すGitHubプロジェクト。UEFIブートプログラムとしてarm64eをx86-64へ変換するAOT/JITトランスレータ、NVIDIA GPU向けMetalドライバ、Apple Siliconハードウェアモデルを備え、M2 Mac miniとして振る舞う。開発中で低速・起動不安定な場合がある。対応CPUやNVIDIA GPU、ネットワークなどの条件、USB経由のmacOSインストーラ作成、更新・ログ取得・Rust/LLVMでのビルド方法を説明。GPL-2.0でApple製ソフトは含まない。
[ブログ] Score: 560
絵の具の飛び散りの93%が有効なPerlプログラムになるとするOCR実験をまとめた論文。2019年SIGBOVIK発表。壁に塗った絵の具でも有効なPerlを避けられるかという問いに対し、OCR解析で93%が有効なPerlとして解釈されるとし、有効でない7例を示す。補足として画像ギャラリーやOCR結果の訂正例も掲載するジョーク論文である。
[ブログ] Score: 9
Appleがアンビエントセンシング向けの新セキュリティ基盤Secure Exclavesを解説した記事。マイク・カメラ入力をメインOSから隔離した実行環境で処理し、生データをOSやアプリ、Appleにも渡さず、人物認識やウェイクワード検出などのメタデータのみを制御されたIPCで共有する。SPTMによるメモリ分離、能力ベースのL4マイクロカーネル、Secure IPC、インジケーター制御を組み合わせ、HomeViewの人物認識やHey Siri、画面表示指標の安全性を高めるとしている。形式検証も進めている。
[ブログ] Score: 11
教師が地下室で作った赤ちゃん向け動画Baby Einsteinは、年商2000万ドル超となりDisneyに2500万ドルで売却された事例である。創業者ジュリー・アイグナー＝クラークが自宅で制作し、初年度10万ドルから5人で年商2000万ドル超に成長させた。2000年にArtisanへ20%を230万ドルで売り流通を獲得、2001年Disneyへ売却。3年後Disneyは年1.7億ドルを生んだ。早期売却に見えるが、拡大より家族との時間を優先した選択で後悔はないという。流通先を株主にし、ライセンス先を買い手にする戦略が示される。
[サービス・ツール] Score: 31
AIに対して行動を起こす基準となるレッドラインを書き、共有と継続を支援するウェブサービスを紹介する。利用者は、どのAIの進展が基準を越えるか、越えた時に何をするかを記録する。共有リンクの送付、月次チェックイン、証人への報告、私的保存、年次レビューを促す。目標追跡の研究を根拠とするが、AIでは未検証と注記する。マンハッタン計画を離れたロトブラットの例を引き、理由を書き留める意義を示す。
[GitHub] Stars: 2,774
Google Chromeなどが主導する、コーディングエージェント向け最新Web技術ガイドのソースリポジトリである。Modern Web Guidanceは、Webの専門知識や互換データをエージェントに組み込み、旧来の実装からモダンAPI利用へ導く。CLIでガイド検索・取得・レガシー検査ができ、250機能をUX、CSS、性能、フォーム、アクセシビリティ、組み込みAI等に分類する。
[GitHub] Stars: 12,353
OpenAIが公開したコード脆弱性の発見・検証・修正を支援するCodex SecurityのCLIとTypeScript SDKである。リポジトリや差分をスキャンし、候補の検証、パッチ生成、修正確認、SECURITY.md作成、脅威モデル保存、Linear/Jira/GitHub連携、SARIF等出力、CI自動化に対応する。Codex上でもCLI/SDK/GitHub Actionでも利用可能。npmで配布される。
[GitHub] Stars: 95,995
nvmは複数のNode.jsバージョンを管理・切り替えるPOSIX準拠のシェルスクリプトである。ユーザー単位・シェル単位で動作し、bashやzshなどに対応。CLIでNodeのインストールや切替を行い、LTS指定、.nvmrc、グローバルパッケージ移行、DockerやCI/CD、bash補完なども扱う。GitHubで約95.4kスター、MITライセンス。
[GitHub] Stars: 1,506
pookjw/HermesEnablerは、Apple WatchでHermèsのウォッチフェイスを有効化するツールである。watchOS 27.0〜27.3 beta 1のみ対応し、ReleasesのIPAをSideloadlyで導入するかXcodeでビルドする。固定Bundle IDとApple IDの維持、削除前のMobileGestaltバックアップ復元を注意喚起している。MITライセンスで自己責任での利用を求める。
[GitHub] Stars: 13,836
Maybe Financeのコミュニティフォーク。個人向けの家計・資産管理アプリで、Dockerによる自己ホストやブラウザ、macOS、モバイル、API、LLMエージェントからの利用に対応する。元プロジェクトは約100万ドルを投じて開発されたが放棄され、AGPLv3で公開された。性能改善や貢献を歓迎するとしている。
[GitHub] Stars: 29,761
Qwen Codeはターミナル等で動作するオープンソースAIコーディングエージェントである。エディタやデスクトップ、ブラウザ、チャットにも展開し、MCPやSubAgentsなどの機能、OpenAI・Anthropic・Gemini・Qwen API対応を備える。1.0 PreviewではQoderの機能を統合。インストール方法や認証、利用開始手順を示す。Apache-2.0で公開。
[GitHub] Stars: 1,918
Apple SiliconとNVIDIA GPUで動くLLM推論エンジンTensorFoldのリポジトリである。Zig製バイナリがチェックポイントを読み、Metal/CUDAカーネルを直接実行するためPythonやMLXは不要。Homebrewやリリースで導入し、Qwen3.5-2Bを配信できる。OpenAI互換API、Webアプリ、Macアプリ、企業向けStarlight、エージェント協調のATCや貢献手順を説明する。
[GitHub] Stars: 123,581
Node.jsの公式リポジトリで、JavaScriptランタイムの概要と開発体制、リリース方針を説明している。オープンソースのクロスプラットフォーム実行環境であり、OpenJS Foundationが支援し、TSCによるオープンガバナンスで運営される。Alpha、Current、LTS、Nightlyの各リリース種別と意味的バージョニング、年次スケジュール、ダウンロード先や貢献方法を示す。
[GitHub] Stars: 116,618
AIコーディングエージェント向けに、仕様定義から計画、実装、テスト、レビュー、出荷までの開発ワークフローを標準化する25種類の実践的スキル集。Claude Code、Cursor、Codex、Copilotなど70以上のエージェントに導入でき、品質管理や自動実行にも対応する。
[GitHub] Stars: 26,425
MetaのオープンソースデザインシステムAstryxを紹介するリポジトリ。React 19+とStyleXで構築され、150以上のアクセシブルなコンポーネント、テーマ、ダークモード、CLIを提供する。8年間Meta社内で成長し、1万3千以上のアプリを支えた。StyleXに縛られずTailwindや通常CSSで上書きでき、テーマはCSS変数で変更可能。人とAIエージェントが同じAPI・ドキュメント・CLIで開発できる設計を掲げる。現在ベータでMITライセンス。GitHubでは14.4kスター。
[GitHub] Stars: 11,529
OpenBotは各AIワーカーに専用環境を与えるオープンソース基盤である。CopilotKit製で、ブラウザ・ファイル・ツールを備え、任意のAG-UIエージェントを接続できる。各行動は実行前に決定され実行後に記録される。自社インフラで動かして改変できるテンプレートとして提供され、現在ベータ版である。
[GitHub] Stars: 69,212
無料トークンで複数のコーディングAIを一元利用できるOSSツール。Alishahryar1/free-claude-codeは、Claude CodeやCodexなど11種のエージェントを、61の規約順守プロバイダーと月13億以上の無料トークンで使えると主張する。端末、IDE、スマホ、ブラウザから利用でき、モデル切替やフォールバック、音声入力、管理UIを提供。Anthropic非公認と明記。
[GitHub] Stars: 134,505
ggml-org/llama.cppは、C/C++でLLM推論を行うMITライセンスのリポジトリである。約13万5千スター、2万5千フォークを集め、GGUF変換用Pythonスクリプト、各種ツール、テスト、モデル別ディレクトリ、CMakeやCI設定などを含む。多数のIssue・PRがあり、活発に開発されている。
Hacker News コメント