Hacker News 最新提交 Lite

1. 科羅拉多州正在招募牧場騎手，以幫助減少與狼群的衝突。 ↑ 2 HN Points

05:46 Colorado is looking for range riders to help reduce conflict with wolves (www.aspentimes.com)

2. 軍用級 ↑ 4 HN Points

05:45 Military Grade (en.wikipedia.org)

3. 網紅和OnlyFans模特正主導O-1簽證申請 ↑ 4 HN Points

05:45 Influencers and OnlyFans models are dominating O-1 visa requests (www.theguardian.com)

4. 通過Slack私信或短信使用ASCII棋盤下棋 ↑ 2 HN Points

05:44 Play chess via Slack DMs or SMS using an ASCII board (github.com)

5. Alpine Linux 中的異常 DNS 行為——.local 和 mDNS ↑ 2 HN Points

05:36 Weird DNS Behavior on Alpine Linux – .local and mDNS (ozelot.fyi)

6. 沃爾瑪通過Wing無人機配送服務將覆蓋範圍擴大至150家門店 ↑ 2 HN Points

05:34 Walmart expands drone delivery with Wing to 150 more stores (www.axios.com)

7. 2026年是自主託管之年 ↑ 12 HN Points

05:29 2026 is the Year of Self-hosting (fulghum.io)

8. 2026年回望2024年三則生物醫學機器學習見解 ↑ 3 HN Points

05:28 A 2026 look at three bio-ML opinions I had in 2024 (www.owlposting.com)

9. 自2025年8月以來部分Anthropic項目跑路事件 ↑ 6 HN Points

05:27 Some of Anthropic rugpulls since August 2025 (twitter.com)

10. FUSE 就是你所需的一切——讓代理通過文件系統訪問任何內容 ↑ 2 HN Points

05:12 FUSE is All You Need – Giving agents access to anything via filesystems (jakobemmerling.de)

11. Wing與沃爾瑪將無人機配送服務擴展至全美150家新門店 ↑ 3 HN Points

04:49 Wing and Walmart expand drone delivery to 150 new stores coast to coast (wing.com)

12. Pico GPU是一款內存容量為300KB的GPU，旨在用於學習和實驗著色器。 ↑ 2 HN Points

04:35 Pico GPU is a 300KB memory GPU intended to learn and experiment with shaders (ncannasse.github.io)

13. 恐怖的機器 ↑ 2 HN Points

03:59 The Machinery of Terror (chrishedges.substack.com)

14. 鴿子核狗屎蒸發器 ↑ 2 HN Points

03:34 Pigeon''s Nuclear Dogshit Vaporiser (pigeonsnest.co.uk)

15. 納米服務：無服務器架構為何做對了 ↑ 2 HN Points

05:28 Nanoservices: Why Serverless Got Architecture Right (mosheshaham.substack.com)

16. ChatGPT Atlas 默認瀏覽器推廣 ↑ 2 HN Points

05:08 ChatGPT Atlas Default Browser Promotion (help.openai.com)

17. 特定代理：使用特定IP地址的代理 ↑ 2 HN Points

04:32 SpecificProxy: Proxy Using a Specific IP (github.com)

18. 避免十億美元的錯誤 ↑ 4 HN Points

04:18 Mitigating the Billion Dollar Mistake (www.gingerbill.org)

19. 我梳理了生產事故期間的調試流程 ↑ 2 HN Points

04:08 I mapped out how debugging works during production incidents (nemorize.com)

20. NCSA Mosaic 2.7，首批圖形化網頁瀏覽器之一 ↑ 2 HN Points

04:04 NCSA Mosaic 2.7, one of the first graphical web browsers (github.com)

21. 綠色廢棄物：綠色補貼的低效分配 ↑ 2 HN Points

03:54 Green Waste: Inefficient Allocation of Green Subsidies (papers.ssrn.com)

22. 比亞迪最便宜的電動車將搭載激光雷達自動駕駛技術 ↑ 5 HN Points

04:52 BYD''s cheapest electric cars to have Lidar self-driving tech (thedriven.io)

23. 西蒙尼匈牙利記法在早期Mac系統中的應用 ↑ 2 HN Points

04:50 Simonyi Hungarian notation in early Mac (folklore.org)

24. 得克薩斯農工大學以"性別意識形態"為由禁止哲學教授講授柏拉圖課程 ↑ 6 HN Points

04:49 Texas A&M Bans Philosophy Prof. From Teaching Plato Because of "Gender Ideology" (www.erininthemorning.com)

25. macOS Tahoe系統中調整窗口大小的困擾 ↑ 4 HN Points

04:47 The struggle of resizing windows on macOS Tahoe (noheger.at)

26. 如何解僱你的老闆（1970） ↑ 2 HN Points

04:40 How to Fire Your Boss (1970) (theanarchistlibrary.org)

27. 國土安全部限制國會議員訪問明尼阿波利斯移民與海關執法局設施 ↑ 5 HN Points

04:39 DHS restricts congressional visits to ICE facilities in Minneapolis (www.npr.org)

28. "美國科學有兩種可能的未來。" ↑ 4 HN Points

04:34 "There Are Two Possible Futures for American Science." (issues.org)

29. 70人接力版《超級馬里奧64》[視頻] ↑ 2 HN Points

04:20 70 person relay of Super Mario 64 [video] (www.youtube.com)

30. WhatsApp不可信 ↑ 2 HN Points

04:20 WhatsApp Is Untrustable (toki.la)

31. 瘋狂尋找松鼠圈圈 (2018) ↑ 2 HN Points

04:08 Desperately Seeking Squircles (2018) (www.figma.com)

32. 夥計們，為什麼亞美尼亞人會徹底打垮克勞德？ ↑ 19 HN Points

04:03 guys why does armenian completely break Claude (twitter.com)

33. 系統性地生成能夠發現Anthropic前K大錯誤的測試 ↑ 2 HN Points

04:02 Systematically generating tests that would have caught Anthropic''s top‑K bug (theorem.dev)

34. 負溫度採樣 ↑ 14 HN Points

04:01 Sampling at negative temperature (cavendishlabs.org)

35. 微妙的傷害——相當不錯 ↑ 2 HN Points

03:59 The Subtle Injury – Being pretty good (tevonsb.com)

36. 密西西比州將學校從最差轉變為最佳 ↑ 2 HN Points

03:52 Mississippi Transformed Its Schools from Worst to Best (www.nytimes.com)

37. Exe.dev，現代虛擬機 ↑ 2 HN Points

03:13 Exe.dev, Modern VMs (blog.exe.dev)

38. 克雷客戶服務——回憶錄（1979至2014）查爾斯·克拉克著 ↑ 2 HN Points

