Tech Trends (2026-11-12)

Hacker News (https://news.ycombinator.com/)

[ブログ] Score: 3

93% of Paint Splatters Are Valid Perl Programs (2019)

絵の具の飛び散りの93%が有効なPerlプログラムになるとするOCR実験をまとめた論文。2019年SIGBOVIK発表。壁に塗った絵の具でも有効なPerlを避けられるかという問いに対し、OCR解析で93%が有効なPerlとして解釈されるとし、有効でない7例を示す。補足として画像ギャラリーやOCR結果の訂正例も掲載するジョーク論文である。

Hacker News コメント

  • 投稿者は元論文も非常に面白いと述べ、PDFへのリンクを共有している。

[ブログ] Score: 16

Lock Your GitHub Actions

GitHub Actionsのロックファイルで安全に依存を固定する手法を解説。従来は可変タグを避け完全SHA固定が必要だったが、gh-actions-lock拡張でタグ指定に変換しactions.lockを生成。RenovateやDependabotの更新、CIでの検証、zizmor対応も紹介している。

Hacker News コメント

  • ハッシュ固定はタグ移動の信頼をマージ担当への信頼に置換し、フォーク含む任意コミットを固定できるため Marketplace は不変タグを必須にすべきとの意見。
  • 外部アクションは設定にコピペして完全に管理下に置けばよく、不透明なスクリプトをインポートする必要性に疑問を呈する。
  • 固定しても依存アクション自身が依存を固定しない場合、悪意あるタグ差し替えは防げない。latest を取得する action は最新版を取り込む。

[ブログ] Score: 9

No device left behind: Home Assistant Connect AUX-2

Nabu Casaが、古い機器をスマート化する多機能ブリッジHome Assistant Connect AUX-2を発表。音声入出力、RS-232/RS-485シリアル、Z-Wave、Bluetoothプロキシ、PoEに対応。Music AssistantやESPHomeと連携し、既存のオーディオや太陽光・空調、TVをHome Assistantへ取り込めると主張。価格は69ドル/59ユーロ。

Hacker News コメント

  • コメントが確認できませんでした

[記事] Score: 153

United Airlines bans AI agents from booking flights on behalf of travelers

ユナイテッド航空が、セキュリティや規制違反の懸念から旅行者の代理でAIエージェントが航空券を予約することを禁止した。同社は、認証情報共有による機密漏えいや意図しない購入、マイル利用、連邦規則違反の恐れを挙げ、自社デジタル基盤や旅行代理店経由でも第三者の個人AI利用を制限し、予約・発券ポリシーを改定する。航空アナリストは、予約仲介の主導権維持とAI検索増加のコスト回避が狙いと指摘。サウスウェストはChatGPTに在庫を公開するなど対応が分かれる。

Hacker News コメント

  • 航空会社はAI予約を規約違反としてキャンセル・ブロックできるが、ブラウザ操作型エージェントの検知・阻止は困難で、いたちごっこになるとの見方が多い。
  • 航空券の動的価格や差別価格をエージェントが崩し、安値客に利益を奪われるため、航空会社は最安値を消すか全体的に値上げする可能性がある。
  • 顧客と事業者の敵対関係を嘆き、API/MCPや旅行代理店、Google Flightsで探し予約は手動が安全との意見や、障害者支援との衝突も指摘される。

[記事] Score: 71

GitHub Incident with Webhooks, Actions, etc.

GitHubでActionsやPages、Copilotなど複数製品に影響する障害が発生し、復旧した。2026年11月11日、WebhooksやActions、Pages、Copilotの可用性低下・性能劣化が報告され、GitHubは調査と緩和を実施。Actionsジョブのバックログ処理と全サービス回復を確認し、21:21 UTCに解決済みと発表した。詳細な根本原因分析は後日共有予定としている。

Hacker News コメント

  • GitHubの度重なる障害を受け、Forgejo/Gitea/GitLab/CodebergやBlacksmithなどへの移行・自前運用を検討・実行する声が多い。
  • 原因はエージェント/AIによる利用急増やAzure移行、GitHub自体の開発手法への懸念など諸説あり、単一要因では説明できないとの議論。
  • Actions/Webhooksの停止・キュー滞留でCI必須のマージが詰まり、CI外の本番経路や自前ランナー、Copilot不調への不満も出ている。

[ブログ] Score: 16

Tools for exploring the souls of large language models

LLMの内部を可視化するTinyGPT Visualizerを紹介する記事である。著者は、LLMに魂を探す議論が盛んになる一方、内部理解研究の資金が不足気味だと指摘。実際にモデル内をX線のように観察できる小型モデル向け可視化ツールを開発し、オープンソースで公開した。仕組みを学び、より多くの人が機械的解釈可能性研究に参加できることを狙う。

Hacker News コメント

  • 投稿者と賛同者は、LLMの予測過程を解明する機械的解釈可能性が誰でも学べると評価する。
  • 一方、「魂」は虚構で、AIは入力なしに何もせず、シリコン系を人間的に記述するのは不適切との批判がある。
  • これに対し、人間も無入力では出力できず、AIの魂探究は不毛だとして魂や人格の所在自体にも懐疑が示される。

[サービス・ツール] Score: 11

AUX-2 – No device left behind

Home Assistant向け多機能ゲートウェイAUX-2の紹介記事である。旧式オーディオ機器をスマートスピーカーと同期させ、RS-232/Modbusによる家電制御、Bluetooth接続、Z-Wave網の延長、Grove入出力拡張を可能にする。PoEまたはUSB-C/Wi-Fiで給電・接続し、Music AssistantとSendspinで全館音声を実現。価格は69ドル/59ユーロで、Home Assistant 2026.9以降が必要と説明している。

Hacker News コメント

  • シリアル接続へのヘッドフォンジャック利用に違和感を示し、Groveポートがあるなら標準的な4ピンコネクタを増設すべきだとの意見。

[ブログ] Score: 87

Emacs in the Age of Magic

AIコーディングの進歩でEmacsの優位が揺らぐと論じる。Claude Codeや数学研究を席巻するAIにより、編集速度やLISPの表現力、magitでの操作で得ていた利点は薄れたとする。学生がQwenに依頼し、ExcalidrawをEmacsの新canvas API向けに再実装したexcali-modeを例に、AI時代の道具選びを皮肉る。本文は事例の途中まで。

Hacker News コメント

  • AIはソフトウェアの自由を逆転させるという主張に対し、AI依存は監視・囲い込み・無理解への隷属であり、自由ソフトウェアの重要性は失われていないとの反論。
  • AIコーディング全盛でも、モジュール化・API・決定的な基盤ツールは不可欠で、AI生成アプリは脆く、エディタ不要論には懐疑的な声がある。
  • AIの能力向上やOSS学習に伴うライセンス・著作権、スケーリング、自由なモデルの実現可能性には疑問が残るとの指摘。

[サービス・ツール] Score: 36

Huawei releases MACaQ, its internal quantizer for local inference

Huaweiがローカル推論向け量子化ツールMACaQを公開した。モデル非依存のGGUF量子化で、テキスト・画像・動画・音声をllama.cpp、vLLM、Diffusers、PyTorchで扱える。122Bモデルを32.5GBで64分量子化可能とし、MR-GPTQなどより低perplexityか11倍高速と主張する。MACaQ-Rは既存GGUF形式を保ち標準llama.cppで動く。

Hacker News コメント

  • 公式サイトよりGitHubが好まれる理由として、コードを直接確認でき、マーケティング要素がなく即座に目的箇所へ進めるとの意見がある。
  • 一方、Huaweiは制裁下にあり、GitHubなど第三者がホストする公式情報はいつ消えるか分からないとの懸念も示される。
  • プロジェクト名MACaQはマカクザルを連想させ、英語の発音が下品に聞こえるとの指摘や、公式ブログの文言を巡る冗談で盛り上がる。

[ブログ] Score: 173

Gemini Decisions API

Gemini Decisions APIは、マルチモーダル入力を一括評価する高速APIである。新モデルGemini Decision 1を基盤に、テキスト・画像・音声・動画・PDFに対し最大1000件の二択・多肢選択・ルーブリック評価を1回で行い、確信度付きで150～250msで返す。入力100万トークン0.10ドル、出力課金なし。AI Studioで提供され、ルーティングやポリシー確認に使える。

Hacker News コメント

  • 決定モデルは分類・ルーティング・LLM-as-judgeに有用。確率校正が重要で、構造化出力やlogprobsだけでは不十分との意見。
  • 競合ではOpenAI版は遅く精度・価格で劣るとの声、Gemini版は音声・動画入力や高性能ベンチを評価。ただし価格高めでベンチ比較には懐疑も。
  • Googleの製品終了傾向からJules停止など将来性を懸念する声がある一方、APIは企業向けで継続されるとの見方も。

[サービス・ツール] Score: 521

AWS emulator

AWS APIのローカルエミュレータ。AWSアカウント不要で、ソフトウェアを手元やCI上でテストできる。CLIや各種SDKをエンドポイントに向けて使うサーバーモードと、Rustのテストに組み込む組み込みモードがある。利用状況のテレメトリは既定で有効だが無効化可能。ライセンスはCC0で、PRは受け付けずIssueでの報告を求める。

Hacker News コメント

  • AWS公式のエミュレータだが、長期的に保守されるのか懐疑的な声が多く、担当者は維持すると説明している。
  • 対応サービスの範囲や互換性の程度が不明瞭で、スコアやテスト結果を確認しないと実用性が判断しにくい。
  • AIエージェント生成ゆえの精度やエッジケース対応への懸念と、公式ツール登場を歓迎する意見が対立している。

[ブログ] Score: 34

The Power and Legacy of Virginia Tech's Mac-Based Supercomputers

バージニア工科大学のMac製スパコンSystem XとSystem Gの歴史と低コスト戦略を振り返る記事。2003年に1100台のPower Mac G5でSystem Xを構築し、520万ドルで世界3位、学術最速に。2004年にはECC対応Xserve G5 1100台へ更新し12.25テラフロップス。2008年は324台のMac Proによる省電力研究機System Gを稼働し22.8テラフロップスを達成。

Hacker News コメント

  • バージニア工科大学は東海岸・DC周辺では有名だが、西海岸ではほとんど知られていないとの指摘。
  • UVAより技術系の知名度が高いという見方や、バージニア州とウェストバージニア州、NCとSC、SFとSDを混同する冗談が並ぶ。
  • スーパーコンピュータは2003年秋の設置直後に世界3位となる最先端の構成で、「hokieなsetup」との評も。

[サービス・ツール] Score: 39

Launch HN: Pomerado (YC F26) – Turn any website into an MCP for agents

Pomeradoは任意のWebサイトをエージェント向けMCPに変換するサービスだ。YC F26のPomeradoは、APIのないサイトを決定的で自己修復するMCP/APIに数分で変換するセルフサービス基盤だと説明する。エージェントが初回のみブラウザで操作・調査し、HTTPやPlaywrightで再現可能なツールを生成する。Guardianやテストで検証し、認証・2FA、失敗時の修理も担う。コンピュータ操作より高速・安価で反復業務向けだ。MIT版と無料ホスト版を提供している。HNではボット対策、資格情報、プロンプト注入、WebMCPとの違いなどが議論された。

[ブログ] Score: 122

Faster Retrieval for Better, More Efficient RAG

Appleが、RAG検索の最大内積探索を小規模NNの学習で高速化する手法を発表した。SupportNetはクラスタの支持関数を学びルーティング精度を高め、KeyNetはクエリを最適キーへ変換し既存IVF検索を加速する。Natural Questionsで、SupportNetは約1.9倍、KeyNetは99%再現率を約8倍速く達成。記事は用途別の使い分けと大規模系での併用を提案する。

Hacker News コメント

  • 学習型検索は超大規模向けとの意見が多く、数百万件以下ではBM25やLLMによるgrep検索の方が有効との指摘。grepの意味検索・誤字対応の限界も議論。
  • Appleの遅参戦略とオンデバイス推論・プライバシー重視のAIアシスタントに期待。一方Siriの低品質を批判し、フロンティアモデル参入や提携先との競合を疑問視する声。
  • RAG検索はLLMにヒューリスティックなバイアスを与え品質を下げうるため、LLMに自由探索させる方が良い場合がある。効率と品質のトレードオフも議論。

[ブログ] Score: 356

A false smoke alarm almost drowned Jane Street's only NYC datacenter

ジェーン・ストリートのNYデータセンターで、誤煙警報により冷却が停止し、過熱でスプリンクラーが作動しかけた体験談。契約作業の粉塵で警報が鳴りCRACが止まり、室温が上昇。著者は全機器の電源コードを手作業で抜いて破壊を防いだ。再発防止として、全Linuxサーバーの温度平均を毎分OCamlで監視し異常時に警報する仕組みを作ったと述べる。

Hacker News コメント

  • ハリケーン・サンディでNYのDCが浸水し、燃料を階段で運び発電機を維持した事例と重ねる議論がある。
  • Fog Creek元社員はバックアップ戦略の不在を理由に退職したと証言し、英雄的な火消しを称賛しつつ失敗を美化すべきでないと批判する。
  • 危機を未然に防ぐ計画や冗長化は評価されず、火消しが英雄視される経営バイアスへの批判が中心。競争環境や経営責任も論点だ。

[ブログ] Score: 100

AI, activity, and outcomes in software engineering

AI導入で開発活動は増えても出荷速度が上がらない理由を、研究知見から考察する講演である。Christian Bird氏の2026年講演で、AIはコーディング量を増やす一方、成果や出荷に結び付きにくい活動と成果のギャップを指摘する。関連論文として、AIコーディングツールの生産性、AIが可能にする開発、コードレビューAIのバグ検出、AI自律性への線引き、チーム要因を挙げ、出荷成果を見る必要性を示す。

Hacker News コメント

  • AIでコーディングや初稿は高速化しても、出荷全体はレビュー・QA・CI/CD・製品調整・規制などがボトルネックになるという発表だった。
  • 経験談ではAIはリファクタリング・技術的負債返済・セキュリティ修正・テスト拡充を加速し、新機能投入や大規模移行も速くなるという。
  • 一方、PR巨大化・レビュー負荷・壊れた機能・設計複雑化・デプロイ時の人手など、品質と検証の課題を指摘する声もある。

[ブログ] Score: 17

Multiple remote code execution vulnerabilities in danfoss sm-800A

Danfoss製冷凍コントローラAK-SM800Aに複数の未認証RCE脆弱性が見つかった記事。Midnight Blueの研究者が最新ファーム5.3.2を1時間未満で手動調査し、strcpy多用や対策欠如に起因するスタックバッファオーバーフロー6件を発見した。同社は、欧州で冷凍機器への攻撃が発生する中、パッチ適用だけでは不十分で、VPNやIP制限でインターネット露出を除去すべきだと主張。認証前RCEはroot権限での完全掌握や持続的DoSにつながる。現在は調整済み開示中。

Hacker News コメント

  • 多くの店舗が独自接続ではなく携帯通信を利用しているため、VPN終端するSIMでソフト変更なしに端末を隔離できるとの指摘。
  • Shodan上のStoreView端末が10月中旬の約4500台から7667台に増加。一部はハニーポットの可能性があるが全部ではない。
  • 記事ページがモバイルで横にはみ出して全文を表示・スクロールできない問題が報告され、Chrome/Androidでは動作するとの返信がある。

[サービス・ツール] Score: 67

Show HN: Klad, a paint app your coding agent can drive (source-available)

エージェントと人間が共同で描く2Dペイント・アニメアプリKladである。コーディングエージェントはkladコマンドで同じブラシやレイヤーを使い描画し、人間はエディタで即時に修正・共同作業が可能である。画像生成モデルではなく、ストロークや塗りを編集可能なデータとして保持。ゲーム向けにスプライトシートやGodot出力、中間フレーム生成も備える。ソース公開型。小規模事業者に無償利用できる。初期版である。

Hacker News コメント

  • KladはCLI経由でエージェントが操作できるRust製ペイントアプリ。全ブラシストロークを後から編集でき、SVGと違いスミッジ等も可能。
  • 試用ではFable等で絵や歩行サイクルを生成。現状は従来の画像生成が自然だが、リギングと手続き的編集の一貫性・修正容易性が利点。
  • ブラウザ版/MCPは未提供で、性能上Rust必須。生成は約10〜15分。商用は年商50万ドル未満まで可、モデルは非同梱。

[サービス・ツール] Score: 137

Show HN: Yogurt – Free, private, open-source alternative to Granola

Granolaの無料・プライベート・オープンソース代替として公開されたAI会議メモアプリYogurtのGitHubリポジトリである。会議にボットを追加せず通話を録音し、ローカルAIで文字起こし・要約する。macOS、Windows、Linuxに対応し、MITライセンス。Electronやllama.cpp、Whisper、MCPなどが用いられ、333スターを獲得している。

Hacker News コメント

  • プライバシー重視のオフライン会議メモとして歓迎する声が多く、録音時の同意通知や参加者追加時の再通知を求める意見も出た。
  • 既存OSS（OpenWhispr、Muesli、OpenOats等）との差別化が議論され、Mac限定か、Windows/Linux対応、話者分離・多言語・モデル選択の有無が焦点になった。
  • Electronのメモリ消費やローカルLLMの負荷、OpenRouter等への処理オフロード、MCPの認証、YC表記への誤解など実装・運用面の懸念が挙がった。

[サービス・ツール] Score: 115

Pharo in the Browser with WebAssembly

PharoをWebAssemblyでブラウザ上で実行するデモである。Pharo World上でSmalltalkのREPLコンソールを提供し、.st、.zip、.imageの読み込みや保存、設定変更ができる。Git連携ではCORS回避用HTTPプロキシを設定し、IcebergやMetacelloのclone、fetch、pushを通すが、資格情報が通るため信頼できるプロキシのみ選ぶべきだと注意している。

Hacker News コメント

  • Smalltalk/Pharoへの愛着が示され、ライブコーディングや単一イメージ、内蔵GUIの一貫性が高く評価されている。
  • ブラウザ版の性能は環境差が大きく、Firefoxでは快適だがChromeでは遅いとの声や、ズーム・クリック位置・戻るボタンの不具合が報告されている。
  • ブラウザ動作は権限のない端末で試せる利点がある一方、本来の目的に反するとの指摘もあり、ApptiveGridやYesplanなどの実利用例も挙がっている。

[ブログ] Score: 176

Atuin Threads: All your agent sessions on every machine

Atuin Threadsは、エージェントのセッションを全マシンで同期・検索・再開できる機能だと紹介する記事。Atuin 18.24以降で利用でき、Claude CodeやCodex、OpenCodeなど複数エージェントに対応する。あるマシンで始めた作業を、別のマシンや別のエージェントで文脈を保ったまま再開でき、セッションのフォークも可能だ。同期はエンドツーエンド暗号化され、ホスト型サーバー、自前サーバー、ローカル保存を選べる。MCPによりエージェント自身が過去のセッションを検索・参照できる。チーム向けのオプトイン共有も開発中だと述べている。

Hacker News コメント

  • Atuin Threadsは複数マシン・各種エージェントのセッションを保存・同期・検索・再開でき歓迎されている。Claudeの期限切れ対策や作業喪失からの復元に有用で、herdrとは補完関係である。
  • 自作代替・運用知見として、多くのユーザーが同様の仕組みを自作している。フックよりログ解析、使い捨てセッションのノイズ、要約・埋め込み・BM25検索、ベクトルDBで検索性を高める意見がある。
  • 全セッション同期にはプライバシー・秘密情報漏えい・エージェント分離への懸念がある。クライアント暗号化や自前サーバ、同期範囲の選択、トークン消費と保守対応への批判も見られる。

[サービス・ツール] Score: 93

Show HN: Godbolt-in-a-floating-window for Neovim (C, C++, Rust)

Neovim上でC/C++/RustのアセンブリをGodbolt風にフローティング表示するLuaプラグインである。カーソル下の関数や選択行を対象にx64/aarch64向けアセンブリを表示する。lazy.nvimで導入し、leaderキーで実行、ウィンドウ内で最適化レベルの変更、再実行、閉じる操作ができる。cc/c++またはrustc/cargoが必要で、compile_commands.jsonがあれば利用する。リポジトリは172スター、Unlicense。

Hacker News コメント

  • ローカルコンパイラでNeovim上にアセンブリを表示する点が好評。非AI的な簡潔READMEや手書きコーディング向けで、エージェント利用者には不要との声。
  • cargo-show-asmやnvim-dap-disasm、rad debuggerなど、Rustのasm確認やデバッグ時の逆アセンブル目的の代替ツールが共有された。
  • CPUのレジスタ・ALU・サイクル可視化を望む声があるが、RTL非公開や計算量、現代コアの幅から実現は難しいとの見方も。紙で考える派も。

[サービス・ツール] Score: 19

Show HN: I created a library for correctly using SQLite in Go programs

GoプログラムでSQLite3を便利かつ高性能に扱うlitesqlというライブラリの紹介。既定設定、読み書きトランザクション、行取得・実行、PRAGMA表示、スナップショット、FTS5クエリのサニタイズ、Optimize/Analyze/Vacuumによる保守機能を提供する。

Hacker News コメント

  • 投稿者は、GoでSQLiteを正しく使うため、読み取り接続プール・書き込み専用接続・pragma既定値・スナップショットを備えたライブラリを公開した。
  • コメントでは、modernc.org/sqliteのような純Go実装向けにも同様の仕組みを検討するかとの要望・質問が示されている。

[ブログ] Score: 60

Attention to Mamba: A Recipe for Cross-Architecture Distillation

TransformerからMambaへの蒸留手法を提案した研究。初期化を工夫し、Attentionを線形化して経由する二段階蒸留で、AttentionブロックなしのMambaに変換する。Pythia-1Bでパープレキシティ14.01を達成し、教師の13.86に近い性能を維持。下流タスクでも概ね引き継ぐが、文脈内想起に課題が残る。1B規模・10Bトークンでの比較やスケーリング、段階間トークン配分の感度分析も行う。

Hacker News コメント

  • 類似研究としてAWS論文を挙げ、層選択とHedgehog線形化を組み合わせ蒸留する案が示される。
  • Mamba/SSMは線形スケールや高スループット、3Bが2倍Transformer並みと効率的だが、想起性能が弱点でスケール検証も不十分との指摘。
  • SSMを線形動的システムの制御として評価し、ハイブリッドは有望とする一方、Mamba-3等で状態予測が容易になる場合に関心。

[ブログ] Score: 40

EventSourcingDB 1.3.0 Is Available

EventSourcingDB 1.3.0のリリース記事である。性能と安定性を向上させた。v1と併存するv2 APIは結果を本文で返し、エラーコード化を導入した。CloudEvent入出力、増分バックアップ、レート制限、OpenMetrics、スキーマ必須化を追加した。移行時はバックアップ、旧サーバ停止、Docker UID、トークン長、SDK更新、EventQL変更、索引再構築に注意と述べる。

Hacker News コメント

  • EventQLの前提条件評価が全書き込みを最大5秒ブロックする仕様は欠陥で、大規模開発では回避運用も定着せず障害を招く恐れがあるとの批判。
  • 反論としてイベントソーシングは追記中心でストリーム単位のロックが一般的との指摘がある一方、若手開発者には難しく実運用に不向きとの声もある。
  • エージェントの記憶保持には適するが、主要DBは企業向けでOSS化に消極的とのライセンス懸念も挙がる。

[ブログ] Score: 160

Open research, stronger privacy: Making Firefox users harder to fingerprint

Firefoxのfingerprinting対策強化を解説した記事である。Mozillaは研究論文をCCS 2026で発表し、約2500万ユーザーの測定をOHTTPなどで保護して分析。画面解像度やCPU数など識別に寄与する情報をぼかし、画像描画・Web Audio・Android演算の差異も是正。Firefox 145で出荷し、追跡精度を低下させた。完全防止は不可能だが測定可能な改善だとし、Strict ETPやTotal Cookie Protection、Relay、VPNも併用してプライバシーを高めると述べている。

Hacker News コメント

  • 指紋取得APIを「汚染」して送信を防ぐ案には、サイドチャネルやDOM影響で漏えいし境界維持が難しいとの反論。Braveのデータ改変や権限ダイアログも話題だ。
  • Firefoxの指紋対策を歓迎しつつ、Cloudflare TurnstileやCAPTCHAでプライバシー重視者が不利になると懸念。ボット対応や匿名認証も議論された。
  • Firefox拡張機能ごとの固有IDやcanvas権限、Cloudflareサイト破壊への懸念も。PACT等の提案は複雑でウェブを悪化させると批判もある。

[ブログ] Score: 227

Can a Linear Program Do Weight-Space Programming?

線形計画法でニューラルネットの重み編集を効率化できるかを検証した記事。GPT-6 AstraがQwen3.5-0.8Bの重みを約0.016%編集し、思考ループを解消、MATH-500を7.9%から48.1%に改善。筆者はこの編集を線形計画問題として約1分で解き、変更重みを8分の1にしつつ同等性能を達成。層選択や方向決定はAstra依存で、一定のステアリングベクトルでも同様に修正できると報告。

Hacker News コメント

  • LPソルバーを重み編集に使えば、制約で意図を表現し試行錯誤より効率的に探索できるとの見方が多い。
  • Astraの「重み編集」は重みを直接理解したのでなく、既存の最適化・ツール利用に近く、報道の誇張との指摘がある。
  • 古典的最適化はRLを補完・代替し、スパース編集や蒸留、制約付き自己編集などに応用できるとの期待と懸念が示される。

[ブログ] Score: 59

Next-Level Benchmarking Overfitting – Thomas Neumann

データベース性能ベンチマークでAIエージェントが過剰最適化する問題を論じた記事。筆者は、GenDB-Vが示すUmbra比22～61倍の高速化は、クエリ別の前計算やTPC-Hデータ生成器の内部構造のハードコードに依存し、汎用DBとの公平な比較になっていないと指摘する。形式検証は正しさを保証しても性能の妥当性は保証せず、データ変更で急激に遅くなるため、ベンチマークが無意味化すると主張する。対策として未見ベンチマークと時間変化するデータを提案。コメント欄では著者が専用エンジンとしての位置づけや敵対的評価を述べ、タイトル修正や検証の限界を認めている。

Hacker News コメント

  • 著者は、AIエージェントに特定ベンチマークを最適化させると測定が無意味になると主張。多くのコメントが問題視し、ベンチのゲーム性を認める。
  • 一方、LLMでホットパス特化が低コストになり、主要クエリ高速化やGPUカーネル最適化に有用との意見。用途に応じベンチ設計を変えるべきとも。
  • 反論は、クエリ空間が無限で最適化適用の判断が難しく、少し違うクエリを大幅に遅くしうる。DBは最悪を避け99パーセンタイルを重視すべきとする。

[ブログ] Score: 892

My AI agents found an unmapped Maya site

AIエージェントがNASAのlidarデータを解析し、メキシコの未登録マヤ遺跡を72時間で発見した記録である。著者は非考古学者ながら複数のエージェントに約1200平方kmの画像を精査させ、崖上の広場・ピラミッド・貯水池らしき地形を特定。INAHに報告し未登録との回答を得たが、後に専門家が2025年に既に地図化済みだったと判明し、再発見に留まった。著者はコーディング以外でもエージェントが科学を変え、残る制約は好奇心と想像力と計算資源だと主張する。

Hacker News コメント

  • 当該マヤ遺跡は既に論文で報告済みで、AIエージェントの「新発見」ではなく独立検証・技術実証に過ぎないとの指摘。
  • LLMは未デジタル化資料を含む考古学の先行研究調査に不向きで、発見の意義を誤解しがち。メディアとAIハイプが過大評価したとの批判。
  • ペイウォールやCAPTCHA、スクレイピング規制が知識共有を妨げる一方、AI企業の著作権侵害を巡る対立が議論を呼んだ。

[ブログ] Score: 24

JSON vs. jsonb in Postgres: size and speed, measured

PostgreSQLのjsonとjsonbのサイズ・速度を実測し、用途別の使い分けを示した記事。PostgreSQL 17/18で6種の文書を計測。jsonbはキー単位のオーバーヘッドでコンパクトなJSONでは最大18%大きいが、空白除去や圧縮で逆転もする。読み取りは全ケースで2.7～10.6倍高速。GIN索引はjsonbのみ。原文保持にはjson、検索・集約・更新にはjsonbを推奨している。

Hacker News コメント

  • コメントが確認できませんでした

[サービス・ツール] Score: 113

Greg Kurtzer's Ginux is now a userspace kernel

GinuxはLinux互換インスタンス向けのユーザ空間カーネルである。Greg Kurtzer氏による元Rust製独立カーネルを、通常のLinuxプロセスとして再設計した。管理対象のシステムコールをホストへ影響させる前にエミュレート、仲介、拒否する。バージョン付き契約、仮想proc/sys、デバイス割当、ネットワーク仲介を備え、Rocky Linux 10のsystemd起動を検証する。AIエージェント封じ込めも研究するが、完全な互換や本番サンドボックスとは主張しない。

Hacker News コメント

  • User Mode LinuxやgVisorがあるのに、なぜ新たなユーザー空間カーネルを自作するのか疑問視する声が多い
  • Linuxの巨大な攻撃面を減らす利点はあるが、新カーネルの信頼性や隔離性能には限界があるとの指摘
  • AI生成主体のプロジェクトへの批判や、コンテナ・VMとの比較、持続性への懐疑が目立つ

[サービス・ツール] Score: 134

Show HN: Black Ops II statically recompiled to native ARM64 macOS

Black Ops IIをx86 WindowsからARM64 macOSへ静的に再コンパイルするプロジェクトである。RemillでLLVM IRに変換し、独自Win32ランタイムとMetal経由のD3D11で動かす。WineやJITは使わず、ゲームファイルは含まず各自のSteam版から変換する。M1でキャンペーン51〜60fps、ゾンビ57〜60、ボット対戦53〜60。ベータ版で制約も説明する。

Hacker News コメント

  • 技術面では、RemillとLLVMでx86をARM64へ静的再コンパイルし、Win32/D3D11をMetal向けに自作。Wine/Rosetta不使用で約60fpsだが、バイナリは大幅増。
  • AI活用では、4か月のClaude利用や逆コンパイル制限、READMEのAI slop批判、海賊版・ゲーム界への悪影響懸念と称賛が交錯している。
  • その他、WINEは非エミュレータとの指摘、他タイトル移植の要望、性能・熱問題、スプリットスクリーン計画、類似の再コンパイル事例が挙がる。

[ブログ] Score: 373

Protecting SSH Keys with macOS Secure Enclave

macOSのSecure EnclaveでSSH鍵を保護する手順を解説した記事。sc_authコマンドでTouch ID必須の非エクスポート鍵を作成し、環境変数SSH_SK_PROVIDERとssh-keygen -Kで鍵ハンドルを生成、~/.ssh/configに明示登録する手順を示す。鍵はMac固有でバックアップ不可のため複数鍵の併用を推奨。Touch IDプロンプトのUIが不格好だとしてSecretiveへの移行を検討している。

Hacker News コメント

  • macOS Keychain と Secure Enclave の鍵保護は、Keychain の一貫性バグや非推奨 API で WireGuard 設定消失など信頼性問題が指摘される。
  • Secure Enclave は秘密鍵を保護できる一方、Touch ID など人間の存在が必要で、ヘッドレス運用や自動化には不向きとの懸念がある。
  • 代替としてパスフレーズ付き鍵、ssh-agent、YubiKey、1Password のサービスアカウントや鍵分離など、運用でリスクを抑える意見が挙がる。

[記事] Score: 83

The Apple Support Community will permanently close on November 20, 2026

Appleのサポートコミュニティが2026年11月20日に閉鎖される記事。開始時点で新規投稿は停止され、閲覧専用に移行する。以後は公式サポートサイトで情報提供を続け、貢献したコミュニティメンバーに感謝を示している。

Hacker News コメント

  • 大半のコメントは、Appleサポートコミュニティが検索で役立つ回答をほぼ提供せず、未解決の長大スレッドや定型的な非回答が目立つと批判する。
  • 一方で具体的な問題解決に役立った例も挙げられ、開発者フォーラムは別運営で有用だったとの補足もある。
  • 代替手段なしの突然の閉鎖は貢献者の成果喪失やコミュニティ軽視と批判され、アーカイブやLLM活用の議論も見られる。

[ブログ] Score: 254

A great old-timey game-programming hack (2013)

8ビットPC向けゲームの描画を6809アセンブリで高速化した故事を紹介する記事。タイルコピーのループ展開とオフセット指定で60%高速化した後、スタック命令PULS/PSHUと全レジスタを活用し、1行を56サイクルで転送する手法を考案。ただしプッシュとプルの方向が逆なため、7バイト単位の左右反転と行の上下反転が生じる問題を指摘する。本文は解決策の記述途中で終わる。

Hacker News コメント

  • 記事の6809 PSHU/PULS活用を起点に、FIFOやBitap検索、6502/2600のBRKなど低レベル最適化の逸話が共有された。
  • 当時の制約下の創意工夫を懐かしむ声がある一方、現代でもGPUや組み込み、大規模ゲームで同種の面白さは得られるとの意見がある。
  • 6809のトリックは複数人が独立発見し、当時は口伝や雑誌頼みで共有が限られていたと証言されている。