作者对macOS缓慢且无法避免的空格切换动画感到沮丧。虽然通常建议使用“减少动态效果”，但这只会将动画替换为另一种不需要的效果，并会影响网页浏览。现有的解决方案，如yabai（需要系统修改和新的窗口管理器）或虚拟空间管理器（感觉不原生），都无法满足需求。 作者首选的解决方案是**InstantSpaceSwitcher**，一个免费、轻量级的菜单栏应用，可在GitHub上找到。与其他选项不同，它不需要禁用系统安全或学习新的窗口管理器。它通过模拟快速触控板滑动来实现即时切换，并包含一个命令行界面以直接选择空格。 目前鲜为人知（只有一颗GitHub星——作者自己的！），作者鼓励用户尝试InstantSpaceSwitcher，如果它解决了他们的空格切换问题，请贡献一颗星。安装涉及克隆GitHub仓库并运行构建脚本。
每日HackerNews RSS
缅因州即将成为首个禁止新建大型数据中心（设施）的州。
Maine is about to become the first state to ban major new data centers
2 天前
缅因州正在率先实施一项全州范围内、针对大型数据中心（超过20兆瓦）的先例性的禁令，原因是人工智能繁荣导致电力成本飙升。该法案预计将获得通过，暂停发放许可证至2027年末，以便评估对缅因州已经昂贵且老化的电网造成的压力。 此举是在当地反对数据中心项目，理由是用水和安全问题之后做出的，并反映了全国范围内对数据中心日益增长的能源消耗的担忧——目前占美国电力消费的4%，预计到2030年将翻倍。 缅因州的决定可能会树立先例，其他州如密歇根州和印第安纳州，以及丹佛市和底特律市也在考虑类似的暂停措施。专家警告说，这一“矿井里的金丝雀”时刻可能会导致消费者成本上升，并可能导致人工智能聊天机器人和云存储等服务的成本增加，如果大型科技公司面临更广泛的基础设施限制。
## 缅因州数据中心禁令摘要
缅因州可能成为美国首个禁止新建大型数据中心的一州，引发网络讨论。这项拟议立法源于对高能耗、当地资源（如水）紧张以及本地就业机会有限的担忧——一家计划中的数据中心预计雇员少于30人，而现有工厂则雇佣数千人。
讨论的中心是，与允许同样耗电且有环境影响的工厂相比，这项禁令是否合理。一些人主张对数据中心征税以抵消外部成本，或要求投资可再生能源，而另一些人则指出当地对可再生能源基础设施本身存在反对意见。
一个关键点是，缅因州是在主动预防未来问题，还是仅仅让自身对大型科技公司失去吸引力。一些人认为，这项禁令反映了保护缅因州自然美景和旅游经济的愿望。另一些人则质疑其可行性，认为禁令无法解决对数据处理的根本需求，而可能只是将其转移到其他地方。
这篇内容将战略游戏——特别是集换式卡牌游戏如万智牌——与实时战略游戏、地缘政治甚至数学研究中的成功联系起来。核心观点是，简单直接的“快攻”策略（快速、集中的行动）构成了所有更复杂策略的基础层。 在游戏中，理解最快、最具侵略性的套牌决定了其他套牌的构建方式。 同样，冲突的威胁塑造了地缘政治谈判，而在实时战略游戏中，早期的“速攻”战术决定了防御需求。 作者认为这适用于数学：独立、专注于困难技术问题的研究是“快攻”的基础。所有其他活动——研讨会、人脉拓展、合作——都是建立在能够进行高效独立研究的能力*之上*的。如果没有这个基础，学习和贡献的机会就会变得模糊。虽然并非每个人都需要*总是*采用这种策略，但理解它对于驾驭任何复杂领域的更广泛“大局”至关重要。
对不起。
## 位图字体：数字时代的一门失传艺术
位图字体诞生于早期电脑显示器的限制，如今正经历着一波新的兴趣高潮——并且有充分的理由。与可缩放的矢量字体不同，位图字体在特定尺寸下像素完美，需要精心设计，每个像素都必须恰到好处。这种限制并非缺点，而是定义性的风格选择，提供了现代“平滑”字体中经常缺失的清晰度和纹理。
虽然位图字体常常与怀旧情绪联系在一起——这得益于在《黑客帝国》和《机械姬》等媒体中的呈现——但它们提供的不仅仅是复古美学。它们在需要清晰度和“机器感”的场景中表现出色，尤其是在编程环境中，符号区分至关重要。
这个类别出人意料地多样化，从像Terminus这样工作量大的字体到像Mondwest这样更具实验性的位图衬线字体都有。使用它们并非为了重现过去，而是为了利用一种独特的设计语言，为数字界面、代码显示和视觉效果注入个性和作者感。在一个技术设计日益同质化的世界里，位图字体提供了一种令人耳目一新的特异性，提醒我们电脑是具体的机器，而不是抽象的产品。
## 黑客新闻讨论：位图字体与现代计算
最近黑客新闻上的一场讨论围绕着位图字体在高清显示和抗锯齿技术占据主导地位的世界中的吸引力。原始帖子认为位图字体提供了一种独特的美感和“感觉”，让人联想到旧电脑，提供更清晰、更直接的视觉体验。
许多评论者分享了早期终端和操作系统的怀旧经历，赞扬了硬编码字体的清晰度和 Linux 等系统提供的控制力。 几位用户强调 **Terminus** 是一款流行的选择，甚至有人对其进行定制以实现像素级的渲染。 还有人描述了创建自己的位图字体以实现特定的视觉效果，例如游戏中清晰的像素艺术。
然而，讨论也涉及了位图字体在现代高 DPI 屏幕上的缺点，一些人觉得它们在视觉上令人不快。 一个主要的争论点是清晰度和可读性之间的权衡，一些人更喜欢抗锯齿矢量字体的平滑度。
对话的重要部分批评了原始帖子可能由人工智能生成，引用了明显的写作模式和缺乏原创性。 尽管如此，这场讨论引发了关于计算中审美选择的价值以及技术限制对设计的影响的更广泛辩论。
## LLM 带来的文化转变：摘要 本文探讨了大型语言模型 (LLM) 及其他人工智能技术对文化产生的深刻影响，认为我们目前缺乏理解和驾驭它们所需的“文化脚本”。LLM 不仅仅是工具，它们是文化产物，将重塑媒体、信息传播，甚至我们对性别和身份的理解。 作者批判了科幻小说中现有的“人工智能神话”——例如像人类的机器人、失控的智能或超能力的“神”——这些都无法作为 LLM 的有效模型，因为 LLM 本质上是复杂的文本生成器，缺乏真正的智能。相反，像塞尔的中文房间或瓦茨的《盲视》这样的类比提供了更准确的框架。 LLM 的兴起可能会将我们带离静态的书面文本，并可能走向一个由交互式、机器学习介导的体验主导的未来——例如由模拟专家叙述的个性化“书籍”，或通过直接观察训练的模型。LLM 的集中化引发了对企业控制以及潜在偏见表达的担忧。 此外，从这些模型中涌现出的独特的“人工智能美学”——通常是超现实的，有时令人不安的——将成为文化符号，可能与低质量的概念相关联，或者讽刺地被未来世代重新利用，用于怀旧或颠覆目的。最终，作者预计未来理解并创造性地应对这些新的文化力量至关重要。
## 一切的未来是谎言：摘要
最近一篇Hacker News上的帖子引发了关于日益复杂的AI，特别是大型语言模型（LLM）令人不安的含义的讨论。核心问题在于一种日益增长的不安感——一种感觉，即AI令人信服地模仿人类交流的能力正在侵蚀真相和真实性。
评论员将这种情况与反乌托邦小说如《Devs》和《盲视》相提并论，设想AI可以令人信服地捏造叙事，甚至对可怕的行为承担责任，并以令人不安的人类方式道歉。人们担心LLM并非恶意，但它们缺乏真正的理解使其成为危险的工具，可能被用来操纵和控制。
对话还涉及了社会在面对虚假信息时的无助，以及AI可能加剧这种情况的潜力。一些人哀叹批判性思维技能的缺乏以及以利润为导向的系统，这些系统优先考虑产出而非真正的理解。一个关键点是需要基于人文学科的视角来理解这些技术进步，这种观点在科技圈中常常被低估。
最后，该帖子强调了一个实际问题：作者由于英国的《在线安全法案》，屏蔽了来自英国的博客访问，这说明了内容创作者与日益严格的互联网法规之间的紧张关系。
## picoZ80：复兴经典电脑
picoZ80 是经典电脑中 Z80 CPU 的即插替代品，大幅扩展了它们的功能。它利用强大的 RP2350B 微控制器（双核，最高 300MHz）和精确的 PIO 控制，完美模拟 Z80 的总线时序，确保兼容性。
除了模拟之外，picoZ80 还增加了显著的功能：扩展内存（8MB PSRAM + 16MB Flash），通过 ESP32 协处理器提供 WiFi/蓝牙连接，支持 SD 卡以实现快速加载，以及基于 Web 的管理。配置通过单个 JSON 文件简化，无需重新编译。
针对特定机器（如夏普 MZ 系列，并计划支持 Amstrad PCW）正在开发“角色”，添加虚拟设备，如软盘模拟、ROM 银行和增强的文件系统。该项目采用开源许可（固件为 GPLv3，硬件设计为 CC BY-NC-SA 4.0），供非商业用途使用，并提供商业许可。它的目标是在保持原始硬件兼容性的同时，为复古计算注入新的活力。
## PicoZ80：即插即用 Z80 替代方案 – 摘要
Hacker News 的讨论围绕着 PicoZ80，一块设计为 Z80 CPU 即插即用替代方案的新板。该项目引发了关于 6502 类似尝试的讨论，特别是关注直接 CPU 替换、总线主控卡带或 RAM 替换等实现方法。
用户们讨论了利用 RP2350 的能力——特别是其 PIO（可编程输入/输出）——来实现高效的数据处理和潜在的新显示模式。围绕设计选择存在争论，包括电源调节和 DMA 实现，一些人建议采用替代方案以提高性能和稳定性。
对话突出了复古计算的持续相关性，提到了在模拟经典系统（如 Sharp MZ 系列）和使用引导跟踪分析等技术调试旧硬件方面的应用。虽然主要是一个业余项目，但讨论也涉及潜在的（但目前有限的）工业应用，考虑到 Z80 在 TI-84+ 计算器等利基设备中的持续使用。最终，PicoZ80 代表了在总线级别重新定义机器行为的有趣探索。
## Mac 上的 Unfolder：轻松制作纸艺 Unfolder for Mac 是一款 3D 模型展开工具，旨在简化纸艺创作。它利用智能算法快速从 3D 模型生成 2D 模板，优化以减少后期编辑。 主要功能包括在 2D 和 3D 视图中轻松 **分割和连接部件**，以及全面的 **襟翼编辑** 功能——允许用户添加、删除、重塑和优化襟翼以防止碰撞。 Unfolder 还提供 **样式选项**，用于自定义线条（颜色、宽度、样式），以区分切割和折叠。最后，它支持 **多种导出格式**，适用于打印、在其他软件中进一步编辑或与 CNC 机器一起使用。Unfolder 现已在 Mac App Store 上提供，可简化整个纸艺设计流程。
## Unfolder for Mac：摘要
Unfolder 是一款新的 Mac 应用程序，旨在将 3D 模型展开成纸艺图案。该应用最近在 Hacker News 上发布，允许用户创建用于从纸张构建实物对象的模板。
讨论强调了提高易用性的需求。用户建议添加示例文件（尤其是 OBJ 格式），一个演示工作流程的教程视频，以及 STL 支持，以降低入门门槛。现有的 Pepakura 等工具经常被用作比较，一些人指出 Unfolder 填补了 Mac 用户的利基市场。
讨论中的挑战包括处理复杂模型，特别是来自 3D 打印文件的模型，以及准确展开非平面多边形的难度。一些评论者质疑其价值主张，认为 Blender 或甚至 AI 辅助编码等工具可能具有类似的功能，而另一些人则赞扬该应用程序简洁的设计和专注的方法。 讨论还涉及开发原生 Mac 应用程序与跨平台 Web 应用程序的决定。
## Linux 上的 Little Snitch：一位自由开源软件爱好者的观点 Little Snitch（一款流行的 macOS 防火墙）登陆 Linux 引起了争论。虽然在技术上令人印象深刻——利用 eBPF 并用 Rust 编写——但其核心功能仍然是**闭源**的，这对许多自由开源软件倡导者来说是无法接受的。作者认为，在没有代码透明度的情况下信任安全工具本质上是自相矛盾的。 此外，他们认为 Little Snitch 是多余的。现有的解决方案，如 **AdGuard Home**，提供了高效的、网络级别的 DNS 过滤，在遥测数据到达单个系统*之前*将其阻止。这种方法更简单，并且可以保护所有设备，不同于特定于应用程序的防火墙。 对于应用程序级别的安全性，像 Wordfence 这样的工具已经足够了。虽然有些人认为 DNS 拦截器是不够的，但作者认为这在良好管理、开源的环境中很少成为问题。当需要更深入的检查时，他们提倡使用 **OpenSnitch**，一个完全开源的替代方案。 最终，作者倡导一种以自由开源软件为中心的安全性方法：透明的工具、边缘控制以及用于隐私和信任的自托管。
对不起。
## 牛奶的惊人复杂世界 一次简单的乳制品区购物之旅，引发了对牛奶从牛到包装盒的整个过程的深入探索。这一切始于现代奶牛惊人的产量——一瓶牛奶可以在一小时内生产出来！但真正的惊喜不是牛奶的*数量*，而是它*变成*的东西。 牛奶不仅仅是一种饮料，它还是几十种产品的极具适应性的基础。通过分离、巴氏杀菌、均质化和发酵等工艺，牛奶可以衍生出奶油、黄油、酸奶以及超过2000种奶酪。每一步都利用了牛奶独特的性质——它的乳液、胶体和溶液特性——来创造出截然不同的结果。 除了食品，牛奶成分如酪蛋白还被用于令人惊讶的应用中，从耐用的油漆和二战时期的飞机胶水到塑料，甚至药物填充剂。有趣的是，奶酪的制作历史早于人类消化乳糖的能力，这展示了古代克服生物限制的聪明才智。全球乳业是一个庞大的8000亿至9000亿美元的市场，其驱动力是这种单一白色液体的惊人适应性。
## 牛奶都去哪儿了？ - Hacker News 讨论摘要
一篇关于牛奶流向的文章在 Hacker News 上引发了热烈讨论。一些人觉得文章信息量足，另一些人则觉得文章质量过于“精炼”或像是 AI 生成的。
讨论很快扩展到家庭奶制品生产，用户们分享了用生奶和巴氏杀菌奶制作奶酪、黄油和酸奶的方法。许多人强调了自制产品的更好口感。一个关键的争论点围绕着生奶——人们指出了它的风险，但也提出了关于其营养价值和历史消费背景（例如母乳喂养）的论点。
讨论还深入探讨了现代奶牛养殖的伦理影响，特别是为了产奶而进行重复授精的必要性以及小牛的命运。参与者指出，动物农业中常常被隐藏的现实以及行业掩盖这些做法的努力。最后，讨论涉及了牛奶加工的复杂性，包括均质化、巴氏杀菌方法，甚至奶牛消化系统内的微生物群。
黑格尔是一种基于属性的通用测试协议和库集合，建立在 Hypothesis 之上。 首次访问？ 我们建议从“入门指南”开始。 介绍 操作指南 解释 参考
对不起。