03:04 Cray Customer Service – Memories (1979 to 2014) by Charles Clark (cray-history.net)

39. 現代Python字典：十餘個偉大創意的交匯（PyCon 2017）[視頻] ↑ 2 HN Points

02:43 Modern Python Dictionaries A confluence of a dozen great ideas (PyCon 2017) [video] (www.youtube.com)

40. 加拿大的規模問題不在於計算能力，而在於海岸線 ↑ 4 HN Points

03:42 Canada''s Scaling Problem Isn''t Compute, It''s Coastlines (zeitgeistml.substack.com)

41. 一座冰封的俄羅斯鬼城 ↑ 3 HN Points

03:31 An Ice-Covered Russian Ghost Town (www.theatlantic.com)

42. "學者們會稱之為無稽之談"——埃裡希·馮·丹尼肯論證的結構 ↑ 4 HN Points

03:26 "Scholars Will Call It Nonsense" the Structure of Erich von Däniken''s Argument (www.penn.museum)

43. 開源iCloud照片下載器（又名：逃離iCloud） ↑ 17 HN Points

03:23 Open-source iCloud Photos Downloader (AKA escape from iCloud) (github.com)

44. 科學家繪製出人類基因組的4D圖譜 ↑ 2 HN Points

03:23 Scientists map the human genome in 4D (news.northwestern.edu)

45. 首個星雲？雲九星雲實為無星氣體雲 ↑ 2 HN Points

03:18 The First Relhic? Cloud-9 Is a Starless Gas Cloud (ui.adsabs.harvard.edu)

46. 納米政府 ↑ 2 HN Points

02:05 Nano Governments (shukla.io)

47. 大衛·朗的751分冒險之旅已被發現 ↑ 3 HN Points

03:21 David Long''s 751-point Adventure has been found (quuxplusone.github.io)

48. 埃裡希·馮·丹尼肯 – 1935年4月14日 – 2026年1月10日 ↑ 2 HN Points

03:18 Erich von Däniken – 14.04.1935 – 10.01.2026 (daniken.com)

49. 中國，2004年：每02分鐘，就有9名中國人試圖自殺，其中8人死亡。 ↑ 2 HN Points

03:12 China, 2004: Every 02 minutes, 9 Chinese attempt to take their lives and 8 die (www.china.org.cn)

50. Anthropic：禁止使用Claude Code開發Claude Code的競爭產品 ↑ 3 HN Points

03:07 Anthropic: Developing a Claude Code competitor using Claude Code is banned (twitter.com)

51. 又有四位科技博主轉投Linux陣營 ↑ 4 HN Points

03:02 Four more tech bloggers are switching to Linux (linux.slashdot.org)

52. M8SBC-486（自制486計算機） ↑ 2 HN Points

02:58 M8SBC-486 (Homebrew 486 computer) (maniek86.xyz)

53. 如何為成為初創企業創始人做好準備（2021） ↑ 2 HN Points

02:51 How to prepare to be a startup founder (2021) (letterstoanewdeveloper.com)

54. 美國方言學會2025年度詞彙為"Slop" ↑ 4 HN Points

02:50 American Dialect Society 2025 Word of the Year Is "Slop" (americandialect.org)

55. 在熔爐劇院觀看《霓虹燈I》 ↑ 2 HN Points

02:43 Taking Neon I at the Crucible (til.simonwillison.net)

56. 鴿子的裝置 ↑ 2 HN Points

02:41 Pigeon''s Device (pigeonsnest.co.uk)

57. 我們……到了嗎？ ↑ 9 HN Points

02:37 Are We ... Yet? (wiki.mozilla.org)

58. 軟件寒武紀大爆發 ↑ 2 HN Points

02:35 The Software Cambrian Explosion (johncodes.com)

59. 博客迴歸——發現並關注獨立博客 ↑ 2 HN Points

02:31 Blogs Are Back – Discover and Follow Independent Blogs (www.blogsareback.com)

60. LLVM：糟糕的部分 ↑ 3 HN Points

02:30 LLVM: The Bad Parts (www.npopov.com)

61. 利用微型GPT模型擊敗Brotli/ZSTD，速度比Fabrice Bellard的方案快600倍 ↑ 2 HN Points

02:25 Using a tiny GPT model to beat Brotli/ZSTD, 600x faster than Fabrice Bellard''s (github.com)

62. 拉爾夫實驗 – SQLite UI ↑ 2 HN Points

02:21 Ralph Experiment – SQLite UI (lochie.dev)

63. 通用商業協議（UCP） ↑ 3 HN Points

02:20 Universal Commerce Protocol (UCP) (developers.googleblog.com)

64. 為何Julia的GPU加速Ode求解器比Jax和PyTorch快20-100倍 ↑ 2 HN Points

01:51 Why Julia''s GPU Accelerated Ode Solvers Are 20x-100x Faster Than Jax and PyTorch (www.stochasticlifestyle.com)

65. Meta宣佈核能項目，釋放高達6.6吉瓦的電力 ↑ 2 HN Points

02:49 Meta Announces Nuclear Energy Projects, Unlocking Up to 6.6 GW (about.fb.com)

66. 對"嘗試"感到自在 ↑ 2 HN Points

02:42 Being Comfortable with "Trying" (rubenerd.com)

67. MySQL用戶請注意：MySQL-server的Git提交量在2025年顯著下降 ↑ 2 HN Points

02:38 MySQL users be warned: Git commits in MySQL-server significantly declined 2025 (optimizedbyotto.com)

68. 代碼的消亡無關緊要 ↑ 2 HN Points

02:34 The death of code won''t matter (jaimefjorge.com)

69. 谷歌會自動向13歲用戶發送電子郵件，允許他們選擇退出家長控制。 ↑ 3 HN Points

02:33 Google automatically emails 13 year olds to allow them to opt out of parental s (support.google.com)

70. Onager：DuckDB中的圖形 ↑ 2 HN Points

02:25 Onager: Graph in DuckDB (cogitatortech.github.io)

71. 氛圍工程學：與AI編程助手共事中的心得體會 ↑ 2 HN Points

02:21 Vibe Engineering: What I''ve Learned Working with AI Coding Agents (twitter.com)

72. Go語言中的六邊形架構：為何你的"乾淨"代碼其實一團糟 ↑ 3 HN Points

02:06 Hexagonal Architecture in Go: Why Your "Clean" Code Is a Mess (skoredin.pro)

73. 定製化軟件是未來 ↑ 2 HN Points

02:03 Bespoke Software Is the Future (fzakaria.com)

74. 數學懷疑論的代價 ↑ 2 HN Points

02:02 The Price of Mathematical Scepticism (arxiv.org)

