1. 速度的魔力；
2. 奥斯卡纪录片顾问阿瓦达·哈萨林遭以色列定居者枪杀；
3. 我们完成1亿美元B轮融资；
4. 氛围编程即遗留代码；
5. 试试“蚊子死亡桶”：环保灭蚊新妙招；

以上是今天的前五条黑科技新闻标题。

总共24条，具体内容您往下读…

1. 速度的魔力

🔗 catherinejue.com: Fast

很少有人会主动要求软件“快”，但快速的软件能改变行为模式：开发者部署更频繁，AI代码补全让跨语言原型设计成为可能，实时流媒体支撑了远程办公。而缓慢的软件则无形中限制生产力，比如飞机WiFi的低效体验。

快的魔力在于消除认知摩擦——Raycast的即时应用检索、Superhuman的百毫秒邮件响应、Mercury的瞬时转账，都因极速带来“宛如思维延伸”的体验。速度背后是极简主义的胜利：Linear等轻量工具通过剥离冗余功能实现快速加载，而速度本身成为对用户时间的尊重。

实现快速常需复杂的底层设计（如Instagram乐观上传照片），但用户感知到的只有流畅。速度也带来乐趣，比如打字速度比拼。当前AI工具虽比人工快万倍，但性能优化仍是未来方向。当行业转向低延迟和可靠性优化时，将催生尚未想象的新应用场景。

（注：原文提及Patrick Collison等人相关文章，此处从略）

2. 奥斯卡纪录片顾问阿瓦达·哈萨林遭以色列定居者枪杀

🔗 latimes.com: ‘No Other Land’ consultant Awdah Hathaleen killed by Israeli settler

巴勒斯坦社区领袖、奥斯卡获奖纪录片《无他之地》顾问阿瓦达·哈萨林在约旦河西岸被以色列定居者枪杀，年仅31岁。事件发生在乌姆阿尔凯尔村，定居者伊农·列维（曾因袭击巴勒斯坦人受国际制裁）在冲突中开枪击中哈萨林肺部。尽管以警方逮捕一名以色列公民并拘押5名巴勒斯坦人，列维最终仅被软禁。

哈萨林生前长期记录以军强拆巴勒斯坦村庄的行径，近期还因入境美国遭遣返。同片团队另一成员3月也曾遭定居者殴打。纪录片揭露了以军为建立训练场驱逐巴勒斯坦社区的暴行，而本轮巴以冲突已致超6万巴勒斯坦人死亡。犹太非暴力组织呼吁“让哈萨林的记忆成为革命”。

3. 我们完成1亿美元B轮融资

🔗 oxide.computer: Our $100M Series B

Oxide宣布完成1亿美元B轮融资，由新战略合作伙伴USIT领投，现有投资者跟投。此次融资使公司总融资额翻倍，为打造下一代云计算平台奠定基础。

2019年创业初期，团队坚信混合云是未来，但许多投资者质疑市场需求。直到遇见Eclipse Ventures，双方达成共识：通过软硬件协同设计重构本地云计算基础设施。团队从零开发了主板、微控制器操作系统、交换机、存储服务等核心组件，最终推出首套商用系统并获客户认可。

随着客户规模扩大，USIT看好Oxide的长期价值，双方合作将加速解决规模化制造与运维的挑战。本轮融资标志着公司进入新阶段，目标是以透明、创新的方式彻底改变计算行业。

4. 氛围编程即遗留代码

🔗 blog.val.town: Vibe code is legacy code

文章指出，氛围编程（vibe coding）是一种依赖AI快速生成代码但忽视理解代码逻辑的编程方式，本质上与遗留代码（legacy code）无异。遗留代码因难以维护和理解而被诟病，而氛围编程以类似方式积累技术债务，仅适合原型或短期项目。

作者以个人经历为例，说明小规模项目可通过氛围编程快速实现，但大型长期项目若缺乏代码理解将陷入技术债务危机，如同“给孩子信用卡消费却不解释债务”。

