1. Show HN: 我訓練了一個基於強化學習(RL)的智能體,該智能體用於通過強化學習訓練模型(費用為–1.3k) I RL-trained an agent that trains models with RL (for –1.3k) (github.com)
10. Codex 抓取了 ICM 網站的數據,並發現了 2026 年菲爾茲獎獲獎者名單 Codex scraped the ICM website and discovered 2026 Fields Medal winner list (phemex.com)
13. Codex 開始對提示進行加密,轉而使用密文進行推理 Codex starts encrypting prompts, uses ciphertext for inference instead (github.com)
14. Show HN: Rejourney——面向網頁和移動應用的開源收入流失預測工具 Rejourney – Open-source revenue leak prediction for web and mobile apps (github.com)
15. 值得建設的未來是人性化的——思考機器實驗室 The Future Worth Building Is Human – Thinking Machines Lab (thinkingmachines.ai)
17. “數字疲勞”現象:數字倦怠如何改變社交媒體的使用方式 The great digital fatigue: How digital burnout is changing social media use (blog.incogni.com)
18. 你的“應用”本可以是一個網頁(所以我幫你改好了) Your ''App'' Could Have Been a Webpage (so I fixed it for you) (danq.me)
20. 歐洲一款“年齡驗證” “應用”強制所有人使用安卓或iOS系統 European "age verification" "app" forcing everyone to use Android or iOS (github.com)
25. Show HN: 只需5分鐘,即可評估您工程團隊的AI代理成熟度 Benchmark your eng team''s AI agent maturity in 5 minutes (agent-benchmarks.com)
26. 印度科學家繪製出迄今為止最詳細的人類腦幹三維圖譜 Indian scientists produce most detailed 3D atlas of the human brainstem (www.bbc.com)
28. Jektex 0.2.0——這款用於 LaTeX 渲染的 Jekyll 插件現在速度提升了約 10 倍 Jektex 0.2.0 – A Jekyll plugin for LaTeX rendering is now 10x faster (github.com)
29. 分析師稱,OpenAI的廣告業務預計將比其自身預測低90% OpenAI''s Ad Business Is on Pace to Miss Its Own Forecast by 90%, Analyst Says (www.adweek.com)
33. YouTrackDB 是一款通用型面向對象的圖數據庫 YouTrackDB is a general-use object-oriented graph database (github.com)
39. 日本開發出一種方法,可從廢舊電動車電池中回收高達90%的鋰 Japan develops a method to recover up to 90% of lithium from used EV batteries (tech.supercarblondie.com)
40. 衛星追蹤器——Starlink及3萬顆衛星的實時地圖 Satellite Tracker – Live Map of Starlink and 30k Satellites (satellitemap.space)
46. Show HN: MemStitch——面向vLLM的零拷貝上下文橋接技術(TTFT速度提升25倍) MemStitch – Zero-copy context bridging for vLLM (25x TTFT speedup) (github.com)
47. 全球首創的“超級合金”或將徹底改變金屬的製造方式 World-First ''Super Alloy'' Could Transform the Way Metals Are Made (www.sciencealert.com)
48. 如果你做的不符合自己的興趣,那麼成功或許並不重要 Success may not matter if you aren''t doing what you love (12gramsofcarbon.com)
49. MorphoHDL:一種用於構建電路的極簡語言 MorphoHDL: A minimalistic language for growing circuits (paradigms-of-intelligence.github.io)
50. ESBMC-Arduino:彌合形式驗證的部署差距 ESBMC-Arduino: Closing the Deployment Gap for Formal Verification (arxiv.org)
52. SFFA訴哈佛案揭示了招生方面的哪些問題? What did SFFA vs. Harvard reveal about admissions? (sorting-machine.pages.dev)
53. 將您的歌聲轉換為可打印的樂譜(在瀏覽器中) Turn your singing voice into printable notes (in the browser) (om-intelligence.ch)
55. Show HN: Sx 2.0 – 通過 Dropbox 文件夾與團隊共享 AI 技能 Sx 2.0 – Share AI skills with your team through a Dropbox folder (sleuth-io.github.io)
56. Show HN: ContextVault——專為您的 AI 和團隊打造的共享內存層 ContextVault – Shared memory layer for your AI and your team (www.contextvault.dev)
58. 什麼是前線工程兵,為什麼他們如此搶手?(2025) What are Forward Deployed Engineers, and why are they so in demand? (2025) (newsletter.pragmaticengineer.com)
60. 一位在攝影術普及之前就以素描形式描繪印度的英國女性 An Englishwoman who sketched India before photography took hold (www.bbc.com)
61. 關於微軟計劃於2026年初推出Claude Code和GitHub Copilot CLI的研究 A Study of Microsoft''s Early 2026 Rollout of Claude Code and GitHub Copilot CLI (arxiv.org)
62. Show HN: 哈克尼——比較優步、Lyft、Waymo 和 Robotaxi 的價格 Hackney – Compare Uber, Lyft, Waymo, and Robotaxi Prices (hackney.app)
64. 麻省理工學院的新方法可識別出基於CASM訓練但未生成CASM的AI模型 MIT''s New Method Flags AI Models Trained on CASM Without Generating It (insideai.news)
67. Show HN: 我搭建了一個“單題”黑客馬拉松平臺,免費參與,設有贊助獎品 I built a one-prompt hackathon platform, free entry, sponsored prizes (1shotchallenge.ai)
69. 如果這項備受爭議的加州法案獲得通過,“無限滾動”功能可能會面臨消失的風險 The infinite scroll may become endangered if controversial Calif. law passes (www.sfgate.com)
72. 採用符合Rust語言規範的方式重寫的Linux 0.11,可在QEMU中啟動 Linux 0.11 rewritten in idiomatic Rust, boots in QEMU (github.com)
73. Show HN: Sigwire——適用於 Linux 系統上所有信號的實時 TUI 交換機 Sigwire – a live TUI switchboard for every signal on your Linux box (github.com)
75. 如果您不允許三星將您的健康數據用於訓練人工智能,三星將刪除這些數據 Samsung will delete your health data if you don''t let them use it to train AI (neow.in)
76. Show HN: Jacquard,一種由人工智能編寫、經人類審核的編程語言 Jacquard, a programming language for AI-written, human-reviewed code (github.com)
77. “4-Bitter”教訓:在NVFP4強化學習中平衡穩定性與性能 The 4-Bitter Lesson: Balancing Stability and Performance in NVFP4 RL (humansand.ai)
78. SalesPatriot(YC W25)正在招聘全棧工程師(舊金山) SalesPatriot (YC W25) Is Hiring Full Stack Engineers (SF) (jobs.ashbyhq.com)
82. Show HN: PlanWright——一個用於人工智能編碼代理的控制平面 PlanWright – A control plane for AI coding agents (planwright.tools)
88. Thunderbird 桌面版設置調研:我們從您的反饋中獲得了哪些啟示 Thunderbird Desktop settings research: what we learned from your feedback (blog.thunderbird.net)
90. Show HN: Nobie——一款適用於智能代理和人類用戶的、與Excel兼容的運行時環境 Nobie – an Excel-compatible runtime for agents and humans (nobie.com)
96. 無需打開 Xcode 即可構建和發佈 Mac 及 iOS 應用 Building and Shipping Mac and iOS Apps Without Ever Opening Xcode (scottwillsey.com)
97. Sega 32X 上的 Linux。反正誰還需要硬件同步原語呢? Linux on the Sega 32X. Who needs hardware synchronization primitives anyway? (cakehonolulu.github.io)
98. Show HN: BillAI Bass:一款基於Strands Agents技術、由人工智能驅動的“大嘴比利·巴斯” BillAI Bass, an AI-Powered Big Mouth Billy Bass Using Strands Agents (github.com)
99. xAI 的 Grok Build CLI 將 Git 倉庫上傳到 Google Cloud 存儲桶 xAI''s Grok Build CLI Uploads Git Repositories to a Google Cloud Bucket (www.internationalcyberdigest.com)
100. Ask HN: 我應該去劍橋讀計算機科學碩士,還是作為應屆畢業生加入亞馬遜? Should I do a CS masters at Cambridge or start as a new grad at Amazon? (news.ycombinator.com)
103. Show HN: OpenClawMachines——將 OpenClaw 擴展至企業級應用 OpenClawMachines – Extending OpenClaw to the Enterprise (github.com)
104. 美國國家運輸安全委員會(NTSB)關於NetJets公司40年來首起致命事故的報告(喬什·貝爾,願他安息) NTSB Report on NetJets first fatality in 40 years (Josh Baer RIP) (data.ntsb.gov)
106. 告別 ARP:僅支持 IPv6 的網絡上的 IPv4 服務 A Farewell to ARPs: IPv4 Service on IPv6-Only Networks (labs.ripe.net)
107. 諾基亞長達14年的手機霸主地位在一下午內土崩瓦解 Nokia''s 14 Years of Mobile-Phone Supremacy Ended in an Afternoon (spectrum.ieee.org)
108. PgDog(YC P25)正在招聘一名創始軟件工程師 PgDog (YC P25) Is Hiring a Founding Software Engineer (www.ycombinator.com)
110. 蘋果的新款 SpeechAnalyzer API,與 Whisper 及其前身進行了性能對比 Apple''s new SpeechAnalyzer API, benchmarked against Whisper and its predecessor (get-inscribe.com)
112. 維基百科目前暫時避免了被列入英國《網絡安全法》第一類網站的範疇 Wikipedia escapes Category 1 designation under the UK Online Safety Act for now (en.wikipedia.org)
114. 使用現代工作負載對15款“電子廢棄物”GPU進行性能測試 Benchmarking 15 "E-Waste" GPUs with Modern Workloads (esologic.com)
116. 洛杉磯警察局(LAPD)讓與監控巨頭Flock的合同到期 LAPD lets contract with surveillance giant Flock expire (techcrunch.com)
120. 如果不提高收益率,債券市場根本無法滿足市場的資金需求。 There''s no way this bond market can fund the markets needs without higher yields (www.youtube.com)
121. Show HN: Clawk——給編程人員提供一個一次性Linux虛擬機,而不是你的筆記本電腦 Clawk – Give coding agents a disposable Linux VM, not your laptop (github.com)
126. 摩爾斯電碼的“絕對魔力”,至今仍將世界各地的人們緊密相連 The ''absolute magic'' of Morse code that still connects people globally (www.bbc.com)
127. 舊金山警方無人機視頻外洩揭露了城市監控的真實情況 Leak of San Francisco Police Drone Footage Exposes Reality of Urban Surveillance (www.wired.com)
129. Show HN: DOM-docx – 將 HTML 轉換為原生、可編輯的 Word 文檔(MIT 許可證) DOM-docx – HTML to native, editable Word docs (MIT) (github.com)
131. 以日本實時數據構建的“體素東京”——乘坐山手線,學習日語 A voxel Tokyo in real Japan time – ride the Yamanote line and study Japanese (jivx.com)
133. Ask HN: 有人會讓AI代理純粹為了好玩而玩遊戲嗎? Does anyone let AI agents play games just for fun? (news.ycombinator.com)
135. 伯克希爾對過熱市場的3970億美元押注 Berkshire''s 397B Bet Against an Overheated Market (www.disruptionbanking.com)
137. Frieve Vinyl 詳解——針尖與溝槽的微觀物理模擬 Frieve Vinyl Explained – Microscopic stylus/groove physics simulation (frieve-a.github.io)
143. 對話的社會物理學:溝通模式至關重要 The social physics of conversation: Communication patterns matter (andiroberts.com)
145. 以每秒 6B 次運算的速度在 JavaScript 中進行顏色轉換 Converting colors in JavaScript at 6B operations per second (dkryaklin.com)
147. 一名男子使用Game Boy相機和巨型望遠鏡拍攝了木星的照片,併發布了教程 Guy took Jupiter photo with Game Boy Camera, giant telescope, publishes tutorial (www.engadget.com)
149. 你是說一個只讀屬性正在拖累我的性能嗎? Are you telling me a readonly property is wrecking my performance? (shub.club)
151. 首度一睹“Quest”號真容——這是南極探險家沙克爾頓的最後一艘船 First look at Quest, the final ship of Antarctic explorer Shackleton (www.cbc.ca)
153. 阿勒格尼縣房產稅評估的現代化改革 Modernizing Property Tax Assessments in Allegheny County (www.prohousingpgh.org)
154. Calculix:一款開源的三維結構有限元分析軟件 Calculix: A Free Software Three-Dimensional Structural Finite Element Program (www.calculix.de)
158. 麥肯齊·斯科特的慈善捐贈,以質量調整生命年(QALY)為單位 MacKenzie Scott''s Giving, in Quality-Adjusted Life Years (QALYs) (maxghenis.com)
160. 一窺吉姆·漢森的“生物工坊”——奇思妙想的木偶設計之地 A Peek Inside Jim Henson''s Creature Shop, Where Whimsical Puppets Are Designed (www.smithsonianmag.com)
167. 利用真實數據剖析“Abundance”住房瓶頸 Profiling the "Abundance" housing bottleneck with real data (laxmena.com)
171. Show HN: Codebase Posters——將任何 Git 倉庫轉化為生成式海報藝術 Codebase Posters – turn any Git repo into generative poster art (github.com)
174. Kode Dot:專為創客、滲透測試人員和極客設計的可編程口袋設備 Kode Dot Programmable pocket device for makers, pentesters and geeks (kode.diy)
175. Show HN: 自適應回調:基於MCP的AI助手持久化存儲方案 Adaptive Recall, persistent memory for AI assistants over MCP (www.adaptiverecall.com)
179. 從 Chromium 148 開始,Math.tanh 現可通過指紋識別關聯底層操作系統 Since Chronium 148, Math.tanh is now fingerprintable to link underlying OS (scrapfly.dev)
181. Flash-MSA:利用稀疏注意力核加速百萬令牌訓練 Flash-MSA: Accelerating Million-Token Training with Sparse Attention Kernels (nanduruganesh.github.io)
182. “別再砍掉‘羊群攝像頭’了”(大規模監控是好事)[視頻] "Stop Cutting Down Flock Cameras " (Mass Surveillance Is Good) [video] (www.youtube.com)
184. 愛爾蘭的數據中心目前消耗了該國23%的電力 Irish datacenters now guzzle 23% of the country''s electricity (www.theregister.com)
188. Show HN: Nectar,一種類似 Rust 的 React 框架,可編譯為 WebAssembly Nectar, a Rust-like React that compiles to WebAssembly (buildnectar.com)
191. 將生產環境中的AI代理遷移至GPT-5.6:速度提升2.2倍,成本降低27% Migrating a production AI agent to GPT-5.6: 2.2x faster, 27% cheaper (ploy.ai)
193. Claude Code 在讀取提示前發送了 3.3 萬個代幣;OpenCode 發送了 7 千個 Claude Code sends 33k tokens before reading the prompt; OpenCode sends 7k (systima.ai)
196. 克勞德優惠碼 2026年5月至7月每週限額促銷活動 Claude Code May–July 2026 weekly limits promotion (support.claude.com)
198. Croc:在兩臺計算機之間安全地傳輸文件和文件夾 Croc: Securely transfer files and folders between two computers (github.com)
203. 西奧·德·拉德特:“你肯定是吸了什麼致幻的東西”(2007) Theo de Raadt: "You''ve been smoking something mind altering" (2007) (marc.info)
206. Show HN: Kurvengefahr——適用於筆式繪圖機的瀏覽器版CAD/CAM軟件 Kurvengefahr – browser CAD/CAM for pen plotters (kurvengefahr.org)
207. Show HN: Shirei,基於原生 Go 語言的跨平臺 GUI 框架 Shirei, cross-platform GUI framework in native Go (github.com)
215. 協作的力量:我們如何緩解交通擁堵 The power of collaboration: How we can reduce traffic congestion (research.google)
219. Show HN: Skillscript——一種用於工具編排的聲明式、沙箱化語言 Skillscript – A declarative, sandboxed language for tool orchestration (github.com)
220. Relm——將本地大型語言模型作為 base-R 對象,並具備可解釋性 Relm – local LLMs as base-R objects, with interpretability (github.com)
221. Show HN: 在4,356臺可聯繫到的MCP服務器中,僅有1臺符合2026-07-28規範 Only 1 of 4,356 reachable MCP servers is ready for the 2026-07-28 spec (github.com)
223. Satteri:一款專為 JavaScript 世界打造、用 Rust 編寫的 Markdown 處理管道 Satteri: A Markdown pipeline forged in Rust for the JavaScript world (satteri.bruits.org)
224. 人工智能助推科研職業發展,卻抑制了科學發現 AI Boosts Research Careers but Flattens Scientific Discovery (spectrum.ieee.org)
225. 《海洋奇緣》背後的謎團:1700年後,波利尼西亞人為何突然向東航行? Mystery behind Moana: After 1,700 years, why did Polynesians suddenly sail east? (theconversation.com)
232. 《新舊應用:通過現代編碼代理》,作者:Terry Tao Old and new apps, via modern coding agents by Terry Tao (terrytao.wordpress.com)
233. IT管理員對微軟那些“毫無用處”的應用程序和Windows 11“深感厭倦” IT administrators are "fed up" with Microsoft''s "useless" apps and Windows 11 (www.neowin.net)
234. 巴西一名婦女被同一家族的三代人奴役長達55年 Woman in Brazil enslaved for 55 years by 3 generations of the same family (english.elpais.com)
236. Ghostel.el:基於 libghostty 的終端模擬器 Ghostel.el: Terminal emulator powered by libghostty (dakra.github.io)
237. 參議員林賽·格雷厄姆因“突發短暫疾病”去世,享年71歲 Sen. Lindsey Graham dies at 71 after ''brief and sudden illness'' (www.nbcnews.com)
238. 數據中心導致科技巨頭的碳排放量達到法國碳排放量的三分之一 Datacentres drive up big tech''s carbon emissions to a third of those of France (www.theguardian.com)
240. “狀態更新”的消亡:為何55%的美國人不再在社交媒體上發帖 Death of the Status Update: Why 55% of Americans Stopped Posting on Social Media (ca.pcmag.com)
242. 《為父親撰寫悼詞的十六次失敗嘗試》(2024) Sixteen Failed Attempts to Write a Eulogy for My Father (2024) (jude-doyle.ghost.io)
243. 屍檢研究發現,長期新冠患者的心臟中存在正在複製的SARS-CoV-2病毒 Autopsy Study Finds Replicating SARS-CoV-2 in the Hearts of Long Covid (my.uscap.org)
245. 速度提升6倍的二進制搜索:從編譯代碼到機械共情 6 faster binary search: from compiled code to mechanical sympathy (pythonspeed.com)
246. Protobuf-py:專為 Python 設計的 Protobuf,毫不妥協 Protobuf-py: Protobuf for Python, without compromises (buf.build)
247. Show HN: Mindwalk——在代碼庫的 3D 地圖上重放編碼代理會話 Mindwalk – Replay coding-agent sessions on a 3D map of your codebase (github.com)
253. 繁瑣的專利審批流程正擠壓著小型發明家 Small Inventors Are Being Squeezed by a Convoluted Patent Process (www.nationalreview.com)
254. 根據聯邦規定,高校必須確保畢業生畢業後的經濟狀況有所改善,否則將失去財政援助 Under federal rule, colleges must leave grads better off or lose financial aid (www.npr.org)
255. 為什麼美國消費者如此憤怒?這不僅僅是因為物價高 Why are US consumers so angry? It''s not just high prices (www.theguardian.com)
256. 修復了三個導致 Qwen3.5-122B 無法在 Mac Studio 上作為日常使用系統的錯誤 Fixed three bugs that made Qwen3.5-122B a daily driver on Mac Studio (mrzk.io)
258. Show HN: Quantum-Qec / 無矩陣量子穩態引擎(藍圖) Quantum-Qec / Matrix-Free Quantum Homeostatic Engine(Blueprint) (github.com)
259. 我們知道簡單的流體可以流動。結果發現,有些流體還會發生斷裂。 We Know Simple Fluids Can Flow. Turns Out, Some Can Fracture (www.quantamagazine.org)
261. xAI 的 Grok Build CLI 實際上向 xAI 發送了什麼 What xAI''s Grok Build CLI Actually Sends to xAI (gist.github.com)
262. 一款 Erlang 風格的純 Scheme Web 服務器及其延伸 A Erlang style pure Scheme Webserver and further (igropyr.com)
266. 眾議員羅·卡納在被佔領的約旦河西岸被以色列定居者扣留 Rep. Ro Khanna was detained by Israeli settlers in occupied West Bank (www.theguardian.com)
267. 瑪莎·利拉德——美國最後一位使用“鐵肺”的小兒麻痺症患者——在俄克拉荷馬州去世,享年78歲 Martha Lillard, last US polio patient using iron lung, dies at 78 in Oklahoma (abcnews.com)
268. 一份關於雲服務中斷及其觸發的SLA補償的公開記錄 A public ledger of cloud outages and the SLA credits they trigger (slacreditwatch.com)
269. 《我沒有殺斯坦利·利伯:如何畫畫(與9front合作)》 I Did Not Kill Stanley Lieber: How to Draw (With 9front) (triapul.cz)
270. 2026年6月,Firefox在北美桌面瀏覽器市場中的份額為12.58% Firefox 12.58% for Desktop Browser Market Share in North America June 2026 (gs.statcounter.com)
272. “長新冠”可能會對控制胃部功能的神經造成物理性損傷 Long Covid May Physically Damage the Nerves That Control the Stomach (www.ijidonline.com)
273. 如何在 PostgreSQL 中通過非分區列進行查詢時實現剪枝 How to Achieve Pruning When Querying by Non-Partitioned Columns in PostgreSQL (hakibenita.com)
275. 那條在你走出大門時如影隨形的細則:競業禁止條款正日益普及 The fine print that follows you out the door: non-compete clauses are spreading (oecdecoscope.blog)
276. Show HN: Sqlsure——針對AI生成的SQL的確定性語義檢查 Sqlsure – deterministic semantic checks for AI-generated SQL (github.com)
277. 醫生也會死。這雖與我們普通人不同,但本該如此(2016) Doctors die. It''s not like the rest of us, but it should be (2016) (archive.cancerworld.net)
279. 研究人員發現,在控制血糖方面,舉重比跑步更有效 Weightlifting beats running for blood sugar control, researchers find (news.vt.edu)
282. RISCBoy 是一款從零開始設計的開源便攜式遊戲機 RISCBoy is an open-source portable games console, designed from scratch (github.com)
283. 數十億幅素描揭示了人類概念中隱藏的文化差異 Billions of Sketches Reveal Hidden Cultural Variation in Human Concepts (arxiv.org)
284. 我以前很喜歡克勞德,但最新款的產品正一點一點地毀了它 I used to love Claude, but the latest models are slowly ruining it (www.androidauthority.com)
285. 建築工人、電工、快遞員:ICE偽裝成這些身份以拘留移民 Construction workers, electricians, couriers: ICE disguises to detain migrants (english.elpais.com)
290. Biff.graph:將您的 Clojure 代碼庫構建為可查詢的圖結構 Biff.graph: structure your Clojure codebase as a queryable graph (github.com)
291. Ask HN: 為什麼谷歌沒有收錄關於AT協議的信息? Why isn''t Google indexing information about the AT Protocol? (news.ycombinator.com)
292. Show HN: Reame——一款運行時速度會越來越快的 CPU 推理服務器 Reame – a CPU inference server that gets faster as it runs (github.com)
296. 英偉達、CoreWeave 和 Nebius:GPU 熱潮背後的循環融資內幕 Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom (io-fund.com)
297. Show HN: Orbit – AR衛星追蹤器,可追蹤1.5萬餘個天體 Orbit – AR satellite tracker, watch 15k objects (nagylukas.github.io)
298. Show HN: Earth Game——一款將人生目標轉化為任務的離線命令行工具 Earth Game – An offline CLI for turning life goals into quests (github.com)