75. 與中國有關聯的網絡犯罪分子在披露前一年就利用了VMware ESXi的零日漏洞 ↑ 2 HN Points

01:31 China-linked cybercrims abused VMware ESXi zero-days a year before disclosure (www.theregister.com)

76. Social-MCP：新型社交網絡 ↑ 2 HN Points

02:08 Social-MCP: new kind of social network (social-mcp.org)

77. 在狂暴山火的肆虐中，一位制琴師珍藏的珍貴木材 ↑ 2 HN Points

01:55 In the Path of a Raging Wildfire, a Luthier''s Precious Wood (www.nytimes.com)

78. 克勞德·科德——本土營銷顧問 ↑ 2 HN Points

01:50 Claude Code-native marketing consultant (github.com)

79. 人工智能在猶他州開始開具處方 ↑ 3 HN Points

01:46 Artificial intelligence begins prescribing medications in Utah (www.politico.com)

80. 藉助AI減少寫作量 ↑ 4 HN Points

01:35 Write Less with AI (writelesswithai.com)

81. Whenwords——一個相對時間格式化庫，無需編寫代碼 ↑ 2 HN Points

00:52 Whenwords – A relative time formatting library, with no code (github.com)

82. 繼內存條和固態硬盤之後，電源和CPU散熱器將成為下一波漲價的對象。 ↑ 2 HN Points

01:36 After RAM and SSDs, PSUs and CPU coolers are next in line for price hikes (www.notebookcheck.net)

83. 鏈接器和加載器 ↑ 2 HN Points

01:33 Linkers and Loaders (www.os2museum.com)

84. 回覆：太空中的數據中心。歷史將如何評價我們？ ↑ 2 HN Points

01:27 Re: Datacenters in space. What shall history say of us? (github.com)

85. 蘋果撤回iOS 18安全更新 ↑ 4 HN Points

01:27 Apple Withdraws iOS 18 Security Updates (www.forbes.com)

86. 後天培養的品味 ↑ 3 HN Points

01:25 Acquired Tastes (www.nytimes.com)

87. 圖畫書的歷史 ↑ 3 HN Points

01:23 The History of Picture Books (www.nytimes.com)

88. 我的奧斯汀之行 ↑ 2 HN Points

01:23 My Austin Visit (marginalrevolution.com)

89. 臨終的喘息 ↑ 2 HN Points

01:18 Dying Gasp (en.wikipedia.org)

90. Bose SoundTouch Go Library – 完整API及WebSocket事件支持 ↑ 3 HN Points

01:16 Bose SoundTouch Go Library – Complete API with WebSocket Events (github.com)

91. Rcarmo/toadbox：收容你的編碼代理（字面意義上的） ↑ 2 HN Points

01:16 Rcarmo/toadbox: Contain your coding agents (literally) (github.com)

92. 面向代理的敏捷方法 ↑ 2 HN Points

01:15 Agile for Agents (www.enterprisevibecode.com)

93. 專程赴CES考察太陽能創新技術。中國正以驚人速度領先於我們。 ↑ 4 HN Points

01:06 Came to CES to Check Solar Power Innovations. China Is Running Laps Around Us (uk.pcmag.com)

94. 2025年全球人工智能應用現狀：日益擴大的數字鴻溝 ↑ 2 HN Points

01:05 Global AI Adoption in 2025: A Widening Digital Divide (www.microsoft.com)

95. 我們拍攝了一部關於35毫米膠片電影格式的YouTube視頻（2024年）[視頻] ↑ 3 HN Points

00:58 We shot a YouTube video about film formats on 35mm film (2024) [video] (www.youtube.com)

96. 3D打印投石機 ↑ 2 HN Points

00:57 3D Printed Catapult (www.hackster.io)

97. 2026：微應用之年 ↑ 3 HN Points

00:57 2026: The Year of Micro Apps (birchtree.me)

98. 使用Proxmox，您可以使任何操作系統不可變。 ↑ 3 HN Points

00:53 You can make any OS immutable with Proxmox (www.xda-developers.com)

99. PrimeCoin與Cunningham素數鏈 ↑ 2 HN Points

00:30 Primecoin and Cunningham Prime Chains (www.johndcook.com)

100. 為什麼2026是個數學上特別的數字 ↑ 2 HN Points

01-11 Why 2026 Is a Mathematically Special Number (www.scientificamerican.com)

101. 人工智能行業內部人士創建網站，旨在汙染其賴以生存的數據 ↑ 2 HN Points

01:05 AI industry insiders launch site to poison the data that feeds them (www.theregister.com)

102. 在大型語言模型編寫所有代碼的世界中選擇技術棧 ↑ 3 HN Points

00:43 Choosing a tech stack in a world where LLMs write all the code (behan.substack.com)

103. 密碼哈希競賽 ↑ 2 HN Points

00:28 Password Hashing Competition (www.password-hashing.net)

104. 奧樂齊的奇妙魅力：德國折扣連鎖如何成為美國最火熱的食品雜貨商 ↑ 2 HN Points

00:18 The Curious Cult of Aldi How a German discount chain became US''s hottest grocer (www.bloomberg.com)

105. 人工智能如何重塑戰爭的未來 ↑ 2 HN Points

00:14 How artificial intelligence is reshaping the future of war (thehill.com)

106. 用Linux取代即將退役的Windows XP ↑ 2 HN Points

00:20 Replace the Retiring Windows XP with Linux (www.linux.com)

107. 深度強化學習交易機器人，年化收益率90%-120% ↑ 2 HN Points

00:18 Deep reinforcement learning trading bot 90%-120% returns yearly (github.com)

108. SpaceX降低軌道高度：4400顆衛星正向地球靠近 ↑ 2 HN Points

00:10 SpaceX Lowering Orbits: 4,400 Satellites Moving Closer to Earth (nasaspacenews.com)

109. 安裝百科：輕鬆安裝任何軟件 ↑ 6 HN Points

00:04 Installerpedia: Install Anything Without Hassle (journal.hexmos.com)

110. 康蒂戈：Y Combinator旗下委內瑞拉制裁規避初創企業 ↑ 3 HN Points

00:02 Kontigo: Y Combinator''s Venezuelan Sanctions Evasion Startup (fintechbusinessweekly.substack.com)

111. 烈焰滾滾 ↑ 2 HN Points

01-11 Great Balls of Fire (www.realclearhistory.com)

112. 使用PGP構建證書信任鏈 ↑ 2 HN Points

01-11 Using PGP to Build Certificate Trust Chains (blog.certisfy.com)

113. 明尼阿波利斯案毫無懸念——警員涉案事件法律解讀 ↑ 3 HN Points

01-11 Minneapolis Is Not Even a Close Call –A Lawsplainer on Officer-Involved (shipwreckedcrew.substack.com)

