用户尝试访问关于OpenAI声称在IMO 2025上获得金牌表现的内容时，遇到技术错误。错误消息显示“Something went wrong, but don’t fret — let’s give it another shot.”，并警告隐私相关扩展可能导致问题。建议禁用扩展后重试。

Test your knowledge of Python's f-string formatting with this interactive quiz. How well do you know Python's string formatting quirks?

https://codecaptured.com/blog/my-ultimate-self-hosting-setup/

https://endtimes.dev/why-your-website-should-be-under-14kb-in-size/

The future of software development might just be jazz. Everyone improvising. Nobody following the sheet music.

https://www.nytimes.com/2025/07/18/climate/epa-firings-scientific-research.html

AI capex is so big that it's affecting economic statistics, boosting the economy, and beginning to approach the railroad boom

The interfaces between C and Rust in the kernel have grown over time; any non-trivial Rust dri [...]

Download YouTube No Translation for Firefox. Keeps YouTube content in its original language (Titles, Audio Tracks, Descriptions...)

总体原则

• 靠近源头：优先阅读AI实验室的官方公告，避免二手报道的噪音。
• 关注可信的评论者：跟随那些真诚且深度好奇的个人，以获得可靠的解读。

核心起点

• Simon Willison 的博客：对技术人员的最佳起点，涵盖前沿能力、应用案例、安全与伦理评论。
• Andrej Karpathy（特斯拉AI总监、OpenAI创始成员）：通过其视频和推文理解模型工作原理，他提出了“vibe coding”和“jagged intelligence”等概念。
• Every 的 Chain of Thought：Dan Shipper 撰写，提供对前沿模型的实际测试和日常应用洞察。

来自AI构建者的官方资源

• 实验室公告：关注 OpenAI、Google DeepMind、Anthropic、DeepSeek、Meta AI、xAI、Qwen 的新闻。
• 深入学习资源：
  • 公告博客：用于快速了解概览。
  • 官方工程博客、指南和手册：提供实用指导（但经验表明最佳实践仍在探索中）。
  • 系统/模型卡：提供关于上下文窗口、基准测试、安全测试的详细信息。
  • 研究论文：深入技术细节。
• 建议：遇到关于AI能力的爆炸性主张时，直接查阅原始来源以获取完整背景。
• 其他值得关注的小型实验室：如Nous Research、Allen AI、Prime Intellect、Pleias（开源）、Cohere（企业）、Goodfire（可解释性研究），它们常提供不同于前沿实验室的深度技术细节。

高价值信息源（个人与博客）

这些人通过构建开源工具或整合AI模型，提供了比官方手册更详细、实用的建议：

• Hamel Husain：专注评估与AI系统持续改进。
• Shreya Shankar：AI工程领域的现场笔记与实验。
• Jason Liu：详细撰写关于RAG、评估和AI咨询的指南。
• Eugene Yan：深入探讨LLM基础、数学原理及评估方法。
• 《从构建LLM中学到的一年》：来自多位实践者的集体经验总结。
• Chip Huyen：关于生产环境中构建AI系统和ML系统的详细工程博客。
• Omar Khattab（DSPy创建者）：探讨比提示词更好的抽象。
• Kwindla Hultman Kramer：专注实时语音/视频AI能力及构建语音AI代理的详细指南。
• Han Chung Lee：对AI应用、框架和开发工具的深度与浅度剖析。
• Jo Kristian Bergum：评论RAG中的“R”（检索）。
• David Crawshaw：关于使用LLM和代理进行编程的见解。
• Alexander Doria / Pierre Carl-Langlais：深入训练过程细节并观察行业动向。
• Nathan Lambert 的 “Interconnects”：对AI训练、部署和影响的特定方面进行长篇技术分析和高信号评论。
• Ethan Mollick：AI工具日常使用指南及AI对企业和工作影响的分析。
• Arvind Narayanan 和 Sayash Kapoor 的 “AI Snake Oil”：批判性地分析AI炒作、能力、影响和政策。

新闻与媒体

• Twitter / X：是跟踪AI前沿发展的核心平台。可以通过关注优质列表和用户来高效获取信息。
• 替代选择：
  • Shawn Wang (swyx) / smol.ai 的 AI 新闻：通过其通讯和每日新闻摘要获取行业趋势，无需使用Twitter。
  • Dwarkesh Patel：一档高质量、研究充分的播客，采访AI领域的关键人物。

小众与深度探索

• LessWrong / AI Alignment Forum：讨论AI对齐、治理和技术安全等深度、常为技术性的议题。
• Gwern：内容广泛、深入且高度互联的关于AI及其他主题的百科全书式写作。
• 提示词探索者与潜在空间探索者（如Janus, Wyatt Walls, Claude Backrooms）：通过非常规提示探索LLM行为边界，揭示其潜在空间的隐藏角落。

实践方法

