Hacker News 中文摘要

编程界长期存在的“制表符与空格缩进”之争已告一段落。通过对主流编程语言默认缩进方式的调查，发现大多数语言倾向于使用空格作为缩进标准。尽管个人偏好仍存差异，但数据表明空格已成为主流选择，为这一争论画上了句号。

AI驱动的手术机器人成功进行了实验性手术，展示了人工智能在医疗领域的应用潜力。

Rust语言现已支持在所有主流GPU平台上运行，包括CUDA、SPIR-V、Metal、DirectX 12、WebGPU以及CPU回退方案。通过单一Rust代码库，开发者无需使用特定GPU语言如WGSL、GLSL等，即可实现跨平台计算逻辑。该项目已在GitHub上开源，展示了Rust在GPU编程中的通用性和便捷性。

蒙大拿州迷你计算机（MTMC-16）是一款虚拟计算机，旨在以有趣且直观的方式展示数字计算的工作原理。它结合了PDP-11、MIPS、Scott CPU、Game Boy和JVM的设计理念，构建了一个相对简单的16位计算机，能够完成基本计算任务。通过网页界面，用户可以访问所有I/O设备、查看计算机状态的视觉表示，并使用内置代码编辑器编写和调试软件。用户可下载相关文件并参考详细的安装和操作指南。

Anthropic的Claude Code平台提供了子代理功能，帮助开发者快速上手并构建应用。平台包含Claude Code SDK、常见工作流程等资源，支持开发者通过API参考和模型上下文协议进行开发，同时提供研究、登录、支持等服务。

5月2日，美国佛罗里达州18岁公民肯尼·莱内斯-安布罗西奥与母亲及两名男性朋友驾车时被公路巡警拦停，随后演变为暴力逮捕。视频显示，边境巡逻队使用电击枪和锁喉等手段拘捕两名无证移民，并发表不当言论。事件引发对美国执法部门严厉手段的质疑，尤其是在特朗普政府设定高额移民拘留目标的背景下。律师指出，联邦政府对移民逮捕设定了配额，可能导致执法行为偏离公正。

dwl 是一个基于 wlroots 的轻量级、可定制的 Wayland 合成器，旨在在 Wayland 世界中提供类似 dwm 在 X11 中的功能和哲学。它易于理解和扩展，通常只需一个 C 源文件进行配置，并尽量减少外部依赖。用户可以从最新半稳定版本开始，或参与开发分支的进展。

CO2电池是一种高效、经济、灵活且可靠的长时储能解决方案，其往返效率超过75%，建设和运营成本具有竞争力，且可在全球范围内建设。该技术已通过兆瓦级工厂验证，具备30年以上无性能衰减的耐久性，且不依赖锂等稀有金属，使用环保材料制造。

2010年代，移动应用成为主流，但功能往往不如网站完善。如今，企业仍极力推广应用，主要目的是获取更多用户数据和权限。尽管用户已习惯通过浏览器使用服务，企业仍通过各种手段引导用户下载应用，以增强数据收集和控制能力。

Tattoy现已支持动画光标，采用与Ghostty相同的格式，通过自定义着色器渲染。尽管Tattoy支持Ghostty光标，但其渲染方式不同，使用UTF8文本像素“▀”和“▄”而非实际像素，可能丢失部分细节，但像素化效果可能吸引部分用户。由于Tattoy已有基于着色器的框架，初步实现Ghostty着色器仅需数小时，但解决透明度等问题花费了一周时间。Tattoy无法像Ghostty那样采样终端像素，但能获取字体符号的真实颜色值。