01-11 Linus Torvalds'' Latest Open-Source Project Is AudioNoise – Made with Vibe Coding (www.phoronix.com)

115. 刻意平庸：弱勢管理如何自我保護 ↑ 3 HN Points

01-11 Deliberate Mediocrity: How Weak Management Protects Itself (yanivpreiss.com)

116. 唐納德·特朗普"下令軍隊首長擬定入侵格陵蘭島的計劃" ↑ 2 HN Points

01-11 Donald Trump ''orders army chiefs to draw up plan to invade Greenland'' (www.dailymail.co.uk)

117. 希臘科技僑民的力量 ↑ 2 HN Points

01-11 The power of the Greek tech diaspora (greekanalyst.substack.com)

118. 敏捷：成功與失敗的根源 ↑ 2 HN Points

01-11 Agile: Success vs. the Reason We Fail (oswarld.com)

119. 奧利維蒂公司——布萊德福德·摩根·懷特著 ↑ 2 HN Points

01-11 The Olivetti Company – By Bradford Morgan White (www.abortretry.fail)

120. 重新審視你與時間的關係，或許能讓你擁有更多時間 ↑ 2 HN Points

01-11 Rethinking your relationship with time could give you more of it (www.newscientist.com)

121. 海洋持續升溫 ↑ 2 HN Points

01-11 The oceans just keep getting hotter (arstechnica.com)

122. 烏克蘭IT軍團 ↑ 2 HN Points

01-11 IT Army of Ukraine (itarmy.com.ua)

123. 麻省理工學院2026年"缺失學期"項目今日啟動 ↑ 2 HN Points

01-11 MIT Missing Semester 2026 starts today (missing.csail.mit.edu)

124. 加州海岸線首次開放徒步旅行 ↑ 2 HN Points

01-11 Stretch of California coast opens for hiking for first time (www.sfchronicle.com)

125. 數據中心——難道我們現有的還不夠多嗎？ ↑ 3 HN Points

01-11 Data centers – Don''t we have enough already? (www.buzzsprout.com)

126. 美國人工智能熱潮正遭遇意料之外的水資源難題 ↑ 2 HN Points

01-11 America''s AI Boom Is Running into an Unplanned Water Problem (www.forbes.com)

127. 通用商業協議 ↑ 2 HN Points

01-11 Universal Commerce Protocol (ucp.dev)

128. 關於 React 測試中 act() 的所有須知 ↑ 2 HN Points

01-11 Everything you need to know about act() in React tests (howtotestfrontend.com)

129. 基於SQLite構建同步引擎與響應式系統 ↑ 2 HN Points

01-11 Building a sync-engine and reactivity system with SQLite (antoine.fi)

130. 好AI，壞AI——實驗 ↑ 3 HN Points

01-11 Good AI, Bad AI – The Experiment (willmcgugan.github.io)

131. X公司將開源其推薦引擎 ↑ 2 HN Points

01-11 X to open source their recommendation engine (gizmodo.com)

132. 6美元電腦上的PyTorch ↑ 2 HN Points

01-11 PyTorch on a 6 Computer (www.hackster.io)

133. 構建通用商業協議 ↑ 3 HN Points

01-11 Building the Universal Commerce Protocol (shopify.engineering)

134. 從伊甸園到黃金國：奧裡諾科河吸引外來者的悠久歷史 ↑ 3 HN Points

01-11 From Eden to El Dorado: The Orinoco River''s long history of attracting outsiders (worldhistory.substack.com)

135. 人工智能泰迪熊：簡要調查 ↑ 3 HN Points

01-11 AI Teddy Bears: A Brief Investigation (www.lesswrong.com)

136. Live 2025 – 脊柱 [視頻] ↑ 2 HN Points

01-11 Live 2025 – Spine [video] (www.youtube.com)

137. 鄰里效應與同伴效應下的育兒經濟學 ↑ 2 HN Points

01-11 The Economics of Parenting with Neighborhood and Peer Effects (www.nber.org)

138. 條形碼的種類實在太多 ↑ 3 HN Points

01-11 There are too many types of barcode (signoregalilei.com)

139. 現代SQLite的精緻簡約 ↑ 5 HN Points

01-11 Sophisticated Simplicity of Modern SQLite (shivekkhurana.com)

140. 地表之下：阿姆斯特丹北/南地鐵線的考古發現 ↑ 3 HN Points

01-11 Below the Surface: Archeological Finds from the Amsterdam Noord/Zuid Metro Line (belowthesurface.amsterdam)

141. 斯坦·泰姆斯自迴歸式無稽之談 ↑ 2 HN Points

01-11 Stan Tames Autoregressive Nonsense (twitter.com)

142. GitHub 請求合併挑戰 ↑ 2 HN Points

01-11 GitHub PR Challenge (memu.pro)

143. 美國發布新版膳食指南[視頻] ↑ 2 HN Points

01-11 U.S. releases new dietary guidelines [video] (www.youtube.com)

144. DCS – 經典桌面系統 ↑ 2 HN Points

01-11 DCS – Desktop Classic System (www.mycophobia.org)

145. 火星上的城市 ↑ 2 HN Points

01-11 A City on Mars (en.wikipedia.org)

146. 為何尋找動力常常如此艱難 ↑ 2 HN Points

01-11 Why Finding Motivation Is Often Such a Struggle (nautil.us)

147. 實現微型CPU光柵化器 ↑ 2 HN Points

01-11 Implementing a Tiny CPU Rasterizer (lisyarus.github.io)

148. 中國申請發射20萬顆衛星入軌，此前曾指出星鏈衛星存在墜落風險 ↑ 3 HN Points

01-11 China applies to put 200K satellites in space after calling Starlink crash risk (www.scmp.com)

149. 一個全球性的"道德聯盟"可以解決X問題，即性化圖像問題。 ↑ 2 HN Points

01-11 A global ''coalition of decency'' could tackle X over sexualised images (observer.co.uk)

150. 人工智能精神錯亂，人工智能神化 ↑ 2 HN Points

01-11 AI Psychosis, AI Apotheosis (www.oblomovka.com)

151. 新冠封鎖改變了城市鳥類的喙形 ↑ 2 HN Points

01-11 Covid lockdowns changed the beak shape of city birds (newatlas.com)

152. 人類歷史上規模最大的抗議活動：波羅的海之路 ↑ 3 HN Points

01-11 The Largest Protest in Human History: The Baltic Way (en.wikipedia.org)

153. 金-1，50歲生日快樂！ ↑ 2 HN Points

01-11 Happy 50th Birthday KIM-1 (github.com)

154. 虎皮鸚鵡 10.10 ↑ 2 HN Points

