Hacker News 中文摘要

文章批评微软在IT领域的表现日益糟糕，作者虽为开源代码开发者，但并非反商业软件或大公司的人士，曾认可微软产品的优点并持续使用其服务。然而，作者对微软当前的能力表示失望，认为其已变得无能。

Wiz Research发现AI编程平台Base44存在严重漏洞，可能导致未经授权访问私有应用程序。该平台利用自然语言生成代码，广泛应用于个人和企业应用开发。随着AI技术融入关键基础设施，此类漏洞的发现对行业安全至关重要。

Lucidic（YC W25）是一款专注于在生产环境中调试、测试和评估AI代理的工具，旨在帮助开发者更高效地管理和优化AI系统的性能。

作者在尝试多种编程语言后，决定解决长期困扰的Emacs在MacOS上的性能问题。尽管尝试了多种构建和配置，Emacs仍在使用过程中内存占用不断增加，最终导致系统冻结。尽管进行了多次调试和性能分析，问题仍未解决，最终通过追踪日志发现了潜在原因。

Figma宣布其首次公开募股，计划发行36,937,080股A类普通股，每股定价33美元，预计于2025年7月31日在纽约证券交易所开始交易，股票代码为“FIG”。此次发行包括公司及现有股东出售的股份，部分股东还授予承销商30天内额外购买股份的选择权。摩根士丹利、高盛等多家机构担任此次发行的主承销商。

一项新研究发现，一个大型开源AI训练数据集中可能包含数百万张护照、信用卡、出生证明等包含个人身份信息的文件。研究人员在DataComp CommonPool数据集中发现了数千张可识别的面孔和身份文件，由于仅审计了0.1%的数据，估计实际包含个人信息的图像数量可能高达数亿。卡内基梅隆大学的AI伦理研究员William Agnew指出，任何上传到网络的内容都可能被爬取。

Lean是一种主要用于数学的编程语言，旨在将数学形式化为代码，使数学家能够将数学分解为结构、定理和证明，并在GitHub上共享。通过Lean，人类的大部分数学知识可能最终会以静态检查、可验证和可组合的代码形式存在。使用Lean时，数学定理的声明和证明过程类似于编程中的函数定义，展示了数学与编程的紧密联系。

Ollama推出了适用于macOS和Windows的新应用，支持下载并与模型聊天。新功能包括文件拖放处理、增加上下文长度以处理大文档、多模态支持（如图像处理）以及代码文件理解。用户可通过官网或GitHub下载体验。

Vibe coding是一种由AI辅助的编程方式，开发者几乎忘记代码的存在。然而，这种代码往往难以理解，类似于“遗留代码”，增加了技术债务。虽然vibe coding适用于原型和一次性项目，但若需维护，这些代码将迅速成为负担。编程本质上是理论构建，而非单纯生成代码。

大型科技公司逐渐将关注点从客户转向股价，真正关心的是股东利益。决策者往往持有股票期权或与公司股价挂钩的奖金，导致产品只需勉强维持用户使用即可。垄断成为硅谷的商业模式，企业通过垄断地位确保用户粘性，而非依赖产品创新或质量。