2025-09-20
41 篇热帖
2. Microsoft has urged its employees on H-1B and H-4 visas to return immediately (timesofindia.indiatimes.com)
Tech News News: Microsoft urged its H-1B and H-4 visa employees to return to the US before the September 21 deadline due to a new $100,000 annual fee per H-1B worker.
3. Ask HN: Has anyone else been unemployed for over two years?
4. Git: Introduce Rust and announce it will become mandatory in the build system (lore.kernel.org)
Anubis 网站保护系统概述
Anubis 是一个网站保护系统,旨在防止 AI 公司过度抓取网站内容,这种抓取行为常导致网站资源无法访问和停机。该系统采用 Proof-of-Work(工作量证明)方案,类似 Hashcash(一种用于减少电子邮件垃圾邮件的机制),在个人层面增加的负载可以忽略,但在大规模抓取时会显著提高成本,从而 deter 这种行为。
- 目的:保护网站免受 AI 公司的恶意抓取,确保资源对合法用户可访问。
- 机制:使用 Proof-of-Work,要求客户端完成一定计算任务,使大规模抓取在经济上不划算。
- 临时性:Anubis 被视为临时解决方案,目的是为开发更先进的识别技术(如基于字体渲染的无头浏览器指纹识别)争取时间,以减少对合法用户的挑战。
- 技术要求:需要现代 JavaScript 功能;插件如 JShetter 会禁用相关功能,因此建议用户为特定域名禁用此类插件以确保正常访问。
5. Internal emails reveal Ticketmaster helped scalpers jack up prices, FTC says (arstechnica.com)
FTC sued Ticketmaster and Live Nation for turning "blind eye" to scalpers.
6. Markov chains are the original language models (elijahpotter.dev)
Back in my day, we used math for autocomplete.
7. A shift in developer culture is impacting innovation and creativity (dayvster.com)
From tinkerers to metric seekers: How the shift in developer culture is impacting innovation and creativity.
8. After 50 years, The Magic Circle finally inducts Penn and Teller (www.nytimes.com)
9. Cormac McCarthy's tips on how to write a science paper (2019) [pdf] (gwern.net)
本文总结了小说家科马克·麦卡锡在2019年分享的科学论文写作建议,这些建议源于他长期为圣塔菲研究所科研人员编辑文稿的经验。核心原则是保持简洁,并讲述一个连贯、引人入胜的故事。具体要点如下:
写作哲学与结构
- 运用极简主义以实现清晰:在写作时不断自问,能否在不影响原意的情况下删减某些标点、词语、句子、段落乃至章节。尽可能删除多余的词语或逗号。
- 明确主题与核心信息:确定论文的主题和希望读者记住的2-3个关键点。这些构成贯穿全文的主线,所有文字都是围绕这一主线编织的细节。任何与理解主题无关的内容都应删除。
- 每段只传达一个信息:一个句子也可成段。每段应围绕一个信息展开:先提出问题,再推进到观点,有时给出答案。段落中提出问题但未作答也是可以的。
语言与句子
- 保持句子简短、直接、结构简单:简洁清晰的句子最适合科学解释。应尽量减少从句、复合句和过渡词(如“然而”、“因此”),以便读者聚焦于主要信息。
- 避免拖慢读者:不要使用脚注,因为这会打断思路。避免使用行话、流行词或过于技术化的语言。不要重复使用同一个词,这很无聊。
- 避免过度阐述:只在相关的形容词处使用。论文不是与读者潜在问题的对话,无需过度预见问题。不要在同一部分用三种不同方式重复同一观点。例如,避免同时使用“阐明”和“详细说明”,二选一即可。
- 语法和语感:初稿写作时,口语化表达和常识通常比语法书更可靠。比起写出语法完美的句子,被理解更重要。
标点与格式
- 逗号表示说话中的停顿:句子开头的“相比之下”之后需要加逗号,是为了强调该句与前文的区别。大声朗读句子有助于找到停顿处。
- 破折号用于强调:破折号应用于强调你认为最重要的从句,而非仅用于定义术语。
- 慎用分号:不要将分号当作连接松散相关想法的拐杖,这只会助长不好的写作。
- 可适当使用缩写和语气:可以偶尔使用缩写(如isn't, don't)。不要过于正式。不要使用感叹号来强调某点的重要性,可以用“令人惊讶地”或“有趣地”代替,但每篇论文最多用一两次。
风格与最终检查
- 注意语气:注入问题和不太正式的语言来打破语调,保持友好感。可以使用口语化表达,但不宜过于地域性。使用个人语气有助于吸引读者;非个人化的被动语态并不能让人觉得更客观。
- 使用具体语言和例子:如果必须谈论抽象球体的任意颜色,将其描述为“红气球”或“蓝色台球”会更吸引人。
- 公式处理:避免将方程置于句子中间。数学与英语不同,应通过换行、空白、补充部分、清晰的符号以及对如何从假设推导到方程再到结果的解释来区分。
- 编辑与投稿:完成后,大声朗读给自己或朋友听。找一位值得信赖、愿意花时间思考的编辑。尽量为编辑提供方便(如页码标注、双倍行距)。提交后,不要一直惦记稿件。收到审稿意见时,要听取意见但也保持自信,采纳有用的修改,对不采纳的修改礼貌地解释原因。不要就风格问题与编辑争执。最后,努力写出你自己喜欢的最好版本,因为你的论文是面向未来的。当你的文章更生动易懂时,人们才会愿意花时间阅读。
10. Are touchscreens in cars dangerous? (www.economist.com)
11. Britain jumps into bed with Palantir in £1.5B defense pact (www.theregister.com)
: Arrangement follows big tech tie-ins claiming to offer £31B investment
12. Trumpcard (Official US Government Website) (trumpcard.gov)
The Trump Gold Card application
13. After getting Jimmy Kimmel suspended, FCC chair threatens ABC's The View (arstechnica.com)
Carr: "Turn your license in to the FCC, we'll find something else to do with it."
14. Show HN: WeUseElixir - Elixir project directory (weuseelixir.com)
15. Processing Strings 109x Faster Than Nvidia on H100 (ashvardanian.com)
StringZilla v4 brings CUDA acceleration for string processing: 109x faster than Nvidia's CuDF on edit distances, plus 52-bit MinHash fingerprinting and AES-based hashing.
16. FLX1s phone is launched (furilabs.com)
Page -
17. Images over DNS (dgl.cx)
18. H1Bs will start costing $100k/yr (www.boundless.com)
19. IG Nobel Prize Winners 2025 (improbable.com)
Ig® Nobel Prize Winners For achievements that first make people LAUGH then make them THINK Winners by year: 2025 : 2024 : 2023 : 2022 : 2021 2020 : 2019 : 2018 : 2017 : 2016 2015 : 2014 : 2013 : 20…
20. Hidden risk in Notion 3.0 AI agents: Web search tool abuse for data exfiltration (www.codeintegrity.ai)
CodeIntegrity research on Notion AI security, Notion 3.0 AI Agents, lethal trifecta risk, indirect prompt injection, web search tool abuse, and data exfiltration.
21. Feedmaker: URL + CSS selectors = RSS feed (feedmaker.fly.dev)
22. If you are good at code review, you will be good at using AI agents (www.seangoedecke.com)
23. Less is safer: how Obsidian reduces the risk of supply chain attacks (obsidian.md)
Obsidian 如何通过减少依赖来降低供应链攻击风险
供应链攻击指恶意更新潜入被广泛使用的开源代码中。Obsidian 通过以下设计,为用户的思维打造安全私密的环境:
核心原则:少即是安全
- 最大限度减少第三方依赖:Obsidian 的依赖数量显著低于同类应用。公开的开源库列表可查看其 Credits 页面。
- 自行实现关键功能:如 Bases 和 Canvas 等功能完全从零构建,而非导入现成库,以保持对代码的完全控制。
- 依赖处理策略:
- 小型工具函数:通常自行重新实现。
- 中型模块:若许可证允许,进行分支并纳入自身代码库。
- 大型库(如 pdf.js、Mermaid、MathJax):采用已知稳定、版本锁定的文件,仅偶尔或在安全更新时升级,并经过严格审查与测试。
这种做法使得依赖图结构简单、子依赖极少,从而缩小了恶意更新的潜在入口。
应用实际包含的依赖
- 运行时仅包含极少数必需包(如 Electron、CodeMirror、moment.js)。
- 许多包仅用于构建阶段(如 esbuild、eslint),不会进入最终用户应用。
严格的版本控制与锁定
- 所有依赖均严格版本锁定,并通过锁文件提交以确保构建的确定性。
- 不执行 postinstall 脚本,避免包在安装时执行任意代码。
缓慢且审慎的升级流程
更新依赖时,Obsidian 会执行以下步骤:
- 逐行阅读依赖的更新日志。
- 检查新版本引入的子依赖。
- 对于重大或高风险变更,对比上游差异。
- 在多平台和关键用户路径上运行自动化与手动测试。
- 仅在通过所有审查后才提交新的锁文件。
实践中,依赖更新较少进行,因为现有依赖通常稳定且无需频繁变更。每次更新都像引入一个新依赖一样谨慎对待。
时间作为缓冲
Obsidian 不急于升级。在依赖更新与正式发布之间留有时间间隔,这构成了一个预警窗口:社区和安全研究人员通常会迅速发现恶意版本。因此,在代码到达用户前,生态系统往往已标记出问题发布。
没有单一措施能完全消除供应链风险,但通过减少依赖、简化依赖图、严格版本锁定、禁用 postinstall 脚本以及缓慢且重审查的升级节奏相结合,Obsidian 大幅降低了受影响的可能性,并为在代码交付用户前发现问题提供了充足的检测窗口。
24. Is Zig's new writer unsafe? (www.openmymind.net)
Karl Seguin's Blog - A mix of coding and creative writing
25. Show HN: Zedis – A Redis clone I'm writing in Zig (github.com)
Redis in Zig. Contribute to barddoo/zedis development by creating an account on GitHub.
26. Vapor chamber tech keeps iPhone 17 Pro cool (spectrum.ieee.org)
Vapor chamber tech in the iPhone 17 Pro and other smartphones ensures optimal cooling, allowing for sustained performance without overheating.
27. PYREX vs. pyrex: What's the difference? (www.corning.com)
For many people, Corning is synonymous with PYREX — and Pyrex. But how does PYREX vs. Pyrex compare? What are the differences? Find out here.
28. An untidy history of AI across four books (hedgehogreview.com)
29. Disney+ cancellation page crashes as customers rush to quit (creators.yahoo.com)
Thinking of canceling Disney+? You’re not alone—after Jimmy Kimmel’s suspension, so many people rushed to quit that the cancellation page itself started crashing.
30. Themis (European Reusable Rocket) is assembled on launch pad (phys.org)
The first model of the European Space Agency's (ESA) reusable rocket demonstrator Themis is standing at its launch pad in Kiruna, Sweden.
31. Your very own humane interface: Try Jef Raskin's ideas at home (arstechnica.com)
Use the magic of emulation to see a different kind of computer design.
32. Three-Minute Take-Home Test May Identify Symptoms Linked to Alzheimer's Disease (www.smithsonianmag.com)
Researchers say the experimental tool has huge implications for public health, especially in conjunction with Alzheimer’s drugs that are most effective in the disease’s early stages
33. Things managers do that leaders never would (simonsinek.com)
Simon reveals the subtle but powerful ways leaders set themselves apart from managers—and why those choices matter most in times of crisis.
34. Benjamin Button Reviews macOS (rakhim.exotext.com)
本文以倒叙方式回顾了macOS操作系统的演变历程,重点分析了其用户界面(UI)和功能定位的巨大转变。
UI设计的成熟之路 系统最初的版本(如Tahoe)UI被批评为“儿童玩具”,充满圆角、低信息密度和不协调的颜色。后续版本(如Sequoia)大幅调整:减少圆角、降低透明度、采用更严肃的图标和按钮,完成了从“幼儿”到“少年”的跨越。此后,系统继续走向专业化,元素变得更加清晰、高对比度且具有功能感。中间虽经历过拟物化设计阶段(如将应用设计成皮革笔记本),但最终整体风格趋向于平衡的简约与功能美。
功能与定位的转折 早期版本功能较为浅显,但一系列关键更新重塑了系统:
- 开放与兼容:Catalina版本取消了应用公证要求,降低了开发门槛。Mojave版本添加了32位应用支持,扩大了软件库。
- 为专业用户优化:High Sierra版本移除了面向移动端的“通用”应用(如股票、新闻),标志着系统从娱乐导向彻底转向专业生产工具。
- 架构与交互改进:Monterey版本引入了更稳定的新设置应用,并逐步废弃了不稳定的SwiftUI框架。后续版本持续优化交互细节,如增加元素立体感、遵循人机界面指南,提升可用性。
总结 macOS经历了从设计粗糙、面向普通用户到UI专业严谨、功能面向开发者与专业人员的彻底转变。在演进中,系统不断平衡开放与限制,增减功能(如移除查找器标签、应用商店,又增加多桌面等),其设计语言也在拟物与扁平之间摆动,但最终目标是构建一个简约、强大且尊重用户智能的专业操作系统。
35. A Beautiful Maths Game (sinerider.com)
A game about love & graphing
36. Show HN: Run Qwen3-Next-80B on 8GB GPU at 1tok/2s throughput (github.com)
Contribute to Mega4alik/ollm development by creating an account on GitHub.
37. A vibrator helped me debug a motorcycle brake light system (bikesafe.me)
A tale of debugging hardware with unconventional methods. How I perfected the firmware of BrakeBright (a motorcycle safety device) using a vibrator.
38. Node 20 will be deprecated on GitHub Actions runners (github.blog)
Editor’s note (February 25, 2026): Updated the migration date to June of 2026. Editor’s note (May 19, 2026): Updated the migration date to June 16th, 2026. Node20 will reach end-of-life…
39. China's 200M gig workers are a warning for the world (www.economist.com)
40. Systemd can be a cause of restrictions on daemons (utcc.utoronto.ca)
Chris Siebenmann 在文章中指出,一个来自 Cloudflare worker 的 HTTP 请求被阻止访问其博客(Wandering Thoughts)和 CSpace wiki。作者解释,截至 2026 年,Cloudflare worker 不被真实人类使用,经常被用于恶意目的,因此不允许这些请求访问相关网站。文章标题为“Systemd can be a cause of restrictions on daemons”,但正文未直接讨论 Systemd,而是聚焦于具体的访问限制实例。作者在 2026 年 3 月 29 日发布了此内容。
41. Based C++ (github.com)
C++ is the based interpreted language. Contribute to SheafificationOfG/based-cpp development by creating an account on GitHub.