01-11 Budgie 10.10 (buddiesofbudgie.org)

155. 危險且令人震驚：谷歌因用戶健康受威脅撤下AI摘要功能 ↑ 2 HN Points

01-11 Dangerous and alarming: Google removes AI summaries after users'' health at risk (www.theguardian.com)

156. 我們運用Opus 4.5在2.5周內重構了多租戶架構，節省了六位數成本。 ↑ 2 HN Points

01-11 We Used Opus 4.5 to Re-Architect Multi-Tenancy in 2.5 Weeks and Save Six-Figures (enragedcamel.dev)

157. MCP服務器搭載X402 ↑ 2 HN Points

01-11 MCP Server with X402 (twitter.com)

158. 輕鬆實現CSS視圖過渡動畫 ↑ 3 HN Points

01-11 Effortless animations with CSS view transitions (giacomocavalieri.me)

159. OpenTelemetry 已失效 ↑ 2 HN Points

01-11 OpenTelemetry Is Broken (mosheshaham.substack.com)

160. 分攤費用網站。無需註冊。無需應用。 ↑ 2 HN Points

01-11 Split expenses website. No sign-ups. No apps (splitcostonline.com)

161. Uutils/coreutils：GNU核心工具集的跨平臺Rust重寫版本 ↑ 3 HN Points

01-11 Uutils/coreutils: Cross-platform Rust rewrite of the GNU coreutils (github.com)

162. 美國商務部取消對中國產無人機實施限制的計劃 ↑ 2 HN Points

01-11 US Commerce Department drops plan to impose restrictions on Chinese-made drones (www.reuters.com)

163. 我擺脫科技巨頭的獨立嘗試 ↑ 2 HN Points

01-11 My Attempt at Independence from Big-Tech (blog.antonlydike.de)

164. 使用 TypeScript 發佈基於 ESM 的 npm 包 (2025) ↑ 2 HN Points

01-11 Publishing ESM-based npm packages with TypeScript (2025) (2ality.com)

165. 若你興趣廣泛，切勿虛度未來兩三年光陰 ↑ 4 HN Points

01-11 If you have multiple interests, do not waste the next 2-3 years (twitter.com)

166. 企業作為ICE懸賞獵人賺取百萬美元 ↑ 3 HN Points

01-11 Companies Have Made 1M as ICE Bounty Hunters (theintercept.com)

167. KaraDAV – 輕量級兼容Nextcloud的WebDAV服務器 ↑ 2 HN Points

01-11 KaraDAV – Lightweight Nextcloud compatible WebDAV server (github.com)

168. 一位程序員思考編程技藝的衰落歲月（2023） ↑ 2 HN Points

01-11 A coder considers the waning days of the craft (2023) (www.newyorker.com)

169. 輕食點餐——掃描餐廳菜單獲取卡路里、營養成分及過敏原信息 ↑ 2 HN Points

01-11 Lean Dine – Scan restaurant menus for calories, macros, and allergens (leandine.app)

170. 乒乓的故事 ↑ 2 HN Points

01-11 Story of Pong (www.wired.com)

171. 通用汽車新全球總部：融合現代元素的中世紀設計與歷史文物 ↑ 2 HN Points

01-11 GM''s new world headquarters: Modernized midcentury designs with artifacts (www.cnbc.com)

172. 亞馬遜裁員——我的親身經歷 ↑ 3 HN Points

01-11 Amazon Layoffs – In My Own Words (substack.com)

173. LLM詩歌與"偉大"問題：Gwern與Mercor的實驗 ↑ 9 HN Points

01-11 LLM poetry and the "greatness" question: Experiments by Gwern and Mercor (hollisrobbinsanecdotal.substack.com)

174. 為何數組對象勝過交錯數組：一個JavaScript性能問題 ↑ 2 HN Points

01-11 Why Object of Arrays beat interleaved arrays: a JavaScript performance issue (www.royalbhati.com)

175. 從第一性原理解析拉爾夫·威格姆循環（由拉爾夫的創造者撰寫） ↑ 2 HN Points

01-11 The Ralph Wiggum Loop from first principles (by the creator of Ralph) (www.youtube.com)

176. 業餘愛好者維護者的經濟引力井 ↑ 2 HN Points

01-11 The Hobbyist Maintainer Economic Gravity Well (www.softwaremaxims.com)

177. 印度提議強制智能手機制造商提供源代碼 ↑ 2 HN Points

01-11 India proposes forcing smartphone makers to give source code (www.reuters.com)

178. 伊朗首次關閉星鏈互聯網服務 ↑ 2 HN Points

01-11 Iran Shuts Down Starlink Internet for First Time (www.forbes.com)

179. 從零開始重製Pluribus的開場動畫 ↑ 2 HN Points

01-11 Recreate Pluribus Intro from Scratch (medium.com)

180. 基於現代投資組合理論的資產配置Python集成方案 ↑ 3 HN Points

01-11 A Python Integration of Asset Allocation Based on Modern Portfolio Theory (papers.ssrn.com)

181. BasiliskII Macintosh 68k 模擬器移植至 ESP32-P4 / M5Stack Tab5 ↑ 2 HN Points

01-11 BasiliskII Macintosh 68k Emulator Ported to ESP32-P4 / M5Stack Tab5 (github.com)

182. 王家衛談科技與人工智能 ↑ 2 HN Points

01-11 Wong Kar-wai on technology and AI (twitter.com)

183. Gentoo Linux 2025 評測 ↑ 3 HN Points

01-11 Gentoo Linux 2025 Review (www.gentoo.org)

184. 法官如何運用人工智能協助裁決法律糾紛 ↑ 2 HN Points

01-11 How Judges Are Using AI to Help Decide Your Legal Dispute (www.wsj.com)

185. 微軟將停用Word中的"發送到Kindle"功能 ↑ 2 HN Points

01-11 Microsoft is retiring ''Send to Kindle'' in Word (www.bleepingcomputer.com)

186. 大型語言模型將助力還是阻礙新編程語言的發展？ ↑ 2 HN Points

01-11 Will LLMs Help or Hurt New Programming Languages? (blog.flix.dev)

187. 熔岩燈守護你的數據 [視頻] ↑ 2 HN Points

01-11 Lava Lamps Protect Your Data [video] (www.youtube.com)

188. 為何將WhatsApp賣給Facebook將是最大錯誤（2012） ↑ 3 HN Points

01-11 Why Selling WhatsApp to Facebook Would Be the Biggest Mistake (2012) (www.forbes.com)

189. 人工智能存儲器供不應求，引發價格前所未有地飆升 ↑ 2 HN Points

01-11 AI memory is sold out, causing an unprecedented surge in prices (www.cnbc.com)

190. 將"你"融入CPU ↑ 2 HN Points

