1. SWE-1.7 的覆蓋範圍接近 GPT 5.5 和 Opus Intelligence SWE-1.7 Reach Near GPT 5.5 and Opus Intelligence (cognition.com)
3. Show HN: Kastor——適用於 AI 代理的 Terraform 風格規範 Kastor – Terraform-style specs for AI agents (github.com)
5. 面試中如何回答“你為什麼想調職?”這個問題 Answering "why do you want to relocate?" during interviews (relocateme.substack.com)
6. Mistral 的 Robostral Navigate:一種最先進的機器人導航模型 Mistral''s Robostral Navigate: a state of the art robotics navigation model (mistral.ai)
7. OpenBSD 存在一個“釋放後使用”漏洞,可能導致本地權限提升至 root 級別 OpenBSD has a use-after-free allowing local privilege escalation to root (nvd.nist.gov)
8. Cloudflare Meerkat——全球分佈式共識 Cloudflare Meerkat - Globally distributed consensus (blog.cloudflare.com)
9. 美國食品和藥物管理局駁回了關於在食品中設定全氟烷基和多氟烷基物質(PFAS)限值的請願 US Food and Drug Administration rejects petition to set PFAS limits in food (www.theguardian.com)
13. 日本“隼鳥2號”探測器將飛越“鳥船”小行星 Japan''s Hayabusa2 probe to conduct flyby of Torifune asteroid (www3.nhk.or.jp)
15. 蘋果將增加對博通的採購,以在美國增產數十億枚芯片 Apple to increase spend with Broadcom to produce billions more U.S. chips (www.apple.com)
17. 已禁止在工作場所使用個人即時通訊應用的歐洲組織名單 List of European organizations that have banned personal messaging apps at work (www.birdy.chat)
20. 《EVE Online》的Carbon引擎現已開源:Fenris Creations 解釋了原因 EVE Online''s Carbon engine is now open source: Fenris Creations explains why (www.gamesindustry.biz)
22. 摩根士丹利表示,SpaceX的航天業務每股價值8美元 The space bit of SpaceX is worth 8 a share, says Morgan Stanley (www.ft.com)
24. “改革英國”黨領袖在與“賓菲斯伯爵”的對決中“陷入真正困境” Reform UK leader ''in real trouble'' against Count Binface (www.mirror.co.uk)
26. 使用 Python 實現 Excel 自動化:從繁瑣的手動操作到一鍵式工作流 Automate Excel with Python: From manual grind to one-click workflow (nostarch.com)
27. GitLost:我們誘使 GitHub 的 AI 代理洩露了私有倉庫 GitLost: We Tricked GitHub''s AI Agent into Leaking Private Repos (noma.security)
30. GPT-5.6 Sol將與Terra和Luna一同於本週四正式發佈 GPT-5.6 Sol, along with Terra and Luna, will launch publicly this Thursday (twitter.com)
31. 複製那張軟盤——劍橋大學關於保存易損軟盤數據的指南 Copy That Floppy – Cambridge guide for preserving data from fragile floppy disks (www.digipres.org)
32. 如何在不使用 Synology、QNAP 和 TrueNAS 的情況下搭建一臺極簡版 ZFS NAS How to Build a Minimal ZFS NAS Without Synology, QNAP, TrueNAS (neil.computer)
35. 純Python符號迴歸:僅憑8個數據點重新發現開普勒定律 Pure-Python symbolic regression that rediscovered Kepler''s law from 8 data point (github.com)
37. 我們將在7月12日前,為所有付費套餐用戶延長《Fable 5》的遊玩權限 We''re extending access to Fable 5 on all paid plans through July 12 (twitter.com)
38. 從最差到最好:Pure Leaf 13種口味的冰茶排名 Ranked worst to best: 13 flavors of Pure Leaf iced tea (www.tastingtable.com)
40. Tenda 固件(多個版本)中存在隱藏的身份驗證後門 Tenda firmware (multiple versions) contains hidden authentication backdoor (kb.cert.org)
46. 加拿大唯一的一所製表學校,歷經80年依然運轉不息 Canada''s only watchmaking school still ticking after 80 years (www.cbc.ca)
47. 一個用於在真實數據集上探索本福德定律的交互式探索工具 An interactive explorer for Benford''s Law across real datasets (vatsalbakshi.com)
48. Show HN: Fortress——一款隱形版Chromium,讓您的代理不再被封鎖 Fortress – a stealth Chromium so your agents stop getting blocked (github.com)
51. 一項13世紀的計數算法,被忽視了700年 A 13th-Century Enumeration Algorithm, Ignored for 700 Years (blog.klipse.tech)
55. 美國政府問責局(GAO):美國能源部過早地排除了成本較低的核汙染清理方案 GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup (www.gao.gov)
56. 為什麼溫哥華在電影和電視劇中總是充當舊金山的替身(2021) Why Vancouver is always a stand-in for San Francisco in movies and TV shows (2021) (www.sfgate.com)
58. 過去50年來,男性的平均睪酮水平已減半 Men''s average testosterone levels have halved in last 50 years (www.theguardian.com)
59. 歐盟境內銷售的所有汽車現在都必須配備一臺對準您面部的攝像頭 All Cars Sold in the EU Now Require a Camera Aimed at Your Face (allaboutcookies.org)
60. 配備透明顯示屏的相機上市,售價相當於29美元 Camera with transparent display launches for the equivalent of 29 (www.notebookcheck.net)
64. Show HN: Rowboat——Claude Desktop 的開源、本地優先替代方案 Rowboat – Open-source, local-first alternative to Claude Desktop (github.com)
66. Show HN: Halo——面向人工智能代理的開源、防篡改運行時證據 Halo – open-source, tamper-evident runtime evidence for AI agents (github.com)
67. 人工智能與密碼學(1):人工智能在Cloudflare的Circl中發現了什麼 AI Meets Cryptography 1: What AI Found in Cloudflare''s Circl (blog.zksecurity.xyz)
69. 修復售價2.58美元的HDMI轉VGA適配器的模擬音頻問題 Fixing analog audio on the 2.58 HDMI-to-VGA adapter (nyanpasu64.gitlab.io)
71. 藉助Kokoro實現本地化、對CPU友好且高質量的TTS(文本轉語音)功能 Local, CPU-Friendly, High-Quality TTS (Text-to-Speech) with Kokoro (ariya.io)
72. Show HN: Docx-CLI:代理程序處理Word文檔所需的時間和令牌僅為原來的1/2 Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens (github.com)
76. 計算氣球扭結:氣球多面體理論 [pdf] Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf] (cccg.ca)
77. 克勞德代碼中的隱藏追蹤器被曝光,Anthropic直接刪除了相關代碼 Secret Tracker in Claude Code Uncovered, Anthropic Directly Deletes Code (voi.id)
79. 曼哈頓中城數個街區因建築工地橫樑發生屈曲而被疏散 Midtown Manhattan blocks evacuated after beams buckling at construction site (abcnews.com)
81. 30papers.com——伊利亞精選的30篇機器學習必讀論文,以適合初學者的形式呈現 30papers.com – Ilya''s 30 essential ML papers, in a beginner friendly format (30papers.com)
82. 那些屏蔽AI訓練爬蟲的網站大多會忽略答題機器人的響應時間 Sites that block AI training crawlers mostly ignore the answer time bots (sitedex.dev)
84. 地圖顯示:可從美國政府以不到10萬美元的價格購買的住房 Mapping homes you can buy from the US government for 100k (govauctions.app)
85. 中國判處一名官員死刑,因其收受3.25億美元賄賂 China sentences official to death for taking 325M in bribes (www.bbc.com)
89. 權衡利弊:為何人工智能可視化儀表盤大多毫無用處 Weighing smoke: why AI visibility dashboards are mostly useless (betterthangood.xyz)
92. GitHub Freno:一種協作式、高可用性的流量控制服務 GitHub Freno: cooperative, highly available throttler service (github.com)
96. 一個用於選擇最優氣候變化決策的“系統之系統” A System of Systems for the Selection of Optimal Climate Change Decisions (ieeexplore.ieee.org)
99. Show HN: Shellular——在手機上運行 Claude Code、Codex 和 Pi Shellular – run Claude Code, Codex, Pi from your phone (shellular.dev)
100. Show HN: 23種EC2實例類型中PostgreSQL的性能與成本 PostgreSQL performance and cost across 23 EC2 instance types (postgres.saneengineer.com)
101. Ask HN: 有哪些好的數學公式搜索引擎? Where are the good search engines for mathematical formulas? (news.ycombinator.com)
103. 鈉離子“鹽”電池將徹底改變電動汽車和電網儲能領域 Sodium-ion "salt" batteries will revolutionize electric-vehicle and grid storage (www.newscientist.com)
105. 馬克·扎克伯格迄今為止最大的法律噩夢可能使Meta損失1.4萬億美元 Mark Zuckerberg''s biggest legal nightmare yet could cost Meta 1.4T (www.the-independent.com)
106. 系健身短褲(或任何抽繩)的更好方法 [視頻] A better way to tie your gym shorts. (Or any drawstring) [video] (www.youtube.com)
107. StreetComplete:通過一次次微小的探索,完善OpenStreetMap StreetComplete: Fixing OpenStreetMap, one tiny quest at a time (streetcomplete.app)
108. 杜阿·利帕在葡萄牙開設了一家專門收藏被禁和遭審查書籍的圖書館 Dua Lipa opens library for banned and censored books in Portugal (www.euronews.com)
113. PostgreSQL 基準測試:AWS RDS 與 Hetzner 自建服務器對比(2026) PostgreSQL Benchmark: AWS RDS vs. Self-Hosted on Hetzner (2026) (hostim.dev)
118. Show HN: 一款快速、原生的 Mac 文件管理器(支持過濾、模糊搜索,9 MB,不使用 Electron) Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron) (whimfiles.com)
121. 唐納德·E·克努特所著《計算機程序設計藝術》 The Art of Computer Programming by Donald E. Knuth (www-cs-faculty.stanford.edu)
122. YC首席執行官稱其每天交付3.7萬行AI代碼。一位開發者對此進行了深入探究 YC CEO says he ships 37K LoC/day AI code. A developer looked under the hood (www.fastcompany.com)
127. 多洛斯——一種源自南非、在全球範圍內廣泛使用的發明 Dolosse – a South African invention used over the world (thisbugslife.com)
129. 為某個領域設置挑戰:將基準測試作為數據激活手段 Giving a domain a hill to climb: benchmarking as data activation (sparsethought.com)
133. 我開發了一款免費工具,它能結合你的Nasic分數和過往表現來幫助你贏得合約 I created a free tool that pairs your Nasic and past performance to win contract (www.fedfinder.net)
134. 在網絡不穩定的地區,小型AI模型正逐漸普及 Small AI Models Gain Traction In places with unreliable networks (spectrum.ieee.org)
135. Strata——一款能說服我不要在戶外喪命的App Strata – An app that talks me out of dying outdoors (strata.highloop.co)
138. Show HN: InstantVideos.org——時長約30秒的短紀錄片 InstantVideos.org – short documentaries in 30 seconds (instantvideos.org)
140. “首字母縮寫疲勞”系列導言:我為何對首字母縮寫持謹慎態度 Acronym Fatigue Series Introduction: why I''m wary of acronyms (devz.cl)
143. 一款用於數字劃分和數獨問題的2048自旋體聲波伊辛機 A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku (arxiv.org)
144. Ternlight——一款可在瀏覽器中運行的 7 MB 嵌入式模型(WASM) Ternlight – 7 MB embedding model that runs in browser (WASM) (ternlight-demo.vercel.app)
145. 《Fable》將《哈利·波特》中的湯姆·裡德爾日記改編成了精彩之作 Fable turned remarkable into Tom Riddle''s diary from Harry Potter (github.com)
147. 並非所有操作都應消耗代幣:確定性人工智能的論據 Not everything should cost a token: the case for deterministic AI (www.vybe.build)
153. AI:在科技行業之外,投資回報的增長空間可能很長 AI: The ROI Runway Could Be Long Outside the Tech Sector (www.apollo.com)
165. 利用精準編輯技術研究人類胚胎髮育揭示了主控基因 Using precision editing to study human embryo development shows master gene (www.cam.ac.uk)
167. Orasort:利用甲骨文的一項已過期專利,實現5倍更快的列排序 Orasort: 5x faster column-sorting with an expired patent from Oracle (deepsystemstuff.com)
173. Januscape:KVM/x86 環境中的客機到主機權限提升漏洞 [CVE-2026-53359] Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359] (github.com)
174. Fable 構建了亞里士多德認知架構的 3D 模型 Fable Built a 3D Model of Aristotle''s Cognitive Architecture (conceptual-spaces.vercel.app)
175. 科技巨頭們突然改變了對“人工智能將導致就業崗位消失”這一情景的看法 Big Tech Has Suddenly Flipped on the AI Jobs Wipeout Scenario (www.wsj.com)
177. 最高法院剛剛給弗洛克的車牌攝像頭帝國點燃了導火索 The Supreme Court Just Lit a Fuse Under Flock''s License Plate Camera Empire (www.yahoo.com)
179. 基於Subleq單指令集計算機的“永恆軟件”計劃 Eternal Software Initiative Based on Subleq One-Instruction-Set Computer (github.com)
180. OfficeCLI:供人工智能代理讀取和編輯 Microsoft Office 文件的辦公套件 OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files (github.com)
183. CS2 戰爭迷霧:針對 CS2 服務器的基於服務端的防穿牆作弊遮擋剔除機制 CS2 Fog Of War: Server-sided anti-wallhack occlusion culling for CS2 servers (github.com)
188. 隱形機器人初創公司(YC S26)正在招聘首席工程師(帕洛阿爾託) Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto) (news.ycombinator.com)
191. Google Chrome 在您的電腦上安裝了一個 4GB 的人工智能模型 Google Chrome Installed a 4GB AI Model on Your PC (oztalking.com)
192. 電動防空攔截無人機以434英里/小時的速度打破世界飛行速度紀錄 Electric anti-aircraft interceptor drone breaks world air speed record at 434mph (www.tomshardware.com)
193. 多語言經歷與人群及個體的延緩衰老相關 Multilingual Experience Linked to Delayed Aging in Populations and Individuals (fens2026.abstractserver.com)
196. 既然已經有了 Postgres,真的還需要單獨的系統嗎? Do you really need separate systems when you already have Postgres? (postgresisenough.dev)
197. 艾米麗·本德就“隨機鸚鵡”一事澄清事實 Emily Bender Sets the Record Straight on "Stochastic Parrots" (spectrum.ieee.org)
198. 美國司法部結案阿博特實驗室案,引發企業犯罪調查範圍收窄 DOJ Closing Abbott Labs Case Spurs Wider Corporate Crime Retreat (news.bloomberglaw.com)
201. 視頻顯示,一名警察在利用車牌識別系統(LPR)監控一名女子後,對其進行了跟蹤 Footage Shows Cop Stalking Woman After Surveilling Her with a LPR (www.404media.co)
202. “已無回頭路”:歐洲與美國關係破裂的幕後故事 ''There Is No Going Back'': The Inside Story of Europe''s Rupture with America (www.wsj.com)
207. 任天堂宣佈在歐洲推出配備可更換電池的新款產品 Nintendo announces new product revisions in Europe with replaceable batteries (www.nintendo.com)
209. 均值迴歸:論大型語言模型與“新事物”的悄然消亡 Regression to the Mean: on LLMs and the quiet death of the new (rruxandra.github.io)
211. 布萊恩·約翰遜:我患有一種自身免疫性疾病。我的胃正在自我破壞。 Bryan Johnson: I have an autoimmune disease. My stomach is eating itself (twitter.com)
213. Show HN: Pet Reminder——一款帶有桌面寵物形象的 macOS 提醒事項應用 Pet Reminder – A macOS reminder app with a desktop pet (reminder.w3cub.com)
214. 亞馬遜將於7月30日停止接受Mechanical Turk的新用戶註冊 Amazon will stop accepting new customers for Mechanical Turk on July 30 (techcrunch.com)
215. 《Fable 5》在Vending-Bench上:行為不端,卻能合理推脫 Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability (andonlabs.com)
216. Anthropic 如何通過幾個簡單步驟失去商譽 Anthropic''s Method to Losing Goodwill in a Few Easy Steps (raheeljunaid.com)
219. AI營銷遭遇反噬:為何“AI優先”品牌開始失勢 The AI Marketing Backlash: Why ''AI-First'' Brands Are Starting to Fall Flat (www.breef.com)
220. 美國宇航局發射機器人,以挽救即將墜落地球的“斯威夫特”望遠鏡 NASA launches robot to save Swift telescope falling to Earth (www.bbc.com)
222. 當用戶嘗試在瀏覽器中加載一個 1 GB 的 GML 文件時,我們學到了什麼 What we learned when a user tried to load a 1 GB GML file in a browser (geodataviewer.com)
224. 研究表明:超黑塗層可減少衛星光汙染 Study: ultra-black coating could reduce satellite light pollution (www.surrey.ac.uk)
228. Show HN: 在實時互動地球儀上繪製地球(協作藝術。) Paint the Earth on a live, interactive globe (collaborative art.) (earth.tattoo)
239. Show HN: 我寫了一本關於Rust的書,結尾部分介紹了一個Redis的克隆版本 I wrote a Rust book ending with a Redis clone (shankhan3.gumroad.com)
240. 對一個已有25年曆史的極簡C單元測試框架進行現代化改造(第二部分) Modernizing a 25-year-old minimal C unit testing framework (Part 2) (freshsources.com)
243. 通過客戶支持來建立客戶關係的效果並未如預期般理想 Building relationships with customers through support didn''t turn out as hoped (www.uncommonapps.nyc)
249. 兒童接受人工智能的速度是成人的3倍——而我們尚未做好準備 Children Adopt AI 3x Faster Than Adults – and We''re Not Ready (hackenewhome.blogspot.com)
254. 專家稱,昆士蘭海灘上發現的奇怪球體可能是具有毒性的“太空垃圾” Strange Balls found on Queensland beaches could be toxic ''space debris'': experts (www.inkl.com)
257. 阿爾·維吉耶:加拿大的人工智能戰略不應包含涉及帕蘭蒂爾的秘密法案 Al Vigier: Canada''s AI strategy shouldn''t include secret Palantir bills (www.readtheline.ca)
261. 扎克伯格表示,人工智能代理的開發進度慢於預期 Zuckerberg says AI agent development going slower than expected (www.reuters.com)
264. Tell HN: 不要將人工智能研究的知識產權託付給Bigco的人工智能代理 don''t trust Bigco AI agents with AI research IP (news.ycombinator.com)
266. 想到一個關於Rust編輯器的點子,其中包含一個用於學習的簡單Vim模式 Had an idea for a Rust editor with simple Vim mode for learning (github.com)
268. 7月4日,達美航空一架航班在米德韋機場降落時被煙花擊中 Delta flight hit by firework while landing at Midway Airport on Fourth of July (www.nbcchicago.com)
269. 我所知道的第一位在定點打擊中遇害的程序員是海薩姆 The first programmer I know who was murdered in a targeted strike was Haitham (www.lrb.co.uk)
270. DNSGlobe——一款用於觀察DNS在全球範圍內傳播的Rust TUI工具 DNSGlobe – Rust TUI to watch DNS propagate around the world (github.com)
272. CoCom法規與氣球及立方衛星用的GPS接收機 CoCom regulations and GPS receivers for balloons and cubesats (space.stackexchange.com)
273. Show HN: Homegames。一個我開發了8年的開源遊戲平臺 Homegames. An open-source game platform I''ve been making for 8 years (homegames.io)
274. Go 語言中的零拷貝:sendfile、splice 以及 io.Copy 的開銷 Zero-copy in Go: sendfile, splice, and the cost of io.Copy (segflow.github.io)
279. 《地牢證明爬行者》:學習如何使用RPG編寫證明 Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)
282. Show HN: 一款用於查找域名中暴露文件的OSINT工具 Osint tool that finds exposed files on domains (search.cerast-intelligence.com)
286. Tripadvisor的AI摘要對危險酒店給予了極高的評價 Tripadvisor AI summaries give glowing reviews to dangerous hotels (www.euronews.com)
289. 吉姆·凱勒的初創公司正在建設一座工廠,用於批量生產小型芯片製造廠 Jim Keller''s startup is building a factory to mass-produce small chip fabs (www.tomshardware.com)
291. “Baby Paint”先生與偶然發現的一種新型細胞自動機 Mr. Baby Paint and accidentally discovering a new cellular automata (tekstien-marginaalien-keskus.aalto.fi)
295. 達特茅斯大學的一門課程中,新型AI輔導系統實現了0.71-1.30個標準差的效果量 [pdf] New AI tutor achieves 0.71-1.30 SD effect size in Dartmouth course [pdf] (intextbooks.science.uu.nl)