最后强调，2025年严肃开发仍需人类主导，AI应作为辅助工具谨慎使用。Val Town的AI助手Townie展示了两种模式：自由生成代码或受控协助，但复杂软件的核心仍是理论构建，而非盲目依赖AI。文末呼吁非程序员避免盲目投入氛围编程，应重视代码可维护性。

5. 试试“蚊子死亡桶”：环保灭蚊新妙招

🔗 energyvanguard.com: Try the Mosquito Bucket of Death

建筑科学专家Allison Bailes分享了一种名为“蚊子死亡桶”的天然灭蚊法。通过5加仑水桶、腐烂树叶和含苏云金芽孢杆菌（BT）的MosquitoDunks®药剂，吸引雌蚊产卵并杀死幼虫，从而切断繁殖链。该方法成本低廉（每桶每月约0.25美元）、对宠物无害，且避免传统杀虫剂对益虫的误伤。需约1个月见效，配合邻里推广效果更佳。文中还提到用除湿机冷凝水替代自来水以提升吸引力，并强调此法比商业喷洒更经济环保。

6. Crush：终端里的AI编程助手，优雅高效

🔗 github.com: Crush: Glamourous AI coding agent for your favourite terminal

Crush是一款专为开发者设计的终端AI编程助手，支持多种大语言模型（LLM），如OpenAI、Anthropic、Gemini等，并能通过API集成自定义模型。其核心功能包括多模型切换、会话上下文保留、LSP增强代码理解，以及通过MCP协议扩展能力。

支持全平台（macOS、Linux、Windows等），安装方式灵活，可通过Homebrew、NPM或直接下载二进制文件。配置简单，支持环境变量或JSON文件设置，还能白名单工具免确认运行（需谨慎）。

亮点包括实时日志调试、社区驱动的模型库（Catwalk），以及丰富的集成选项（如AWS Bedrock、Azure OpenAI）。若遇问题，开发者可通过Discord等渠道获取支持。

许可证为FSL-1.1-MIT，由Charm团队开源。

7. Ollama推出原生前端聊天机器人应用

🔗 ollama.com: Ollama’s new app

Ollama于2025年7月30日发布了新版应用，支持macOS和Windows平台。该应用提供了更便捷的模型交互方式，用户可直接下载并与模型对话。新增的文件拖拽功能支持处理文本或PDF文件，对于大型文档，用户可通过设置增加上下文长度（需更高内存）。此外，基于多模态引擎，应用支持发送图片至兼容模型（如Google DeepMind的Gemma 3），并能解析代码文件生成文档。

用户现可下载macOS/Windows版应用体验，CLI版本仍可通过GitHub获取。

8. 网页制作爱好者的初心回归

🔗 htmlhobbyist.com: The HTML Hobbyist (2022)

本文回顾了万维网的早期理想——一个开放、共享的创作空间，如今却被商业广告、算法牢笼和复杂技术堆砌所侵蚀。作者指出，个人建站的门槛从未如此低廉（域名年费＜20美元，主机月费低至2美元），只需基础HTML知识和简单工具即可上线。通过分步演示（注册主机、编写单页HTML、上传文件），强调手工编码的乐趣与自由。

批判现代网页生态的弊端：追踪广告、模板化博客、社交媒体的信息泛滥，呼吁回归原始网络的创造力。引用蒂姆·伯纳斯-李的愿景，强调万维网应是通用信息空间，而非商业工具。文末提及Neocities等复古网络运动，倡导用极简HTML重建真诚的在线表达。

9. 免费字体Optician Sans：源自历史视力表的独特设计

🔗 optician-sans.com: Optician Sans – A free font based on historical eye charts and optotypes

Optician Sans是一款基于全球验光师使用的历史视力表和视标设计的免费字体，融合了LogMAR图表（澳大利亚国家视觉研究所开发）的视觉原则，并优化为功能性展示字体。其设计灵感源自1862年的Snellen视力表和1959年的Sloan无衬线字体，旨在确保不同视力患者均能清晰阅读。字体包含基础拉丁字符和可选替代字形，遵循SIL开源许可，由ANTI Hamar与设计师Fábio Duarte Martins合作完成，适用于设计、医疗等领域。

