2025-08-01
32 篇热帖
2. Live coding interviews measure stress, not coding skills (hadid.dev)
Live coding measure stress, not coding skills
3. Gemini 2.5 Deep Think (blog.google)
Deep Think utilizes extended, parallel thinking and novel reinforcement learning techniques for significantly improved problem-solving.
4. How we built Bluey’s world (www.itsnicethat.com)
Catriona walks us through the creation of the beloved cartoon’s scenery and backgrounds, from its dollhouse proportions and subtle doggy details, to its distinctly Brisbanite atmosphere.
5. The untold impact of cancellation (pretty.direct)
6. Replacing tmux in my dev workflow (bower.sh)
replacing tmux in my dev workflow
7. AI is a floor raiser, not a ceiling raiser (elroy.bot)
A reshaped learning curve
8. Our Farewell from Google Play (secuso.aifb.kit.edu)
9. OpenIPC: Open IP Camera Firmware (openipc.org)
10. FBI seized $40k from Linda Martin without charging her with a crime (reason.com)
There is little accountability in civil forfeiture, which allows law enforcement to seize assets without charging the owner with a crime.
11. Denver rent is back to 2022 prices after 20k new units hit the market (denverite.com)
With 20,000 new units on the market, prices are down about 3.7 percent.
12. IRS head says free Direct File tax service is 'gone' (www.theverge.com)
IRS Commissioner Billy Long said during a tax summit that the agency’s free Direct File program is “gone,” adding that “big beautiful Billy wiped that out,” according to Bloomberg Law.
13. The anti-abundance critique on housing is wrong (www.derekthompson.org)
Antitrust critics say that homebuilding monopolies are the real culprit of America’s housing woes. I looked into some of their claims. They don’t hold up.
14. OpenAI raises $8.3B at $300B valuation (www.nytimes.com)
15. Belgium bans Internet Archive's ‘Open Library’ (torrentfreak.com)
A Belgian court ordered intermediaries to block access to major shadow libraries, including the Internet Archive's Open Library.
16. Gemini Embedding: Powering RAG and context engineering (developers.googleblog.com)
Explore how organizations leverage Gemini Embedding for context-aware AI systems improving performance, accuracy, and efficiency across diverse industries.
17. Every satellite orbiting earth and who owns them (2023) (dewesoft.com)
Who owns our orbit? Read this article to learn which governments, organizations, and companies own and operate the most satellites orbiting our Earth.
18. Terence Tao's NSF grants suspended (bsky.app)
美国国家科学基金会（NSF）已暂停数学家陶哲轩（Terence Tao）的拨款（奖项ID：2347850）。该消息由科学记者丹·加里斯坦特于2025年7月31日在社交平台Bluesky上发布。
根据加里斯坦特后续补充的数据，在NSF暂停拨款的整体情况下，不同部门的暂停比例存在差异，其中数学与物理科学部（MPS）暂停比例最高，达26.7%；计算机与信息科学与工程部（CISE）为22.8%；地球科学部（GEO）为19.3%。
该事件引发了学术界的关注和讨论。多位来自不同国家的用户在评论中向陶哲轩发出邀请，邀请他前往德国（如卡尔斯鲁厄理工学院、慕尼黑工业大学、亚琛工业大学等）、澳大利亚或法国继续其研究工作。讨论中也有用户对拨款货币（瑞士法郎）表示疑问，并将此事件与特朗普政府的政策联系起来。
19. “No tax on tips” is an industry plant (www.newyorker.com)
Trump’s “populist” policy is backed by the National Restaurant Association—probably because it won’t stop establishments from paying servers below the minimum wage. Eyal Press reports.
20. Ask HN: Who is hiring? (August 2025)
21. Long Term Support (www.sqlite.org)
22. Show HN: Mcp-use – Connect any LLM to any MCP (github.com)
The fullstack MCP framework to develop MCP Apps for ChatGPT / Claude & MCP Servers for AI Agents. - mcp-use/mcp-use
23. OpenAI Leaks 120B Open Model on Hugging Face (twitter.com)
24. How did Facebook intercept competitor's encrypted mobile app traffic? (2024) (haxrob.net)
A technical investigation into information uncovered in a class action lawsuit that Facebook had intercepted encrypted traffic from user's devices running the Onavo Protect app in order to gain competitive insights.
25. Kaleidos – A portable nuclear microreactor that replaces diesel generators (radiantnuclear.com)
26. GPT-5 is already (ostensibly) available via API (old.reddit.com)
Using the model gpt-5-bench-chatcompletions-gpt41-api-ev3 via the Chat Completions API will give you what is supposedly GPT-5. Conjecture: The...
27. New quantum state of matter found at interface of exotic materials (phys.org)
Scientists have discovered a new way that matter can exist—one that is different from the usual states of solid, liquid, gas or plasma—at the interface of two exotic materials made into a sandwich.
28. Hyrum's Law (www.hyrumslaw.com)
海勒姆定律：软件工程观察
核心定律
随着API的用户数量增长，系统所有可观察到的行为都会被某些用户所依赖，无论这些行为是否在官方契约中明文规定。
接口与实现的分离困境
- 接口通常被视为与系统交互的抽象层（如汽车的转向盘和踏板），实现则是系统的实际工作方式（如车轮和引擎）。
- 抽象层帮助管理复杂系统的认知负担，但理论上的接口-实现分离在实际中会随使用量增加而瓦解。
- 用户可能开始依赖通过接口暴露的实现细节，或通过常规使用推断出系统行为。
隐式接口的形成与影响
- 隐式接口：由系统实际使用模式形成，虽未文档化，却被用户依赖。
- 形成过程渐进，用户通常无意识中依赖了系统性能、错误处理模式等实现细节。
- 随着用户增多，隐式接口最终可能完全匹配具体实现，导致接口“蒸发”——实现本身成为事实接口。
- 任何对实现的修改都可能违反用户预期，即使变更符合官方接口规范。
系统演进的约束
- 隐式接口迫使系统实现必须同时满足：
- 明确文档化的接口契约
- 用户实际依赖的隐式行为
- 这种现象常被称为“逐个缺陷兼容”（bug-for-bug compatibility），即使错误行为也可能被依赖。
- 虽然全面自动化测试能发现新的用户预期，但无法消除这些约束。
实践意义
- 对于任何广泛使用的系统，接口的实际范围远超设计者意图。
- 设计者和工程师需在构建和维护复杂系统时考虑隐式接口的约束。
- 系统设计和演进必须权衡官方契约与实际依赖模式。
作者背景
- 该观察源于Hyrum Wright在Adobe和Google期间的经验。
- 他在Google从事大规模代码变更工具和基础设施开发，负责核心C++库改进多年。
- 经验表明：即使最简单的库变更也可能导致遥远系统的故障。
- 定律由Titus Winters命名并推广为“海勒姆定律”。
29. Secure boot certificate rollover is real but probably won't hurt you (mjg59.dreamwidth.org)
30. The Chrome Speculation Rules API allows the browser to preload and prerender (www.docuseal.com)
Discover how to significantly boost your website's loading speed by adding just 5 lines of HTML. Simple steps for faster websites.