01-11 Putting the "You" in CPU (cpu.land)

191. 僅HTML的條件性延遲加載（通過preload和media實現） ↑ 2 HN Points

01-11 HTML-only conditional lazy loading (via preload and media) (orga.cat)

192. 我已棄用Windows 11轉投Linux，你也該這麼做 ↑ 2 HN Points

01-11 I dumped Windows 11 for Linux, and you should too (www.notebookcheck.net)

193. 自動駕駛汽車遠非已解決的問題 ↑ 2 HN Points

01-11 Self-driving cars aren''t nearly a solved problem (strangecosmos.substack.com)

194. 為富人而裁決：最高法院的變遷 ↑ 2 HN Points

01-11 Ruling for the Rich: The Supreme Court over Time (www.nber.org)

195. 經典媒體播放器 Qute 劇院版 ↑ 2 HN Points

01-11 Media Player Classic Qute Theater (github.com)

196. 想想巴甫洛夫 ↑ 2 HN Points

01-11 Think of Pavlov (boz.com)

197. （格陵蘭）北方的夥伴們（2008） ↑ 2 HN Points

01-11 (Greenland) Our Friends in the North (2008) (bellacaledonia.org.uk)

198. 作為擴展認知的消耗性軟件——R/PhilosophyOfMind討論 ↑ 2 HN Points

01-11 Disposable software as extended cognition – discussion on R/PhilosophyOfMind (www.reddit.com)

199. 一年前我發佈了一款應用，但至今仍在努力吸引用戶。 ↑ 3 HN Points

01-11 I released an app a year ago and I''m struggling to get users (www.solance.app)

200. 二手品如今比新品更勝一籌 ↑ 2 HN Points

01-11 Second hand is now better than new (www.honest-broker.com)

201. 創建一個僅基於運行時Windows 3.10（隨W系統附帶）的半工作桌面。 ↑ 2 HN Points

01-11 Create a semi-working desktop only based on runtime Windows 3.10 shipped with W (tech.lgbt)

202. Grok的裸體化工具如何走紅 ↑ 2 HN Points

01-11 How Grok''s nudification tool went viral (www.theguardian.com)

203. 別陷入反人工智能的炒作 ↑ 34 HN Points

01-11 Don''t fall into the anti-AI hype (antirez.com)

204. 在Strudel中從零開始實時編碼恍惚音樂 [視頻] ↑ 2 HN Points

01-11 Live Coding Trance Music from Scratch in Strudel [video] (www.youtube.com)

205. 真不敢相信FreeBSD 15在基準測試中比Linux Debian 13還要快，但 ↑ 3 HN Points

01-11 I can''t believe FreeBSD 15 is faster than Linux Debian 13 in benchmarks, but (grigio.org)

206. 《雷神之錘》設置指南（2023版） ↑ 2 HN Points

01-11 Quake Setup Guide (2023) (sarge945.xyz)

207. 獵戶座飛船的隔熱罩安全嗎？新任NASA局長在飛行前夕展開審查 ↑ 2 HN Points

01-11 Is Orion''s heat shield safe? New NASA chief''s review on eve of flight (arstechnica.com)

208. 廣告攔截器助長了開放網絡的消亡 ↑ 2 HN Points

01-11 Ad Blockers helped kill the open web (christianheilmann.com)

209. 當人工智能開口說話時，誰能證明它說了什麼？ ↑ 3 HN Points

01-11 When AI Speaks, Who Can Prove What It Said? (zenodo.org)

210. 我最愛的科幻小說——那些關於理解"敵人"的科幻小說 ↑ 2 HN Points

01-11 My favorite sci-fi books about sci-fi books about understanding the "enemy" (shepherd.com)

211. 米蘭科爾蒂納冬季奧運會因Cloudflare撤資面臨威脅 ↑ 2 HN Points

01-11 Milano Cortina Winter Olympics threatened by Cloudflare funding withdrawal (www.aljazeera.com)

212. 並非所有960國際象棋的局面都具有同等複雜度 ↑ 2 HN Points

01-11 Not all Chess960 positions are equally complex (arxiv.org)

213. （開源）按需提供匿名化實時副本，適用於開發、測試和預發佈環境 ↑ 2 HN Points

01-11 (Open Source) Anonymized, live replicas on demand for dev, test and stage (www.kasho.io)

214. 樂高農場積木：讓人工智能種植我們的食物 ↑ 3 HN Points

01-11 Lego Farming Blocks: Letting AIs Grow Our Food (adlrocha.substack.com)

215. 尼古拉斯·溫頓爵士——BBC節目《這就是生活》1988年播出[視頻] ↑ 2 HN Points

01-11 Sir Nicholas Winton – BBC Programme "That''s Life" Aired in 1988 [video] (www.youtube.com)

216. Pandas 3.0 新特性：表達式、寫時複製與更快的字符串 ↑ 2 HN Points

01-11 What''s New in Pandas 3.0: Expressions, Copy-on-Write, and Faster Strings (codecut.ai)

217. Notion利用Product Hunt實現增長，而不僅僅是發佈產品。 ↑ 2 HN Points

01-11 Notion used Product Hunt to grow, not just launch (www.firstmillion.club)

218. Gixy-Next：Nginx配置安全與強化掃描器 ↑ 2 HN Points

01-11 Gixy-Next: Nginx Configuration Security and Hardening Scanner (gixy.io)

219. 酵母程序化實現阿片類藥物全合成 ↑ 2 HN Points

01-11 Yeast Programmed for Opioid Total Synthesis (cen.acs.org)

220. 逾百年的電影膠片規格 ↑ 3 HN Points

01-11 More than one hundred years of Film Sizes (wichm.home.xs4all.nl)

221. OpenTelemetry 觀測工具的幕後故事 ↑ 2 HN Points

01-11 BTS of OpenTelemetry Instrumentation (newsletter.signoz.io)

222. 一種針對三維幾何語言的獨特性能優化方案 ↑ 2 HN Points

01-11 A Unique Performance Optimization for a 3D Geometry Language (cprimozic.net)

223. 譜測地線路由：基於拉普拉斯勢的流量工程 ↑ 3 HN Points

01-11 Spectral Geodesic Routing: Traffic Engineering via Laplacian Potentials (zenodo.org)

224. 烏拉圭可再生能源附加費：小國，世界的大啟示 ↑ 2 HN Points

01-11 Uruguay''s Renewable Charge: A Small Nation, a Big Lesson for the World (www.forbes.com)

225. 構建安全MCP服務器的實用指南 ↑ 2 HN Points

01-11 A Practical Guide to Build Secure MCP Servers (go.mcptotal.io)