10. 用马尔可夫链巧妙解决问题（2007年）

🔗 math.uchicago.edu: Problem solving often a matter of cooking up an appropriate Markov chain (2007)

这篇2007年的文章探讨了马尔可夫链在解决复杂问题中的关键作用。通过构建适当的马尔可夫链模型，可以将看似无规律的问题转化为可计算的概率过程。文章强调了状态转移和稳态分布在问题求解中的重要性，并展示了如何通过调整链的结构来优化解决方案。这种方法在算法设计和数据分析中尤为实用，为处理随机性和不确定性提供了有力工具。

11. 伊利诺伊州大部分农田不归农民所有

🔗 chicagotribune.com: Most Illinois farmland is not owned by farmers

调查显示，仅不到四分之一的伊利诺伊州农田由实际耕种的农民拥有，其余土地多由个人、家族信托或企业租赁给农户。随着气候变迁加剧，中西部肥沃土壤和稳定降水吸引投资者涌入，企业实体拥有的农田比例20年内激增170%，其中外州企业持有量增长近250%。

以盐湖城投资公司Farmland Reserve（摩门教关联机构）为首的外部资本通过短期租赁推动单一化种植，迫使农民放弃可持续耕作。例如，原种植有机蔬菜的汉斯·毕肖普因土地所有者要求改种传统玉米大豆，不得不使用化肥农药。

专家指出，缺乏州级监管（伊利诺伊州是玉米带唯一未限制企业购地的州）和短期租约阻碍生态农业转型，加剧水土污染风险。与此同时，加州等西部农业区因水资源枯竭面临减产，进一步推高中西部农田投机价值。

12. 数学被「附魔」了：用Lean证明2+2=6的诡异实验

🔗 overreacted.io: The math is haunted

这篇文章探讨了Lean——一种专为数学形式化设计的编程语言。作者通过一个看似简单的定理2 = 2演示了Lean的基本逻辑：定理像函数一样定义，rfl（自反性）可证明形如x = x的命题，而sorry则能临时跳过验证（类似TypeScript的any）。随后，文章引入了一个颠覆性的公理math_is_haunted : 2 = 3，并借此“证明”了2 + 2 = 6，揭示了错误公理如何导致整个数学体系崩溃。这一过程影射了20世纪集合论中的罗素悖论，强调形式化验证的核心在于公理的严谨性。最后，作者提到Lean正在尝试形式化证明费马大定理，并推荐了入门资源如《自然数游戏》。全文以幽默的方式展现了Lean如何融合编程与数学逻辑，既像写代码，又像构建真理。

13. 炒作即产品

🔗 rys.io: The hype is the product

大型上市科技公司已不再将实际购买产品或服务的用户视为核心，而是将重心转向股价，因为决策者往往持有股票期权或与股价挂钩的奖金。这些公司依赖垄断模式维持用户黏性，例如谷歌和微软的办公套件刻意缺乏互操作性，人为制造迁移壁垒。

当前，科技巨头通过炒作（如元宇宙、AI）刺激股价，而非提升产品。AI因资源门槛高、数据需求大，天然适合垄断企业，但实际效用存疑（如30%准确率、信息安全风险）。用户被迫为不需要的功能付费，却因迁移成本过高而无法离开。

炒作经济的本质是：股价增长优先于用户体验，而泡沫终将转移至下一个热门概念（如量子计算）。

14. Figma将于7月31日启动IPO路演

🔗 figma.com: Figma will IPO on July 31

设计协作平台Figma正式宣布将于7月31日启动首次公开募股（IPO）的投资者路演活动。这一举措标志着公司迈向公开市场的关键一步，旨在通过展示其业务模式与增长潜力吸引潜在投资者。Figma作为行业领先的云端设计工具，此次IPO备受科技与金融领域关注。

15. 如何编写内存高效的C语言结构体

