## 神秘科学剧院3000： 概要
《神秘科学剧院3000》（MST3K）通过幽默地评论那些糟糕透顶的电影，成为了一种邪教现象。该节目由乔尔·霍奇森创作，讲述了一个人类主持人（最初是霍奇森本人）被困在爱情卫星上，被迫观看像1966年臭名昭著的烂片《命运之手》这样的电影的故事。
节目的精妙之处在于伴随电影而来的机智、快速的评论，以及霍奇森的机器人同伴的帮助。MST3K不仅仅是嘲笑烂电影，它更是对极客文化的庆祝，吸引了包括阿尔·戈尔和帕顿·奥斯瓦尔特在内的忠实粉丝。
尽管很受欢迎，该节目也面临挑战，包括创作上的紧张关系导致霍奇森的离开，以及与电视官僚主义的斗争。然而，它作为开创性的“同步评论”节目的地位——源于霍奇森童年对怪物电影的热爱和DIY创造力——依然强大，并在庆祝其25周年之际回顾了其独特的历史。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
《神秘科学剧院3000：一部电视杰作的权威口述历史》（wired.com）
25 分， indigodaddy 6 小时前 | 隐藏 | 过去的 | 收藏 | 4 条评论
dlhavema 0 分钟前 | 下一个 [–]
我喜欢他们的衍生节目 Rifftrax.com，配置有点麻烦，但值得一听，他们用同样的方式嘲讽大片而不是 B 级电影。回复
gnabgib 6 小时前 | 上一个 [–]
(2014)
KingMob 2 小时前 | 父级 [–]
这很有趣，因为从那时起，《神秘科学剧院3000》进行了一次非常成功的 Kickstarter 众筹，并成功带来了 3 个新季度。回复
tstrimple 21 分钟前 | 根 | 父级 [–]
我记得很喜欢《神秘科学剧院3000》，但也被反复重温怀旧之情所伤害过太多次，所以现在我倾向于让事情就这样。我知道这很主观，也不是一个公平的问题，但新的《神秘科学剧院3000》值得继续关注吗？回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
如果Meta AI模型能读取全脑信号，大脑为什么不能？
If a Meta AI model can read a brain-wide signal, why wouldn't the brain?
1 小时前
## 磁感受 & 大脑：摘要 地球上的生命，从细菌到人类，都表现出一种非凡的感知磁场的能力——磁感受。这种能力是作为一种导航优势进化而来的，利用了多种机制，如磁铁矿晶体（充当指南针）和光敏蛋白。最近的研究表明，这不仅仅是关于方向；我们的脑 *响应* 磁场，即使在没有意识的情况下也能通过脑电图检测到。 有趣的是，大脑也因电活动而 *产生* 磁场。Meta 的研究甚至从这些磁场中解码了大脑活动，转化为可识别的图像和文本。这表明我们思想的高保真表示存在于磁“签名”中。大脑可能包含尺寸完美的生物磁晶体，能够与 *自身* 磁场相互作用，可能通过一种称为随机共振的过程克服地球更强的磁场。 这引出了一个引人注目的假设：大脑利用其磁场作为神经活动的压缩、实时摘要——可能 *创造* 意识。此外，吸入大脑的污染源磁性颗粒可能会破坏这个精细的系统，可能导致神经退行性疾病，如阿尔茨海默病，早期病理学观察到在“蓝斑”（蓝核）——大脑状态的关键调节器中。这项研究表明，磁性、大脑功能，甚至我们的主观体验之间存在着一种根本的、相互关联的关系。
一个由1393.xyz文章引发的黑客新闻讨论，探讨了Meta AI解码大脑信号的能力所带来的影响。核心问题是：如果人工智能可以读取大脑活动，大脑本身为什么不能？
用户推测，这项能力可能为先前被驳斥的概念（如心灵感应和“光环”的感知）提供科学依据，暗示人类有可能在短距离内接收到他人模糊的想法。讨论还涉及动物行为，质疑偏好的睡眠方向是否与人类健康有关。
然而，一个关键的争论点是，人工智能展示的这种大脑信号的“全局概括”是否真正解决了“意识的难题”——特别是，*为什么*这种概括会产生主观体验（感受质）。评论者认为，存在其他可能的概括机制，并且这些机制本身并不能解释意识。
## 黑脚族通过重音乐疗愈
一场名为“山火”的重金属音乐节最近在蒙大拿州的黑脚族保留地首次亮相，其诞生源于对抗青少年自杀率急剧上升的愿望。这场音乐节，以及此前在水牛皮学院举办的重音乐研讨会，旨在为许多正在与创伤和失落感作斗争的孤立学生创造一个安全空间。
这项倡议揭示了一种引人注目的联系：许多原住民在重金属经常阴暗的亚文化中找到了慰藉和社群。对与会者和音乐家的采访强调了重金属的宣泄力量，它为痛苦提供了一个出口，并提供了一种归属感。“山火”音乐节刻意营造包容性，欢迎重金属爱好者和当地社区，并举办了传统歌舞、研讨会，以及注重文化交流的活动。
除了音乐之外，“山火”音乐节还引发了关于历史创伤、心理健康以及艺术表达重要性的对话。它展示了音乐作为救命稻草的强大潜力，不仅提供娱乐，还提供了一条通往疗愈和联系的道路——对于那些正在经历巨大困难的人来说，这是一条“通往快乐的奇特道路”。活动的成功促使人们讨论在黑脚族保留地及其他地区扩展基于艺术的倡议，为支持和理解占主导地位的未来描绘了一幅充满希望的愿景。
**如果您正在与自杀念头作斗争，请寻求帮助。拨打或发送短信至988，或在988lifeline.org在线聊天。**
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
重金属音乐正在治愈黑脚族国家的青少年 (hcn.org)
9 分，cdrnsf 1小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
搜索 搜索 通用搜索引擎！N 新闻 $TSLA !W 维基 !G GitHub !R Reddit UUID 定时器 结果 0 来源 0 延迟 0毫秒
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
1 个 HTML 搜索引擎 (k8o5.github.io)
5 分，来自 k8o5 3 小时前 | 隐藏 | 过去 | 收藏 | 3 条评论
n1xis10t 44 分钟前 | 下一个 [–]
很酷，干得好。 “buh” 是什么？回复
k8o5 44 分钟前 | 父级 | 下一个 [–]
谢谢兄弟们。buh 回复
k8o5 3 小时前 | 上一个 [–]
https://k8o5.github.io/search 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
2025年12月Tiobe指数：R进入前列，SQL攀升 (techrepublic.com)
5点 由 smurda 23分钟前 | 隐藏 | 过去 | 收藏 | 1评论
muglug 0分钟前 [–]
提醒一下，这个指数将Perl、Object Pascal和Fortran排在Go和PHP之上。它毫无意义。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
关于按住版权联系我们创作者广告开发者条款隐私政策和安全性YouTube的工作原理测试新功能© 2025 Google LLC
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Rocket Lab – 'Raise and Shine' 为 JAXA 发射 [视频] (youtube.com)
6 点赞 来自 schappim 49 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
大麻和类大麻药物的治疗用途：综述 (jamanetwork.com)
9点 由 bookofjoe 2小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Mathlib：Lean 的协作数学库
Mathlib 是一个为 Lean 定理证明器维护的、形式化的数学库，包含数学内容和编程基础设施。它旨在促进数学发展*和*强大的战术的创建。
用户可以通过官方网站或直接通过 GitHub Codespaces/Gitpod 安装 Lean 和 Mathlib。关键命令包括 `lake build` 用于编译库，`lake test` 用于运行测试，以及 `lake exe cache get` 用于下载预编译文件以加快构建速度。
文档非常丰富，包括用于提问和讨论的 Zulip 聊天，以及贡献者指南。鼓励贡献者在开始重要工作之前在 Zulip 上讨论计划。
Mathlib 由一个专家团队积极开发，他们专门从事代数、拓扑、分析和范畴论等领域（原始文本中提供了完整列表）。有资源可用于从 Lean 3 过渡，并且依赖项更新通过 `lake update` 进行管理。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Lean 定理证明器 Mathlib (github.com/leanprover-community)
7 分，by downboots 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
2. 光计算构建模块 利用我们集成的非线性光学元件，我们可以制造出更复杂的设备。在数字领域，它使我们能够创建光学逻辑门；在模拟领域，我们可以创建复杂的数学运算。对于量子计算，它可以实现连续变量的全光前馈。当然，它还可以用于创建光学存储器。
一家新公司Akhetonics推出了一款“全光XPU处理系统”，在Hacker News上引发了讨论。一些人看到了潜力，但评论员对该公司的营销和缺乏具体细节表示怀疑。
一位用户指出，该演示没有涉及基本的CPU架构（如冯·诺依曼架构与哈佛架构），并质疑在没有明确数据速率的情况下使用太赫兹（THz）频率的意义——将其比作吹嘘更快的红外遥控器。
另一位用户直言他们的“怀疑指标已经深陷红区”，暗示该演示严重依赖技术术语而非可证明的技术。总体情绪倾向于希望获得清晰的事实信息，而不是营销炒作。
您的浏览器不支持框架；请升级您的浏览器软件。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Dhtml Lemmings (2004) (elizium.nu)
4 分，tetris11 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
tetris11 发表于 3 小时前 [–]
2014 版本可以在这里找到：https://github.com/trufae/fxos-app-lemmings 回复
Mindless2112 发表于 18 分钟前 | 父评论 [–]
还有：
* https://github.com/tomsoftware/Lemmings.ts
* https://lldb.camanis.net/level/play/473/1/Just-dig 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
柔术 (也称为 jj) 是一个与 Git 兼容的版本控制系统。这个仓库包含一个精选的、优秀的关于柔术的文章、教程、视频、工具或其他资源的列表。IRC：Libera Chat 上的 #jujutsu。欢迎贡献！无论是修复错别字、使列表更易读，还是添加/更新/删除链接——请随时创建一个 issue 或提交 pull request。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Awesome-Jj: 咒术相关 (github.com/necior)
5 分，由 n3t 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
自由软件基金会（FSF）宣布了2024年度自由软件奖，表彰对自由软件运动的重大贡献。**安迪·温戈**因其共同维护GNU Guile（GNU操作系统的关键扩展语言）的工作，获得了推进自由软件奖。**艾尔克斯·萨**因其对GNU图像处理程序（GIMP）的贡献，并出于回馈社区的愿望，获得了杰出新贡献者奖。 **Govdirectory**因其协作维护、事实核查的政府联系信息目录而获得了社会公益项目奖，该目录以自由许可提供，以确保可访问性和透明度。 所有获奖者都强调了协作、社区以及自由软件理念核心的四项自由的重要性。FSF将在新的一年举办活动，以进一步庆祝这些成就及其对更广泛的自由软件生态系统的影响。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
自由软件奖得主公布：Andy Wingo, Alx Sa, Govdirectory (fsf.org)
11 分，由 pseudolus 1小时前发布 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 将电子墨水屏作为辅助显示器，使用VNC 本文详细介绍了如何将旧的安卓电子墨水平板电脑用作Linux（Arch，但可调整）上的辅助、对眼睛友好的文本编辑和阅读显示器。作者因长时间使用屏幕而感到疲劳，寻求低压力的解决方案，并发现使用VNC镜像成功了。 最初使用Deskreen的尝试受到基于浏览器的流媒体质量和输入延迟的阻碍。然而，设置TigerVNC服务器并使用Android VNC客户端（AVNC）被证明是有效的。该过程涉及安装TigerVNC、创建密码、配置用户访问权限，并使用特定参数（分辨率、帧率、共享选项）运行`x0vncserver`以镜像屏幕。 创建了一个脚本来自动化显示器配置（设置分辨率和定位显示器）并启动VNC服务器。虽然由于电子墨水平板电脑的刷新率存在延迟，但该设置提供了舒适、无干扰的体验，尤其适合阅读和写作，并且通过在Neovim等文本编辑器中使用高对比度、浅色主题来增强效果。
使用E-Ink平板电脑作为Linux显示器 (alavi.me)
16点 由 yolkedgeek 3小时前 | 隐藏 | 过去 | 收藏 | 2条评论
jwrallie 17分钟前 | 下一个 [–]
我真的很想要一个带E-Ink屏幕的Linux笔记本电脑。我非常清楚缺点。
似乎有带键盘的Android平板电脑或双屏Windows笔记本电脑，但为了适应这种屏幕的限制，拥有对操作系统界面的完全控制权是最好的。回复
bee_rider 20分钟前 | 上一个 [–]
所以基本上是在E-Ink屏幕上使用vim？
当我写很多LaTeX时，我希望有一个E-Ink显示器。LaTeX本身就需要一段时间来编译。我可能还是想在传统显示器上使用vim。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
J 的一个实现 J 的一个实现 Roger K.W. Hui 版权所有 © 1990-2011，Jsoftware Inc. 最后更新：2000-06-23 前言 J 是 APL 的一种方言，可在各种机器上免费使用。它是被称为“字典 APL”的发展系列的最新成果。拼写方案使用 ASCII 字母表。基本概念，如数组、动词、副词和秩，是 APL\360 中思想的扩展和推广。已删除了异常情况。结果既比以前的方言更简单，又更强大。 本文档描述了 J 在 C 中的一个实现。假定读者熟悉 J 和 C。J 的规范是 J 字典，该语言的介绍可在《J 语言编程》和《J 简明手册》中找到；C 在《C 编程语言》中进行了描述。 为什么是“J”？ 它易于输入。 致谢 Ex ungue leonem. 下一页 • 上一页 • 索引 • 目录
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
J (jsoftware.com) 的一个实现
10 分，来自 ofalkaed 1 小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
为了提高网站加载速度，实施**关键CSS**。首先，提取用于“可视区域”内容的CSS，并将其粘贴在HTML的`<head>`内的`<style>`标签中，*在*其他样式表之前。 接下来，将原始的非关键CSS `<link>`标签移动到紧邻`</body>`标签之前 – 并**移除** `<head>`中的相同链接。 或者，使用JavaScript在页面内容加载*之后*加载非关键样式表。这涉及在`<head>`中创建一个JavaScript块，动态添加样式表的`<link>`标签。在使用JavaScript方法时，请记住从`<head>`中移除原始的`<link>`标签。 两种方法都可以优先快速渲染可见内容，从而提升用户体验。
## 关键CSS生成器更新
开发者stevenpotts在收到积极反馈并注意到网上出现抄袭版本后，对其关键CSS生成器（kigo.studio）进行了改进并重新发布。该工具最初于五月分享，用于提取初始页面加载所需的关键CSS，从而提高网站性能。
最近，关于该工具被用于AI训练的担忧促使开发者将其迁移到主站点并增强功能。更新后的版本现在支持前端框架和内联CSS，使其更易于访问。
一位用户询问是否需要视口宽度/高度输入，但该简短的帖子中没有得到回复。开发者表示很高兴该工具对许多人有用，并解决了对潜在滥用的担忧。
Mozilla.ai 已经采纳了 llamafile 项目，以简化大型语言模型 (LLM) 的使用。Llamafile 将 LLM 封装成单个可执行文件——“llamafile”，允许用户在大多数电脑上本地运行它们，*无需*复杂的安装。 这旨在大幅提高开放 LLM 对开发者和最终用户的可访问性。
该项目结合了 llama.cpp 和 Cosmopolitan Libc，将流程简化为单个文件下载和执行。Mozilla 现在正在计划代码库现代化，并积极寻求用户反馈，了解 llamafile 的哪些方面最有价值，以及哪些改进最有益。
Llamafile 采用 Apache 2.0 许可，对 llama.cpp 的修改采用 MIT 许可，以确保未来的兼容性。您可以下载一个示例并快速上手——说明和文档可在 mozilla-ai.github.io/llamafile 上找到。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
llamafile: 使用单个文件分发和运行 LLM (github.com/mozilla-ai)
12 分，stefankuehnel 发表于 5 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## RemoveWindowsAI：摘要
`RemoveWindowsAI` 脚本旨在全面移除 Windows 11 (25H2 及未来版本) 中的 AI 功能，以增强用户隐私、安全，并可能提升系统性能。它针对 Copilot、Recall、输入洞察等组件，以及 Paint 和设置等应用中的 AI 功能。
该脚本通过禁用注册表项、移除关联的应用程序包（包括通常被认为无法移除的包）、删除 AI 相关文件，以及通过 Windows 更新阻止这些组件的未来重新安装来工作。它提供多种执行模式——交互式、包含所有选项的非交互式，或特定选项选择——并包含备份/还原功能。
**重要提示：**
* 杀毒软件可能会错误地将该脚本标记为恶意软件；可能需要临时禁用或添加排除项。
* 不建议使用 PowerShell 7 运行。请使用 Windows PowerShell (5.1)。
* 该脚本会不断更新，以应对微软添加的新 AI 功能。
* 用户可以通过报告未发现的 AI 组件来贡献。
更多详细信息和脚本本身请在此处查找：[https://github.com/zoicware/RemoveWindowsAI](https://github.com/zoicware/RemoveWindowsAI)
一个名为RemoveWindowsAI的新GitHub项目在Hacker News上引发了争论。该项目旨在禁用最近添加到Windows 11的人工智能组件。
一位评论员质疑该项目的目的，建议担心微软控制或安全性的用户应该直接更换操作系统。其他人则为Windows辩护，认为它在开发和游戏方面具有优势（尽管Linux有所改进，例如Steam Deck），或者建议使用虚拟机作为替代方案。
讨论强调了区分设备端人工智能处理和云端人工智能的必要性，并建议使用单独的脚本来解决每个问题。一些人对该项目的动机表示怀疑，质疑它是否是一项真正的安全努力，或者是一项潜在的冒险行为。最终，对话的中心是用户控制、隐私以及不同操作系统和人工智能实现的权衡。
请启用 JavaScript 并禁用任何广告拦截器。
一篇最近的《纽约时报》文章（通过Archive.ph链接）引发了Hacker News关于孩子们阅读量下降的讨论，甚至在英语课上也是如此。 讨论很快转向质疑学校和英语课程的基本目的。
许多评论者认为学校的功能与托儿一样重要，而且僵化的课程会扼杀对学习的真正兴趣。 几个人指出，需要阅读技能来*赚*钱才能访问关于阅读的付费文章，这其中的讽刺意味。
另一些人指出，一些实用技能正在下降——例如在模拟时钟上读时间或阅读草书——同时承认技术可能会很快使这些技能过时。 一个共同的主题是，强制阅读可能会造成对书籍的终身厌恶，而是提倡通过令人愉悦的、自主选择的材料和激励措施来培养阅读兴趣。 还有人认为，LLM将进一步降低对传统书籍作业的需求。
猫缝隙
Cat Gap
6 小时前
## 北美化石记录中的“猫缺口”
大约在2500万到1850万年前，北美化石记录中存在着猫和猫科动物的一个显著缺口——被称为“猫缺口”。这段时期紧随被认为是第一种“真猫”的*Proailurus*出现之后，但先于所有现代猫科动物的祖先*Pseudaelurus*的到来。
多种因素可能导致了这一缺口。猛猫科（“假剑齿虎”），大型超肉食动物的灭绝，创造了一个空缺的生态位，但并未立即被填补。气候变化，特别是全球降温和从森林向稀树草原的转变，可能对现有的猫形类动物不利。火山活动和潜在的周期性灭绝模式也发挥了作用。
有趣的是，当猫形类动物稀少时，犬形类动物（犬科动物）却多样化，其中一些进化出类似猫的特征。然而，研究表明它们并未完全占据与真猫相同的生态空间。最终，*Pseudaelurus*大约在1850万年前从亚洲通过白令陆桥迁徙到北美，标志着“猫缺口”的结束和北美现代猫科动物进化的开始。
黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
猫咪差距 (wikipedia.org)
9 分，由 Petiver 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 通过 JIT 编译为 Win32 窗口过程添加上下文 本文详细介绍了一种技术，用于向标准的 Win32 窗口过程 (WNDPROC) 添加第五个参数——一个上下文指针。传统上，WNDPROC 缺乏直接访问程序状态的方式。作者重新审视了之前使用 JIT 编译包装器的方法，并通过从加载器直接分配可执行内存来改进它。这确保了生成的代码（“跳转”）驻留在主程序代码附近，从而实现高效的相对寻址。 核心思想是创建一个小函数 (`make_wndproc`)，该函数动态生成一个跳转——一段简短的可执行代码，它将原始 WNDPROC 调整为接受额外的上下文参数。这个跳转管理堆栈帧设置和参数传递。 作者提供了一个完整的、可运行的示例来演示这一点，并指出该解决方案即使在启用控制流保护的情况下也能正常工作。虽然比使用 `GWLP_USERDATA` 更复杂，但这种技术为像需要自定义分配器而没有上下文指针的库这样的场景提供了一个潜在的更清晰的解决方案，从而提供了一种灵活的方式将运行时数据绑定到回调函数。作者建议将此技术作为一种有用的技巧，为未来的项目“留着”。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
闭包作为Win32窗口过程 (nullprogram.com)
8 分，作者 ibobev 21 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Fil-C 实现内存安全与沙箱结合 内存安全和沙箱是不同的，但互补的安全措施。一个程序可以具备内存安全，但没有沙箱（易受文件系统操作的影响）；也可以被沙箱化，但没有内存安全（如果内存安全失败，仍然容易受到攻击）。理想的解决方案是两者兼备。 本文档详细介绍了将 Fil-C（一种内存安全的 C/C++ 实现）与 Linux 沙箱技术集成，特别是 OpenSSH 所使用的技术。Linux 提供了 `chroot`、用户/组权限、`setrlimit` 和 `seccomp-BPF`（系统调用过滤）等工具来实现沙箱化。 Fil-C 简化了 `chroot` 和权限管理的使用，但 `setrlimit` 和 `seccomp-BPF` 由于 Fil-C 的运行时线程（用于垃圾回收）需要谨慎处理。一个关键的挑战是防止在沙箱内创建线程，因为这会绕过限制。通过新的 Fil-C API (`zlock_runtime_threads`) 预先创建必要的运行时线程来解决这个问题。 对 OpenSSH 沙箱的修改包括确保在发生违规时杀死所有线程，并允许 Fil-C 所需的特定系统调用 (`MAP_NORESERVE`, `sched_yield`)。Fil-C 的 `prctl` 包装器确保沙箱设置应用于*所有*线程，从而防止即使在 Fil-C 本身中发现内存安全漏洞，也可能被绕过。 最终，将 Fil-C 的内存安全与强大的 Linux 沙箱结合起来，提供了一种强大的纵深防御方法。
黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Linux 沙盒和 Fil-C (fil-c.org)
31 分，由 pizlonator 1 小时前发布 | 隐藏 | 过去 | 收藏 | 2 条评论
hurturue 11 分钟前 [–]
MicroVM 似乎越来越受欢迎。我想知道它们如何融入其中。回复
pizlonator 7 分钟前 | 父级 [–]
好点！这需要一些移植（因为 Fil-C 目前假定你拥有所有 Linux 系统调用）。但你可能甚至可以将一些 microVM 的功能提升到 Fil-C 的内存安全用户空间。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
## 平板式洗衣机总结
总部位于英国的社会企业“洗衣机项目”（TWMP）开发了一种手动摇柄的平板式洗衣机，名为Divya，专为缺乏电力或可靠基础设施的社区设计。创始人Navjot Sawhney在意识到现有解决方案无法满足他试图帮助的人们的需求后，创造了这款机器，强调以用户为中心的设计。
Divya由耐用的钣金制成，已运往包括美国在内的13个国家，近500台。讨论中提到，已经存在类似且更简单的设计（例如日本版本），但强调Divya的灵活性和可修复性。
这次讨论引发了关于家电设计未来的争论——从复杂、 “智能”机器转向更开放、可修复的系统，类似于开源Linux操作系统或宜家的可改装家具。用户还讨论了为那些寻求能源独立、离网生活或仅仅是更耐用、功能更少的家电所带来的好处。
## TigerBeetle 用于持久化文件存储
本项目演示了如何在 TigerBeetle 数据库中存储任意二进制文件，利用其双向记账系统实现数据的持久性和可审计性。作者利用 TigerBeetle 的 `Account` 和 `Transfer` 记录来分别表示文件和文件内容。文件名存储在 Account ID 中，文件大小和长度存储在用户数据字段中。文件数据被分割成块，从系统账户转移到特定文件的账户，确保所有字节在双方都有记录。
检索是通过查询与文件 Account ID 相关的贷方 Transfer 来实现的，受益于 TigerBeetle 保证的时间戳排序。
使用 105MB 视频文件进行测试，显示写入速度约为 642 kB/s，而读取速度出人意料地更快，达到 2,228 kB/s。至关重要的是，数据完整性通过 SHA256 校验和进行验证，确认在存储和检索过程中没有数据丢失——即使在潜在的网络、机器或存储故障的情况下也是如此。完整的源代码可供实现。
虎蜂作为文件存储 (aivarsk.com)
16 分，由 aivarsk 发布 4 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
WJW 1 小时前 [–]
虎蜂非常酷，我很希望看到更多。据我记得，他们暗示你可以理论上插入不同于他们一直使用的借方/贷方模型的存储引擎。这方面有什么进展吗？我很想使用它，但只是没有规模足够大的账务工作，让引入虎蜂有意义。:(回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## DuckDuckGo：超越谷歌传言 DuckDuckGo (DDG) 自2008年以来一直是独立、注重隐私的搜索引擎和浏览器公司。尽管有持续的传言，DDG *不* 属于谷歌——它的创始人甚至在最近的美国司法部审判中作证反对谷歌，这源于多年来夺回谷歌先前使用的duck.com域名。 DDG 优先考虑用户隐私，拒绝审查结果，并因此在包括中国、印度尼西亚和印度在内的国家/地区受到屏蔽。他们在15年以上的时间里构建了自己的搜索索引，包括知识图谱和本地结果，现在正在扩展人工智能功能，如Duck.ai，所有这些都以隐私作为核心原则——提供可选的、私密的人工智能或“无人工智能”搜索体验。 目前，大约13%的美国成年人使用DDG，浏览器市场份额也在增长（在美国iOS设备上排名第3）。该公司在全球范围内运营，拥有分布在30个国家的300多名团队成员，并且盈利，从而可以投资于注重隐私的初创公司，并向相关组织捐赠超过800万美元。DDG 还提供包含VPN和高级人工智能功能的订阅服务。
一个黑客新闻的讨论强调了DuckDuckGo (DDG)令人惊讶的方面，起因是CEO发布的一篇文章（一位评论员称之为“宣传文章”）。一些用户表示对DDG搜索结果重新燃起了信心——指出所有搜索引擎的质量普遍下降，并因人工智能而加剧，而另一些用户则质疑其“未审查”的说法。
一位评论员指出，DDG依赖于*已经*审查信息的来源，实际上是汇总了有偏见的结果。他们提倡Yandex作为一种替代方案，用于进行未过滤的搜索，尤其是在敏感话题上。 许多用户报告DDG的质量最近有所下降，导致他们越来越多地使用Google、Bing和其他搜索引擎，尽管存在隐私问题。 核心争论在于DDG是否真正提供了一个未审查的体验，或者只是通过依赖预先过滤的来源来避免直接审查。
研究人员成功地教会了猪，哈姆雷特和煎蛋卷，玩简单的电子游戏，使用积极强化——具体来说，用M&M巧克力作为奖励。令人惊讶的是，这些猪的学习速度和灵长类动物一样快，甚至表现出*更多*的参与度，似乎理解了任务，而不仅仅是简单地按按钮。 虽然它们的注意力持续时间比黑猩猩短（大约15分钟），但初步结果令人鼓舞。研究人员现在正致力于提高准确性并训练更多的猪，最终目标是测试它们区分符号的能力——这可能是理解原始符号语言的一步，类似于灵长类动物通过数百个词汇所取得的成就。 这项成功挑战了人们对动物智力的假设，证明了猪是极具学习能力的动物，在认知能力上与我们的近亲相匹敌。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
猪视频街机批判性地看待《围栏中的生活》（1997）（wired.com）
7 分，来自 naryJane 6 小时前 | 隐藏 | 过去的 | 收藏 | 2 条评论
donbrae 2 小时前 | 下一个 [–]
猪是令人惊叹的动物：聪明、善于社交且富有同情心。我们对待它们的方式——将怀孕的母猪和哺乳期的母猪限制在妊娠/产仔栏中数周或数月，并在屠宰场地下用毒气处死它们——简直令人发指。回复
buescher 3 小时前 | 上一个 [–]
“是的，苏格拉底，”他说，“如果你要为一个猪城提供食物，你还会怎么喂养这些动物呢？但是你想怎么样，格劳孔？”我回答道。“他说，你应该给他们提供普通的生活便利。习惯于舒适生活的人习惯于躺在沙发上，在桌子上用餐，他们应该有现代风格的酱汁和甜点。”回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 并禁用任何广告拦截器。
普渡大学将于2026年秋季开始，对所有本科生实行一项新的毕业要求：展示“人工智能工作能力”。大学董事会已将具体内容——标准和熟练度要求——委托给教务长和各学院院长。
这一消息引发了争论。一些评论员认为，鉴于人工智能日益增长的重要性，这是合乎逻辑的一步，类似于现有的通识教育要求。另一些人批评这是一种对趋势的表面回应，质疑这是否会贬低学位，或迫使非技术领域学生接受不相关的培训。
讨论范围从潜在的好处，例如利用人工智能完成基本任务（撰写论文提纲、使用Excel）让教授专注于高级主题，到对批判性思维的侵蚀和对ChatGPT等工具的依赖的担忧。一些人担心这会重蹈过去教育热潮的覆辙，例如“大数据”的推动，使学生为有限的角色做准备。最终，这项要求的具体性质仍有待观察。
OpenShip 正在构建一套开源解决方案，以标准化跨不同行业的市场功能。他们识别出任何市场化的核心组成部分——产品管理、订单处理和客户支持——并为电商、餐饮、食品杂货、酒店、经销商、医院和健身房等行业创建可重用的解决方案。 他们的旗舰产品 **/marketplace** 是一种由人工智能驱动的去中心化市场，通过对话式商务将用户直接连接到独立商店。此外，针对每个行业的“openfront”平台也在开发中，提供定制化的电商、食品配送、酒店预订等服务。 OpenShip 还提供 “openship”——一个连接商店和履约的多渠道订单管理系统。最终，OpenShip 旨在赋能企业，使其拥有并控制其市场基础设施。
## 开源亚马逊尝试与早期反馈
一名开发者正在构建一个开源的亚马逊替代品，名为“Openship”，旨在颠覆市场模式并赋能卖家。该项目从“Openfront电商”开始，这是一个Shopify的替代品，计划推出针对餐厅、杂货店和健身房的版本。这些“Openfronts”将连接到一个去中心化市场“the/marketplace”，允许用户在不同领域购物，无需中间商。
然而，该项目正面临早期批评。评论员质疑仅仅复制*软件*是否足够，认为亚马逊的优势在于其成熟的物流、信任以及供应商/客户关系。初步演示也收到了负面反馈，用户报告用户体验差——特别是搜索结果不准确以及显著的性能问题（延迟和加载缓慢），尤其是在Firefox浏览器上。
此外，由于项目在GitHub仓库中公开暴露了数据库凭据，引发了安全担忧，开发者已经承认并承诺修复。 这是一篇对2022年9月类似公告的重发。
## 早期个人电脑中游戏的重要性 早期的个人电脑不仅仅是工具，也是玩具。受到大型机时代业余爱好文化的影响，游戏在20世纪70年代和80年代个人电脑的普及中起着核心作用，软件目录中的游戏数量通常*多于*实用应用程序。最初，获取游戏的方式是通过朋友复制、通过像DECUS这样的社区分享，或手动从杂志中输入BASIC代码——以Dave Ahl广受欢迎的《BASIC电脑游戏》为例。 随着市场的成熟，商业游戏发行商开始出现，最初通过磁带或软盘进行分发。像On-Line Systems（后来的Sierra）和Infocom这样的公司开创了冒险游戏类型，从像《Adventure》（受《龙与地下城》和洞穴探险启发）这样的基于文本的游戏，发展到像《Mystery House》和《Zork》这样画面丰富的游戏。 这些早期的游戏，虽然按现代标准来看通常很简单或令人沮丧，但却以引人入胜的世界和具有挑战性的谜题吸引了用户。《Zork》等游戏的成功证明了个人电脑能够提供超越街机风格动作的体验，建立了一个专门的游戏社区，并推动了软件和硬件的创新——特别是随着廉价软盘驱动器的出现。最终，游戏不仅仅是一个受欢迎的软件类别，更是塑造个人电脑文化的关键力量。
一个由一篇关于电脑游戏历史（特别是文字冒险游戏）的文章链接引发的 Hacker News 讨论，显示了人们对该类型的持续热情。用户们回忆起像《银河系漫游指南》文字冒险游戏这样的经典作品，以及用方格纸绘制游戏地图的沉浸式体验。
一个关键主题是大型语言模型（LLM）能够复兴和扩展文字冒险游戏。一些用户尝试使用 LLM 作为动态地下城主，但发现难以维持一致的世界状态并避免“幻觉”。建议包括使用文件存储作为记忆，以及开发专门针对互动小说进行微调的 LLM，可能辅助像 Inform 这样的工具。
尽管图形游戏兴起，评论者们强调了文字冒险游戏的独特魅力——持续的发现感和真正探索的需求——这是现代游戏经常缺乏的。 讨论还指出了 MUD 和 roguelike 游戏的持久流行。
本文详细描述了一项努力，旨在从安东尼·波登的“li.st”中恢复丢失的内容——这是他偏好和观察的集合，在Greg TeChnoLogY Anthony的存档后。作者是一位安全专业人士，利用公开的网络爬取存档，特别是Common Crawl，来尝试重建。 他们使用Python脚本成功地从存档中检索文本，重现了诸如“我不再有时间和耐心的事情”、“美景”以及最喜欢的电视节目、书籍、酒店和食物列表等部分。然而，由于数据年代久远和云存储服务已失效，所有附带的图片都已丢失。 该项目被呈现为一项出于热爱的工作，作者一丝不苟地保留了波登的原有声音和格式。他们分享了用于恢复的代码，并通过公共Git仓库邀请合作，希望继续恢复和存档波登的数字足迹。作者对文本恢复表示满意，同时也承认检索丢失图片困难。
## 恢复安东尼·波登的遗失Li.st条目
一个旨在恢复安东尼·波登的“Li.st”（一份精选推荐列表）遗失条目的项目已成功完成，仅剩一个列表（“大卫·鲍伊相关”）部分不完整（Reddit上有预览图）。该工作是此前恢复尝试的后续，涉及搜索Common Crawl等资源。
这一消息引发了波登粉丝的热烈讨论，许多人分享了他们过去寻找遗失列表的尝试。用户强调了波登推荐的价值，特别是酒店、书籍和美食，赞扬了他真实而平易近人的形象。
对话也触及了波登复杂的遗产，承认了他与抑郁症的斗争以及他对文化的影响。一些人争论“英雄崇拜”的价值，而另一些人则赞赏他的影响力。关于网站配色方案和可访问性也出现了一点争论，创建者表示愿意进行调整。最终，该项目是对波登的致敬，也是对其独特视角的保存。
最初，团队构建了独立的微服务来解决性能瓶颈问题，但他们发现140多个目标集成最终成为了巨大的运营负担。部署缓慢，依赖管理混乱，不可靠的测试——经常因外部端点问题而失败——严重阻碍了开发人员的生产力。 为了解决这个问题，他们将所有目标代码整合到一个代码仓库中，标准化依赖项以简化维护。至关重要的是，他们构建了“流量记录器”，通过记录和回放网络流量来消除不稳定的基于HTTP的测试，将测试套件的运行时间从可能的一个小时缩短到毫秒级。 这使得成功过渡到单体架构成为可能，极大地提高了开发速度（共享库改进提高了43%），并简化了扩展。虽然承认存在权衡——降低了故障隔离性和内存缓存效率降低——但团队认为运营效益和生产力提升超过了这些担忧。这次经历表明，虽然微服务可能有效，但对于他们特定的服务器端目标集成来说，单体架构是一个更好的解决方案。
## Twilio Segment 的单体回归：摘要
Twilio Segment 最近从微服务架构回归到单体架构，理由是提高了开发人员的生产力。 核心问题并非微服务本身，而是其实现方式。 他们最终拥有 140 多个服务，即使是共享库的更新也需要协调部署——实际上是一种“分布式单体”。
评论员指出，真正的微服务应该允许独立部署。 频繁且协调的部署会抵消优势。 需要广泛重新部署的安全更新也是一个痛点。 一些人认为，问题源于组织和工程质量问题，而不是架构选择本身。
讨论强调了适当的服务粒度、将服务与业务能力对齐，以及理解“分布式系统溢价”——分布式系统带来的额外复杂性。 许多人认为微服务常常被错误应用，尤其是在组织缺乏必要的领域建模专业知识时。 这篇文章引发了关于过去 7 年中部署工具的进步是否使微服务更具可行性的争论。 最终，共识倾向于构建适合特定用例的方案，而不是盲目地追随架构趋势。