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)