🔗 tomscheers.github.io: Writing memory efficient C structs

本文探讨了优化C语言结构体内存占用的技巧。通过分析一个包含多种数据类型的Monster结构体，作者揭示了内存对齐导致的6字节填充问题，使实际大小达到96字节而非预期的90字节。优化策略包括：按类型大小降序排列成员（减少填充至92字节）、移除冗余布尔字段（如用health>0替代is_alive）、使用精确宽度整数类型（如uint16_t替换int）和位域压缩布尔值（4个布尔字段压缩至4位）。最终通过枚举替代字符串（如enum MonsterName）将结构体从96字节压缩至20字节，实现近5倍优化。文末强调需权衡可读性与性能，避免过度优化引发整数溢出等问题。

16. 科技巨头扼杀了编程的黄金时代

🔗 taylor.gl: Big Tech Killed the Golden Age of Programming

过去几年，谷歌、Meta（Facebook）和亚马逊等科技巨头过度招聘开发者，并非出于业务需求，而是为了垄断人才并挤压竞争对手。这种策略推高了行业薪资，但也催生了大量虚假工作——低效的项目规划和冗余的副业开发。

当经济下行、利率上升时，这些公司大规模裁员，砍掉非核心业务（如Facebook Live Shopping、Google Stadia），导致数十万程序员失业。如今，无论大小公司都紧缩招聘，新人难以入行，资深开发者亦面临困境。科技巨头的贪婪垄断人为制造了人才泡沫，最终由整个行业买单。

17. 用Rust编写操作系统系列博客

🔗 os.phil-opp.com: Blog series on creating an OS in Rust

该博客系列详细讲解了如何使用Rust编程语言从零开始构建一个小型操作系统。每篇文章都包含完整代码和分步教程，适合读者跟随实践。内容涵盖从裸机Rust二进制文件到异步/多任务处理的核心主题，包括中断处理、内存管理（如分页和堆分配）以及VGA文本模式实现。此外，还探讨了如何在无标准库（no_std）环境下进行测试，并介绍了Rust的async/await机制在系统开发中的应用。所有代码均开源，配套GitHub仓库便于参考。系列持续更新，并提供订阅方式追踪最新动态。

18. 大型AI训练数据集暗藏数百万条个人隐私信息

🔗 technologyreview.com: A major AI training data set contains millions of examples of personal data

最新研究发现，DataComp CommonPool这一开源AI图像生成训练数据集中，可能包含数亿份护照、信用卡、出生证明等含敏感信息的文件。研究人员抽样审计0.1%数据即发现数千张含人脸和证件的图片，推测全集实际隐私数据量或达上亿级别。这些数据源自2014-2022年网络爬取，虽经人脸模糊处理，但算法漏检约1.02亿张人脸，且未过滤社保号等文本信息。更严峻的是，数据集已被下载超200万次，意味着大量衍生AI模型可能持续传播隐私风险。研究指出，当前隐私法律对”公开数据”的豁免条款与AI训练场景严重脱节，呼吁行业重新审视网络爬取伦理。专家警告，即便用户删除原始数据，已训练的AI模型仍会保留信息痕迹。

19. Emacs在macOS上的性能顽疾：高速硬件反成拖累

🔗 xlii.space: Emacs: The macOS Bug

作者深入分析了Emacs在macOS上长期存在的内存泄漏与卡顿问题。核心问题源于[NSApp run]事件循环的重复调用——每次触发都会在NSAutoreleasePool中重建窗口、字体等资源，而硬件性能越强（如高DPI屏幕、新款MacBook），事件处理越快，导致内存分配/释放循环越频繁。系统误将临时资源缓存，最终挤占关键内存空间。

该问题根植于macOS非主平台的代码历史包袱，虽有多方优化尝试（如Swift重写提案），但短期内难以彻底解决。目前用户可通过快速拖动窗口或创建/销毁1000个测试帧（代码片段已给出）直观复现内存飙升现象。开发者社区正讨论改进方案，但受限于线程模型（仅3线程）和事件队列机制，macOS版Emacs的性能仍将落后于Linux/Windows版本。