226. 以色列情報機構摩薩德敦促伊朗舉行抗議活動，稱其特工已在現場 ↑ 2 HN Points

01-11 Mossad urges Iran protests, says agents present (www.jpost.com)

227. 21年IDE演變歷程一圖盡覽（2004–2025） ↑ 2 HN Points

01-11 21 years of IDE evolution in one chart (2004 – 2025) (twitter.com)

228. 我不再在辦公桌前做的事 ↑ 2 HN Points

01-11 Things I''ve quit doing at my desk (justinjackson.ca)

229. 埃隆·馬斯克表示，X平臺的新算法將於下週開源。 ↑ 3 HN Points

01-11 Elon Musk says X''s new algorithm will be made open source next week (www.engadget.com)

230. 二十年後，科學家證實鳥類能說話並運用語法[視頻] ↑ 2 HN Points

01-11 After 20 Years, This Scientist Proved Birds Can Talk and Use Grammar [video] (www.youtube.com)

231. 80%的黑麥在20%的時間內 [1/3] ↑ 3 HN Points

01-11 80% of Rye in 20% of the Time [1/3] (ryelang.org)

232. 《企業架構實踐筆記》 ↑ 2 HN Points

01-11 Notes on Enterprise Architecture from Doing the Job (github.com)

233. Instagram數據洩露事件導致1750萬賬戶信息外洩 ↑ 3 HN Points

01-11 Instagram breach exposes data of 17.5M accounts (twitter.com)

234. 新型顯微鏡讓科學家得以觀察細胞內部生命活動的展開過程 ↑ 2 HN Points

01-11 A new type of microscope lets scientists observe life unfolding inside cells (www.thebrighterside.news)

235. Steam主機價格洩露震撼主機市場 ↑ 2 HN Points

01-11 Steam Machine price leak shakes the console market (comuniq.xyz)

236. 如果我在必應搜索"opencode GitHub"，會返回一個隨機分叉項目。 ↑ 2 HN Points

01-11 If I search for "opencode GitHub" in Bing, a random fork is returned (www.bing.com)

237. 50個簡單步驟創建Google API憑據 ↑ 2 HN Points

01-11 Create Google API credentials in 50 easy steps (github.com)

238. 伊朗政權試圖關閉星鏈服務 ↑ 2 HN Points

01-11 Iranian regime tries to shut down Starlink (www.timesofisrael.com)

239. 埃隆·馬斯克談特斯拉召喚功能——兩年內實現洛杉磯至紐約（2016年——十週年紀念） ↑ 2 HN Points

01-11 Elon Musk on Tesla''s summon – LA to NY in 2 years (2016 – 10 years anniversary) (twitter.com)

240. 生物意識與人工意識：生物計算主義的論證 ↑ 3 HN Points

01-11 Biological and artificial consciousness: A case for biological computationalism (www.sciencedirect.com)

241. 我們將克勞德代碼植入過山車大亨 ↑ 2 HN Points

01-11 We Put Claude Code in Rollercoaster Tycoon (ramplabs.substack.com)

242. 託瓦爾茲：又一個和吉他效果器相關的傻乎乎的代碼倉庫 ↑ 2 HN Points

01-11 Torvalds: Another silly guitar-pedal-related repo (github.com)

243. 谷歌員工舉報性騷擾後遭解僱，法庭聽證會披露 ↑ 3 HN Points

01-11 Google employee made redundant after reporting sexual harassment, court hears (www.bbc.co.uk)

244. 得分 ↑ 2 HN Points

01-11 The Score (www.penguin.co.uk)

245. 怪誕全景 ↑ 2 HN Points

01-11 Panoply of the Weird (www.nybooks.com)

246. 人工智能通過一夜睡眠預測疾病 ↑ 2 HN Points

01-11 AI Predicts Disease from One Night of Sleep (www.sciencedaily.com)

247. UI技能 ↑ 2 HN Points

01-11 UI Skills (www.ui-skills.com)

248. 多吃鹿肉 ↑ 2 HN Points

01-11 Eat More Deer (www.theatlantic.com)

249. Signal Chat：硅谷正密謀反對加州億萬富翁稅 ↑ 4 HN Points

01-11 Signal Chat: Silicon Valley Is Plotting Against California''s Billionaire Tax (www.wsj.com)

250. 淫穢圖像：X承認錯誤並表示將遵守印度法律 ↑ 2 HN Points

01-11 Obscene images: X admits its mistake and stated it would comply with Indian law (timesofindia.indiatimes.com)

251. 被遺忘者的照片 ↑ 2 HN Points

01-11 Photos of the Forgotten (www.synthetrix.com)

252. Worktrunk——一款用於管理Git倉庫中多個工作樹的命令行工具 ↑ 2 HN Points

01-11 Worktrunk – A CLI tool to manage multiple worktrees in Git repositories (github.com)

253. Jupyter Agents：訓練大型語言模型通過筆記本進行推理 ↑ 2 HN Points

01-11 Jupyter Agents: training LLMs to reason with notebooks (huggingface.co)

254. 幽靈郵件訂閱垃圾信息的最終目的究竟是什麼？ ↑ 4 HN Points

01-11 What''s the end game for Ghost newsletter sign-up spam? (www.autodidacts.io)

255. 用於疾病預測的多模態睡眠基礎模型 ↑ 2 HN Points

01-11 A multimodal sleep foundation model for disease prediction (www.nature.com)

256. 《雷神之錘1》單人地圖設計理論（2001） ↑ 2 HN Points

01-11 Quake 1 Single-Player Map Design Theories (2001) (www.quaddicted.com)

257. 如何在Android、Gmail、Chrome、照片及Google應用中禁用Gemini ↑ 2 HN Points

01-11 How to Disable Gemini on Android, Gmail, Chrome, Photos, & Google Apps (tuta.com)

258. "去你的，讓我來"——無需言語 ↑ 3 HN Points

01-11 ''Fuck You, Make Me'' Without Saying the Words (daringfireball.net)

259. 《TypeScript簡明指南》 ↑ 4 HN Points

01-11 The Concise TypeScript Book (github.com)

260. 先寫後編 ↑ 2 HN Points

01-11 Writing First, Tooling Second (susam.net)

261. 蘋果錢包存儲漏洞正佔滿部分用戶iPhone空間 ↑ 3 HN Points

01-11 Apple Wallet Storage Bug Is Filling Up iPhone Space for Some Users (www.macobserver.com)

262. 法院駁回英偉達封存與安娜檔案郵件往來的請求[pdf] ↑ 3 HN Points

01-11 Court rejects NVIDIAs attempt to seal email chain with Annas Archive [pdf] (storage.courtlistener.com)

263. 我打造產品，就是為了能從互聯網上"斷開連接" ↑ 2 HN Points

