Hacker News 中文摘要

商业空间长期闲置的核心原因是：降低租金会迫使银行收回房产，这对银行和业主都不利，因此双方宁愿空置等待市场回暖，也不愿冒险降价出租。

OBS Studio在32.0.0版本中为macOS用户新增了基于苹果Metal图形API的实验性渲染后端，作为现有OpenGL后端的替代选项。这一改进旨在提升软件在苹果设备上的性能表现。

Linux内核中的Rust代码首次出现CVE漏洞，这是Rust被引入内核后曝出的首个安全漏洞。

FCC主席布伦丹·卡尔在参议院听证会上表示该机构"从形式上说不是独立机构"，同时FCC官网删除了使命宣言中的"独立"一词。这反映了特朗普执政期间监管机构权力向行政部门转移的趋势，此前最高法院似乎也倾向允许总统解雇联邦贸易委员会成员。FCC发言人解释称网站更新是为了反映新领导层的立场。

作者发现自己的服务器被黑客入侵，被用来挖门罗币。他意识到问题源于依赖项中使用了Next.js，尽管自己并未直接使用该框架。事件真实发生，文章记录了他的惊慌反应。

黑客曝光了a16z投资的手机农场，该农场利用大量手机批量制造AI虚拟网红账号，正在TikTok上泛滥。这一自动化系统通过程序控制数百台手机，持续生成AI内容并发布，揭示了当前社交媒体平台面临的新型自动化内容操控问题。

SQLite通过多种严格的测试方法确保可靠性，包括测试框架、异常测试（如内存不足、I/O错误、崩溃测试）等，以验证其在各种极端情况下的稳定性。

这篇文章分享了TLA+建模的两个核心技巧：一是最小化建模，从核心功能开始逐步扩展，保持模型简洁；二是专注于规范而非实现，采用声明式描述系统应有的行为而非具体实现方式。作者强调抽象的关键在于懂得取舍。

美国贸易代表指责欧盟及其成员国持续对美国服务提供商采取歧视性诉讼、税收、罚款和指令等骚扰行为，认为美企为欧洲提供了大量免费服务和可靠的企业服务，创造了大量就业和投资机会，而欧盟企业却能在美国市场自由运营。美方表示多年来就此与欧盟交涉未获实质性回应。

Mozilla宣布未来三年将Firefox转型为AI浏览器引发争议。新CEO强调AI功能将可选且透明可控，但用户普遍不满，认为Firefox本可成为反AI浏览器的标杆。公司称将快速推进AI转型以应对行业变革，但舆论反应负面。