Hacker News 中文摘要

经典的Common Desktop Environment（CDE）将被添加到OpenBSD的ports集合中。CDE是1993年至1999年间在商业UNIX系统上广泛使用的X Window桌面环境，现已由The Open Group以开源许可证发布。目前该版本尚未完全集成到构建系统中，仍需进行一些修复和改进。

文章讨论了代码审查时如何识别由大型语言模型（LLM）生成的代码。作者指出，尽管这些代码功能正确、清晰且可维护，但其编写方式往往不符合项目惯例，明显不同于团队开发者的风格。例如，LLM可能会过度处理某些功能，而团队已有现成的库可以解决。这种“氛围编码”的特征让作者能够轻易识别出非人工编写的代码。

文章批评微软在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下载体验。