日刊ダイジェスト · Hacker News
· 54 ハッカーニュース
New York TimesがOpenAIとMicrosoftを相手取った著作権訴訟で、伏せ字が解除された新資料が公開された。MicrosoftのBrent Hecht氏は2024年1月の社内文書でAI学習用のスクレイピングを「人類史上最大の労働窃盗」と表現。OpenAIのNick Turley氏はパブリッシャーが「存在論的脅威」に直面していると認め、MicrosoftのデータはCopilotが…
Passkeysはフィッシング耐性に優れ、企業環境では理想的な認証手段だ。しかし個人にとっては、アカウントの永久ロックアウトやデバイス紛失、プラットフォームによるアカウント停止のリスクの方が現実的で大きい。ハードウェアキーの登録数上限や、Apple・Googleの同期型Passkeysへの依存、パスワードマネージャーとの連携の未成熟さも課題だ。著者は、ランダム生成パスワードと独立したTOTPアプ…
2026年7月、Hacktronの研究者らはDiscourseの画像アップロード経路に潜むlibheifのヒープバッファオーバーフローと、OpenAIのSSO設定ミスを組み合わせ、72時間以内にOpenAI従業員のChatGPT/Codexアカウントを掌握。Codex経由で社内モノレポにPRを開設しアクセスを証明した。OpenAIは6,500ドルの報奨金を支払い、Discourseは迅速に修正。…
OpenJevは、Jevに似た実験を完全にブラウザ内で実行する。MiniCPM5 2BなどのローカルモデルをWebGPUで読み込み、選択肢の確率をロジットから直接読む方法と、同じ分布をJSONとしてトークンごとに書き出させる方法を、同じGPU上で順番に走らせて実時間を計測できる。バックエンドや順番待ちはなく、入力はページ外に出ない。
Alibabaが次世代ネイティブ全モーダルモデルQwen3.8-Omni-Flashを公開。テキスト・画像・音声・動画を扱う100万トークンのコンテキスト窓を持ち、動画編集やMV制作、映画解説、リアルタイム会話などのワークフローをエージェントが計画・ツール呼び出し・実行まで完結させる。音声入力のAPI価格は前世代比98%以上減、長時間動画理解ではトークン消費を約45.7%削減しつつ精度を向上。音…
jemalloc 5.4.0がリリースされた。160以上のコミットが含まれ、リファクタリングやバグ修正、テストカバレッジの向上、オプションの整理など技術的負債の解消に焦点を当てている。新機能として、HugeTLBページなどの非回収可能なマッピングを優先的に再利用するためのEXTENT_ALLOC_FLAG_PINNEDが追加され、ピン留めメモリの統計を報告するmallctlインターフェースも導入…
Bend 2はAI時代のプログラミング言語として、人間が「法則」を書き、AIが実装と証明を生成することを売りにしている。しかし、デモでは58行の仕様に対して442行の証明が必要となり、形式検証の標準的な手法（SPARKなど）を使えば12のチェックで同じ性質を証明できる。著者は、バイブコーディングが問題領域の調査を怠り、何十年も遅れた設計を生み出す罠だと指摘する。
Z.aiのAIコーディングアプリZCodeが、ログイン中にワークスペース全体を暗号化してAlibaba CloudのOSSへ無断送信していたことがリバースエンジニアリングで判明した。送信されるのは.gitディレクトリやLFSキャッシュ、reflogを含む完全な履歴で、暗号化に使う秘密鍵はZ.aiのクラウドにしか存在しない。設定画面のトグルを切っても停止せず、ファイルシステムレベルでチェックポイン…
FEXがx86のTSOメモリモデルをARMの弱いメモリモデル上でエミュレートする際の根本的な問題を解説。ARMv8.0-aでは全ロードをload-acquire、全ストアをstore-releaseに変換する必要があり、特にAmpereOneで性能が激減。ARMv8.3のLRCPC拡張でほぼ解決するが、Apple Siliconはx86-TSOモードをハードウェアで直接サポートし、通常のロード/…
Berkshire Hathawayは、Warren Buffettが会長を退任し、即時発効で名誉会長になると発表した。8月30日に96歳となったBuffettは取締役会には残り、息子のHoward G. Buffettが会長に就任する。Buffettは株主への書簡で「Father Timeは必ず勝つ」と述べ、「しかし彼は私に寛大だった」と付け加えた。
Cloudflareが提供するQuick Tunnelsは、アカウント作成や設定ファイルなしで、cloudflared CLIの1コマンドを実行するだけでローカルサーバーをtrycloudflare.comのURLで即座に公開できるサービス。HTTPSやDDoS保護が自動適用され、ポートを外部に晒す必要もない。Cloudflareのエッジネットワーク経由でグローバルに高速配信され、チームへの共有…
ZhipuのAIコーディングアプリZCodeが、ログイン中にワークスペース全体を暗号化してAliyun OSSへ無断アップロードしていることが判明した。スナップショットの86.6%は.gitディレクトリで、削除済みのAPIキーや未pushのブランチ名まで含まれる。復号鍵はサーバー側にしかなく、UIの設定を切っても停止できない。著者はmacOSのchflagsやLinuxのchattrでディレクト…
自律型コーディングエージェントの性能は、モデル能力だけでなく「ハーネス」の設計に大きく依存する。本研究は、実行ループを固定し、planning・action space・context managementの3要素を変化させ、4モデル・176設定をSWE-Bench VerifiedとTerminal-Bench 2.1で評価。コンテキスト管理は予算が厳しいほど有効で、その利益の大半はオーバーフ…
古代ギリシャ語には、インド・ヨーロッパ祖語に遡れない約1,000の単語が存在する。labyrinthos（迷宮）、elaía（オリーブ）、AchillesやOdysseusといった名前まで含まれるこれらの語は、ギリシャ以前にエーゲ海地域に住んでいた人々の言語、すなわちPre-Greekに由来する可能性が高い。本記事は、言語の地層モデル（基層語・上層語・傍層語）を用いて、借用語を特定する方法を解説…
WaymoがSingapore進出を発表。来年から手動運転による地図作成と検証走行を始め、2027年に自動運転システムの認可を申請、2028年に商用サービスを開始する計画だ。全電動のJaguar I-PACEと第5世代Waymo Driverを使用し、Singapore Green Plan 2030や既存の公共交通網と補完し合うことを目指す。
Zedは、エージェントとのコーディングとレビューを同じ場所で行うマルチプレイヤー環境「Delta」のパブリックベータを公開した。Deltaはコミットやプッシュに依存せず、スレッド単位で共同作業を進める。Zed自身のリポジトリではPull Requestを無効化し、33人が570件の変更をDelta上でmainにマージ済みだ。DeltaDBはGitと互換性があり、既存のワークフローとも併用できる。
ByteShapeがQwen 3.8 27B向けのフルShapeLearn量子化モデルを公開した。5モデルすべてが品質と速度のフロンティア上に位置し、デフォルト推奨のGPU-5はBF16の総合スコアの99.63%を13.1GBのVRAMで達成する。小型のGPU-4も11.0GBで98.72%に達し、より高速だ。MTPやDFlash2による投機的デコーディングは全モデルでスループットを向上させる。
Voronoiノイズを使ったシェーダーを制作中、特定のWindows PC（RTX 4070）でのみアニメーションがカクつく問題が発生。複数のデバイスで再現しない中、LLMの提案でfract(x)をx - floor(x)に置き換えると症状が消えた。しかし、その後の検証でLLMの仮説は誤りと判明。手作業でのデバッグと逆アセンブルを通じて、思わぬ原因にたどり着くまでの一部始終を綴る。
2026年7月8日、Telstraのモバイル網が大規模障害に見舞われた。原因はメルボルンの1台のGPS受信機が定期保守から戻った際に「今年は2006年」と誤認し、その誤った時刻がネットワーク全体に伝播したことだった。NTPの階層構造とピアリングの組み合わせが引き起こしたタイミングループにより、単一のGPSカードが豪州最大のモバイル網で最も権威ある時刻源となっていた。独立調査報告書が明らかにした、…
数学に詳しくない筆者が、ClaudeとChatGPTを駆使して、50年前にJohn Conwayが提起した超現実数の「omnific integers」に関する未解決予想のLean証明を試みた。1ヶ月と大量のトークンを費やし、独立検証はまだだが、Palomar registryの機械的チェックを通過し、専門家からも声明が正しいとの意見を得ている。AIとの対話から生まれた証明の舞台裏を綴る。
北朝鮮の核実験が引き金となり、数年単位で地震が続いている可能性が議論されている。Hacker Newsでは、小さな地震が頻発する方が巨大地震より良いのか、それとも大規模地震を誘発するリスクがあるのか、意見が交わされた。地震のエネルギーは対数スケールで、マグニチュード3の地震3万回分がマグニチュード7に相当するという指摘も。また、地震の規模を区別せずに報道する記事の姿勢にも疑問が呈された。
Second Circuitは、国境警備隊が渡航者の電子機器を容疑なしで捜索できると判断した。Knight First Amendment InstituteとRCFPは、令状を要求すべきだとする意見書を提出していたが退けられた。判決は、携帯電話に含まれる私的な思考や人間関係、報道関係者の機密情報源の名前などが、令状なしで捜索される危険があると指摘している。
Minimal Companyが2026年12月発売予定のMinimal Phone 2を発表。4インチOLED、物理QWERTYキーボード、集中を促すMinimal OSを搭載し、価格は599ドルから。Androidアプリはそのまま使え、ブートローダー解除やGoogleサービスなしの公式ROMも提供。平均的なユーザーが1日186回もスマホを手に取る現状に対し、画面依存を減らす設計を追求した一台…
AI規制の欠如が問題ではない。FTCや司法省は既にAI企業の調査・執行を行ってきたが、政権交代や司法のエリート consensus により法の支配が強大な企業に適用されなくなった。OpenAIがpaywallを回避してNYTをスクレイピングし、Microsoft幹部が「人類史上最大の労働窃盗」と認めた事例は、既存法で対処可能なのに放置されている。真の問題は、権力者に法が及ばないというエリートの合…
「Ask A Monk」は、AIを一切使わず、すべての回答を人間が匿名で行うオンラインの質問箱だ。誰にも言えない悩みを匿名で投稿し、見知らぬ誰かが答える。友人関係の悩みや恋愛の不安など、すぐに答えの出ない問いが並ぶ。運営者は「誰もあなたの人生を直せないが、しばらく一緒に背負うことはできる」と語り、危機介入サービスではないと明記している。
IEEE標準のsubnormal数は演算を遅くすると知られ、ゲームや機械学習の現場では避けられることがある。Daniel Lemire氏がC++ベンチマークでIntel、AMD、Armの最新CPUを比較したところ、IntelのGranite RapidsとEmerald Rapidsではsubnormalを含む乗算が通常の45〜50倍遅く、除算も18倍遅かった。依存チェーンでは1ステップあたり1…
Gooseはヒープを持たず、すべての動的値がコンパイラ管理のデータスタック上にインラインで存在するメモリ安全なシステム言語。16ベンチマークでC++の1.16倍、安全なRustの1.12倍の速度を、それぞれ1.3倍、1.2倍少ないメモリで実現。アロケータもGCもライフタイム注釈も不要で、参照は成長後も有効、データはそのままファイル形式になる。
Treasury DepartmentのTICデータによると、外国の中央銀行と政府が保有する米国債は7月に市場価値で3.77兆ドルへ減少し、2012年とほぼ同じ水準になった。この間、発行残高は約3倍、インフレは48%進んでおり、「外国公的部門」の保有シェアは2007〜2009年のピーク時の38%超から12.8%へと急落、1993年以来の低さとなった。代わりに存在感を増すのは、Cayman Isl…
Washington State Universityの遺伝学者Cameron Peaceが、Maineの放棄農園で見つかった謎の木「AMHO-504」のDNAを解析したところ、北米のAppleの系統図に予測されていた空白と完全に一致した。数百品種の祖先にあたる生きた木が発見されたのだ。Appleは米国で最も食べられる果物だが商業品種は15種に集中し、気候変動や病害で脅威にさらされている。失われ…
MS-DOSグラフィックス時代を懐かしむ開発者が、OpenAIのNavier-Stokes発表に触発され、1990年頃の386で動く可視化デモを制作。Burgers渦をルックアップテーブルで近似し、パレットサイクリングとパーティクル追跡の2種類を実装。最終的にPALETTE.COMを946バイト、PARTICLE.COMを1KB未満まで最適化。JavaScript版とNASMアセンブリ版を公開し…
FuzzyGraphは、方程式を従来の二値モードではなくファジーモードで可視化する。これにより、これまで見えなかった「ブラックホール」や「影の線」、さらには水面下に隠れた「水中島」まで浮かび上がる。誤差の地形を可視化することで、方程式の新たな側面が見えてくる。
C++ではwhile(true);のような無限ループが未定義動作とされ、Clangはループを削除してリンカが配置した関数を実行することがあった。C++26のP2809R3は、本体が空で制御式が定数trueの「自明な無限ループ」を明確に定義し、std::this_thread::yield()呼び出しに置き換える。組み込みやカーネルで使われる停止パターンの安全性が向上する。
ボリビアのYungasの森に生息する斑点のある小型ネコが、DNA研究により新種Leopardus tilcayoとして確認された。これまで他のトラネコ類と混同され、見過ごされてきた。保護施設で飼育される「Tigrino」という名の10歳の個体が発見の手がかりとなり、研究チームは博物館標本と生体のDNAを分析。トラネコ類は3種ではなく5種存在する可能性が示された。この発見により、ネコ科の既知種は4…
英国の航空管制サービス大手NATSが、9月8日に広範な混乱を引き起こした技術障害の予備調査報告書を公開した。運輸大臣Heidi Alexanderの要請によるもので、原因と復旧の経緯を説明している。CEOのMartin Rolfeは、2023年8月の大規模システム障害とは無関係であり、軍事的介入によるものだという憶測も否定した。
office365_flakeは、Nix Flakesとスクリプトを使ってMicrosoft 365をLinux上で仮想化なしに動作させるプロジェクトです。通常のWineでは動かないOfficeを、umu-launcherとGE-Proton（Valveがゲーム向けに提供するWineビルド）の組み合わせで実行します。BottlesプロジェクトのProtoSoda Wineコアも代替ランナーとして…
唯物論の前提に立つと、意識は物理的プロセスから生じる。ならばUnited Statesのような大規模な社会システムも、その複雑な情報処理と組織構造によって、何らかの意識を持つ可能性がある。この哲学的議論は、意識の定義と範囲を根本から問い直す。
元NASAチーフアストロノートのCharlie Precourt氏が、Atlantisでの自身初の着陸を振り返る。マッハ1、高度50,000フィートからエンジンなしの滑空で、わずか3分25秒後の195ノットでのタッチダウン。HACと呼ばれる螺旋状の進入路を辿り、12,000フィート/分の降下率で誤差も許されない。1,700回の練習アプローチとEileen Collinsとの緊密な連携が、不可能を…
CognitionがDevinの新機能「Code Scans」を発表。SEO改善やコンパイル高速化といった広範なエンジニアリング目標を、コードベース全体の調査からPR作成まで自動化する。Agentic MapReduceにより並列エージェントで調査を分散処理し、Dioxusのクリーンビルドを58.6秒から21.0秒へ64%短縮。テスト導入チームではPRマージ率96%、700時間以上の工数削減を報…
20世紀初頭、薬剤師で鳩愛好家のDr Julius Neubronnerが、鳩に軽量カメラを装着して空撮を行う「鳩カメラ」を発明した。1908年に特許を取得し、国際的な注目を集めた。鳩は60マイル先から帰巣する性質を利用し、空気圧式タイマーでシャッターを切った。写真は歪んだ角度とランダムな構図で、当時としては斬新だった。ドイツ軍も西部戦線で試験したが、飛行機の偵察技術の進歩により、鳩は伝令の役割…
Rustクレートgearhashがバージョン0.1.4でNEONバックエンドを獲得し、ARM64上で約2倍高速化した。著者は2019年にFastCDC論文のGEARローリングハッシュをSIMD化したのがきっかけでこのクレートを作成。当時はARM64を最適化対象と考えていなかったが、Apple M1やAWS Gravitonの普及、Hugging FaceのXetクライアント採用により状況が一変。…
著者はiRig HD Xのファームウェアを書き換え、内蔵の500 MHz Cortex-M7と128 KiB FlexRAMにNAM A2-Liteエンジンを実装した。5150+OD808のキャプチャを16フレーム（0.333 ms）ブロックでリアルタイム処理し、上流のNAMCoreと比較して相対ヌル−115.63 dB、相関0.9999999999985を達成。PCを介さず、インターフェース単…
2004年にKimとVuが提唱した「サンドイッチ予想」は、ランダム正則グラフをランダム二項グラフで挟み込むことで、解析が難しい正則グラフの性質を容易に導けるというもの。2025年、Montgomery、Behague、Iľkovičの3人がエッジを1本ずつ同時に構築する巧妙な手法で完全証明を達成。これにより、正則グラフの多くの性質が二項グラフの既知の結果から自動的に得られるようになった。
独立研究者Ashok Khosla氏が、インカ帝国の結縄「キープ」を解読するためのオンライン・フィールドガイドを公開した。世界最大となる703点のキープを収録し、精緻な図解とインタラクティブな可視化で構造を分析できる。共同研究者Manuel Medrano氏との論文では、データサイエンスによる解読パターンの発見も報告されている。
Rickubは、リポジトリ管理、コードレビュー、CIを統合したオールインワンのGitホスティングサービスです。GitHubやGitLabより高速で独立し、安価でありながらデータの安全性を損ないません。マージリクエストのインラインレビュー、GitHub Actions互換のCI、Athena AIによるコードレビュー、コンテナレジストリ、CLI/API/MCP連携など、チーム開発に必要な機能を網羅…
Miro Bannwart氏の個人プロジェクトGrassLobsterは、Rhino/Grasshopperのパラメトリックモデリングに外部AIエージェントを接続する実験的プラグインだ。アイデアを伝えると、エージェントが対話を通じて寸法やルールを詰め、接続されたGeometry Stationsとしてワークフローを構築。変更可能なパラメータと可読なプロジェクトファイルで、設計意図を保ったまま反復…
Needle 2は、4500万パラメータながら14MBの単一バイナリに収まり、28MBのRAMで動作するオープンなツール呼び出し・デバイス操作・構造化抽出モデルです。Cactus Quantsによる2bit量子化と独自エンジンで、Raspberry Pi 5上で毎秒500トークンのデコードを実現。Meta Quest 3SやApple Vision Pro、200ドル以下のスマートフォン、さらに…
リスト項目のアイコンとテキストの垂直配置は、テキストが複数行になると途端に難しくなる。著者は、アイコンがHTML要素の場合と疑似要素の場合の2つの解決策を紹介。`align-items: start`と`lh`単位を組み合わせ、アイコンのサイズやフォントサイズ、コンテナ幅が変わっても正しく中央揃えされる方法を解説する。
Javaの軽量スクリプト言語BeanShellが、長い中断期間を経てバージョン3の開発を再開した。Hacker Newsでは「懐かしい」「帰ってきた」と歓迎の声が相次ぎ、かつてAndroid開発でデバッグ用REPLとしてtelnet経由で使っていたという当時の活用例も共有されている。
CodeYamの創業者Nadia Eldeib氏が、Design SprintとGV Research Sprintをベースにした定性的ユーザーリサーチの実践法を共有。プロダクトマーケットフィット前のスタートアップにとって、学習速度が生死を分ける。同氏は、AIツールで仮説検証を加速しつつも、人間の顧客やユーザーとの対話を置き換えるべきではないと強調。失敗を早期に発見し、学びを得ることで、限られた…
Hacktronの研究チームが、HEIF/HEIC/AVIF画像をデコードするネイティブC/C++ライブラリ（libheifやlibde265）に潜む脆弱性群「HEIF Heist」を公表。攻撃者は細工した画像をアップロードするだけで、バージョンを特定し、メモリ破壊や情報漏えい、リモートコード実行（RCE）を引き起こせる。OpenAIの非公開リポジトリのダンプ、SlackのRCE、Meta製品群…
Scryは、AIエージェントがインターネット上の数十億件のドキュメントに対して直接クエリを実行できるMCPサーバーです。Reddit、Hacker News、arXiv、Stack Exchange、Wikipediaなど43のソースから約1,587億行のデータを保持し、エージェントはSQLライクな言語で複雑な検索、フィルタリング、ベクトル検索を一度に実行できます。従来の検索のようにリンクをたど…
AIエージェントのプラグイン配布層を突く初のサプライチェーン脆弱性。SHAピン留めを回避し、悪意あるコードをゼロクリックで実行させる。Claude CodeとCodexは修正済みだが、GitHub Copilotは未修正、Gemini CLIは非推奨のため恒久的に脆弱なまま。
Claude Code、Codex、Cursorなど複数のAIエージェントを使い分けると、目標や決定、編集中のファイルは各セッションに閉じ込められ、切り替えのたびに説明し直す羽目になる。Orbitalは作業単位をセッションからプロジェクトへ移し、状態・決定・教訓・作業キュー・成果物をローカルのプレーンファイルとして保持。どのエージェントでも同じ文脈を引き継げる、オープンソースのプロジェクトエージ…
数学パズル「Mrs. Perkins' Quilt」をキルトとして縫うとき、角を縫うL字縫い目を最小いくつにできるかを探求。n=1から17までの最小L字縫い数目a(n)をデータで示し、0,0,0,0,0,0,1,0,1,0,1,1,2,1,1,2,2,…という数列を提示。ギロチンカットで残りを切るには角をどう減らすかという視点も紹介する。