作者认为跟进这些信息源并不繁重。他将浏览Twitter动态比作阅读报纸，每天花约15-20分钟。关键是建立一个包含深思熟虑评论的信息流，从而发现新的有趣内容和作者。他认为这是一种有趣的“觅食”过程，源于对AI和科幻的长期热情。文章最后提供了一个包含所有推荐人物的Twitter列表链接。

研究发现，通过高灵敏度血液检测技术，可在癌症确诊前三年以上发现循环肿瘤DNA（ctDNA）的遗传痕迹。该成果发表于《Cancer发现》期刊，由约翰霍普金斯大学团队基于20世纪80-90年代储存的血液样本完成。

研究显示，在26名确诊前半年内采集的样本中，8例检测到癌症相关基因特征；而在确诊前三年以上采集的样本中，通过全基因组测序技术仍能识别出极低水平的癌症特异性基因组改变。由于早期肿瘤体积微小，释放的DNA量极少，传统检测方法难以捕获，而全基因组测序可解析DNA序列中细微的癌症相关变异。

该发现为早期癌症筛查提供了潜在方向。专家指出，即使提前数月诊断也可能增加治疗选择，而提前数年发现或能显著改善患者预后。然而当前研究仍属概念验证阶段，样本量有限且储存条件受限，未来需在更大规模人群中验证结果。研究者正计划扩大样本量进一步探索技术灵敏度的提升空间。

ImportantAfter evaluating the impact and community feedback, the Bitnami team has postponed the deletion of the Bitnami public catalog (docker.io/bitnami) until September 29th to give users more time to adapt to the upcoming changes. To ...

Yes I know about that one talk from Rob Pike.

One man's struggle with his mortality.

Close to three years ago I wrote about using Oddly Specific Objects' alternate "motherboard" to modify a classic Casio F-91W watch:  Pimping...

https://lifehacky.net/prompt-0b953c089b44

Economists credit ads with two welfare‑enhancing roles:

1. Informative – trimming search costs (Stigler 1961 (pdf)).
2. Signaling – In classic models, high-quality sellers are more willing to incur large, sunk ad costs because they expect to recoup them through future sales, especially in experience-good markets where quality is learned over

http://www.davidtinapple.com/illich/1983_silence_commons.html

https://www.neowin.net/news/libreoffice-calls-out-microsoft-for-using-complex-file-formats-to-lock-in-office-users/

A document format is a tool for sharing knowledge and, as such, should be as simple and accessible as possible in relation to the complexity of the document content itself. This remains true even when the format is based on an XML schema that is hidden from users when the document is displayed on screen. Unfortunately, while an XML schema can be simple, it can also be unnecessarily complex, bloated, convoluted and difficult to implement without specific knowledge of its features. This is true even if the on-screen documents are identical. In this case, complexity is an intentional tactic used to lock users into a vendor, as is the case with the Microsoft 365 document format. An XML schema comprises the structure, data types and rules of an XML document and is described in an XML Schema Definition (XSD) file. This tells the PC what to expect and checks that the data follows the rules. In theory, XML and XSD together form the basis of the concept of interoperability. However, in practice, an XML schema can be made so complex that it becomes a barrier rather than a bridge. An “artificially complex” XML schema goes beyond the level of complexity

A third patient, a 51 year-old in a Phase I study of SRP-9004 for limb-girdle muscular dystrophy Type 2E, has died from a Sarepta gene therapy.Like two dea...

The discovery of the Paid The Beak Exploit

https://twitter.com/_ZachGriff/status/1945959030851035223

DuckDuckGo 推出隐藏 AI 生成图片的搜索过滤功能

隐私导向的搜索引擎 DuckDuckGo 正在推出一项新功能，允许用户在图像搜索结果中过滤掉 AI 生成的图片。该公司表示，此举是为了回应用户反馈，许多用户认为 AI 图像干扰了搜索体验，难以找到所需的真实内容。

功能使用方式：

1. 用户在 DuckDuckGo 进行图像搜索后，在“图像”标签页会看到一个名为“AI 图像”的新下拉菜单。
2. 用户可在菜单中选择“显示”或“隐藏”AI 图像。
3. 此外，用户也可以在搜索设置中直接开启“隐藏 AI 生成的图像”选项。

技术实现与背景：

• 该过滤器依赖于人工整理的开源屏蔽列表，包括来自 uBlockOrigin 和 uBlacklist Huge AI Blocklist 的列表。
• 公司坦承，此过滤器无法做到100%准确，但能大幅减少用户看到的 AI 生成图像数量。
• 功能推出的背景是互联网上充斥着大量由生成式 AI 制作的低质量内容（常被称为“AI 垃圾”）。文中提到，此次示例使用“小孔雀”图片搜索，可能暗指谷歌此前因在该搜索中大量显示 AI 图像而非真实照片而引发的争议。
• DuckDuckGo 表示计划未来增加更多过滤器，但未透露具体细节。

Linux users who have Secure Boot enabled on their systems knowingly or unknowingly rely on a ke [...]

