1. Show HN: Draco——一款基於Rust語言開發的、可自行託管的單二進制Firecrawl替代方案 Draco – A single-binary, self-hostable Firecrawl alternative in Rust (github.com)
3. Anthropic的《發燒夢》:克勞德那個竊取真實密鑰的包裹 Anthropic''s Fever Dream: Claude''s package that stole real keys (www.aikido.dev)
4. 使用 FamilyWild 在多臺主機間共享 X11 服務器 Sharing an X11 Server Across Hosts with FamilyWild (dobrowolski.dev)
8. 施密特觸發器:具有滯回特性的魯棒比較器設計 Schmitt Trigger: Robust Comparator Design with Hysteresis (www.wevolver.com)
9. 我個人的AI測試題:“生成一張擁有哈布斯堡式下頜的青蛙的SVG圖片。” My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw." (frogs.vaguespac.es)
10. 歐盟關於人工智能模型的法規正式生效。這將帶來哪些變化? EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
11. 德國汽車製造商在裁員後,大量向就業市場輸送管理人員 German carmakers flood jobs market with managers after wielding axe (www.ft.com)
12. 歐洲電動汽車銷量:純電動汽車銷量激增50%,市場份額達26% Europe EV Sales BEVs Jump 50% & Reach 26% Market Share (cleantechnica.com)
13. “摧毀這位女士”:eBay騷擾事件如何導致5600萬美元賠償金 ''Crush this lady'': how eBay harassment campaign led to 56M payout (www.ft.com)
19. 收集 SSH 憑據:來自我的蜜罐網絡的洞察 Harvesting SSH Credentials: Insights from My Honeypot Network (uphillsecurity.com)
20. Coldcard 事件持續惡化:黑客攻擊造成的損失可能已達 8860 萬美元 The Coldcard Disaster Gets Worse: The Hack May Have Reached 88.6M (medium.com)
22. 開發者之所以依賴工具,是因為工具承載著信任 Developers are attached to tools because tools encode trust (stackoverflow.blog)
24. Show HN: NixOS-DGX-Spark – DGX Spark 上的 Nix 和 NixOS NixOS-DGX-Spark – Nix and NixOS on the DGX Spark (github.com)
26. Show HN: Kakehashi——用於在 Linux ARM 系統上運行 macOS 二進制文件的實驗性用戶空間環境 Kakehashi – Experimental userspace to run macOS binaries on Linux ARM (github.com)
27. TP-Link TL-841N 的獲取root權限、固件分析及持久化憑據 Rooting, firmware analysis and persistent credentials of TP-Link TL-841N (blog.juni-mp4.com)
32. 厄休拉·K·勒古恩:《關於“技術”的一番抨擊》(2005) Ursula K. Le Guin: A Rant About "Technology" (2005) (www.ursulakleguin.com)
38. 我為 TypeScript 開發了一個支持 Promise 的防抖和限流庫 I made a Promise-aware debounce and throttle library for TypeScript (github.com)
43. 只有8.9%的網站會屏蔽AI爬蟲,但其中94.8%的網站從未在AI給出的答案中被引用過 Only 8.9% of sites block AI crawlers, but 94.8% are never cited in AI answers (website-auditor.io)
44. Show HN: Fuse——一種靜態類型函數式編程語言 Fuse – statically typed functional programming language (fuselang.org)
45. Show HN: Katharos:面向 Python 的函數式編程與 CSP 風格的併發 Katharos Functional programming and CSP-style concurrency for Python (github.com)
46. 《消失的書頁:人工智能公司掃描後銷燬珍本》 The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions (dallasexpress.com)
47. OpenAI內部的Astra模型解決了10個數學和計算機科學領域的重大未解難題 An internal OpenAI Astra model solved 10 major open math and CS problems (twitter.com)
48. Great Question(YC W21)正在招聘高級需求生成經理 Great Question (YC W21) Is Hiring Senior Demand Gen Manager (www.ycombinator.com)
49. Meshdiff——在瀏覽器中以可視化方式比較兩個STL版本,客戶端處理 Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
50. 維基媒體基金會拒絕承認工會,並聘請了一家專門打擊工會的律師事務所 Wikimedia Foundation refuses union recognition, hires union-busting law firm (en.wikipedia.org)
55. 工業革命能否為當今的爆炸式增長提供一個良好的先例? Is the Industrial Revolution a good precedent for explosive growth today? (mattsclancy.github.io)
56. 人工智能:《Ars Notoria》與即時知識的承諾 Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
58. Show HN: Bor——適用於 Linux 桌面的開源策略管理工具 Bor – Open-source policy management for Linux desktops (getbor.dev)
64. Show HN: Syncular——基於 TypeScript 和 Rust 內核的“離線優先”SQL 同步工具 Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com)
65. 一種藥物在數小時內逆轉了成年小鼠腦內類似自閉症的病變 Drug reverses autism-like brain changes in adult mice within hours (www.uclahealth.org)
66. 使用 OpenTelemetry 對我的意式濃縮咖啡機進行監控 Instrumenting my espresso machine with OpenTelemetry (clickhouse.com)
68. Show HN: Logan Basic v2.1——一個在線 BASIC 解釋器。 Logan Basic v2.1 - An online BASIC interpreter. (sinusoft.com)
76. 離開加拿大的國民人數已達到創紀錄的水平。有人能解決這個問題嗎? Canadians are leaving the country at record levels. Can anyone solve this? (thehub.ca)
78. 128位處理器的展望(約翰·馬謝,SGI,1995年) The Prospects for 128 Bit Processors ( John Mashey SGI 1995) (yarchive.net)
79. 在 MI355X 上運行 Kimi K3,其性價比優於 B300 Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (www.wafer.ai)
81. OpenAI聲稱對康尼斯剛性猜想的反駁無效 [pdf] OpenAI''s claimed disproof of Connes'' Rigidity Conjecture is invalid [pdf] (philarchive.org)
82. Linux在北美地區的桌面市場份額已超過10% Linux desktop market share has hit over 10% in North America (old.reddit.com)
83. QSYRUPWD背後的密碼:重建 IBM i 密碼哈希值 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
85. 深海探測器在太平洋深海發現“外星”鯊魚 Deep-sea vehicles spot ''alien'' sharks deep beneath the waves in the Pacific (www.science.org)
86. 插電式太陽能即將到來。插電式電池也應緊隨其後 Plug-in solar is coming. Plug-in batteries should follow (www.regen.co.uk)
87. 《體育劇場》:比爾·布福德重訪《混混之中》 The Theater of Sport: Bill Buford Revisits Among the Thugs (www.theparisreview.org)
88. Futurism稱,Meta在人工智能領域“幾乎一無所獲”。數據表明 Futurism says Meta has "almost nothing" to show for AI. The numbers say (runtimewire.com)
89. MkLinux 和那臺經過改裝的 Apple Workgroup Server 9150 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
91. Show HN: CostPerPrompt – 實時 AI API 定價及實際工作負載成本計算器 CostPerPrompt – Live AI API pricing and real-workload cost calculators (costperprompt.com)
94. Show HN: 我是一個15歲的工程愛好者,這是我製作的一臺擺線齒輪箱 I''m a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com)
98. 中國開始生產用於芯片製造的先進深紫外光刻機 China begins producing advanced chipmaking deep-ultraviolet lithography machines (www.reuters.com)
101. 持久狀態機:基於INT4內存單元的大語言模型注意力機制 Persistent State Machines: LLM Attention with INT4 In-Memory Cells (zenodo.org)
102. 沃爾什:配備風險管理器的多智能體研究流程,該風險管理器可否決交易 Walsh: Multi-agent research pipeline with risk manager that can veto trades (github.com)
103. “溫室”與“透鏡”:主動式人工智能工作的兩種模式 The Greenhouse and the Lens: Two Modes of Agentic AI Work (www.brethorsting.com)
104. “毀滅者”科布克——來自測試工程那片未被窺見的狂野世界的軼事 Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering (wwnorton.com)
109. RFC 10015:在 TLS 1.2 和 DTLS 1.2 中棄用過時的密鑰交換方法 RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2 (www.rfc-editor.org)
110. 別再在數據庫提交和事務上折騰了 Stop fucking around with database commits and transactions (www.droppedasbaby.com)
112. Show HN: Legionlinuxtui – 在終端中控制聯想Legion筆記本電腦 Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)
115. Morph(YC S23)正在招聘技術團隊成員 Morph (YC S23) Is Hiring Member of Technical Stuff (www.ycombinator.com)
118. YC創始人要求走投無路的求職者紋身以求面試機會 YC founder asks desperate job seekers to tattoo themselves for an interview (sfstandard.com)
121. 掃描 7.6 拍字節的 HuggingFace 訓練數據以尋找隱藏信息 Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets (trufflesecurity.com)
128. 遊戲雖然是光盤版,但這並不意味著它將來還能正常運行 Just because a game is on disc doesn''t mean it will work in the future (arstechnica.com)
130. 一位頂尖截肢外科醫生因性癖好而切除了自己的雙腿。患者的安全有保障嗎? Top amputation surgeon had own legs removed due to fetish. Were patients safe? (www.theguardian.com)
133. Starlink Ku波段下行鏈路的信號結構(2023)[pdf] Signal Structure of the Starlink Ku-Band Downlink (2023) [pdf] (radionavlab.ae.utexas.edu)
134. 國際象棋引擎開發者社區公開反對人工智能輔助開發 Chess Engine Dev Community Openly Hostile to AI Assisted Development (github.com)
138. 得益於戰時原油價格,石油公司報告了創紀錄的利潤 Oil companies report sky-high profits thanks to wartime crude prices (www.npr.org)
142. Franken.domains:拼接域名,因為所有.com域名都被註冊了 Franken.domains: Stitched-Together Domains, Because Every .com Is Taken (franken.domains)
143. Kenji/Serious Eats – 30分鐘快煲越南雞肉河粉 Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga (www.seriouseats.com)
145. 寶馬將廣告展示在車載儀表屏上,以此作為一種特別福利 BMW Is Showing Commercials on Their Car''s Dash Screens as a Treat (www.theautopian.com)
148. 陷入困境的“諾查丹瑪斯”人工智能對沖基金獲競爭對手相救 Floundering A.I. ''Nostradamus'' Hedge Fund Is Rescued by Rival (www.nytimes.com)
150. 後部中央燃油箱可增加約20k升燃油容量,並將航程延長1k NM Rear center fuel tank adds roughly 20k liters and extends range by 1k NM (www.airbus.com)
152. Kaisel——將路由視為值。適用於 Flutter 的 Dart 3 原生路由器 Kaisel – Routes as Values. Dart 3 Native Router for Flutter (kaisel.dev)
154. Ask HN: 對於剛入學、主修計算機科學的大一新生,有什麼建議嗎? Any tips for a college freshman enrolled in computer science? (news.ycombinator.com)
155. 寄存器匱乏:強制寄存器匱乏條件下的溢出與運行時行為 Register deprivation: spills and runtime under forced register scarcity (rjp.io)
156. 針對美國供水系統的網絡攻擊範圍不斷擴大,證據指向伊朗 Scope of Hacks on U.S. Water Supply Widens as Evidence Points to Iran (www.nytimes.com)
159. Cursor 從“使用情況”頁面和 CSV 導出文件中移除了成本信息 Cursor removed cost information from the usage page and CSV export (forum.cursor.com)
161. 查理·斯特羅斯——關於我在寫作過程中不使用人工智能 Charlie Stross – On the non-use of AI in my writing process (www.antipope.org)
164. 行將消亡的軟件:relayd(8) 和 httpd(8) 的持續演變 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
166. 偽裝成的監控條約:加拿大簽署《聯合國網絡犯罪公約》 A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention (www.michaelgeist.ca)
171. 莫滕·林德魯德辭去 Arch Linux 開發團隊職務 Morten Linderud resigning from Arch Linux development team (lists.archlinux.org)
172. 在進行超大規模搜索時,RipGrep的musl二進制文件偶爾會發生段錯誤 RipGrep musl binaries occasionally segfault during very-large searches (github.com)
173. Show HN: 免費 AI 提示詞生成器——一款以本地化為先的開源提示詞工程工具 Free AI Prompt Gen – A local-first, open-source prompt engineering tool (freeaipromptgen.com)
178. 歐盟將從8月2日起強制要求對看似真實的AI內容進行標註 EU will mandate labels on authentic-looking AI content starting August 2 (www.engadget.com)
181. OpenAI 在大型代碼庫的 Git 方面的研究 OpenAI''s work on Git for large repositories (openai-git-upstream.openai.chatgpt.site)
182. AWS Secrets Manager Terraform:最小權限訪問 AWS Secrets Manager Terraform: Least-Privilege Access (blog.victorsilva.com.uy)
184. 人工智能無法生成可用的產品,這仍然是你的工作 AI doesn''t generate working products, that''s still your job (weeraman.com)
188. 當內部存儲器出現故障時:一種無需焊接的Wii U修復方法 When Internal Memory Fails: A No-Solder Wii U Recovery (smolnero.com)
190. 在廣告牌旁矗立逾百年,梅西百貨旁那棟“頑固”建築重現江湖 By billboards for over 100 years, holdout building by Macy''s is back (ephemeralnewyork.wordpress.com)
194. 每年約有100名消防員因縱火罪被定罪 About 100 firefighters are convicted of arson, every year (www.firerescue1.com)
195. 關於 AMD MI450 GPU 的 Decode 注意事項:Gluon 內核優化指南 Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide (rocm.blogs.amd.com)
196. 什麼是MiniMax H3?關於Hailuo 3.0視頻模型的一切你需要了解的內容 What Is MiniMax H3? Everything You Need to Know About the Hailuo 3.0 Video Model (minimaxh3.art)
198. 寶馬正在其汽車主儀表盤控制屏上展示全屏廣告 BMW Is Showing Full-Screen Ads on Its Cars'' Main Dashboard Control Display (consumerrights.wiki)
205. 在理想環境下,Wi-Fi 的覆蓋範圍能擴展到多遠? How far can you push the range of Wi-Fi connectivity in an ideal environment? (www.phidgets.com)
207. 那張引發熱議的舊金山“鄰避主義者”照片揭示了住房建設為何能勝出 That Viral Photo of San Francisco NIMBYs Shows Why Housing Is Winning (inpractice.yimbyaction.org)
208. 第一條跨大西洋電報電纜是一次大膽而美麗的失敗 The First Transatlantic Telegraph Cable Was a Bold, Beautiful Failure (spectrum.ieee.org)
213. Show HN: 我花了兩年時間開發一款新瀏覽器,今天它通過了Acid 3測試 I worked on a new browser for 2 years, today it passed Acid 3 (code.intellios.ai)
218. 針對突發性大型語言模型推理的預測性推測性鍵值對複製 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
223. 二十五年前是密碼學,如今則是模型權重 Twenty-five years ago it was cryptography, today it''s model weights (weeraman.com)
224. Jiga(YC W21)正在招募頂尖人才,讓製造業重振雄風 Jiga (YC W21) is hiring the best people to make manufacturing great again (jiga.io)
225. 揭秘DRAM讀取干擾:RowHammer和RowPress現象 Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena (arxiv.org)
226. Lerd,一款適用於 Linux 和 macOS 的、類似 Herd 的開源 PHP 開發環境 Lerd, an open source Herd-like PHP development environment for Linux and macOS (github.com)
227. 達里奧·阿莫德伊對“開放重量級”的立場既自私自利,又目光短淺 Dario Amodei''s stance on open weights is self-serving and short-sighted (janilowski.pl)
229. 人工智能公司銷燬了稀有且無法復原的實體書 AI companies destroy rare and non recoverable physical books (www.heraldscotland.com)
230. 核廢料清理:美國能源部錯失了吸取經驗教訓的機會 Nuclear Waste Cleanup: DOE Is Missing Opportunities to Apply Lessons (www.gao.gov)
231. 《Servo》六月刊:真實環境兼容性、媒體查詢、SharedWorker 等 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
232. Tailscale 未能阻止 Hugging Face 的入侵 Tailscale didn''t stop the Hugging Face intrusion (tailscale.com)
237. Orca-Bench:語言模型代理在值班任務中準備得如何? Orca-Bench: How Ready Are Language Model Agents for Oncall? (arxiv.org)
239. 亞足聯與歐足聯和中北美及加勒比海足聯團結一致,共同捍衛國際足聯世界盃 AFC Stands in Solidarity with UEFA and Concacaf to Protect the FIFA World Cup (www.the-afc.com)
241. 大家都忙著開發 LLM 路由器,而我們已經棄用了自己的路由器 Everyone is building LLM routers, we deprecated ours (manifest.build)
243. Show HN: Slope 已重製為 HTML5 版本,可在任何瀏覽器和任何設備上瞬間加載 Slope remade in HTML5 to load instantly on any browser, any device (hurtle.site)
245. 以 0.50 tok/s 的速率運行 Kimi K3,使用 29 GB 內存 Run Kimi K3 using 29 GB of RAM at 0.50 tok/s (github.com)
247. 在我的 Mac Studio 上實現 25 Gbps Thunderbolt 以太網 Getting 25 Gbps Thunderbolt Ethernet on My Mac Studio (www.jeffgeerling.com)
248. JPEG的工作原理:交互式探索JPEG的有損壓縮方法 How JPEG works: Interactively explore JPEG''s lossy compression methods (cgjennings.ca)
250. Show HN: 我開發了一個跨瀏覽器擴展程序,用於控制指紋識別表面 I built a cross-browser extension that controls fingerprinting surfaces (privacything.com)
253. Show HN: Claude 和 ChatGPT 在 MCP 上的共享內存圖 Shared memory graph for Claude and ChatGPT, over MCP (uml.gpmai.workers.dev)
254. 利用10GB內存對數十億規模圖進行算法處理:我喜歡DataFusion Algorithms on billion-scale graph using 10GB RAM: I love DataFusion (semyonsinchenko.github.io)
257. SWE 任務中的 13 個模型和 4 個代理:Go、Java、Python、Rust、TS 13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS (swe-rebench.com)
259. 我開發了一個 f.lux 的替代方案,因為 M5 Max 的固件導致現有的解決方案無法正常工作 I built a f.lux alternative because the M5 Max firmware broke existing solutions (driftformac.app)
261. Show HN: BitBang——無需賬戶,即可通過瀏覽器訪問位於NAT後方的設備 BitBang – Reach machines behind NAT from a browser, no account (github.com)
263. 與紅牛有關的可疑研究影響了能量飲料政策的制定 Dubious research tied to Red Bull has shaped energy drink policy (www.theexamination.org)
265. 管理員:絕症患者並不豁免於醫療補助計劃的工作要求 Admin: Terminally Ill Patients Aren''t Exempt from Medicaid Work Requirements (www.commondreams.org)
268. 我將一張367479像素的郵票大小照片通過8种放大模型進行了4倍放大 I 4x''d a 367x479 stamp-sized photo through 8 upscaling models (enlarger.app)
269. 新款Defcon徽章內置一款獨特的開源芯片,該芯片兼具安全密鑰功能 New Defcon Badges Pack a Unique Open-Source Chip That Doubles as a Security Key (www.wired.com)
272. 反欺詐工具無法跟上利用廉價網絡通話實施詐騙的騙子們的步伐 Anti-fraud tools can''t keep pace with scammers exploiting cheap internet calling (broadbandbreakfast.com)
277. Moonshot基於阿里巴巴提供的2萬片英偉達芯片集群構建而成 Moonshot built on 20k Nvidia chip cluster from Alibaba (www.bloomberg.com)
281. 7月AI股暴跌,Situational Awareness股價下跌67% Situational Awareness Down 67% in July in AI Stock Rout (www.wsj.com)
282. 我們將永遠生活在奇幻與榮耀之中:論奇幻小說 We shall dwell amidst wonder and glory for ever: On weird fiction (clereviewofbooks.com)
286. Tasklet(YC P26)正在招聘一名客戶成功工程師 Tasklet (YC P26) Is Hiring a Customer Success Engineer (tasklet.ai)
287. 一夥竊賊是如何成功實施這起價值數百萬美元的數據中心盜竊案的 How A Gang of Thieves Pulled Off a Multimillion-Dollar Data Center Heist (www.nytimes.com)
288. IMAX 與 IMAX 70mm:這兩種影院格式的區別 IMAX vs. IMAX 70mm: The difference between these two cinema formats (www.engadget.com)
291. DeepSeek V4 Flash 0731 智能、性能與價格分析 DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis (artificialanalysis.ai)
292. 多瑙河水位創歷史新低,迫使匈牙利唯一一座核電站停運 Danube''s record low levels force shutdown of Hungary''s only nuclear plant (www.bbc.com)
294. 得益於人工智能,谷歌在6月份修復的Chrome漏洞數量超過了過去兩年的總和 Google fixed more Chrome bugs in June than over the past two years, thanks to AI (blog.google)
296. Show HN: Cubic Doggo 06R:配備慣性測量單元(IMU)的12自由度四足機器人 Cubic Doggo 06R: 12-DOF 4-Legged Robot with IMU (github.com)
297. Show HN: Gander,一款完全不要求任何權限的安卓文件查看器 Gander, an Android file viewer that asks for no permissions at all (github.com)
298. 使用 Go/WASM 在瀏覽器中模擬 TCP 數據丟失和擁塞 Simulating TCP loss and congestion in browser using Go/WASM (ccsim.fly.dev)