20. AI代码平台Base44曝严重漏洞：未授权访问私有应用数据

🔗 wiz.io: Critical vulnerability in AI coding platform Base44 allowing unauthorized access

Wiz研究团队发现Base44（被Wix收购的AI编程平台）存在关键身份验证漏洞，攻击者仅需获取公开的app_id即可绕过SSO等保护机制，完全访问企业私有应用及敏感数据。该漏洞通过平台未认证的API端点实现，利用门槛极低，但Wix在24小时内完成修复并确认未被恶意利用。研究指出，共享基础设施模式使这类AI开发平台的认证缺陷会危及所有用户应用安全，呼吁行业重视基础安全控制。受影响的组织可通过检查应用日志确认异常访问，但无需额外操作。此次事件凸显了AI开发平台在快速创新中需将安全性融入底层架构的紧迫性。

21. 运动员为何基础代谢率更高？

🔗 macrofactorapp.com: Maintaining weight loss

通常认为运动员的基础代谢率（BMR）高于普通人，主要归因于训练增加的肌肉量。然而，肌肉差异并非唯一因素。运动员的高BMR还与其他生理机制相关，例如更高效的能量代谢和适应性激素水平。这一发现揭示了维持体重背后的复杂生理机制，对健康管理具有重要参考价值。

22. Qwen3-30B-A3B智能模型重大升级：性能全面提升

🔗 huggingface.co: Qwen3 30B-A3B

Qwen团队推出Qwen3-30B-A3B-Instruct-2507模型，这是非思考模式的最新版本，具备多项突破性改进。该模型在指令遵循、逻辑推理、数学计算、编程及工具使用等通用能力上显著提升，同时大幅扩展了多语言长尾知识覆盖范围。特别优化了主观开放性任务中的用户偏好对齐，能生成更符合需求的高质量文本，并强化了256K长上下文理解能力。

技术参数方面，模型采用因果语言架构，总参数量30.5B（激活3.3B），支持原生262,144上下文长度。性能测试显示，在MMLU-Pro、GPQA等知识评估，以及AIME25数学推理、LiveCodeBench编程等任务中表现优异，部分指标超越同类竞品。

部署支持Hugging Face transformers最新版，并提供SGLang/vLLM等推理方案。团队推荐搭配Qwen-Agent工具包开发智能体应用，并给出温度0.7、TopP 0.8等最佳实践参数。模型已开源，技术细节详见团队发布的arXiv报告。

23. 巴拿马播放列表：科技大佬与政客的Spotify歌单泄露

🔗 panamaplaylists.com: PanamaPlaylists – Leaked Tech CEOs Spotify Profiles

该文披露了多位名人、政客和科技CEO的真实Spotify账号，通过分析他们的播放列表、实时收听记录及重复播放的歌曲，揭示了他们的音乐偏好。例如，美国副总统JD Vance偏爱后街男孩和贾斯汀·比伯，而OpenAI CEO Sam Altman的歌单则混搭了电子乐和嘻哈。

关键点包括：1）数据通过爬取自2024年夏季；2）歌单内容涵盖工作、运动甚至政治活动场景；3）部分政客的播放列表与公开形象反差鲜明。网站强调与Spotify无关联，数据仅来自公开信息。

24. 从XML到JSON再到CBOR：数据交换的演进之路

🔗 cborbook.com: From XML to JSON to CBOR

本文梳理了三种关键数据交换格式的演变：XML、JSON和CBOR。XML源于SGML，强调结构化文档和互联网兼容性，但因其冗长复杂逐渐难以满足Web 2.0时代对轻量级数据的需求。JSON应运而生，凭借极简语法和与JavaScript的无缝集成，成为AJAX和API的首选格式。而CBOR则进一步优化，采用二进制编码，专为物联网等资源受限场景设计。这一演进揭示了数据格式如何在清晰度、效率与适用性之间不断权衡，反映了技术需求的变化驱动创新。