01-11 I build products to get "unplugged" from the internet (getunplugged.io)

264. 塞西爾·凱利臨界事故 ↑ 2 HN Points

01-11 Cecil Kelley Criticality Accident (en.wikipedia.org)

265. SoundSlab：起源故事 ↑ 2 HN Points

01-11 SoundSlab: How It Started (craigjb.com)

266. 我對iOS 26標籤欄的抱怨 ↑ 2 HN Points

01-11 My Beef with the iOS 26 Tab Bar (ryanashcraft.com)

267. “答案不能是無解”：加拿大神秘腦病之謎的攻防戰 ↑ 7 HN Points

01-11 ''The answer cannot be nothing'': The battle over Canada''s mystery brain disease (www.bbc.com)

268. 威爾·羅傑斯現象 ↑ 2 HN Points

01-11 Will Rogers Phenomenon (en.wikipedia.org)

269. 烏克蘭尋求研製可深入俄羅斯領土實施打擊的導彈 ↑ 2 HN Points

01-11 Ukraine''s Quest to Build a Missile to Strike Deep in Russian Territory (www.wsj.com)

270. 進步派必須道歉（趁為時未晚） ↑ 3 HN Points

01-11 Progressives Must Apologize (Before It''s Too Late) (edokwin.substack.com)

271. 哪個是“布巴”，哪個是“基基”？[視頻] ↑ 2 HN Points

01-11 Which is "Bouba", and which is "Kiki"? [video] (www.youtube.com)

272. Ripple：優雅的 TypeScript UI 框架 ↑ 2 HN Points

01-11 Ripple: The Elegant TypeScript UI Framework (jsdev.space)

273. 我的家庭光纖網絡崩潰了 ↑ 21 HN Points

01-11 My Home Fibre Network Disintegrated (alienchow.dev)

274. Q 源 ↑ 3 HN Points

01-11 Q Source (en.wikipedia.org)

275. 子代理、命令和技能正在融合 ↑ 2 HN Points

01-11 Subagents, Commands and Skills Are Converging (vivekhaldar.com)

276. 聖何塞市長：加州擬議的財富稅將加重中產階級家庭負擔[視頻] ↑ 2 HN Points

01-11 San Jose Mayor: CA''s proposed wealth tax push burden onto middle class families [video] (www.youtube.com)

277. 宇宙時光機：運用人工智能神與宇宙互聯網 ↑ 3 HN Points

01-11 Universe Time Machine Using AI God and the Universe Internet (patents.google.com)

278. 千禧年大獎問題基準 ↑ 2 HN Points

01-11 Millennium Prize Problem Bench (mppbench.com)

279. 馬斯克的X平臺將在七天內開源新算法 ↑ 3 HN Points

01-11 Musk''s X to open source new algorithm in seven days (www.reuters.com)

280. 計算，共融 ↑ 2 HN Points

01-11 Computing, Convivially (v5.chriskrycho.com)

281. 《馬克思·佩恩》——二十年後——畫面評析 ↑ 2 HN Points

01-11 Max Payne – two decades later – Graphics Critique (darkcephas.blogspot.com)

282. 逆戟鯨：通過師徒學習實現高效通用人工智能的新架構 ↑ 2 HN Points

01-11 Orca: A New Architecture for Efficient AGI Through Parent-Teacher Learning (x.com)

283. 個人建議價值的衰減 ↑ 2 HN Points

01-11 The Declining Value of Personal Advice (www.gojiberries.io)

284. 英偉達宣佈開源阿爾帕馬約AI模型，加速推理型自動駕駛技術發展 ↑ 2 HN Points

01-11 Nvidia Announces Alpamayo Open-Source AI Models to Accelerate Reasoning-Based AV (nvidianews.nvidia.com)

285. 他們稱之為"私募股權"。實為合法盜竊。 ↑ 14 HN Points

01-11 They Call It "Private Equity". It''s Legal Theft (www.founderstowne.com)

286. 精選的精彩可探索解釋列表 ↑ 2 HN Points

01-11 A curated list of awesome explorable explanations (github.com)

287. Zluda在非Nvidia硬件上運行未修改的CUDA ↑ 2 HN Points

01-11 Zluda run unmodified CUDA on non Nvidia hw (www.phoronix.com)

288. 大約十年前……我開發了一個自動定理證明框架。 ↑ 2 HN Points

01-11 "About a decade ago... I developed an automated theorem-proving framework" (twitter.com)

289. 雷德蒙德SpaceX實驗室員工接觸有毒化學物質 ↑ 3 HN Points

01-11 Workers at Redmond SpaceX lab exposed to toxic chemicals (www.fox13seattle.com)

290. 步行能成為我全部的鍛鍊嗎？ ↑ 3 HN Points

01-11 Can Walking Be My Whole Workout? (www.nytimes.com)

291. 精選免費認證課程清單 ↑ 2 HN Points

01-11 A curated list of free courses with certifications (github.com)

292. "多喝點"——受遊說影響的FDA放寬飲酒指南 ↑ 4 HN Points

01-11 "Drink Up" Says a Lobbied FDA: Relaxed Guidelines on Alcohol Consumption (jacobin.com)

293. 據報道，OpenAI正要求承包商上傳過去工作中真實完成的項目。 ↑ 5 HN Points

01-11 OpenAI is reportedly asking contractors to upload real work from past jobs (techcrunch.com)

294. 新車與二手車的爭論已成過往。它們都是昂貴的債務陷阱。 ↑ 2 HN Points

01-11 The new vs. used car debate is dead. They''re both expensive debt traps (washingtonpost.com)

295. Npmgraph——一款可視化NPM包依賴關係的網絡工具 ↑ 2 HN Points

01-11 Npmgraph – a web-based tool that visualizes NPM package dependencies (npmgraph.js.org)

296. 文化並非停滯不前，只是你們老了 ↑ 4 HN Points

01-11 Culture Isn''t Stagnating, You Guys Are Just Old (www.jenn.site)

297. 特朗普聽取對伊朗採取軍事行動方案簡報，抗議活動仍在持續 ↑ 2 HN Points

01-11 Trump Is Briefed on Options for Striking Iran as Protests Continue (www.nytimes.com)

298. 程序員的工作（1967）[pdf] ↑ 3 HN Points

01-11 What a Programmer Does (1967)[pdf] (archive.computerhistory.org)

299. 伊朗政權即將垮臺？ ↑ 3 HN Points

01-11 Is the Iranian Regime About to Collapse? (www.theatlantic.com)

300. Arch Linux包管理（ALPM）項目一年的工作歷程 ↑ 2 HN Points

01-11 A Year of Work on the Arch Linux Package Management (ALPM) Project (devblog.archlinux.page)