2. Windows Update後、パスワードアイコンが表示されなくなる。以前はあった場所をクリックしてください ↑ 100 HN Points 10:12 After Windows Update, Password icon invisible, click where it used to be (support.microsoft.com)
3. 逆数学が難しい問題がなぜ難しいのかを明らかにする ↑ 100 HN Points 10:35 Reverse math shows why hard problems are hard (www.quantamagazine.org)
4. アップル、オープンウェイト動画モデルを公開 ↑ 107 HN Points 13:10 Apple Releases Open Weights Video Model (starflow-v.github.io)
6. Ly – LinuxおよびBSD向けの軽量TUI(ncurses風)ディスプレイマネージャー ↑ 100 HN Points 12-01 Ly – A lightweight TUI (ncurses-like) display manager for Linux and BSD (codeberg.org)
7. なぜ私はAPIでJSONの使用をやめたのか ↑ 106 HN Points 02:58 Why I stopped using JSON for my APIs (aloisdeniel.com)
9. 2026年にパブリックドメインとなるものは何か? ↑ 114 HN Points 11:23 What will enter the public domain in 2026? (publicdomainreview.org)
10. AIエージェントがブロックチェーンのスマートコントラクト脆弱性から460万ドルを発見 ↑ 110 HN Points 07:44 AI agents find 4.6M in blockchain smart contract exploits (red.anthropic.com)
14. Ask HN: 誰が雇われたいのか?(2025年12月) ↑ 100 HN Points #Ask HN 00:01 Who wants to be hired? (December 2025) (news.ycombinator.com)
15. アップルAI責任者、Siri失敗の責任で退任へ ↑ 126 HN Points 06:22 Apple AI Chief Retiring After Siri Failure (www.macrumors.com)
16. おべっか使いは最初のLLM「ダークパターン」である ↑ 103 HN Points 04:20 Sycophancy is the first LLM "dark pattern" (www.seangoedecke.com)
17. 医療市場は生殖を消滅させるほどに負担を強いている ↑ 123 HN Points 05:44 The healthcare market is taxing reproduction out of existence (aaronstannard.com)
18. インテルは2027年にアップル製コンピュータに復帰する可能性がある ↑ 103 HN Points 02:46 Intel could return to Apple computers in 2027 (www.theverge.com)
19. Instagramの最高責任者が2026年より週5日の出社を従業員に指示 ↑ 100 HN Points 04:55 Instagram chief orders staff back to the office five days a week in 2026 (www.businessinsider.com)
20. 会議への参加方法 – ニューヨーク・タイムズ社内ガイドライン ↑ 131 HN Points 04:40 How to Attend Meetings – Internal guidelines from the New York Times (docs.google.com)
21. Ghosttyはxterm.js API互換性でWASMにコンパイルされました ↑ 106 HN Points 02:17 Ghostty compiled to WASM with xterm.js API compatibility (github.com)
22. 「Rubyは真剣なプログラミング言語ではない」への反論 ↑ 100 HN Points 02:16 Response to "Ruby Is Not a Serious Programming Language" (robbyonrails.com)
24. 高所得層の雇用喪失が住宅需要を冷やしている ↑ 145 HN Points 02:21 High-income job losses are cooling housing demand (jbrec.com)
25. DeepSeek-v3.2: オープン大規模言語モデルの最先端を推進する [pdf] ↑ 148 HN Points 12-01 DeepSeek-v3.2: Pushing the frontier of open large language models [pdf] (huggingface.co)
26. WordPressプラグインの不具合により英国政府OBR予算が漏洩 [pdf] ↑ 101 HN Points 12-01 WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf] (obr.uk)
27. 1970年代のベクターグラフィックスワークステーション ↑ 103 HN Points 12-01 A vector graphics workstation from the 70s (justanotherelectronicsblog.com)
28. インド政府、スマートフォンメーカーに国営サイバー安全アプリのプリインストールを義務付け ↑ 113 HN Points 12-01 India orders smartphone makers to preload state-owned cyber safety app (www.reuters.com)
29. Langjam Gamejam: プログラミング言語を構築し、それを使ってゲームを作ろう ↑ 101 HN Points 11-30 Langjam Gamejam: Build a programming language then make a game with it (langjamgamejam.com)
31. Ask HN: 採用しているのは誰ですか?(2025年12月) ↑ 104 HN Points #Ask HN 00:01 Who is hiring? (December 2025) (news.ycombinator.com)
33. Netflix、モバイルアプリから最新型テレビへのキャスト機能を廃止 ↑ 103 HN Points 12-01 Netflix Kills Casting from Its Mobile App to Most Modern TVs (www.macrumors.com)
34. 地図製作者たちはスイスの地図の中に隠されたイラストを長年隠し続けてきた ↑ 111 HN Points 12-01 Cartographers Have Been Hiding Covert Illustrations Inside of Switzerland''s Maps (eyeondesign.aiga.org)
35. 1GB Raspberry Pi 5、およびメモリ主導の価格上昇 ↑ 105 HN Points 12-01 1GB Raspberry Pi 5, and memory-driven price rises (www.raspberrypi.com)
37. 英国政府、反体制運動を「破壊活動」と指定する新権限を計画 ↑ 113 HN Points 12-01 UK Government plans new powers to label dissenting movements as ''subversion'' (netpol.org)
38. 5年間にわたりMatrixサーバーを自前で運用 ↑ 109 HN Points 12-01 Self-hosting a Matrix server for 5 years (yaky.dev)
39. 「本格的な危機」:米国民が医療費急騰に備える ↑ 100 HN Points 12-01 ''A full-blown crisis'': Americans brace for a surge in healthcare costs (www.ft.com)
40. アンチチート機能を採用したゲームと、GNU/LinuxまたはWine/Protonとの互換性 ↑ 101 HN Points 12-01 Games using anti-cheats and their compatibility with GNU/Linux or Wine/Proton (areweanticheatyet.com)
42. X210Aiは、ThinkPad X201/200をアップグレードするための新しいマザーボードです。 ↑ 102 HN Points 12-01 X210Ai is a new motherboard to upgrade ThinkPad X201/200 (www.tpart.net)
43. DeepSeek、国際数学オリンピック金メダルレベルの性能を持つオープンウェイト数学モデルを公開 ↑ 109 HN Points 12-01 DeepSeek releases open-weights math model with IMO gold medal performance (huggingface.co)
44. 自殺ドローンに襲われながら携帯電話を操作する方法 ↑ 102 HN Points 12-01 How to run phones while being struck by suicide drones (nasa.cx)
46. Google Antigravityがドライブ全体の内容を削除した ↑ 128 HN Points 12-01 Google Antigravity just deleted the contents of whole drive (old.reddit.com)
47. 欧州宇宙機関(ESA)のセンチネル1Dが初の高解像度画像を提供 ↑ 102 HN Points 12-01 ESA Sentinel-1D delivers first high-resolution images (www.esa.int)
49. グロキペディアはウィキペディアの対極にある ↑ 100 HN Points 12-01 Grokipedia is the antithesis of Wikipedia (www.404media.co)
50. ブリックリンク、35カ国でマーケットプレイスの運営を停止 ↑ 105 HN Points 12-01 Bricklink suspends Marketplace operations in 35 countries (jaysbrickblog.com)
51. 思考プログラム提示は思考連鎖を15%上回る(2022年) ↑ 101 HN Points 12-01 Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (2022) (arxiv.org)
52. ChatGPTの一般公開以前に作成されたコンテンツのみを返す検索ツール ↑ 128 HN Points 12-01 Search tool that only returns content created before ChatGPT''s public release (tegabrain.com)
54. アメリカの雇用市場は崖っぷちに近づいているのか? ↑ 124 HN Points 12-01 Is America''s jobs market nearing a cliff? (www.economist.com)
55. マイクロサービスが欲しい?でも本当に必要か? ↑ 100 HN Points 12-01 You want microservices, but do you need them? (www.docker.com)
57. AIがエルドシュ問題124番を証明した ↑ 118 HN Points 11-30 AI just proved Erdos Problem #124 (www.erdosproblems.com)
58. LLVM-MOS – 6502をターゲットとするClang LLVMフォーク ↑ 105 HN Points 12-01 LLVM-MOS – Clang LLVM fork targeting the 6502 (llvm-mos.org)
60. 人々はWindowsから逃れるためだけでなく、Linuxに次々と集まっている ↑ 107 HN Points 12-01 People keep flocking to Linux, not just to escape Windows (www.zdnet.com)
62. 「おっぱいチェック」 – CDNの背後に存在するサイトがイランでホストされているかを確認する手法 ↑ 117 HN Points 12-01 "Boobs check" – Technique to verify if sites behind CDN are hosted in Iran (twitter.com)
63. ETHチューリッヒ:デジタル設計とコンピュータアーキテクチャ;227-0003-10L、2025年春学期 ↑ 103 HN Points 12-01 ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025 (safari.ethz.ch)
67. スイスに新しい『星の王子さま』博物館が開館した ↑ 100 HN Points 11-30 A new Little Prince museum has opened its doors in Switzerland (www.lepetitprince.com)
68. AIを無理やり押し付けないで ↑ 109 HN Points 12-01 Don''t push AI down our throats (gpt3experiments.substack.com)
69. 思考のゲーム フィルム – Google DeepMind ドキュメンタリー ↑ 100 HN Points 12-01 The Thinking Game Film – Google DeepMind Documentary (thinkinggamefilm.com)
70. 現代の車はあなたを監視している。それに対してできることは次の通りだ ↑ 105 HN Points 11-30 Modern cars are spying on you. Here''s what you can do about it (apnews.com)
71. シリコンバレーのホワイトハウス入りした人物は、自身と仲間たちに利益をもたらしている ↑ 101 HN Points 11-30 Silicon Valley''s man in the White House is benefiting himself and his friends (www.nytimes.com)
72. 古いPCを捨てないでください——市販品より優れたNASになります ↑ 104 HN Points 11-30 Don''t throw away your old PC–it makes a better NAS than anything you can buy (www.howtogeek.com)
74. Windowsのドライブ文字はAからZに限定されません ↑ 108 HN Points 11-30 Windows drive letters are not limited to A-Z (www.ryanliptak.com)
75. ノルウェー政府系ファンド、マイクロソフトの人権報告書に賛成票を投じる方針 ナデラCEOに反対 ↑ 121 HN Points 11-30 Norway wealth fund to vote for human rights report at Microsoft, against Nadella (www.cnbc.com)
77. CachyOS: 高速でカスタマイズ可能なLinuxディストリビューション ↑ 112 HN Points 11-30 CachyOS: Fast and Customizable Linux Distribution (cachyos.org)
78. 悪意のあるユーザーが私のオープンソースプロジェクトを悪用するのを防ぐ方法(フィードバック募集) ↑ 101 HN Points 11-30 Stopping bad guys from using my open source project (feedback wanted) (evanhahn.com)
79. ZigbookはZigtools Playgroundを盗作している ↑ 119 HN Points 11-30 Zigbook Is Plagiarizing the Zigtools Playground (zigtools.org)
83. テストにより、自動車用ガラス破砕器は現代の自動車用ガラスを破壊できないことが判明した ↑ 100 HN Points 11-29 Testing shows automotive glassbreakers can''t break modern automotive glass (www.core77.com)
84. アメリカ人はもはや4年制大学の学位が費用に見合う価値があるとは考えていない ↑ 121 HN Points 11-30 Americans no longer see four-year college degrees as worth the cost (www.nbcnews.com)
85. Tell HN: 後悔。時間をどう使うか、よく考えてください ↑ 109 HN Points #Ask HN 11-30 Regrets. Think carefully about how you spend your time (news.ycombinator.com)
86. Show HN: Nano PDF – GeminiのNano BananaでPDFを編集するCLIツール ↑ 100 HN Points #Show HN 11-30 Nano PDF – A CLI Tool to Edit PDFs with Gemini''s Nano Banana (github.com)
87. 積分におけるファインマンの技法を学ぶ ↑ 108 HN Points 11-30 Learning Feynman''s Trick for Integrals (zackyzz.github.io)
88. バジテ:次世代のLinuxゲーミング ↑ 119 HN Points 11-30 Bazzite: The next generation of Linux gaming (bazzite.gg)
91. 宇宙にあるデータセンターは機能しないだろう ↑ 104 HN Points 11-29 Datacenters in space aren''t going to work (taranis.ie)
92. Framework Computer、LVFS / Fwupd開発のスポンサーに ↑ 107 HN Points 11-30 Framework Computer Now Sponsoring LVFS / Fwupd Development (www.phoronix.com)
93. 南米では電気自動車の販売が急増している――テスラ抜きで ↑ 111 HN Points 11-30 Electric vehicle sales are booming in South America – without Tesla (www.reuters.com)
96. ビタミンDが私たちの体に及ぼす影響について、私たちはより多くのことを学んでいます ↑ 101 HN Points 11-30 We''re learning more about what Vitamin D does to our bodies (www.technologyreview.com)
98. CRDT辞書:競合のない複製データ型のフィールドガイド ↑ 102 HN Points 11-29 The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types (www.iankduncan.com)
101. 主要なAIカンファレンスにAIが書いた査読論文が殺到 ↑ 108 HN Points 11-29 Major AI conference flooded with peer reviews written by AI (www.nature.com)
102. 「S&P 493」が示す、もうひとつの米国経済 ↑ 102 HN Points 11-29 The ''S&P 493'' reveals a different U.S. economy (www.msn.com)
103. アイスランド、海流の不安定化を国家安全保障上のリスクと宣言 ↑ 105 HN Points 11-29 Iceland declares ocean-current instability a national security risk (www.dagens.com)
105. ガーフィールドのピタゴラスの定理の証明 ↑ 108 HN Points 11-29 Garfield''s Proof of the Pythagorean Theorem (en.wikipedia.org)
106. 言語は主に思考のためではなく、コミュニケーションのための道具である(2024)[pdf] ↑ 105 HN Points 11-28 Language is primarily a tool for communication rather than thought (2024) [pdf] (gwern.net)
107. 大気汚染が深刻な場合、運動による健康効果が半分に減少する可能性があると研究が示唆 ↑ 107 HN Points 11-29 High air pollution could diminish exercise benefits by half – study (scienceclock.com)
109. リーク情報により、OpenAIがChatGPT向け広告の一般公開準備を進めていることが確認された ↑ 104 HN Points 11-29 Leak confirms OpenAI is preparing ads on ChatGPT for public roll out (www.bleepingcomputer.com)
110. ベルギー警察がEUデータ保護法の影響評価を操作するためにボットネットを利用していたことが発覚 ↑ 100 HN Points 11-29 Belgian Police exposed using botnets to manipulate EU data law impact assessment (old.reddit.com)
111. 内角の和がゼロとなる三角形 ↑ 103 HN Points 11-29 A triangle whose interior angles sum to zero (www.johndcook.com)
112. 長時間実行エージェントのための効果的なハーネス ↑ 102 HN Points 11-29 Effective harnesses for long-running agents (www.anthropic.com)
113. すべての数学者はほんのわずかな技しか持っていない (2020) ↑ 101 HN Points 11-29 Every mathematician has only a few tricks (2020) (mathoverflow.net)
114. Pythonの前身であるオリジナルのABC言語(1991年) ↑ 101 HN Points 11-29 The original ABC language, Python''s predecessor (1991) (github.com)
115. Djangoの新規バックグラウンドタスクを初公開 ↑ 101 HN Points 11-29 A first look at Django''s new background tasks (roam.be)
116. System 7 は Mac mini G4 でネイティブに起動します ↑ 104 HN Points 11-29 System 7 natively boots on the Mac mini G4 (macos9lives.com)
117. エアバスA320のフライト・バイ・ワイヤシステムが飛行中の放射線により損傷 ↑ 100 HN Points 11-29 Airbus A320 Fly by wire corrupted by radiation in flight (viewfromthewing.com)
118. 仕事中に集中できない理由の数学 ↑ 100 HN Points 11-28 The Math of Why You Can''t Focus at Work (justoffbyone.com)
119. ソフトウェア開発者の告白:もう自己検閲はしない ↑ 103 HN Points 11-29 Confessions of a Software Developer: No More Self-Censorship (kerrick.blog)
120. エアバスA320 – 強い太陽放射により、飛行に不可欠なデータが破損する恐れがある ↑ 108 HN Points 11-29 Airbus A320 – intense solar radiation may corrupt data critical for flight (www.airbus.com)
121. Yggdrasilネットワーク上の真のP2Pメール ↑ 100 HN Points 11-29 True P2P Email on Top of Yggdrasil Network (github.com)
122. あれを引っ張らないで、何につながっているか分からないんだから(2016) ↑ 101 HN Points 11-29 Don''t tug on that, you never know what it might be attached to (2016) (blog.plover.com)
123. エアバスが6000機の改修を要請、フライト運航に支障の恐れ ↑ 125 HN Points 11-29 Flight disruption warning as Airbus requests modifications to 6k planes (www.bbc.com)
124. 優秀なエンジニアは、大企業では質の低いコードを書く ↑ 117 HN Points 11-29 Good engineers write bad code at big companies (www.seangoedecke.com)
127. アップルとインテル、Macチップで提携かとの噂 ↑ 103 HN Points 11-29 Apple and Intel Rumored to Partner on Mac Chips (www.macrumors.com)
128. スウェーデンの出版社がMetaのザッカーバーグを詐欺容疑で警察に告発 ↑ 100 HN Points 11-28 Swedish publishers file police report against Meta''s Zuckerberg for fraud (www.sverigesradio.se)
129. ビーズ – あなたのコーディングエージェントのための記憶アップグレード ↑ 100 HN Points 11-28 Beads – A memory upgrade for your coding agent (github.com)
130. Imgurが英国を地域制限したため、私は自分のネットワークの地域制限を解除した ↑ 132 HN Points 11-29 Imgur Geo-Blocked the UK, So I Geo-Unblocked My Network (blog.tymscar.com)
132. ステランティスが新車割引のポップアップ広告でオーナーの画面をスパム攻撃中 ↑ 107 HN Points 11-29 Stellantis Is Spamming Owners'' Screens with Pop-Up Ads for New Car Discounts (www.thedrive.com)
133. 2800万件のHacker Newsコメントをベクトル埋め込み検索データセットとして ↑ 112 HN Points 11-29 28M Hacker News comments as vector embedding search dataset (clickhouse.com)
134. SQLiteをアプリケーションファイル形式として ↑ 104 HN Points 11-28 SQLite as an Application File Format (sqlite.org)
135. セクシーを取り戻せ。インターネット監視が官能性を殺した ↑ 118 HN Points 11-29 Bringing Sexy Back. Internet surveillance has killed eroticism (lux-magazine.com)
136. AI導入率が横ばいになり始めている ↑ 102 HN Points 11-29 AI Adoption Rates Starting to Flatten Out (www.apolloacademy.com)
137. タイガー・スタイル:コーディング哲学 (2024) ↑ 100 HN Points 11-28 Tiger Style: Coding philosophy (2024) (tigerstyle.dev)
138. オランダの大学はマイクロソフトなしでやっていけるのか? ↑ 108 HN Points 11-28 Can Dutch universities do without Microsoft? (dub.uu.nl)
139. メタ、高度な幾何学を用いて270億ドルの負債を隠蔽 ↑ 120 HN Points 11-29 Meta hiding 27B in debt using advanced geometry (stohl.substack.com)
140. 遺伝子AIに(潜在的に)1兆ドルが浪費される可能性 ↑ 104 HN Points 11-28 A trillion dollars (potentially) wasted on gen-AI (garymarcus.substack.com)
141. Tell HN: より良いHNをお探しですか? /newest をご覧ください ↑ 114 HN Points #Ask HN 11-28 Want a better HN? Visit /newest (news.ycombinator.com)
142. テック大手、AI規制対策に数億ドル規模の戦費を蓄積 ↑ 108 HN Points 11-28 Tech Titans Amass Multimillion-Dollar War Chests to Fight AI Regulation (www.wsj.com)
143. ドイツにおけるオープンソース活動を市民奉仕として正式に認定するよう求める請願 ↑ 157 HN Points 11-28 Petition to formally recognize open source work as civic service in Germany (www.openpetition.de)
144. A16Zによる驚くべき主張 ↑ 109 HN Points 11-28 A Remarkable Assertion from A16Z (nealstephenson.substack.com)
145. チェルノブイリ産の放射能を食べるかもしれない謎の黒い菌 ↑ 105 HN Points 11-28 The mysterious black fungus from Chernobyl that may eat radiation (www.bbc.com)
146. io_uringとkqueueを基盤としたプログラマ向けI/O抽象化 (2022) ↑ 102 HN Points 11-28 A programmer-friendly I/O abstraction over io_uring and kqueue (2022) (tigerbeetle.com)
147. EU理事会、新たな「チャット規制」指令を承認 大規模監視を推進 ↑ 121 HN Points 11-28 EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance (reclaimthenet.org)
148. FileZilla Pro「永久ライセンス」- 全ユーザーへの警告 ↑ 100 HN Points 11-28 FileZilla Pro "Perpetual License" – A Warning to All Users (github.com)
149. Vsora Jotunn-8 5nm 欧州向け推論チップ ↑ 107 HN Points 11-28 Vsora Jotunn-8 5nm European inference chip (vsora.com)
150. Show HN: カメラ付きスマートグラスを検知するメガネ ↑ 130 HN Points #Show HN 11-28 Glasses to detect smart-glasses that have cameras (github.com)
151. 中国のBEVトラックとディーゼル支配の終焉 ↑ 106 HN Points 11-28 China''s BEV trucks and the end of diesel''s dominance (cleantechnica.com)
152. Pocketbase – 1ファイルで構成されるオープンソースのリアルタイムバックエンド ↑ 107 HN Points 11-28 Pocketbase – open-source realtime back end in 1 file (pocketbase.io)
153. GitLab、NPMサプライチェーン攻撃の広範な発生を発見 ↑ 107 HN Points 11-27 GitLab discovers widespread NPM supply chain attack (about.gitlab.com)
154. 鳥インフルエンザウイルスは高温に耐性があり、人間にとって重大な脅威となっている ↑ 100 HN Points 11-28 Bird flu viruses are resistant to fever, making them a major threat to humans (medicalxpress.com)
155. チャールズ・M・シュルツがチャーリー・ブラウンとスヌーピーをどう生み出したか (2024) ↑ 107 HN Points 11-28 How Charles M Schulz created Charlie Brown and Snoopy (2024) (www.bbc.com)
156. 250MWhの「砂電池」がフィンランドで建設開始へ ↑ 105 HN Points 11-28 250MWh ''Sand Battery'' to start construction in Finland (www.energy-storage.news)
157. DeepSeekMath-V2: 自己検証可能な数学的推論に向けて [pdf] ↑ 104 HN Points 11-28 DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com)
158. Linuxにおける入力スタック:エンドツーエンドのアーキテクチャ概要 ↑ 100 HN Points 11-28 The input stack on Linux: An end-to-end architecture overview (venam.net)
162. LinkedInはうるさいし、企業は地獄だ ↑ 118 HN Points 11-28 LinkedIn is loud, and corporate is hell (ramones.dev)
163. Show HN: Runprompt – コマンドラインから .prompt ファイルを実行する ↑ 100 HN Points #Show HN 11-27 Runprompt – run .prompt files from the command line (github.com)
164. パキスタン、来年には一部都市で屋上太陽光発電量が電力網需要を上回ると発表 ↑ 116 HN Points 11-28 Pakistan says rooftop solar output to exceed grid demand in some hubs next year (www.reuters.com)
165. テスラ・モデルY、過去10年で最悪の信頼性評価を獲得 ↑ 100 HN Points 11-27 The Tesla Model Y Just Scored the Worst Reliability Rating in a Decade (www.autoblog.com)
166. EUの判決により、Pixel 10のAirDropサポートは存在する可能性が高い ↑ 100 HN Points 11-27 AirDrop support for Pixel 10 likely exists because of the EU ruling (9to5google.com)
167. 上司に先を越される前に、上司を替えろ ↑ 115 HN Points 11-28 Replace your boss before they replace you (replaceyourboss.ai)
168. TPU対GPU:長期的に見てGoogleがAI競争で優位に立つ理由 ↑ 108 HN Points 11-27 TPUs vs. GPUs and why Google is positioned to win AI race in the long term (www.uncoveralpha.com)
170. Snapdragon 8 Elite Gen 5向けLinuxの当日アップストリームサポート ↑ 113 HN Points 11-28 Same-day upstream Linux support for Snapdragon 8 Elite Gen 5 (www.qualcomm.com)
171. 関数型データ構造とアルゴリズム:証明支援システムによるアプローチ ↑ 100 HN Points 11-27 Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
174. イリヤ・スツケヴェル、ヤン・ルカン、そして「GPUを追加するだけ」の終焉 ↑ 100 HN Points 11-27 Ilya Sutskever, Yann LeCun and the End of “Just Add GPUs” (www.abzglobal.net)
175. アーサー・コナン・ドイルはシャーロック・ホームズを通じて男性のメンタルヘルスを探求した ↑ 103 HN Points 11-27 Arthur Conan Doyle explored men’s mental health through Sherlock Holmes (scienceclock.com)
177. Coq: 世界最高のマクロアセンブラ? (2013) [pdf] ↑ 101 HN Points 11-27 Coq: The World''s Best Macro Assembler? (2013) [pdf] (nickbenton.name)
179. 2Dにおけるレイマーチングによるソフトシャドウ (2020) ↑ 107 HN Points 11-27 Ray Marching Soft Shadows in 2D (2020) (www.rykap.com)
180. 音楽は手術の負担を軽減し回復を早める、研究が明らかに ↑ 101 HN Points 11-27 Music eases surgery and speeds recovery, study finds (www.bbc.com)
181. ナード・ライヒ ― シリコンバレー・ファシズムと民主主義への戦争 ↑ 125 HN Points 11-27 The Nerd Reich – Silicon Valley Fascism and the War on Democracy (www.simonandschuster.com)
183. フランス政府によると、AdBlockとSignalはテロリスト向け(2023年)[動画] ↑ 105 HN Points 11-27 AdBlock and Signal are for terrorists, according to French govt (2023) [video] (www.youtube.com)
184. インディーゲーム開発者たちの新たな売り文句は「AIフリー」であることだ ↑ 102 HN Points 11-26 Indie game developers have a new sales pitch: being ''AI free'' (www.theverge.com)
187. 非対応のiOSを廃止されたデバイスで実行する ↑ 105 HN Points 11-27 Running Unsupported iOS on Deprecated Devices (nyansatan.github.io)
188. 米国市民の配偶者、グリーンカード面接で手錠をかけられる ↑ 120 HN Points 11-27 Green Card Interviews End in Handcuffs for Spouses of U.S. Citizens (www.nytimes.com)
189. Fara-7B:コンピュータ利用のための効率的なエージェントモデル ↑ 100 HN Points 11-27 Fara-7B: An efficient agentic model for computer use (github.com)
190. Alan.app – macOSのアクティブウィンドウに枠線を追加 ↑ 100 HN Points 11-27 Alan.app – Add a Border to macOS Active Window (tyler.io)
191. メインのZigリポジトリをGitHubからCodebergへ移行する ↑ 147 HN Points 11-27 Migrating the Main Zig Repository from GitHub to Codeberg (ziglang.org)
193. EU理事会、議会との交渉に向けたチャット規制指令案を承認 ↑ 103 HN Points 11-27 EU Council approves Chat Control mandate for negotiation with Parliament (www.techradar.com)
194. EUはAppleに新たなWi-Fi規格の採用を義務付け、これによりAndroid端末がAirDropをサポート可能となった ↑ 104 HN Points 11-27 The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop (arstechnica.com)
196. 作業員らが、ボーリング会社が労働者への賃金支払いを怠り、OSHAの懸念を無視したと主張 ↑ 109 HN Points 11-27 Crews claim Boring Company failed to pay workers and snubbed OSHA concerns (nashvillebanner.com)
197. S&boxはオープンソースのゲームエンジンとなりました ↑ 112 HN Points 11-27 S&box is now an open source game engine (sbox.game)
198. 血糖値から脳の負担軽減まで:GLP-1療法が片頭痛の頻度を大幅に減少させる ↑ 102 HN Points 11-26 From blood sugar to brain relief: GLP-1 therapy slashes migraine frequency (www.medlink.com)
199. AWSは専用サーバーと比べて10倍遅い(同価格帯)[動画] ↑ 100 HN Points 11-26 AWS is 10x slower than a dedicated server for the same price [video] (www.youtube.com)
200. 画像拡散モデルは動画において創発的な時間的伝播を示す ↑ 101 HN Points 11-26 Image Diffusion Models Exhibit Emergent Temporal Propagation in Videos (arxiv.org)
201. Gemini CLI 活用術:エージェント型コーディングのためのヒントとテクニック ↑ 101 HN Points 11-27 Gemini CLI Tips and Tricks for Agentic Coding (github.com)
202. DRAM価格が急騰しているが、業界の説明は信用できない ↑ 114 HN Points 11-27 DRAM prices are spiking, but I don''t trust the industry''s why (www.xda-developers.com)
203. Cloudflareのサービス停止は発生すべきではなかった ↑ 101 HN Points 11-27 Cloudflare outage should not have happened (ebellani.github.io)
204. KDE Plasma 6.8はX11セッションサポートを廃止しWayland専用となる ↑ 100 HN Points 11-26 KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support (www.phoronix.com)
205. LLVMに定数時間サポートが導入:暗号コードの保護 ↑ 102 HN Points 11-25 Constant-time support coming to LLVM: Protecting cryptographic code (blog.trailofbits.com)
206. 韓国の大統領候補にDMを送ったら、結局彼の選挙運動の中核を担うことになった ↑ 105 HN Points 11-26 I DM''d a Korean presidential candidate and ended up building his core campaign (medium.com)
207. OpenAIは赤字経営を継続するため、2030年までに少なくとも2070億ドルを調達する必要がある ↑ 136 HN Points 11-26 OpenAI needs to raise at least 207B by 2030 so it can continue to lose money (ft.com)
208. ボイジャー1号は地球から1光日という地点に到達しようとしている ↑ 143 HN Points 11-26 Voyager 1 Is About to Reach One Light-Day from Earth (scienceclock.com)
209. 生命の定義に挑むほど最小限の細胞 ↑ 110 HN Points 11-26 A cell so minimal that it challenges definitions of life (www.quantamagazine.org)
211. お前の「AI」がどれほど上手く動こうが知ったことか ↑ 134 HN Points 11-26 I don''t care how well your "AI" works (fokus.cool)
212. Pythonによる統計的工程管理 ↑ 102 HN Points 11-26 Statistical Process Control in Python (timothyfraser.com)
213. ブダペストで1700年前のローマ時代の石棺が発掘される ↑ 100 HN Points 11-25 1,700-year-old Roman sarcophagus is unearthed in Budapest (apnews.com)
214. スペース・トラッキン'' – ノストロモ号 (2012) ↑ 103 HN Points 11-26 Space Truckin'' – The Nostromo (2012) (alienseries.wordpress.com)
215. CS234: 強化学習 2025年冬学期 ↑ 104 HN Points 11-26 CS234: Reinforcement Learning Winter 2025 (web.stanford.edu)
217. 離れて育てられた一卵性双生児のIQの差は、教育の影響を受ける ↑ 100 HN Points 11-26 IQ differences of identical twins reared apart are influenced by education (www.sciencedirect.com)
218. CSSサブグリッドによる全く新しいレイアウト ↑ 107 HN Points 11-25 Brand New Layouts with CSS Subgrid (www.joshwcomeau.com)
219. Show HN: KiCadでのレンダリング用DOOMベクターエンジン、およびオーディオジャック経由で ↑ 111 HN Points #Show HN 11-26 KiDoom – Running DOOM on PCB Traces (www.mikeayles.com)
220. オープンソースプロジェクトを維持する際に誰も教えてくれないこと ↑ 105 HN Points 11-26 What they don''t tell you about maintaining an open source project (andrej.sh)
221. Googleは医療を求めるアメリカ人を「粗悪な保険」へと誘導している ↑ 101 HN Points 11-26 Google steers Americans looking for health care into "junk insurance" (pluralistic.net)
222. .NETのビルドとリリース手法の再構築(再び) ↑ 104 HN Points 11-26 Reinventing how .NET builds and ships (again) (devblogs.microsoft.com)
223. モバイルとデスクトップの領域を統合する ↑ 104 HN Points 11-26 Unifying our mobile and desktop domains (techblog.wikimedia.org)
224. 米銀、金融テック企業へのハッカー侵入を受けデータ盗難の評価に奔走 ↑ 100 HN Points 11-26 US banks scramble to assess data theft after hackers breach financial tech firm (techcrunch.com)
225. YouTubeの誰かには眼鏡が必要だ:予言は成就した ↑ 181 HN Points 11-26 Someone at YouTube Needs Glasses: The Prophecy Has Been Fulfilled (jayd.ml)
226. ZoomInfo CEO、事前同意なしの生体認証追跡を文書化した研究者をブロック ↑ 105 HN Points 11-26 ZoomInfo CEO blocks researcher after documenting pre-consent biometric tracking (github.com)
227. 新たな架け橋が無限の数学とコンピュータ科学をつなぐ ↑ 101 HN Points 11-26 A new bridge links the math of infinity to computer science (www.quantamagazine.org)
228. Pythonはデータサイエンスに適した言語とは言えない ↑ 105 HN Points 11-26 Python is not a great language for data science (blog.genesmindsmachines.com)
229. イリヤ・スツケヴェル:我々はスケーリングの時代から研究の時代へと移行している ↑ 104 HN Points 11-26 Ilya Sutskever: We''re moving from the age of scaling to the age of research (www.dwarkesh.com)
230. ICE、移民追跡の「懸賞金ハンター」企業に最大2億8000万ドルを提供 ↑ 108 HN Points 11-26 ICE Offers Up to 280M to Immigrant-Tracking ''Bounty Hunter'' Firms (www.wired.com)
233. 研究によると、オゼンピックはアルツハイマー病の進行を遅らせない ↑ 104 HN Points 11-26 Ozempic does not slow Alzheimer''s, study finds (www.semafor.com)
235. ジャカルタは今や世界最大の都市である ↑ 117 HN Points 11-25 Jakarta is now the biggest city in the world (www.axios.com)
236. Windows 10のサポート終了を受け、78万人以上のWindowsユーザーがWindows 11をスキップしてLinuxを選択 ↑ 100 HN Points 11-25 In wake of Windows 10 retirement, over 780K Windows users skip Win 11 for Linux (www.tomshardware.com)
237. Show HN: オープンソースで、ウェブフックを一切使用しない決済処理システムを構築しました ↑ 101 HN Points #Show HN 11-26 We built an open source, zero webhooks payment processor (github.com)
238. グーグルの反重力技術がデータを流出させる ↑ 123 HN Points 11-26 Google Antigravity Exfiltrates Data (www.promptarmor.com)
239. Robloxは問題だが、それはより深刻な問題の兆候に過ぎない ↑ 108 HN Points 11-26 Roblox is a problem but it''s a symptom of something worse (www.platformer.news)
240. Launch HN: Onyx (YC W24) – オープンソースのチャットUI ↑ 104 HN Points 11-25 Onyx (YC W24) – Open-source chat UI (news.ycombinator.com)
241. 数兆ドルを費やしても大規模ソフトウェアプロジェクトは依然として失敗している ↑ 114 HN Points 11-25 Trillions spent and big software projects are still failing (spectrum.ieee.org)
242. FLUX.2: フロンティア・ビジュアル・インテリジェンス ↑ 108 HN Points 11-25 FLUX.2: Frontier Visual Intelligence (bfl.ai)
244. 脳には5つの「時代」があり、成人モードは30代前半まで始まらない ↑ 121 HN Points 11-25 Brain has five ''eras'' with adult mode not starting until early 30s (www.theguardian.com)
245. クラッシュ・バンディクーの制作(2011年) ↑ 105 HN Points 11-25 Making Crash Bandicoot (2011) (all-things-andy-gavin.com)
247. CERNにおけるAI利用に関する基本原則 ↑ 100 HN Points 11-24 General principles for the use of AI at CERN (home.web.cern.ch)
248. AIはこのコードの動作原理を深く理解している ↑ 104 HN Points 11-25 AI has a deep understanding of how this code works (github.com)
249. Netflixのサブスクリプション料金で得られるもの ↑ 103 HN Points 11-25 What you can get for the price of a Netflix subscription (nmil.dev)
250. 最も安定したRaspberry Pi? 熱管理でNTP精度が81%向上 ↑ 110 HN Points 11-25 Most Stable Raspberry Pi? 81% Better NTP with Thermal Management (austinsnerdythings.com)
251. 人間の脳は世界を理解するための指示があらかじめ組み込まれている ↑ 105 HN Points 11-25 Human brains are preconfigured with instructions for understanding the world (news.ucsc.edu)
254. Googleの新たな「Aluminium OS」プロジェクトがAndroidをPCにもたらす ↑ 102 HN Points 11-25 Google''s new ''Aluminium OS'' project brings Android to PC (www.androidauthority.com)
257. ChatGPTユーザーが現実感覚を失った時、OpenAIが取った対応 ↑ 110 HN Points 11-24 What OpenAI did when ChatGPT users lost touch with reality (www.nytimes.com)
258. 電源供給されていないSSDは徐々にデータを失う ↑ 113 HN Points 11-25 Unpowered SSDs slowly lose data (www.xda-developers.com)
259. ドージ「脂肪ではなく筋肉を削れ」;大規模な人員削減後、26,000人の専門家が再雇用される ↑ 117 HN Points 11-25 DoGE "cut muscle, not fat"; 26K experts rehired after brutal cuts (arstechnica.com)
260. 心を読む装置は、今や前意識的な思考を予測できる ↑ 102 HN Points 11-25 Mind-reading devices can now predict preconscious thoughts (www.nature.com)
261. Show HN: インタラクティブなHNシミュレーターを構築しました ↑ 102 HN Points #Show HN 11-25 I built an interactive HN Simulator (news.ysimulator.run)
262. TSMCアリゾナ工場の停電で生産停止、Apple向けウエハー廃棄 ↑ 106 HN Points 11-25 TSMC Arizona Outage Saw Fab Halt, Apple Wafers Scrapped (www.culpium.com)
263. クール・レトロ・ターミナルエミュレーター:古いCRTの見た目と操作感を再現する ↑ 109 HN Points 11-25 Cool-retro-term: terminal emulator which mimics look and feel of the old CRTs (github.com)
265. PS5の価格は現在、64GBのDDR5メモリよりも安くなっている。RAMは不足により600ドルまで跳ね上がる ↑ 110 HN Points 11-25 PS5 now costs less than 64GB of DDR5 memory. RAM jumps to 600 due to shortage (www.tomshardware.com)
267. GrapheneOSがサーバーインフラをフランスから移行 ↑ 104 HN Points 11-25 GrapheneOS migrates server infrastructure from France (www.privacyguides.org)
268. Pebble Watchソフトウェアは現在100%オープンソースです ↑ 170 HN Points 11-25 Pebble Watch software is now 100% open source (ericmigi.com)
269. 気象局の新局長、ウェブサイト再設計の9600万ドル請求書の検証を要請される ↑ 100 HN Points 11-24 Bureau of Meteorology''s new boss asked to examine 96M bill for website redesign (www.abc.net.au)
271. フランス、バックドア拒否のGrapheneOSに逮捕・サーバー差し押さえを警告 ↑ 145 HN Points 11-25 France threatens GrapheneOS with arrests / server seizure for refusing backdoors (grapheneos.social)
272. SHA1-Hulud the Second Comming – Postman、Zapier、PostHogがNPM経由で全侵害 ↑ 147 HN Points 11-25 SHA1-Hulud the Second Comming – Postman, Zapier, PostHog All Compromised via NPM (www.aikido.dev)
274. Xが偶然にもアメリカ人を標的とした秘密の影響力ネットワークを暴露した ↑ 182 HN Points 11-25 X Just Accidentally Exposed a Covert Influence Network Targeting Americans (weaponizedspaces.substack.com)
275. ブッキング・ドットコムが4000ドルのホテル予約をキャンセルし、同じ部屋を1万7000ドルで再提供 ↑ 106 HN Points 11-24 Booking.com cancels 4K hotel reservation, offers same rooms again for 17K (www.cbc.ca)
276. ラムダ計算 – ラムダ図のベータ還元アニメーション ↑ 109 HN Points 11-24 Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
278. NSAとIETF、第3部:核心の問題を回避する ↑ 102 HN Points 11-24 NSA and IETF, part 3: Dodging the issues at hand (blog.cr.yp.to)
279. 日本の賭け:北海道を世界の半導体ハブへ変える ↑ 101 HN Points 11-24 Japan''s gamble to turn island of Hokkaido into global chip hub (www.bbc.com)
280. シャイ・フルード再襲来:300を超えるNPMパッケージが感染 ↑ 156 HN Points 11-24 Shai-Hulud Returns: Over 300 NPM Packages Infected (helixguard.ai)
281. Show HN: C言語で最小限のメモリ割り当て器を書いた ↑ 102 HN Points #Show HN 11-24 I wrote a minimal memory allocator in C (github.com)
282. Show HN: 何千もの見えないUnicode文字でLLMを混乱させる ↑ 100 HN Points #Show HN 11-24 Stun LLMs with thousands of invisible Unicode characters (gibberifier.com)
283. Cloudflareのサービス停止は良いことだった ↑ 110 HN Points 11-24 The Cloudflare outage was a good thing (gist.github.com)
285. Ask HN: 補聴器ユーザーの皆様、今何が流行っていますか? ↑ 107 HN Points #Ask HN 11-24 Hearing aid wearers, what''s hot? (news.ycombinator.com)
286. ドージの憲章には残り8か月を残して「存在しない」 ↑ 101 HN Points 11-24 Doge ''doesn''t exist'' with eight months left on its charter (www.reuters.com)
287. ロードマップ作業を1週間中断し、189件のバグを修正しました ↑ 100 HN Points 11-24 We stopped roadmap work for a week and fixed 189 bugs (lalitm.com)
288. µcad: 2Dスケッチと3Dモデルを生成できる新しいオープンソースプログラミング言語 ↑ 102 HN Points 11-24 µcad: New open source programming language that can generate 2D sketches and 3D (microcad.xyz)
290. Appleは来年、iOS 27において「品質と基盤となるパフォーマンス」に注力する ↑ 100 HN Points 11-24 Apple to focus on ''quality and underlying performance'' with iOS 27 next year (9to5mac.com)
291. Show HN: 意味のあるコミットメッセージを書く習慣を身につけましょう ↑ 100 HN Points #Show HN 11-23 Build the habit of writing meaningful commit messages (github.com)
293. アイオワシティはバスを無料化した。交通渋滞が解消され、大気も澄み渡った ↑ 123 HN Points 11-24 Iowa City made its buses free. traffic cleared, and so did the air (www.nytimes.com)
294. Ask HN: 金融システム工学を学ぶのに良いリソースはありますか? ↑ 100 HN Points #Ask HN 11-24 Good resources to learn financial systems engineering? (news.ycombinator.com)
295. Xの新機能「発信国表示」により、多くの「米国」アカウントが外国運営であることが判明 ↑ 204 HN Points 11-24 X''s new country-of-origin feature reveals many ''US'' accounts to be foreign-run (www.hindustantimes.com)
296. Linuxでrcloneとsystemdを使用してマウントプロトンドライブをマウントする ↑ 100 HN Points 11-24 Mount Proton Drive on Linux using rclone and systemd (github.com)
297. 「優れたエンジニアリング管理」は一時的な流行に過ぎない ↑ 109 HN Points 11-24 "Good engineering management" is a fad (lethain.com)
298. 過去5週間で78万人のWindowsユーザーがLinuxディストリビューション「Zorin OS」をダウンロードした ↑ 113 HN Points 11-24 780k Windows Users Downloaded Linux Distro Zorin OS in the Last 5 Weeks (blog.zorin.com)