日刊ダイジェスト · Hacker News

· 89 ハッカーニュース

  1. AnthropicがClaude Fable 5.2とClaude Mythos 5.2を発表。同じ基盤モデルで、Fableはサイバー・生物学のセーフガード付きで全ユーザーに開放、Mythosは審査プログラム経由で提供される。ブラックホール物理学の未解決問題を2件解決し、1,000体のエージェントでフェルマーの最終定理を30時間で形式化。生成速度は最大30%向上し、価格も引き下げられた。

  2. 折り紙飛行機の専門サイトFoldable Flightが公開する109機の設計図。世界記録を持つ機体も含まれ、滞空時間31.2秒のUnite、300フィート以上飛ぶFirefly 5の試作機、100万回以上再生されたArrowheadの折り方などが揃う。難易度や速度・滑空性能の指標付きで、クリックすれば折り図を閲覧できる。

  3. Shane Melaugh氏がGemini 4 Argonに1,400件のClaude Codeセッションを分析させたところ、11月3日を境にモデル名は変わらないまま推論の仕方が急変していたことが判明した。「high」設定での推論量は激減し、実バグのテストではhighは即座に動いて混乱し3時間かけても修正できず、xhighは数分で解決したという。

  4. ある自動車メーカーのコネクテッドカー基盤を調査したセキュリティ研究者が、公開されたadminツールのJavaScriptバンドルにForgeRock OpenIDMの管理者認証情報が平文で埋め込まれているのを発見。WAFをパストラバーサルで回避し、任意ユーザーのパスワード変更とMFAスキップを経て、遠隔解錠やエンジン操作が可能なトークンを取得できた。ナンバープレートからVIN、契約者情報、メール…

  5. AI企業の巨額支出はデータセンター建設という一時的な設備投資であり、運用コストは比較的低い。AnthropicのS-1ではコンピュート1ドルあたり2.08ドルの収益を計上し、売上は2023年の4100万ドルから2026年上半期には163億ドルへと急増。Googleの「堀はない」というメモを引き合いに、競争が激しくても利益は出せること、未上場企業には調達余地が残ること、主要公開企業のPERが20倍…

  6. USPSがPostalProでZIP Code™の境界ポリゴンを公式提供する。配達先住所と位置情報に基づく全国地図で、四半期ごとに更新。地図・物流・保険・不動産・ナビゲーションなど幅広い業界が、既存データの補正や配達区域のルーティング最適化に活用できる。Internal、Enterprise、Publicationの3種類のライセンス形態が用意されている。

  7. Payments Canadaがカナダの即時決済システム「Real-Time Rail(RTR)」を開始した。金融機関や信用組合、決済サービス事業者が24時間365日、リアルタイムで決済を清算・決済できる。ISO 20022に基づくデータ豊富なメッセージングを採用し、C.D. Howe Instituteは10年間で最大145億ドルのコスト削減と160億ドルの経済効果を見込む。G7で初めて、稼働…

  8. 15世紀に明の皇帝が命じて編纂された永楽大典は、約600年にわたり史上最大の参考資料の座にあった。それをわずか6年で追い抜いたのが、フロリダの混沌としたオフィスから始まったWikipediaだ。25周年を迎えた今、共同編集の百科事典は300以上の言語で300億語に達し、ラテン語版だけで『Encyclopedia Britannica』より記事が多い。しかし、インターネット史上最も異例な成功を収め…

  9. Googleは2023年、GmailやDriveの個人コンテンツは「人間のレビュアーには見られない」と明言していたが、この約束を静かに撤回していた。@タグなしの何気ない会話でも、Connected Appsが裏でWorkspaceを検索し、ファイル全文がセッションに取り込まれることがある。しかもその挙動は確率的で、再現テストを一度試しただけでは否定できないと指摘する。

  10. 10年間Harvestを愛用してきたフリーランスの著者が、Bending Spoonsによる買収後の急激な値上げを報告している。月13.32ドルだった料金は「エンタープライズ」プランへの移行で133.98ドルに跳ね上がり、「フレックス」プランではカード手数料に加えて売上の2%が上乗せされる。問い合わせても人間は応答せず、LLMが長文を返すだけだという。

  11. Josh Strange氏は、自分のブログ記事やHacker Newsのコメントを読んだ人からのメールを長年楽しんできたが、ここ2年で大半が営業目的に変わったと語る。Claudeに2013年以降のメールを分析させたところ、営業メールの割合は2022年の20%から2026年には88%まで急増。LLMが本物のコメントに合わせた説得力のある文面を容易に作れるようになったことが背景にある。

  12. カナダ保健省が約6000人の国民参加を得た協議の結果をまとめた報告書を公表した。メンタルヘルス、社会的孤立、助けを求めることへの障壁が男性と少年たちの主要な課題として浮かび上がった。この知見は2027年初頭に公表予定のカナダ初の連邦男性健康戦略の策定に活用される。Movember Canadaの2025年調査によれば、男性の健康改善は年間約124億ドルの経済効果をもたらす可能性があるという。

  13. 2024年11月8日のHacker Newsフロントページを振り返る。ミトコンドリアの生命性を論じた記事が638ポイント、macOSのサンドボックス脱出脆弱性が582ポイント、Obra Dinnの1ビットディザリング技法が527ポイントと、技術と知的好奇心に満ちた話題が並ぶ。FDAが無効な経口充血除去剤の販売中止を提案したニュースや、Claude Shannonのジャグリングにまつわる逸話も上位…

  14. Artificial AnalysisのIntelligence Index v5.0.1で、Claude Fable 5.2(max)が65点を獲得し、これまでの最高記録となった。同インデックスはAA-BriefcaseやTerminal-Bench 4.0、HLE-Diamondなど9つの評価を組み合わせたもの。知能指数とタスクあたりのコストの関係やトークン使用量、コンテキストウィンドウなど…

  15. 農地と太陽光発電を同じ土地で両立させるアグリボルタイクス。新研究では、赤と青の波長を透過し残りを発電に回す半透明のCdTe薄膜パネルを使い、マゼンタ色の光の下でブロッコリーを栽培した。収穫は25日遅れたものの収量はほぼ変わらず、光合成の効率を示す指標は最大4.5倍に向上。米国の農地の1%で電力需要の2割を賄える可能性も示される。

  16. Raspberry Piが16GB RAM搭載モデルの価格を再び引き上げた。Raspberry Pi 5 16GBは385ドルとなり、4月の値上げからさらに80ドル上昇。CM5は375ドルから。2025年1月の発売時は120ドルだったことを思えば驚くべき変動だ。MicronはRAM不足が少なくとも2028年まで続くと予測し、SK Hynixは2030年まで解消しない可能性を指摘する。NVIDIA…

  17. e-meansは、指数移動平均によるミニバッチ更新を採用した新しいk-means最適化手法。Lloyd法が25エポックかけて到達するテスト損失をわずか1.2〜3エポックで下回り、GPUでは10〜45倍、CPUでは8〜15倍の実時間短縮を実現する。バッチサイズとステップ幅はスケーリング則から自動決定され、ハイパーパラメータ調整は不要。局所解からの脱出率も大幅に改善している。

  18. Metaが最小・最高効率モデルMuse Emberを発表。ツール呼び出しやコーディングの小タスク、ルーティング、長文書解析などエージェントが日常的に繰り返す処理に特化する。Claude Haiku 5.5の最高スコアに約3分の1のコストで並び、GPT-6 Lunaの全設定を上回ると主張。Artificial Analysisの効率フロンティア上でも、タスクあたりのコストで上回るモデルはないとされ…

  19. Watched.earthは、地球上の任意の場所を入力するだけで、過去7日間にその上空を通過したすべての衛星と、それらが実際に撮影した写真を確認できる画期的なWebツールです。衛星の軌道データと撮影画像を組み合わせ、宇宙からの監視を可視化します。使い方は簡単:場所を入力するだけで、通過した衛星のリストと写真が表示されます。すでに4,900以上の地点がチェックされており、24時間以内に4,810地…

  20. mallocは一見シンプルだが、内部ではbrkやsbrkによるシステムコールを最小限に抑え、チャンクヘッダやフリーリスト、分割と結合、デマンドページングを駆使している。この記事では、1000回のmallocがたった2回のbrkで済む仕組みから、sbrkベースの簡易アロケータを段階的に改良してメモリをカーネルに返却するtrimまでを、実測値とともに解説する。

  21. Googleが第8世代TPUポートフォリオにTPU 8txとTPU 8i Maxを追加し、1年で4システムを投入した。8txはAMD EPYC CPUと組み合わせ、データを利用中も暗号化したまま保護する機密推論向け。8i Maxは2つの8iチップを1パッケージに束ね、演算・SRAM・HBM帯域を倍増させて巨大なコンテキストウィンドウに対応する。PyTorchのネイティブ対応やTPU Syncなど…

  22. ChatGPT DesktopがローカルのSSH agentをリモートマシンへ転送しており、そのマシン上のagentが自分のSSH認証情報を使って認証できる状態だった。GitHubのプライベートリポジトリへのpushも可能になるという。投稿者はopenai/codexのPRの議論を証拠として挙げている。コメントではmacOSのSecure Enclave内のSSH鍵を使い、セッションごとに指紋認…

  23. スイス登録の非営利団体Ethereum Foundationが、今後1000年を見据えた38ページの文書を全社員に配布し、自殺しない旨の誓約への署名を求めたと、コロラド州ボルダー在住の女性が不当解雇と差別を理由に提訴した。誓約に反対した幹部らが解雇されたと訴えている。

  24. 拡散言語モデル(DLM)は並列サンプリングで高速だが、ステップ数を減らすと品質が急落し、毎ステップ全系列を処理する必要がある。本論文はNext-Concept Modeling(NCM)を提案する。multiscale residual VQ-VAEでテキストを階層的な離散コードに符号化し、transformerが1レベルずつ全コードを並列予測する2段階の粗から細への枠組みだ。同規模のパラメータ…

  25. AWS、Azure、そしてneocloud各社のオンデマンドGPU価格を「1GPUあたり1時間のドル」に正規化し、同一のGPU同士だけで比較した調査。H100 SXM 80GBはRunPod Communityの2.69ドルからAzureの12.29ドルまで4.57倍の差がつき、1カ月連続稼働なら1,964ドルと8,972ドルになる。ただしこの差は単純な利益率ではなく、InfiniBandやデー…

  26. Alfonso Cuarón監督の『Children of Men』(2006年)は、人類が子どもを産めなくなった近未来を舞台に、P.D. Jamesの小説を大胆に脚色した作品だ。Cuarónは『Y tu mamá también』の手法を未来に持ち込み、世界観の説明をあえて省き、移民収容所やプロパガンダなど権力の暴力を主人公Theoの視点で描く。公開から20年、その切迫感は増すばかりだと著者は…

  27. CUIは、約64のコンポーネントを備えたC言語向けネイティブUIライブラリ。イミディエイトモード方式で、変数がそのまま状態となり毎フレーム画面を描き直すため同期の手間がない。1フレーム0.1〜0.25ms、アプリ全体で約250KB、依存ゼロという軽さで、Win32・Cocoa・X11やSDL2・GLFWに対応する。

  28. C++26のDIS投票が史上初めて否決された。原因はcontracts機能をめぐり、WG21が強いコンセンサスを持つ一方で、言語の生みの親Bjarne Stroustrupが「設計が根本的に欠陥」として反対したことにある。Herb Sutterは、C、JavaScript、Perl、Python、Rustなど他言語でも起きた創設者と所有者の対立の歴史を整理し、C++26の進むべき道を率直に論じる。

  29. 韓国のスタートアップDeepXが、SamsungのLPDDR5x-PIMを採用した第2世代AIアクセラレータDX-M2をテープアウトした。5W未満の消費電力で最大1000億パラメータのモデルを推論でき、GEMV演算をメモリ内にオフロードすることでLlama3.1-8Bでは毎秒トークン数が6.7倍になると試算している。2027年3月にサンプル出荷、同年秋の量産を目指す。

  30. DiscordがGPUIへの書き換えを発表するなど、Rust製ネイティブGUIフレームワークへの移行が進む中、著者はGPUIとeguiの状態モデルが複雑なデスクトップアプリには行き詰まりだと主張する。GPUIの`notify`はzone.jsと同様に「変化したかもしれない」ことしか伝えられず、3,000行のUIで1つのラベル変更に8.4ms、キャッシュなしでは92msかかる。精度を上げるにはビュ…

  31. Flideは、Jevスタイルの意思決定モデルに特化した高速推論インフラです。「Exact State Forking(正確な状態フォーク)」という独自技術により、1つの状態から複数の質問へ分岐する処理を無駄なく実行し、vLLMやSGLangと比べて最大9.4倍高速化を実現します。しかも各回答は、その質問を単独で投げたときとまったく同じ結果になります。Qwen3.5やGemma 4、OneJev、…

  32. GleamはBEAMとJavaScriptの両方をターゲットにできる関数型言語で、シンプルな構文と強力な型システムを備える。パイプ演算子やuseパターン、末尾呼び出し最適化といった特徴を持ち、Rustに慣れた開発者なら8割のコードはほぼそのまま移植できる感覚だ。BEAMの軽量プロセスとOTPの監視モデルにより、障害に強い並行システムを構築できる点も魅力だと著者は語る。

  33. Appleが一部エンジニアの1日あたりのAI利用予算を300ドルから200ドルへ引き下げたと報じられた。現金が足りないからではなく、生成AIを無制限に使うとコストが指数関数的に膨らみ利益率を圧迫するためだ。無制限のトークン投下は終わり、賢いキャッシュや小型モデルへのルーティング、プロンプト最適化といった「極端な効率」が次の競争優位になると筆者は説く。

  34. あるRedditユーザーが、AIエージェントにコード生成を全面的に委ねた現場で1年後に起きた事態を報告。ヘルパー関数が4か所に重複し、誰も全体像を把握できず、依存関係の更新のような小さな変更すら大仕事に膨れ上がった。コメント欄では「生産性は持続可能な範囲で+50%まで」「理解していないコードは技術的負債そのもの」と、速度より理解と所有権を重視する声が相次いでいる。

  35. zebkitはBlinkやV8、PDFium、FFmpegなどChromeの中核を1つのライブラリとしてアプリに組み込めるようにする。Electronのようにランタイム上にアプリを構築するのではなく、SQLiteを足す感覚で自分のプロセスとUIを保ったままWeb機能を追加できる。最新Electron比でサイズ34%減、コールドスタート2.3秒対6.6秒、メモリ29%削減。C/Rust/Pytho…

  36. Infineonが世界で初めて300mm径のパワーシリコンカーバイド(SiC)ウェハの製造に成功したと発表した。従来の150mmや200mmに比べ大口径化により、1枚あたりのチップ生産量が大幅に増え、コスト削減と供給拡大につながる。電気自動車や再生可能エネルギー向けパワー半導体の需要増に対応する量産体制の基盤となる技術的な節目だ。

  37. デジタル式キッチンタイマーの操作性に不満を感じた作者が、古い盤面型パネルメーター(Crompton 244-05VG-LS)を再利用し、メープル材の筐体に収めた自作タイマーを製作。ダイヤルは1分・5分・30分の区切りで4つの線形区間に分割した「準対数」スケールを採用し、回転ノブで直感的に時間を設定できる。制御は8ビットAVRマイコンによるシンプルな回路で、コードも公開されている。

  38. VM/370 Community Editionは、IBMがライセンス制限なしで公開した最後のVM/370に多数の改良を加えたOSだ。Dockerコマンド一発で起動でき、3270端末エミュレータ経由でCMSにログオン。PROFILE EXECの編集、BASICやFORTRANのコンパイルと実行まで、往年のメインフレーム環境を手軽に体験できる。

  39. DBDelveは、RustとZedのUIフレームワークGPUIで構築されたオープンソースのデータベースクライアントです。DBeaverのような重いツールに悩む開発者に向け、軽快さと快適な操作感を追求しています。起動時間やメモリ使用量、大量行のクエリ性能でDBeaverを大きく上回り、100万行・100列のデータでもスムーズにスクロールできます。読み取り専用からフルアクセスまでの権限モード、カスタ…

  40. 大規模言語モデルの強化学習向けフレームワーク「Jam」を約10か月かけて自作した著者が、その過程で得たGPUの基礎知識を解説する。fp32からFP8までの浮動小数点形式、スレッド・ブロック・ワープ・SMの関係、HBMやレジスタ、共有メモリ、キャッシュ、オキュパンシーといった概念を整理し、実際のカーネル最適化の勘所とLLMを使った開発ワークフローへとつなげる。

  41. 私は毎日、複数のクライアントプロジェクトでAIエージェント(コーディングエージェントやチャットアシスタント)を使っています。最も時間を費やしているのは作業そのものではなくコンテキストです。過去の決定事項や特定のクライアントにだけ適用されるルールを再説明したり、先週エージェントが何をなぜ行ったかを思い出したりする必要があります。さらにツールを切り替えると、それぞれが独自のメモリを持つため状況が悪化…

  42. アメリカ建国200年を記念して1976年に行われたBicentennial Wagon Trainでは、2200万人が署名した約91万枚のscrollが集められ、100年後のためにアルミ製タイムカプセルに納められた。しかしそのカプセルは、式典の喧騒の中で忽然と消えてしまった。International Time Capsule Societyの共同創設者Paul Hudsonによれば、タイムカプ…

  43. PHPの静的解析ツールPsalmのメジャーバージョン7が登場。型チェック・セキュリティ解析・デッドコード検出を1回の実行でまとめて行えるようになり、テイント解析がデフォルトで有効になった。テイントをビットマスクで保持するなど内部を刷新し、解析は最大10倍高速化。LLMプロンプトインジェクションやNoSQL、URLインジェクションの検出にも対応し、GuzzleやMonologなど主要ライブラリ向け…

  44. 2025年10月から2026年9月までの1億ドル以上の資金調達903件を集計すると、NVIDIAとその投資部門NVenturesは79件に関与し、Sequoia(75件)やAndreessen Horowitz(73件)を抑えて最多だった。NVIDIA単体でも65件で、LightspeedやGeneral Catalyst、Accelを上回る。大型ラウンドの38%にコーポレート投資家が参加してお…

  45. プロンプトがトークンになるまでの処理を、Llama 3.2 1B Instructを例にC++17とCUDAで自作する学習プロジェクト。SafeTensorの読み込み、RMSNormやRoPE、SwiGLU、KVキャッシュ、ページドアテンション、連続バッチ処理までを段階的に実装し、6時間超のYouTube動画とAIを使わずに書いた85ページ超の手書きノートで解説する。

  46. MeowDisplayは、iPhone、iPad、Android端末、あるいは別のMacを、あなたのMacのディスプレイとして使える無料のオープンソースアプリです。画面をそのままミラーリングするだけでなく、独立した拡張ディスプレイとして利用でき、タッチ操作でMacを直接コントロールできます。個々のウィンドウをタブやペインとして自在に配置する「Window view」、指先ひとつで自然にスクロール…

  47. CLASPが公開した「DOGE Tracker」は、Department of Government Efficiency(DOGE)の下で検討・実施された連邦プログラムの削減を、機関・人員削減数・影響を受ける世帯や人数ごとに整理したフィルタ可能な表形式のデータツールだ。CDCのHIV・結核対策部門で約2,400人、NIOSHは部門ごと廃止、Head Startは約77万8千人に影響。出典や時系…

  48. PixelOSはAOSPをベースにしたROMで、GoogleアプリとPixelの魅力を一式搭載。性能強化と少数の便利な追加機能を備え、Google Pixel端末に近い体験を目指す。

  49. 2015年に登場したPigshellは、ブラウザ上でUnixシェルを動かし、9p経由でWebサービスにアクセスできるようにする試みだ。投稿者は9p的な設計を高く評価しつつ、小さなファイル群でアプリやシステムが相互運用する未来を夢想する。LLMが状態を読み書きする環境としての可能性にも触れる一方、多数のファイルとのやり取りに必要なカーネルシステムコールが歴史的に高速でなかった点を課題として挙げてい…

  50. 1991年にオースティンのヨーグルト店で4人の少女が殺害された事件で、当時15歳だったForrest Welbornは容疑者として逮捕され、9カ月後に釈放されたものの、その後34年間にわたり市民から憎まれ、警察に追われ、人生を壊された。昨年、別の連続殺人犯が真犯人と判明し、今年2月に無実が公式に認められ、多額の補償も受けた。それでも彼の怒りと不信は消えない。

  51. Someone Was Hereは、Macがアイドル状態のときやロック画面を試したとき、またはロック解除されたときに、使用した人の写真を自動で撮影し、iPhoneに送信するセキュリティツールです。2分間の顔学習で自分自身は通知しないように設定でき、写真はiCloud経由で無料のiPhoneアプリに届きます。さらに、Pushover、ntfy、Telegram、webhookにも対応。Mac Ap…

  52. フランスのバロ外相は、10月に国内の最大700店舗の冷凍庫や冷蔵ケースを遠隔操作し、温度を50℃超まで押し上げた大規模サイバー攻撃について、イラン革命防衛隊の関与を確認したと発表した。パリ検察は革命防衛隊傘下のサイバー戦部隊Shahid Kavehを特定し、外国勢力のために行われた犯罪として捜査を開始。外相は欧州全域の制裁を示唆し、イラン大使を召喚した。

  53. ParkMobileが289都市で圧倒的シェアを占め、1回の利用につき中央値0.35ドルを課金している。最も高い定額はAnchorage, AKの0.70ドル、一方で15都市は手数料ゼロ。43州とDCの312都市を調査したデータで、PayByPhoneやFlowbirdなど他社との比較も掲載している。

  54. STE80 Humanizerは、AIが書いた文章から「AIっぽさ」を取り除き、人が丁寧に書いたような読みやすいテキストに書き換えるエージェントスキルです。Wikipediaの「AI文章の兆候」に基づく26のパターン除去と、Andrej Karpathy氏が紹介したASD-STE100(航空機マニュアル由来の制御言語)へ80%近づける再構築の2段階処理を採用。長く複雑な文を短く能動態へ整え、事実…

  55. シリコンウェハーに空気の穴を開けるだけで、紫外線を集光する平面ミラーとして機能させられるという研究。Hacker Newsでは論文のDOI(UV Mie-void reflective metasurfaces in silicon)が共有され、コンパクトな光学系への応用に注目が集まっている。

  56. Ur-Nammuは紀元前2112年頃からUr第三王朝を開き、Sumerのルネサンスと呼ばれる時代を築いた王だ。現存する世界最古の法典「Code of Ur-Nammu」を編纂し、今も遺構として残るUrのGreat Zigguratの建設を命じたことでも知られる。民を父のように気遣い、芸術や文化を奨励した一方、Gutiansとの戦いのなか紀元前2094年に戦死。SumerをGutiansの支配から…

  57. HDDやSSDの価格が高騰し、2026年にはHetznerをはじめ各ホスティング事業者が相次いで値上げに踏み切った。AIブームによる需要増で供給正常化の見通しも立たないなか、著者はAVIFやWebP、AV1/AV2といった高効率フォーマットの活用を訴える。AVIFはWebPより圧縮率に優れ、画質を保ちながらファイルを小さくできる。アップロード前にユーザー側で変換すればホスティングの負荷も抑えられ…

  58. 近年、C++はその複雑さと(感じられる)機能の肥大化により多くの批判を受けています。しかし私はC++11以降、厳格な型システム(constを含む)、範囲ベースのforループ、スマートポインタ、テンプレートでできることの多さなど、C++を書くことを本当に楽しんでいます。一方で、正しいイテレータを書くこと、右辺値参照の扱いを正しく理解すること、テンプレートを含むエラーメッセージを読むことが非常に難し…

  59. Expoチームによるクロスプラットフォームのアプリケーションランタイム。UIを宣言的な言語Contractで、データロジックをTypeScriptかRustで書き、web、macOS、iOS、Linuxでネイティブに動く。webviewもJavaScriptブリッジも使わず、最初のピクセルより前にアプリのJavaScriptは一切実行されない。エージェントがアプリを生成し、実行し、画面を見て操作…

  60. 精巣の摘出が寿命を延ばすことは多くの哺乳類で知られているが、若いうちに去勢する必要があると考えられてきた。ところが研究チームは、成体になってから去勢したマウスの寿命が33%も延び、思春期前の去勢を上回ることを発見。精巣が老化に与える影響は加齢とともに有害になる可能性を示唆する。仕組みを解明できれば、身体的な犠牲なしに去勢の恩恵を得る治療法につながるかもしれない。

  61. PRレビューやコーディングの依頼に対し、エージェントに丸投げして結果をそのまま貼り付けるだけ、時にはAIがやったことすら明かさない開発者が増えている。著者はこれを「肉のプロキシ」と呼び、同僚の時間と会社のリソースを浪費し、無監督のAI生成コードで製品を傷つける行為だと断罪。より深刻なケースでは解雇も妥当だと主張する。

  62. Secure BootはOSの完全性を保証する仕組みにすぎず、MicrosoftがサードパーティOS向けに署名したshimとMOK登録の仕組みを悪用すれば、誰でも自分の鍵を登録して任意のOSを起動できる。pkgs.orgで配布されているMicrosoft署名済みのshim-signedパッケージを借用し、EFIパーティションを細工したUSBドライブを企業端末に挿すだけで、BIOSパスワードなしに…

  63. Uniformは、テキスト・レイアウト・レンダリングを含むネイティブUIツールの完全な代替を、圧縮時280KB未満で実現するUI構築ツールキットです。CコアがウェブではWASM、他プラットフォームではネイティブコードにコンパイルされ、JavaScript APIはビルド不要で即座に変更を確認できます。SDFシェイプや連続曲線、低遅延入力処理、HDRレンダリングなどを備え、ピクセルパーフェクトなレ…

  64. RubyistのYusuke Endohが2010年に公開したQuine「The Qlobe」。実行すると出力が45度回転し、8回実行すると元の向きに戻る。コマンドライン引数で回転角度を自由に指定でき、ソースコード自体が回転した文字列を生成する仕組みをZlibと数学計算で実現している。

  65. 南アフリカの作家Coral Hartは2025年2月以降、ChatGPTやClaude、Grokを組み合わせて370冊以上の本を出版し、100万冊以上を売り上げて今年すでに100万ドルを稼いだと主張する。一方で「詐欺師」との誹謗や死の脅迫を数万件受けているという。彼女はAI作家向けソフトウェアAuthorythmの投入も準備している。

  66. エージェントに仕事を任せる機会が増える中、「エンジニアは不要になる」という声は強い。しかし著者は背理法で反論する。全員が同じモデルとハーネスを使えるなら、人間の差は縮まるはずだ。ところが実際は、優れたエンジニアは平均よりはるかに良い成果を出し続け、10倍エンジニアは100倍エンジニアになった。人間に残るレバレッジとは何かを、EmergenceとTacit Knowledgeの概念を手がかりに探る。

  67. メールが届くまでにはMUA、MSA、MTA、LDA、メッセージストアと複数の部品を通る。1980年代、組織が持てたサーバーは1台だけだったことがこの構造を生んだ。SMTPのコマンドと応答、MXレコードによる配送先の解決、SPFやDKIMによる送信者認証、MIMEによるHTML本文まで、歴史的な経緯とともに解説する。

  68. Brendan Gregg氏は、ベンチマークを実行して結果をそのまま受け入れる「パッシブ・ベンチマーキング」の問題を指摘する。実行中にvmstatやperf、eBPFなどのツールでシステム全体を分析し、真のボトルネックを特定する「アクティブ・ベンチマーキング」を提唱。単一スレッド制限やネットワークの影響など、見落とされがちな落とし穴をチェックリスト形式で解説する。

  69. 自作言語purple-gardenの作者が、SSA形式のIRからx86 JITやバイトコードVM向けにレジスタを割り当てる前段となるライブネス解析を解説する。各仮想レジスタの生存区間を(lo, hi)のタプルで捉え、ブロックを逆順に走査して定義と使用を観測するだけの簡潔な実装を、実際のRustコードとともに示す。phiノードではなくブロックパラメータと終端命令でデータフローを表現する独自IRの設…

  70. CIQのGregory Kurtzer氏が発表した報告書は、人間がアーキテクチャや制約、受け入れ基準を定め、AIエージェントが実装・診断・修正を繰り返す「Human-Directed Agentic Engineering」の実験だ。11日間で1つの永続的なコーディングエージェントが、UEFI経由で起動するRust製x86-64カーネルGinuxを生成。独自のOS機構とLinux互換層を実装し、…

  71. OLEDディスプレイの材料中で水素を重水素に置き換えると、発光効率が向上し、素子の寿命を示すLT50が非重水素品の4倍に伸びる。特に消費電力が課題だった青色発光体で効果が大きく、その成功を受けて赤・緑・黄の発光体や他の層にも採用が広がっている。重い重水素原子が不要な化学反応の速度を遅らせ、励起状態の寿命を延ばすことが理由だ。

  72. フランスの串焼きケーキを紹介する動画をめぐるHacker Newsの議論。BaumkuchenやKürtőskalácsなどヨーロッパ各地に似た菓子があることが指摘され、ナポレオンの兵士が東欧から持ち帰ったという説も。一方で「非常に乾いていて味はごく普通」という感想も寄せられている。

  73. 世界で4台目のデジタルコンピュータCSIRACは、オーストラリアのCSIR(現CSIRO)が1950年前後にシドニーで開発した。音を出すのはプログラムの進行を知らせる「ブザー」だけだったが、数学者Geoff Hillが水銀遅延線メモリの不安定なタイミングを制御し、音階を奏でることに成功。1951年のオーストラリア初の計算機会議で話題をさらった。当時録音は残らなかったが、Melbourne大学のチ…

  74. HaCI(Harmonic Contour Integration)は、RGB画像からエッジを抽出するコンパクトかつ完全分散型のアルゴリズムです。ピクセル単位のコントラスト検出から、方位選択的なプーリング、輪郭補完と抑制、そして高解像度への再投影まで、4つの段階を生物の視覚処理に倣って設計。BRINDベンチマークでODS 0.7179を記録し、481×321の画像をわずか36msで処理します。学…

  75. ポインタの出自(provenance)とは何かを、LLVM IRを覗きながらC++とRustで比較した記事。C++でアドレスをuintptr_tにキャストするとprovenanceが露出し、コンパイラは最適化を諦める。Rustのaddr()やwith_addr()、without_provenance()を使えば意図を明示でき、Miriが不正な使い方を検出してくれる。ただし現状の最適化結果は両者…

  76. Recalcは、セルごとに値・数式・ターミナルコマンド・Claude CodeやCodexといったAIエージェントを配置できる全く新しいスプレッドシートです。エージェントがリアルタイムでセルを埋めていく様子を眺めながら、任意のセルを専用ターミナルで開いてプロンプトで指示を出せます。テストを実行するセルを隣に置けば、エージェントの「完了」報告を即座に検証可能。大量の文書に同じ質問を一括で投げ、根拠…

  77. レオナルド・ダ・ヴィンチが記した「樹木の法則」は、どの高さでも枝の断面積の合計が幹の断面積に等しいというもの。しかし2022年の研究で、枝の長さを無視しているため多くの樹種に当てはまらないことが判明。2次元投影の面積保存という新たな「レオナルド的」法則が提案され、さらに2023年には樹木内部の道管でも法則が崩れることが示された。芸術作品における樹木の認識にもこの比率が関わることが2025年の論文…

  78. 銀行から依頼を受け、未払いのGulfstreamやLearjet、ヘリコプターを回収するのがNick Popovichの仕事だ。武装民兵に銃を突きつけられても「撃つなら撃て」と旅客機を奪って飛び去り、ハイチでは投獄されながらも脱出。これまで1,300機以上を回収し、Madoff事件の容疑者からも飛行機を取り戻した。不況で仕事は過去最高に忙しいという、超一流リポマンの実像。

  79. 小説家Cormac McCarthyが、Santa Fe Instituteの所長David Krakauerの序文とともに、無意識の謎を論じる。ケクレがベンゼン環を夢の蛇から閃いた例を出発点に、言語を理解できるはずの無意識がなぜ像や夢でしか語らないのかを問う。言語は必要に迫られて生まれたのではなく、脳の空き領域に寄生したという挑発的な見方を提示する。

  80. Tierra del Fuego沖のIsla de los Estadosで、考古学者らが19世紀の遭難キャンプ跡とみられる遺構を発見した。ビーズや瓶、甲板プリズム、舵の蝶番などが散らばるこの場所は、1873年に難破した帆船Esporaの乗組員が身を寄せた可能性がある。船長はアルゼンチンの著名な航海者Luis Piedra Buenaで、一行は2か月以上を島で生き延び、新たな船Luisitoを作…

  81. SSHで有効なアカウントと鍵があれば、接続してexecリクエストを送るだけで任意コマンドを実行できる——これはRFC 4254 §6.5で規定された仕様通りの動作であり、OpenSSH 2.1.1p4から10.6p2までの全104リリース、DropbearやWin32-OpenSSH、Paramiko、Goのx/crypto/sshなども該当する。認証・監査ログはすべて成功として記録され、正規の…

  82. ロボットの関節モーターには、重量あたり最強のネオジム鉄ボロン(NdFeB)磁石が欠かせない。2024年、世界の焼結磁石のうち中国が製造した割合は94%に達し、鉱山から精錬までの工程が一極集中している。標準的なNdFeBは60〜80°Cで弱まり始めるため、熱対策も課題だ。過去の供給不足と現在の輸出規制をたどりながら、ロボット産業のボトルネックを7つのステップで解説する。

  83. JPEG XLに続き、今回はHEICでSHA-256ハッシュクインを実現した。HEVCはピクセルと動きベクトルしか与えないため、エンコーダーを改造するのではなくコンパイラを一から書き、564枚の画像列にSHA-256の全64ラウンドを載せた。536MBのファイルをApple ImageIOでデコードすると、最終フレームのピクセルがそのファイル自身のハッシュを綴る。

  84. 攻撃者はQuboleの認証情報を盗み、各社がQuboleに与えていた信頼をそのまま利用してデータを抜き取った。侵入はわずか約3分、書き込みは一切なし。Sentraは外部IDの挙動を履歴と照合し、休眠していたQuboleのロールがOVHのサーバーやMullvad VPNから動き出した異常を捉え、24時間以内に原因と被害範囲を特定した。

  85. TACOは疎な線形代数・テンソル代数の計算を数行のコードで記述できるコンパイラベースのツール。CSRやCOO、CSFなど多様な格納形式に対応し、計算に最適化したカーネルを自動生成する。その性能はMATLAB Tensor Toolboxを最大で数桁上回り、EigenやIntel oneMKL、SPLATTといった高性能ライブラリと互角に競う。C++とPythonのAPIに加え、コマンドラインツー…

  86. Looptは、TypeScript、Python、Go、Rustといったお好みの言語でGitHub Actionsのワークフローを書けるツールです。書いたコードから標準的な.github/workflows/*.ymlを自動生成し、既存のYAMLを編集可能なコードへインポートすることも可能。`loopt init`でプロジェクトの構成を検出してスターターワークフローを用意し、`loopt lin…

  87. WindyMapyは、地図・天気・ルート計画を無料かつ広告なしでまとめたサービスだ。ČHMÚ ALADINとDWD ICONによる独自の天気予報、雨雲レーダー、徒歩・自転車・車のルート計画、トレッキングやパラグライディング向けのモジュールを備える。地図や標高、予報をスマホに保存でき、電波のない場所でもルート計算が可能。地図上で誰がそのルートを歩いているかも分かり、参加できる。

  88. 問題が大きくなるほど難しくなるのは、規模ではなく複雑さのせいだ。社会危機が起きると支援の「足場」を築くが、やがてそれは予算と官僚機構を抱えた恒久的な産業になる。Los AngelesのSkid Rowでは、5,000人超のホームレスを抱えながら、1.2億ドルの住宅債券の支出2.4億ドル分を正確に追跡できず、1戸あたりの費用は37.5万ドルから最大83.7万ドルまで膨張した。BromfordやBu…

  89. Jointterは、同じ盤面に複数の単語が隠されたデイリーワードパズルゲームです。前回のShow HN投稿で多くのフィードバックを受け、特に「チュートリアルがない」という指摘に対応して今回チュートリアルを追加しました。プレイヤーは特定の単語を入力する必要はなく、自由な単語を提出できる仕組みです。開発者は、多くの人がゲームを始めても最後まで完了しない課題に気づき、難易度設定やチャレンジ要素の改善に…