NASA X-59 静音超音速飞机启动地面滑行测试

NASA 的 X-59 静音超音速研究飞机已正式启动地面滑行测试，标志着这架独特的实验飞机首次依靠自身动力移动。

测试进展与安排

• 首次低速滑行测试：由 NASA 试飞员尼尔斯·拉尔森及 NASA 与承包商洛克希德·马丁公司组成的团队，于2025年7月10日在美国空军42号工厂（加利福尼亚州帕姆代尔）完成。
• 测试阶段：滑行测试是 X-59 首飞前的最后一系列地面测试。未来几周内，飞机将逐步提高滑行速度，直至进行高速滑行测试（接近但未达到起飞点）。

测试目的与内容

• 在低速测试期间，工程师和飞行机组人员监控了飞机在跑道上的操控情况，以验证转向和制动等关键系统。
• 这些检查有助于确保飞机在多种条件下的稳定性和操控性，为飞行员和工程师提供系统运行正常的信心。

项目背景与意义

• X-59 是 NASA Quesst任务 的核心，旨在通过将响亮的音爆降低为更安静的“砰”声，展示静音超音速飞行。
• 从 X-59 收集的数据将提供给美国和国际监管机构，为制定新的、基于数据的陆上超音速商业飞行可接受噪音阈值提供依据。

Section 174 税法修订概要

美国税法 Section 174 已进行重大修订，主要涉及软件开发成本的税务处理方式。该修订于2017年特朗普政府时期制定，原计划自2022/2023年起实施，对科技公司，尤其是中小型和初创企业造成了显著财务压力。

原规定（问题所在）：

• 美国本土软件工程师的工资及其他开发成本不能在发生当年作为普通费用全额抵扣。
• 而是必须像固定资产一样分摊抵扣：美国本土开发成本需在5年内摊销，美国境外开发成本则需在15年内摊销。
• 这相当于在未产生实际利润的情况下增加了应税收入，导致企业（特别是利润率低或亏损的企业）税负意外大幅增加，可能抑制了2023-2025年期间的工程师招聘。

新法案（修订内容）：

1. 美国本土开发成本：恢复为可选择在发生当年全额费用化抵扣（与修订前规则一致），且此条款为永久性修改。公司亦可选择继续摊销。
2. 可追溯性调整：允许企业对2022年至2024年间的税务申报进行追溯调整，依据新的费用化规则重新提交税表，申请退回因此多缴纳的税款。
3. 美国境外开发成本：规则未改变。向美国境外支付的研发相关费用（包括雇佣海外员工或外包合同）仍必须在15年内摊销。

主要影响与预测：

• 立即缓解：新条款为美国科技公司提供了即时的税务负担减轻和现金流改善。
• 激励措施：税务规则的差异将强烈激励美国科技公司增加在美国本土的招聘，同时减少或限制在美国境外（如欧洲、印度）的研发支出和招聘。
• 地区差异：对美国本土软件工程师就业市场是利好；对国际开发者及依赖美国公司业务的海外团队则可能面临招聘机会减少或业务调整的压力。

总结而言，Section 174的修订通过恢复对美国本土研发成本的即时费用化处理，解决了此前政策带来的主要痛点，但保留了对海外开发成本长期摊销的要求，这预计将对全球科技人才的招聘分布产生结构性影响。

https://twitter.com/USTechWorkers/status/1945999773825196492

"Europe is heading down the wrong path on AI," global affairs chief Joel Kaplan wrote in a post on LinkedIn Friday.

https://community.clearlinux.org/t/all-good-things-come-to-an-end-shutting-down-clear-linux-os/10716

https://lists.archlinux.org/archives/list/aur-general@lists.archlinux.org/thread/7EZTJXLIAQLARQNTMEW2HBWZYE626IFJ/

My presentation from the inaugural Better Software Conference, with notes.

https://www.compassrouter.com

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one - implement "nodeLinker": "isolated" in bun install by dylan-conway · Pull Request #20440 · oven-sh/bun

https://www.filfre.net/2025/07/the-year-of-peak-might-and-magic/

Felix Baumgartner dies at 56 in paragliding crash near Italy’s Adriatic coast. Known for 2012 stratosphere jump.

molab is a cloud-hosted marimo notebook workspace that lets you rapidly experiment on data with Python and SQL

For almost two years, hundreds of young Israelis falsely claiming to be art students haunted federal offices -- in particular, the DEA. No one knows why -- and no one seems to want to find out.

If creators of documentation are prepared to sacrifice its human purpose in order that LLMs can more effectively slurp it up and regurgitate it on demand, then they have meekly accepted values that more properly belong in a dystopian horror story.

[DISCLOSURE: As always when I write about Amazon, I'll note I worked there from 1997-2004 and that I still own some shares in the company. I still have many friends who work there, though I have no more idea what Amazon is working on now than any of you in the public.]  With every quarterl