5. ZX Spectrum 系統導覽:文本模式 – Bumbershoot Software ZX Spectrum System Tour: Text Mode – Bumbershoot Software (bumbershootsoft.wordpress.com)
9. KisakCOD——《使命召喚4》多人模式的開源重製版 KisakCOD – open-source reimplementation of Call of Duty 4 Multiplayer (github.com)
10. AI行業的借貸狂潮難以持續,隱性債務已達1.65萬億美元 AI''s debt binge can''t last, hidden borrowing reaches 1.65T (fortune.com)
12. 針對挪威政府IT基礎設施的DDoS攻擊——最新情況 DDoS against Norwegian government IT infrastructure – status (status.digdir.no)
19. 洩露的《Flock指南》揭示了該公司如何指導警察推廣其技術 Leaked Flock Guide Shows How It Teaches Cops to Promote Its Tech (www.404media.co)
20. 可計費使用情況 API:Cloudflare 的程序化成本可視化功能 The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)
21. 更小、更快、更安全:大規模運行 Kimi 和 GLM Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)
24. 以15年來首款全新C-Kermit產品,慶祝Kermit問世45週年 Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
26. Show HN: MCP 上代理會話的產品分析(和評估) Product analytics (and evals) for agent sessions on your MCP (armature.tech)
28. Launch HN: Hoplite (YC S26) – 輕鬆部署雲端編碼代理 Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)
29. 人工智能能夠獨立完成的最大規模的軟件項目是什麼? What''s the largest software project AI can complete on its own? (epoch.ai)
31. 德國風能和太陽能發電量首次超過化石燃料 Wind and solar overtake fossil fuels in Germany for the first time (www.intellinews.com)
33. 泰勒農場在十六天內四次修改了關於環孢子蟲的聲明 Taylor Farms Has Rewritten Its Cyclospora Statement Four Times in Sixteen Days (www.marlerblog.com)
34. 為什麼“郵件”應用在發送非iCloud郵件時會聯繫iCloud? Why does Mail app contact iCloud when sending a non-iCloud email? (lapcatsoftware.com)
36. Flock公司的首席執行官在我因該公司攝像頭被錯誤攔停後,當面與我交涉 Flock''s CEO Faced Me After Its Cameras Led to My Wrongful Stop (www.thedrive.com)
37. 5月份,猶他州的太陽能發電量超過了其他任何能源,創下歷史新高 Utah produced more power from solar than any other source in May, a new first (www.sltrib.com)
38. 安迪·帕夫洛加入 ClickHouse,負責組建 ClickHouse Labs Andy Pavlo Joins ClickHouse to Establish ClickHouse Labs (clickhouse.com)
42. 一鍵開啟遊戲:《Rip-O-Bot》(1989) Games at the press of a button: The Rip-O-Bot (1989) (blog.gingerbeardman.com)
43. 在系統中尋找“殭屍”:一個關於CPU瓶頸的真實案例 Finding zombies in our systems: A real-world story of CPU bottlenecks (medium.com)
44. Ask HN: 除了DuckDuckGo之外,還有哪些可行的替代方案? What are the viable alternatives to DuckDuckGo? (news.ycombinator.com)
46. SPF 記錄語法:機制、限定詞、修飾符和宏 SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)
47. Tom''s Hardware 報道 CPU 30 年——回顧處理器發展歷程的三十年 30 years of CPUs at Tom''s Hardware – looking back on three decades of processors (www.tomshardware.com)
49. ComfyUI 中對 MiniMax H3 Day-0 的支持:開放權重、原生音頻和 2K 視頻 MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)
50. 漸行漸遠的“美國夢”:簽證前景不明促使印度科技工作者回國 The fading American Dream: Visa uncertainty drives Indian tech workers back home (thefederal.com)
54. 9front樂隊新歌《This Was Supposed to Be Fun》正式發佈 9front "This Was Supposed to Be Fun" Released (9front.org)
55. 針對SQLite中被誤報的漏洞發佈了關鍵級CVE Critical CVE issued for hallucinated SQLite vulnerability (research.jfrog.com)
57. 美國移民與海關執法局(ICE)去年採集了近100萬人的DNA——其中包括幼兒 ICE Collected Nearly 1M People''s DNA Last Year–Including Young Children (www.wired.com)
58. Show HN: Nightcrawler——一款在智能手機上運行的本地AI滲透測試工具 Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)
60. 通過手動重新輸入大語言模型(LLM)生成的代碼來預防認知債務 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
61. DMARC能保護您免受哪些威脅,以及它無法提供哪些保護 What DMARC Protects You From, and What It Does Not (senderledger.com)
63. PISIGuard:在與AI聊天時保護您的個人和敏感信息 PISIGuard: Protect your personal and sensitive info when you chat with AI (github.com)
66. 議員們要求就富士通被納入利潤豐厚的框架協議一事作出解釋 MPs demand answers on Fujitsu''s inclusion in lucrative frameworks (www.computerweekly.com)
67. Show HN: 我們通過 PPPoE 半橋模式解決了 UniFi 的 PPPoE 性能緩慢問題 We Fixed UniFi''s Slow PPPoE Performance with PPPoE Half-Bridge (arcbox.dev)
73. 形勢感知與即將到來的股市波動 Situational Awareness and the Impending Stock Market Volatility (www.emergingtrajectories.com)
76. Rust 項目目標:不可變類型和有保障的析構函數 Rust project goals: Immobile types and guaranteed destructors (github.com)
81. AI將舊有的COBOL程序遷移到了Java上,其中還包含了一些漏洞 AI migrated legacy COBOL programs to Java, bugs included (arxiv.org)
83. OpenAI的超級政治行動委員會正在資助一個由人工智能生成的新聞網站,該網站針對行業批評者發起攻擊 OpenAI''s super PAC is funding AI-generated news site attacking industry critics (www.modelrepublic.org)
85. 蘋果工程師稱,因拒絕將客戶設備ID發送給AT&T而被解僱 Apple engineer says he was fired after refusing to send cust. device IDs to AT&T (runtimewire.com)
92. Manufact (YC S25) 正在招聘一名高級基礎設施工程師,負責構建 MCP 雲平臺 Manufact (YC S25) Is Hiring a Senior infra engineer to build the MCP cloud (www.ycombinator.com)
93. 鮑里斯·切爾尼談嘗試讓克勞德·科德重寫克勞德應用 Boris Cherny on Trying to Get Claude Code to Rewrite the Claude App (daringfireball.net)
94. CP/M-386——適用於 386 保護模式的 CP/M,源自 CP/M‑68K CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K (github.com)
95. 為什麼 Book Corners 不會將貢獻同步回 OpenStreetMap Why Book Corners won''t sync contributions back to OpenStreetMap (www.andreagrandi.it)
97. Show HN: Shitty——一個快速的終端。雖然存在內存安全隱患,但比你的那個更快 Shitty – fast terminal. Memory-unsafe and faster than yours (github.com)
102. 《Flock》——寒蟬效應:長島正在形成的露天監獄 Flock – Chilling Effects: Long Island''s Emerging Open-Air Prison (www.11971.com)
103. 加州居民的數據刪除請求(DROP)將於8月1日起具有法律效力 Californians'' data deletion requests, DROP, become enforceable Aug. 1 (www.nbcsandiego.com)
105. Show HN: MicroCodex 編碼代理——用 C 重現的 OpenAI/Codex 1MB 二進制文件 MicroCodex Coding Agent – OpenAI/codex reimplemented in C 1MB binary (github.com)
109. 歐盟年齡驗證項目要求採用基於硬件的認證機制 EU Age Verification Project Mandates Hardware-Bound Attestation (linuxiac.com)
110. Show HN: 讓你的 Framework 12 聽起來像一扇吱呀作響的門 Make your Framework 12 sound like a creaky door (github.com)
111. 將 Go 語言的 Defer 功能添加到 TypeScript 編譯器中 Adding Go''s Defer to the TypeScript Compiler (healeycodes.com)
113. Show HN: Draco——一款基於Rust語言開發的、可自行託管的單二進制Firecrawl替代方案 Draco – A single-binary, self-hostable Firecrawl alternative in Rust (github.com)
115. Anthropic的《發燒夢》:克勞德那個竊取真實密鑰的包裹 Anthropic''s Fever Dream: Claude''s package that stole real keys (www.aikido.dev)
116. 使用 FamilyWild 在多臺主機間共享 X11 服務器 Sharing an X11 Server Across Hosts with FamilyWild (dobrowolski.dev)
120. 施密特觸發器:具有滯回特性的魯棒比較器設計 Schmitt Trigger: Robust Comparator Design with Hysteresis (www.wevolver.com)
121. 我個人的AI測試題:“生成一張擁有哈布斯堡式下頜的青蛙的SVG圖片。” My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw." (frogs.vaguespac.es)
122. 歐盟關於人工智能模型的法規正式生效。這將帶來哪些變化? EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
123. 德國汽車製造商在裁員後,大量向就業市場輸送管理人員 German carmakers flood jobs market with managers after wielding axe (www.ft.com)
124. 歐洲電動汽車銷量:純電動汽車銷量激增50%,市場份額達26% Europe EV Sales BEVs Jump 50% & Reach 26% Market Share (cleantechnica.com)
125. “摧毀這位女士”:eBay騷擾事件如何導致5600萬美元賠償金 ''Crush this lady'': how eBay harassment campaign led to 56M payout (www.ft.com)
131. 收集 SSH 憑據:來自我的蜜罐網絡的洞察 Harvesting SSH Credentials: Insights from My Honeypot Network (uphillsecurity.com)
132. Coldcard 事件持續惡化:黑客攻擊造成的損失可能已達 8860 萬美元 The Coldcard Disaster Gets Worse: The Hack May Have Reached 88.6M (medium.com)
134. 開發者之所以依賴工具,是因為工具承載著信任 Developers are attached to tools because tools encode trust (stackoverflow.blog)
136. Show HN: NixOS-DGX-Spark – DGX Spark 上的 Nix 和 NixOS NixOS-DGX-Spark – Nix and NixOS on the DGX Spark (github.com)
138. Show HN: Kakehashi——用於在 Linux ARM 系統上運行 macOS 二進制文件的實驗性用戶空間環境 Kakehashi – Experimental userspace to run macOS binaries on Linux ARM (github.com)
139. TP-Link TL-841N 的獲取root權限、固件分析及持久化憑據 Rooting, firmware analysis and persistent credentials of TP-Link TL-841N (blog.juni-mp4.com)
144. 厄休拉·K·勒古恩:《關於“技術”的一番抨擊》(2005) Ursula K. Le Guin: A Rant About "Technology" (2005) (www.ursulakleguin.com)
150. 我為 TypeScript 開發了一個支持 Promise 的防抖和限流庫 I made a Promise-aware debounce and throttle library for TypeScript (github.com)
155. 只有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)
156. Show HN: Fuse——一種靜態類型函數式編程語言 Fuse – statically typed functional programming language (fuselang.org)
157. Show HN: Katharos:面向 Python 的函數式編程與 CSP 風格的併發 Katharos Functional programming and CSP-style concurrency for Python (github.com)
158. 《消失的書頁:人工智能公司掃描後銷燬珍本》 The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions (dallasexpress.com)
159. OpenAI內部的Astra模型解決了10個數學和計算機科學領域的重大未解難題 An internal OpenAI Astra model solved 10 major open math and CS problems (twitter.com)
160. Great Question(YC W21)正在招聘高級需求生成經理 Great Question (YC W21) Is Hiring Senior Demand Gen Manager (www.ycombinator.com)
161. Meshdiff——在瀏覽器中以可視化方式比較兩個STL版本,客戶端處理 Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
162. 維基媒體基金會拒絕承認工會,並聘請了一家專門打擊工會的律師事務所 Wikimedia Foundation refuses union recognition, hires union-busting law firm (en.wikipedia.org)
164. 美國財政部對日元市場採取了具有歷史意義的干預措施 US Treasury undertakes historic intervention in yen market (www.ft.com)
167. 工業革命能否為當今的爆炸式增長提供一個良好的先例? Is the Industrial Revolution a good precedent for explosive growth today? (mattsclancy.github.io)
168. 人工智能:《Ars Notoria》與即時知識的承諾 Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
170. Show HN: Bor——適用於 Linux 桌面的開源策略管理工具 Bor – Open-source policy management for Linux desktops (getbor.dev)
176. Show HN: Syncular——基於 TypeScript 和 Rust 內核的“離線優先”SQL 同步工具 Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com)
177. 一種藥物在數小時內逆轉了成年小鼠腦內類似自閉症的病變 Drug reverses autism-like brain changes in adult mice within hours (www.uclahealth.org)
178. 使用 OpenTelemetry 對我的意式濃縮咖啡機進行監控 Instrumenting my espresso machine with OpenTelemetry (clickhouse.com)
180. Show HN: Logan Basic v2.1——一個在線 BASIC 解釋器。 Logan Basic v2.1 - An online BASIC interpreter. (sinusoft.com)
188. 離開加拿大的國民人數已達到創紀錄的水平。有人能解決這個問題嗎? Canadians are leaving the country at record levels. Can anyone solve this? (thehub.ca)
190. 128位處理器的展望(約翰·馬謝,SGI,1995年) The Prospects for 128 Bit Processors ( John Mashey SGI 1995) (yarchive.net)
191. 在 MI355X 上運行 Kimi K3,其性價比優於 B300 Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (www.wafer.ai)
193. OpenAI聲稱對康尼斯剛性猜想的反駁無效 [pdf] OpenAI''s claimed disproof of Connes'' Rigidity Conjecture is invalid [pdf] (philarchive.org)
194. Linux在北美地區的桌面市場份額已超過10% Linux desktop market share has hit over 10% in North America (old.reddit.com)
195. QSYRUPWD背後的密碼:重建 IBM i 密碼哈希值 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
197. 深海探測器在太平洋深海發現“外星”鯊魚 Deep-sea vehicles spot ''alien'' sharks deep beneath the waves in the Pacific (www.science.org)
198. 插電式太陽能即將到來。插電式電池也應緊隨其後 Plug-in solar is coming. Plug-in batteries should follow (www.regen.co.uk)
199. 《體育劇場》:比爾·布福德重訪《混混之中》 The Theater of Sport: Bill Buford Revisits Among the Thugs (www.theparisreview.org)
200. Futurism稱,Meta在人工智能領域“幾乎一無所獲”。數據表明 Futurism says Meta has "almost nothing" to show for AI. The numbers say (runtimewire.com)
201. MkLinux 和那臺經過改裝的 Apple Workgroup Server 9150 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
203. Show HN: CostPerPrompt – 實時 AI API 定價及實際工作負載成本計算器 CostPerPrompt – Live AI API pricing and real-workload cost calculators (costperprompt.com)
206. Show HN: 我是一個15歲的工程愛好者,這是我製作的一臺擺線齒輪箱 I''m a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com)
210. 中國開始生產用於芯片製造的先進深紫外光刻機 China begins producing advanced chipmaking deep-ultraviolet lithography machines (www.reuters.com)
213. 持久狀態機:基於INT4內存單元的大語言模型注意力機制 Persistent State Machines: LLM Attention with INT4 In-Memory Cells (zenodo.org)
214. 沃爾什:配備風險管理器的多智能體研究流程,該風險管理器可否決交易 Walsh: Multi-agent research pipeline with risk manager that can veto trades (github.com)
215. “溫室”與“透鏡”:主動式人工智能工作的兩種模式 The Greenhouse and the Lens: Two Modes of Agentic AI Work (www.brethorsting.com)
216. “毀滅者”科布克——來自測試工程那片未被窺見的狂野世界的軼事 Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering (wwnorton.com)
221. 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)
222. 別再在數據庫提交和事務上折騰了 Stop fucking around with database commits and transactions (www.droppedasbaby.com)
224. Show HN: Legionlinuxtui – 在終端中控制聯想Legion筆記本電腦 Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)
227. Morph(YC S23)正在招聘技術團隊成員 Morph (YC S23) Is Hiring Member of Technical Stuff (www.ycombinator.com)
230. YC創始人要求走投無路的求職者紋身以求面試機會 YC founder asks desperate job seekers to tattoo themselves for an interview (sfstandard.com)
233. 掃描 7.6 拍字節的 HuggingFace 訓練數據以尋找隱藏信息 Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets (trufflesecurity.com)
240. 遊戲雖然是光盤版,但這並不意味著它將來還能正常運行 Just because a game is on disc doesn''t mean it will work in the future (arstechnica.com)
242. 一位頂尖截肢外科醫生因性癖好而切除了自己的雙腿。患者的安全有保障嗎? Top amputation surgeon had own legs removed due to fetish. Were patients safe? (www.theguardian.com)
245. Starlink Ku波段下行鏈路的信號結構(2023)[pdf] Signal Structure of the Starlink Ku-Band Downlink (2023) [pdf] (radionavlab.ae.utexas.edu)
246. 國際象棋引擎開發者社區公開反對人工智能輔助開發 Chess Engine Dev Community Openly Hostile to AI Assisted Development (github.com)
250. 得益於戰時原油價格,石油公司報告了創紀錄的利潤 Oil companies report sky-high profits thanks to wartime crude prices (www.npr.org)
254. Franken.domains:拼接域名,因為所有.com域名都被註冊了 Franken.domains: Stitched-Together Domains, Because Every .com Is Taken (franken.domains)
255. Kenji/Serious Eats – 30分鐘快煲越南雞肉河粉 Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga (www.seriouseats.com)
257. 寶馬將廣告展示在車載儀表屏上,以此作為一種特別福利 BMW Is Showing Commercials on Their Car''s Dash Screens as a Treat (www.theautopian.com)
260. 陷入困境的“諾查丹瑪斯”人工智能對沖基金獲競爭對手相救 Floundering A.I. ''Nostradamus'' Hedge Fund Is Rescued by Rival (www.nytimes.com)
262. 後部中央燃油箱可增加約20k升燃油容量,並將航程延長1k NM Rear center fuel tank adds roughly 20k liters and extends range by 1k NM (www.airbus.com)
264. Kaisel——將路由視為值。適用於 Flutter 的 Dart 3 原生路由器 Kaisel – Routes as Values. Dart 3 Native Router for Flutter (kaisel.dev)
266. Ask HN: 對於剛入學、主修計算機科學的大一新生,有什麼建議嗎? Any tips for a college freshman enrolled in computer science? (news.ycombinator.com)
267. 寄存器匱乏:強制寄存器匱乏條件下的溢出與運行時行為 Register deprivation: spills and runtime under forced register scarcity (rjp.io)
268. 針對美國供水系統的網絡攻擊範圍不斷擴大,證據指向伊朗 Scope of Hacks on U.S. Water Supply Widens as Evidence Points to Iran (www.nytimes.com)
271. Cursor 從“使用情況”頁面和 CSV 導出文件中移除了成本信息 Cursor removed cost information from the usage page and CSV export (forum.cursor.com)
273. 查理·斯特羅斯——關於我在寫作過程中不使用人工智能 Charlie Stross – On the non-use of AI in my writing process (www.antipope.org)
276. 行將消亡的軟件:relayd(8) 和 httpd(8) 的持續演變 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
278. 偽裝成的監控條約:加拿大簽署《聯合國網絡犯罪公約》 A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention (www.michaelgeist.ca)
283. 莫滕·林德魯德辭去 Arch Linux 開發團隊職務 Morten Linderud resigning from Arch Linux development team (lists.archlinux.org)
284. 在進行超大規模搜索時,RipGrep的musl二進制文件偶爾會發生段錯誤 RipGrep musl binaries occasionally segfault during very-large searches (github.com)
285. Show HN: 免費 AI 提示詞生成器——一款以本地化為先的開源提示詞工程工具 Free AI Prompt Gen – A local-first, open-source prompt engineering tool (freeaipromptgen.com)
290. 歐盟將從8月2日起強制要求對看似真實的AI內容進行標註 EU will mandate labels on authentic-looking AI content starting August 2 (www.engadget.com)
293. OpenAI 在大型代碼庫的 Git 方面的研究 OpenAI''s work on Git for large repositories (openai-git-upstream.openai.chatgpt.site)
294. AWS Secrets Manager Terraform:最小權限訪問 AWS Secrets Manager Terraform: Least-Privilege Access (blog.victorsilva.com.uy)
296. 人工智能無法生成可用的產品,這仍然是你的工作 AI doesn''t generate working products, that''s still your job (weeraman.com)
300. 當內部存儲器出現故障時:一種無需焊接的Wii U修復方法 When Internal Memory Fails: A No-Solder Wii U Recovery (smolnero.com)