3. Show HN: Tiny Moon - 用於計算月相的 Swift 庫 Tiny Moon – Swift library to calculate the moon phase (github.com)
4. 反向設計揚聲器的 API 以獲得合理的音量控制 Reverse-engineering my speakers' API to get reasonable volume control (jamesbvaughan.com)
5. 法院堵住漏洞,允許聯邦調查局在邊境搜查您的手機 Courts Close the Loophole Letting the Feds Search Your Phone at the Border (reason.com)
8. Skip 和 Arc'teryx 共同打造了一款未來派外骨骼 Skip and Arc'teryx built a futuristic exoskeleton (www.fastcompany.com)
11. 禪 5 的 2-Ahead 分支預測器:一個 30 年前的想法如何實現新技巧 Zen 5's 2-ahead branch predictor: how a 30 year old idea allows for new tricks (chipsandcheese.com)
13. 歐洲面臨監管科技市場的危險 Europe is in danger of regulating its tech market out of existence (foreignpolicy.com)
18. 法國高速鐵路交通因奧運儀式上的 "惡意行為 "而中斷 France high-speed rail traffic disrupted by 'malicious acts' on Olympic ceremony (www.lemonde.fr)
20. 使用 Postgres 的版本化有限狀態機(2019 年) Versioned finite-state machines with Postgres (2019) (raphael.medaer.me)
21. 英特爾第 13 代/第 14 代 CPU 死機問題無法修復--損壞是永久性的 There is no fix for Intel's crashing 13th/14th Gen CPUs – damage is permanent (www.theverge.com)
27. 瑞士小鎮禁止廣告牌。蘇黎世、伯爾尼可能很快效仿 A Swiss Town Banned Billboards. Zurich, Bern May Soon Follow (www.bloomberg.com)
29. Ask HN: 帶 10 歲孩子學習機器人技術的最佳方法? Best way to learn robotics with a 10 year old? (news.ycombinator.com)
32. Launch HN: Undermind(YC S24)--發現科學論文的人工智能代理 Undermind (YC S24) – AI agent for discovering scientific papers (news.ycombinator.com)
33. 繪製 Hacker News 地圖,查找 HN 社區中的知情人 Mapping Hacker News to find who knows what in the HN community (blog.wilsonl.in)
34. Show HN: Haystack - 在無限畫布上探索和編輯代碼的集成開發環境 Haystack – an IDE for exploring and editing code on an infinite canvas (haystackeditor.com)
35. Show HN: Hooper - 人工智能驅動的籃球比賽統計和集錦 Hooper – AI-driven stats and highlights for basketball play (www.hooper.gg)
36. 雅切克-卡爾平斯基,共產黨人無法忍受的計算機天才(2017) Jacek Karpińśki, the computer genius the communists couldn't stand (2017) (culture.pl)
37. 5 大設備製造商的 200 款機型安全啟動功能被破壞 Secure Boot is broken on 200 models from 5 big device makers (arstechnica.com)
39. 瑞士規定政府機構使用開源軟件 Switzerland mandates government agencies use open-source software (www.tomshardware.com)
44. 為 Lisp 宏辯護:以汽車領域為例 Defense of Lisp macros: The automotive field as a case in point (mihaiolteanu.me)
53. Show HN: NoteTech - 通過撰寫筆記創建個人自動化功能 NoteTech – Create personal automations by writing notes (www.simpltech.ai)
56. 瑞士規定公共部門必須使用開源軟件 Switzerland Makes Open Source Software Mandatory for Public Sector (news.itsfoss.com)
66. Ask HN: 是我瘋了還是 Android 開發太糟糕了? Am I crazy or is Android development awful? (news.ycombinator.com)
71. 代數數據類型的代數與微積分(2015) The algebra and calculus of algebraic data types (2015) (codewords.recurse.com)
72. 釣魚網站友好型域名註冊機構".top "受到警告 Phish-friendly domain registry ".top" put on notice (krebsonsecurity.com)
75. Alexa 進入千家萬戶,亞馬遜損失數十億美元 Alexa is in millions of households and Amazon is losing billions (www.wsj.com)
76. CrowdStrike 全球故障導致美國財富 500 強企業損失 54 億美元 CrowdStrike global outage to cost US Fortune 500 companies $5.4B (www.theguardian.com)
77. 任何人都能訪問 GitHub 上已刪除和私有的存儲庫數據 Anyone can access deleted and private repository data on GitHub (trufflesecurity.com)
78. 英特爾確認第 13 代和第 14 代 CPU 存在氧化和電壓過高問題 [視頻] Intel confirms oxidation and excessive voltage in 13th and 14th Gen CPUs [video] (www.youtube.com)
79. 人工智能模型在遞歸生成的數據上訓練時會崩潰 AI models collapse when trained on recursively generated data (www.nature.com)
81. "Solaris 中的 "門使用文件描述符的輕量級 RPC(1996 年) "Doors" in Solaris: Lightweight RPC Using File Descriptors (1996) (www.kohala.com)
83. CrowdStrike 提供價值 10 美元的道歉禮品卡,對故障表示歉意 CrowdStrike offers a $10 apology gift card to say sorry for outage (techcrunch.com)
85. 得益於人工智能協議,谷歌成為唯一能在 Reddit 上運行的搜索引擎 Google Is the Only Search Engine That Works on Reddit Now Thanks to AI Deal (www.404media.co)
90. Dtui - 用於反省系統/會話狀態的圖形用戶界面 dbus Dtui – TUI for introspecting the state of the system/session dbus (github.com)
92. 圖靈關於每個書面字母表都是有限的拓撲證明(2010 年) Turing's topological proof that every written alphabet is finite (2010) (divisbyzero.com)
94. Ask HN: 我製作了一個基於 Yubikey 的域控制器。可以出售嗎? I built a Yubikey-based domain controller. Is it sellable? (news.ycombinator.com)
96. MPPP - 第一場 "特製藥物 "災難(2023 年) MPPP – The first 'designer drug' disaster (2023) (www.chm.bris.ac.uk)
98. Show HN: 我們製作了 glhf.chat,可運行幾乎所有開源 LLM,包括 405B We made glhf.chat – run almost any open-source LLM, including 405B (glhf.chat)
99. Scrapscript功能性、內容可尋址編程語言 Scrapscript: A functional, content-addressable programming language (github.com)
100. Show HN: 所有獲得風險投資資助的初創企業彙總(統計數據) All VC Funded Startups Aggregated (Statistics) (old.reddit.com)
101. 主幹構建、捆綁並向網絡發送 Rust WASM 應用程序 Trunk: Build, bundle and ship your Rust WASM application to the web (trunkrs.dev)
102. Show HN: 將 HTML DOM 轉換為語義標記符,以便在 LLM 中使用 Convert HTML DOM to semantic markdown for use in LLMs (github.com)
104. 格拉斯哥 2024 年雨果獎聲明 - 2024 年 7 月 22 日 Glasgow 2024 Hugo Awards Statement – 22 July, 2024 (glasgow2024.org)
109. Show HN: Briefer - 帶有時間表、SQL 和內置 LLM 的多人筆記本 Briefer – multiplayer notebooks with schedules, SQL, and built-in LLMs (briefer.cloud)
112. 中國出生的化學家在美國間諜調查中最後一項定罪被撤銷 Chinese-born chemist cleared of last conviction under US’s espionage probe (www.chemistryworld.com)
116. 快速檢測假冒閃存的免費工具(2017 年) A free tool to quickly detect counterfeit flash (2017) (fight-flash-fraud.readthedocs.io)
119. 瑞士現在要求所有政府軟件都必須開源 Switzerland now requires all government software to be open source (www.zdnet.com)
122. 糖的發現促進了男性禿髮症的治療 Cure for male pattern baldness given boost by sugar discovery (www.sheffield.ac.uk)
123. Ask HN: 不在 FAANG 工作也能掙到薪水嗎? Is it possible to make FAANG salaries without working there? (news.ycombinator.com)
124. Show HN: TinkerBird - 基於 Chrome 瀏覽器的載體數據庫 TinkerBird – A Chrome-native vector database (github.com)
126. 為自己運行 Postgres 與為他人運行 Postgres 的區別 Difference between running Postgres for yourself and for others (www.ubicloud.com)
128. Mojeek - 以用戶為本的另類搜索引擎 Mojeek – The alternative search engine that puts the people who use it first (www.mojeek.com)
135. Ask HN: 您推薦哪些學習 Haskell 的資源? What resources do you recommend for learning Haskell? (news.ycombinator.com)
140. 美國公佈核彈頭數量;恢復核透明度 United States Discloses Nuclear Warhead Numbers; Restores Nuclear Transparency (fas.org)
143. 2024 年 7 月關於英特爾酷睿第 13/14 代臺式機 CPU 不穩定性報告的更新 July 2024 Update on Instability Reports on Intel Core 13th/14th Gen Desktop CPUs (community.intel.com)
145. Netflix 已將其 Maestro 工作流協調器開源 Netflix has open-sourced its Maestro Workflow Orchestrator (github.com)
150. 微軟:Linux 是當今 Azure 上最流行的操作系統 Microsoft: Linux Is the Top Operating System on Azure Today (thenewstack.io)
155. 我們能為愚蠢至極的初創企業籌集多少資金? How much money we can raise for transparently idiotic startups? (www.smbc-comics.com)
158. 98 歲物理學家在突破性發現 75 年後被授予博士學位 Physicist, 98, honoured with doctorate 75 years after groundbreaking discovery (www.theguardian.com)
159. Show HN: 用於軟件集成測試的假冒 SMTP 服務器 A fake SMTP server for software integration testing (fakemail.stream)
160. 普羅米修斯度量標準讓我們免於痛苦的內核調試 (2022) Prometheus metrics saves us from painful kernel debugging (2022) (utcc.utoronto.ca)
162. Show HN: 我花了 18 個月建立的可用源計費系統 A Source Available billing system I've spent 18 months building (billabear.com)
167. 沒人指望年輕人有所作為,他們的回應是無所作為(2022 年) No One Expects Young Men to Do Anything and They Respond by Doing Nothing (2022) (www.robkhenderson.com)
168. Bash-Oneliners:Linux 終端技巧集錦 Bash-Oneliners: A collection of terminal tricks for Linux (github.com)
170. 瑞安航空在美國法院對 Booking.com 的刮屏案判決中勝訴 Ryanair wins screen scraping case against Booking.com in US court ruling (www.rte.ie)
171. 咖啡因抑制大腦灰質對慢性睡眠限制的反應 Caffeine suppresses cerebral grey matter responses to chronic sleep restriction (www.nature.com)
172. Stremio OS 現在可用於 Raspberry Pi 5 和 4 Stremio OS Is Now Available for Raspberry Pi 5 and 4 (blog.stremio.com)
173. CrowdStrike 的獵鷹傳感器也與 Linux 內核恐慌和崩潰有關 CrowdStrike's Falcon Sensor also linked to Linux kernel panics and crashes (www.theregister.com)
177. 阿波羅 DN10000:1988 年的四 CPU/128Mb RAM 工作站 [pdf] Apollo DN10000: Quad CPU/128Mb RAM workstation from 1988 [pdf] (jim.rees.org)
179. Show HN: Moocable - 找到學習相同在線課程/書籍的人 Moocable – find people studying the same online course/book (moocable.com)
180. Jiff:Rust 的全新日期時間庫,來自 ripgrep 的作者 Jiff: A brand new Datetime library for Rust, from the author of ripgrep (github.com)
184. 像國家一樣看待事物》一書的作者詹姆斯-斯科特(James C. Scott)去世 James C. Scott, author of Seeing Like a State, has died (nitter.poast.org)
186. Ask HN: 2024 年博客作者的最佳方式是什麼? What is the best way to author blogs in 2024? (news.ycombinator.com)
188. txtai:面向極簡主義者的開源矢量搜索和 RAG txtai: Open-source vector search and RAG for minimalists (neuml.github.io)
192. 英特爾稱第 13 代和第 14 代移動 CPU 正在崩潰 Intel says 13th and 14th Gen mobile CPUs are crashing (www.tomshardware.com)
194. 在過去十年中,美國已有數百名工人死於溝渠坍塌事故 Trench collapses have killed hundreds of workers in the US over the last decade (text.npr.org)
196. Ask HN: Crowdstrike 公司有誰能解釋一下背後的故事嗎? Can anyone from Crowdstrike explain the back story? (news.ycombinator.com)
197. 羅馬世界的人體寄生蟲:征服一個帝國的健康後果 Human parasites in the Roman World: health consequences of conquering an empire (www.cambridge.org)
198. 用戶被禁言 10 萬小時後返回,繼續進行導致其被禁言的對話 User returns after 100k-hours ban to continue conversation that got them banned (www.pcgamer.com)
201. 羅馬數字末尾的字符 "j "有什麼意義? What is the significance of the character "j" at the end of a Roman Numeral? (genealogy.stackexchange.com)
202. "任何足夠糟糕的軟件更新都與網絡攻擊無異" "Any sufficiently bad software update is indistinguishable from a cyberattack" (twitter.com)
203. 啟用火狐瀏覽器嚴格跟蹤保護後,X.com 拒絕打開 X.com refuses to open with Firefox strict tracking protection enabled (x.com)
206. 有關 CrowdStrike 的 CSAgent.sys 崩潰原因的初步詳細信息 Initial details about why CrowdStrike's CSAgent.sys crashed (twitter.com)
212. 由於 CrowdStrike 中斷,兄妹倆錯過了挽救生命的關鍵治療 Siblings miss crucial life-extending treatment because of CrowdStrike outage (www.kiro7.com)
214. 運動人士稱,全球 IT 故障顯示了無現金社會的危險性 Global IT outage shows dangers of cashless society, campaigners say (www.theguardian.com)
216. 對 Tcl 創建者 John Ousterhout 的簡短訪談 (2023) A brief interview with Tcl creator John Ousterhout (2023) (pldb.io)
218. CrowdStrike 幾個月前就破解了 Debian 和 Rocky Linux,但沒人注意到 CrowdStrike broke Debian and Rocky Linux months ago, but no one noticed (www.neowin.net)
219. 如何選擇最適合自己的教科書? How to choose a textbook that is optimal for oneself? (matheducators.stackexchange.com)
220. CrowdStrike 的失敗提供了美國易受對手攻擊的路線圖 CrowdStrike debacle provides road map of American vulnerabilities to adversaries (www.nytimes.com)
223. 如何利用檢查元素擊敗價值十億美元的風險投資公司 How to pwn a billion dollar VC firm using inspect element (www.kibty.town)
228. Azure 配置更改導致 Microsoft 365 出現重大故障 Major Microsoft 365 outage caused by Azure configuration change (www.bleepingcomputer.com)
229. T&F 將其研究成果的使用權出售給微軟人工智能公司後,學者們大為震驚 Academics shocked after T&F sells access to their research to Microsoft AI (www.thebookseller.com)
238. 觀點比起人工智能,我更願意在手機中配備耳機插孔和 microSD 插槽 Opinion: I'd rather have a headphone jack and a microSD slot than AI in my phone (news.ycombinator.com)
241. 不只是 CrowdStrike,網絡部門也很脆弱 It's not just CrowdStrike – the cyber sector is vulnerable (www.ft.com)
242. 我繪製了 21 世紀美國幾乎所有的交通事故死亡圖 I mapped almost every USA traffic death in the 21st century (roadway.report)
243. 多衛星數據描繪了破紀錄的井噴甲烷洩漏事件 Multisatellite data depicts a record-breaking methane leak from a well blowout (pubs.acs.org)
245. 調試邪惡的 Go 運行時錯誤從熱風槍到內核編譯器標誌 Debugging an evil Go runtime bug: From heat guns to kernel compiler flags (marcan.st)
248. 破壞一切的 CrowdStrike 文件充滿了空字符 The CrowdStrike file that broke everything was full of null characters (twitter.com)
251. 職業撲克玩家知道最佳策略,但並不總是使用它 Professional poker players know the optimal strategy but don't always use it (www.scientificamerican.com)
252. 美國宇航局好奇號漫遊車在火星岩石中發現驚喜 NASA's Curiosity rover discovers a surprise in a Martian rock (www.jpl.nasa.gov)
254. 將不再提供 Google URL Shortener 鏈接 Google URL Shortener links will no longer be available (developers.googleblog.com)
255. CrowdStrike 修復從 "重啟多達 15 次 "開始,之後變得越來越複雜 CrowdStrike fixes start at "reboot up to 15 times", gets more complex from there (arstechnica.com)
256. Show HN: Sendune - 開放源碼 HTML 電子郵件設計器 Sendune – open-source HTML email designer (news.ycombinator.com)
259. Show HN: 我們如何利用 "語言地圖 "跨越傳統的矢量式 RAG How we leapfrogged traditional vector based RAG with a 'language map' (twitter.com)
262. FCC 一致投票大幅限制監獄電信收費 FCC votes unanimously to dramatically limit prison telecom charges (worthrises.org)
263. 電子表格語言模型:為大型語言模型編碼電子表格 SpreadsheetLLM: Encoding Spreadsheets for Large Language Models (arxiv.org)
264. 雙重麻煩:歐空局 "蓋亞 "號遭受微流星體和太陽風暴襲擊 Double trouble: ESA's Gaia hit by micrometeoroid and solar storm (www.esa.int)
266. 74935 觀看全球大規模 IT 故障影響航空公司、媒體和銀行 74935 viewing Mass worldwide IT outage affects airlines, media and banks (www.bbc.co.uk)
270. 微軟 "Azure "系統故障導致多家航空公司航班中斷 Multiple airlines disrupted due to Microsoft Azure outage (www.nytimes.com)
271. Windows 藍屏和啟動循環(更新:由 Crowdstrike 更新引起) Windows Bluescreen and Boot Loops (update: caused by a Crowdstrike update) (news.ycombinator.com)
273. 60 歲德國男子很可能是第七位被有效治癒的艾滋病毒感染者 60-year-old German man likely seventh person to be effectively cured from HIV (www.rfi.fr)
277. 麻雀可能是兒童鉛中毒的 "煤礦金絲雀":研究 Sparrows may be 'canary in the coal mine' for lead poisoning in children: study (www.abc.net.au)
278. 美國郵政總局與 Meta、LinkedIn 和 Snap 共享客戶郵政地址 USPS shared customer postal addresses with Meta, LinkedIn and Snap (techcrunch.com)
279. Devzat - 通過 SSH 聊天,具有一些不錯的生活質量功能 Devzat – Chat over SSH, with some nice quality-of-life features (github.com)
281. 二次貝塞爾曲線不可能有封閉形式的弧長參數化 Closed form arc length parametrization is impossible for quadratic Bézier curves (ninjakoa.la)
284. Show HN: VisCircuit - 電子和電路筆記網站 VisCircuit – A Note-Taking Website for Electronics and Circuits (viscircuit.com)
290. 亞馬遜的 Kindle 直接出版是一場烏托邦噩夢 Amazon's Kindle Direct Publishing is a dystopian nightmare (news.ycombinator.com)
292. 基於 RP2040 的 DECstation 3000 仿真器,可運行 DECWindows A RP2040 based DECstation 3000 emulator that can run DECWindows (github.com)
293. SAPwned:SAP人工智能漏洞暴露了客戶的雲環境和隱私。 SAPwned: SAP AI vulnerabilities expose customers' cloud environments and privat (www.wiz.io)
297. 英偉達全面轉向開源 Linux GPU 內核模塊 NVIDIA Transitions Fully Towards Open-Source Linux GPU Kernel Modules (developer.nvidia.com)
298. 簡短採訪 Awk 創建者 Brian Kernighan 博士 (2022) A brief interview with Awk creator Dr. Brian Kernighan (2022) (pldb.io)
300. 驗證者-驗證者遊戲提高語言模型輸出的可讀性 Prover-Verifier Games improve legibility of language model outputs (openai.com)