请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
关于 C.S. 路易斯对人工智能的假设性观点，Hacker News 上的讨论主要达成了一种共识：即他会对这项技术持强烈的批判态度。
评论者指出，他的文学与哲学著作（特别是《人的废除》和《那狰狞的力量》）是预见并批判当前技术趋势的奠基性文本。参与讨论者认为，路易斯会将人工智能的普及视为对人类智能的一种去人性化的“嘲弄”，并特别指出了网上流传的许多错误归于他名下的 AI 生成内容。
一位用户引用了《狮子、女巫和魔衣橱》中的一段话——海狸先生警告人们要提防那些模仿人性却缺乏人性的事物——以此作为当前对人工智能所持怀疑态度的恰当比喻。总的来说，该讨论帖反映出一种观点：路易斯关于人类在面对科学与技术傲慢时丧失本质的警告，在今天依然具有高度的现实意义。
LispE 通过将每一条语言指令视为不可变对象，解决了解释器灵活性与编译器效率之间的经典冲突。 LispE 的核心等价关系为：**$f(a_1, \dots, a_n) \iff F(a_1, \dots, a_n).\text{eval}()$**。 LispE 没有使用在运行时检查代码的集中式解释器，而是将指令编译为派生自通用 `Element` 根类的专用 C++ 类。抽象语法树（AST）中的每个节点都是这些类之一的实例，并拥有各自的 `eval` 方法。这使得程序能够利用 C++ 原生的虚函数表（vtable）分发机制来实现高性能执行。 由于这些指令对象是不可变的，它们天生具有线程安全性，并且无需重建即可无限期重用。对于运行时动态生成的代码，LispE 使用了一个显式分发表（`evals[]`），其效果等同于 vtable 机制，从而确保了性能的一致性。通过将代码求值的“决策”从运行时移至编译时，LispE 避免了历史 FEXPR 中的不透明性问题，在保持解释器灵活性的同时，对编译器保持了透明。按照设计，它是一个“编译对象的解释器”。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
FEXPRs 与 vtable：LispE 解释器的工作原理 (github.com/naver)
6 分，由 birdculture 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC 来自 Louis Rossmann 的帖子
近期的一场 Hacker News 讨论凸显了人们对谷歌 AI 搜索摘要日益增长的不满，用户反映该功能经常“产生幻觉”，提供虚假信息。批评者指出，这些错误五花八门，从编造不存在的产品功能，到生成荒谬且具有诽谤性的传记，应有尽有。
争议的焦点之一是这些 AI 工具的透明度。用户指出，谷歌将“AI 可能会出错”的免责声明隐藏在一个可折叠菜单后，实际上对大多数搜索者掩盖了这一警告。
这场辩论还延伸到了 AI 生成内容的法律和伦理影响。评论者引用了布鲁斯·施奈尔（Bruce Schneier）的观点，认为企业不应将事实错误归咎于 AI。许多用户拒绝使用“幻觉”这一术语，认为这是一种为企业推卸责任而使用的委婉语，并将其视为系统未能优先考虑准确性、反而优先考虑“可能性”输出的根本性缺陷。尽管一些人认为社会必须学会适应 AI 的不可靠性，但另一些人则坚持认为，企业必须对其工具呈现为事实的信息承担法律和伦理责任。
**WebBase-III** 是对 1984 年经典 dBASE III 体验的现代化网页重构。它完全使用 TypeScript、Node.js、WebSockets 和 SQLite 从零构建，将怀旧的“点提示符”（dot prompt）环境直接带到了网页端，无需本地安装。
主要功能包括：
* **W3Script 解释器：** 支持原版 dBASE III 命令方言，包括 `USE`、`LIST`、`INDEX`、`SEEK`、`BROWSE` 以及 `DO WHILE` 和 `IF/ENDIF` 等程序控制结构。
* **交互式界面：** 功能完善的终端提供了熟悉的 REPL，侧边栏“助手”则支持鼠标驱动的数据库管理。用户界面中的每一次点击都会生成并显示相应的 W3Script 代码。
* **现代化增强：** 与原版不同，WebBase-III 支持无限的工作区，使用现代点号表示法进行字段访问，并通过 `better-sqlite3` 提供持久化存储。
* **丰富的工具集：** 具备电子表格风格的 `BROWSE` 网格、用于 `@ SAY GET` 布局的表单引擎，以及内置的 `.prg` 脚本文件编辑器。
WebBase-III 是一个开源（AGPL-3.0）项目，专为那些希望在现代 Web 架构的便利下重温命令行数据管理时代的用户而设计。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Show HN: WebBase-III – 在浏览器中重建的 dBASE III，内置解释器 (github.com/ddecoene)
6 分，作者：ddecoene，2 小时前 | 隐藏 | 往日 | 收藏 | 讨论
帮助 | 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
**HATCHA (计算启发式评估超快速代理测试)** 是一种“反向 CAPTCHA”，旨在通过呈现对机器来说轻而易举、但对人类来说却很困难的挑战（如复杂数学计算、字符串反转和二进制解码）来验证 AI 代理。
主要功能包括：
* **安全性：** 服务器端验证确保答案永远不会到达客户端。该系统是无状态的，使用 HMAC 签名令牌，无需数据库。
* **灵活性：** 内置五种挑战类型，并允许开发者在运行时注册自定义挑战。
* **对开发者友好：** 提供对 Next.js 和 Express 的开箱即用支持，通过 React Hook 和 Provider 组件可轻松集成。
* **可定制性：** 界面完全支持通过 CSS 自定义属性进行主题设置（深色、浅色或自动）。
HATCHA 提供了一种精简、安全的方式来专门限制对自动化代理的访问，从而有效地颠覆了传统的 CAPTCHA 模型。该项目为开源项目（MIT 许可），可在 npm 上通过 `@mondaycom/hatcha-react` 和 `@mondaycom/hatcha-server` 获取。
这篇 Hacker News 帖子讨论了一个名为“HATCHA”的项目，这是一款旨在区分人类与 AI 机器人的反验证码（counter-CAPTCHA）工具。与传统的证明你是人类的测试不同，HATCHA 试图证明你“不是”机器人。
社区对此反应非常怀疑。许多用户质疑该工具的实际用途，并指出现代 AI 可以轻松解决这些挑战，或者人类完全可以将挑战外包给 AI 代理来完成。评论者指出，测试给出的时间限制非常宽松，足以让人将挑战内容复制并粘贴到大语言模型中。
这场讨论突显了在 AI 与人类协作日益紧密的时代，使用视觉或逻辑谜题作为门槛正变得愈发徒劳。一些参与者怀疑该项目是否具有讽刺意味，而另一些人则建议，相比与验证码技术玩猫鼠游戏，通过付费或信誉机制来设置内容访问门槛会是更有效的反机器人策略。最终，大家的共识是 HATCHA 更像是一个巧妙的概念，而非稳健的安全解决方案；还有几位用户打趣道，“通过”测试的唯一方法就是故意做错。
Chatterjee、Ghosh、Gurjar、Raj 和 Thierauf 最近发表的一篇论文可能解决了计算机科学界困扰数十年的一个难题：二分图匹配（Bipartite Matching）问题是否属于 NC 复杂度类。 尽管该问题长期以来都能在多项式时间内求解，但研究人员一直试图确定它是否能在并行处理器的确定性多对数时间内求解。自 20 世纪 80 年代以来，这一目标仅能通过以高概率成功的随机算法实现。这项新研究声称实现了一个确定性解法，有效地对之前的方法进行了去随机化。如果得到验证，这将是并行算法和去随机化领域的一项重大突破。 此外，作者提到了纽约市的初选，特别强调了候选人 Alex Bores。作者鼓励关注人工智能安全并居住在纽约第 12 国会选区的选民考虑支持 Bores，并指出他在人工智能监管方面发挥的积极作用，以及他所面临的来自反监管政治行动委员会（PACs）的巨大阻力。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
二分图匹配属于 NC 类问题 (scottaaronson.blog)
4 分，由 amichail 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题解答 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
餐厅菜单价格上涨常被误解，但厨师尚特勒·尼科尔森（Chantelle Nicholson）和萨莉·阿贝（Sally Abé）揭示了成本背后隐藏的复杂性。与大众认知相反，素食往往和肉类一样需要大量劳动力，涉及繁琐的准备工作、专业烹饪技术以及不断上涨的食材价格。 除食材本身外，餐厅还面临着顾客鲜少察觉的巨额开销，包括飙升的能源账单、高昂的商业费率、必要的安全维护、废物处理以及上涨的人力成本。例如，在一道售价 36 英镑的牛肉菜品中，扣除这些变动成本后，餐厅的利润可能不足 50 便士。 厨师们指出，尽管餐饮业是社交生活的支柱，但他们正受到通货膨胀和供应链成本的双重挤压，同时还要努力维持亲民的价格。与其他行业不同，餐厅的利润空间极薄，往往无法将全部成本增长转嫁给消费者。归根结底，菜品价格反映的远不止原材料成本，它还包含了在当今严峻的经济环境下，维持一家餐厅运营所需的艰苦劳动、能源消耗和持续的日常维护费用。
最近一则关于餐厅菜品隐藏成本的 Hacker News 讨论指出，原材料价格与菜单定价之间存在巨大的差价。
评论者普遍认为，在家做饭是一种实用且经济的解决方案。一位用户指出，批量烹饪千层面或印度香饭等复杂菜肴，可以显著降低每份餐点的成本与时间投入。除了经济效益外，参与者还享受烹饪过程中的感官体验及带来的创造力满足感。
然而，讨论也触及了餐饮业的经济学逻辑。一位贡献者质疑了为简单菜肴支付高额人工成本的合理性；另一位则提供了历史背景，指出外出就餐已从曾经贵族独享的特权，转变为现代社会普遍的便利。总而言之，该讨论认为，尽管外出就餐存在高额溢价，但它仍是一种平衡了劳动力成本与优质餐饮可获得性的奢侈享受。
传统的药物递送方法往往由于药物在全身循环而失效，这不仅会导致全身性的副作用，而且只有极少部分的药物能到达目标部位。此外，血脑屏障也阻碍了大多数神经系统疾病的治疗药物进入大脑。
微气泡最初是作为超声造影剂开发的，目前提供了一种有前景的解决方案。这些由蛋白质或脂质外壳包裹气体构成的结构，可以被设计用于携带药物或遗传物质。与常被肝脏或脾脏拦截的纳米颗粒不同，微气泡在被触发前会一直留在血液中。通过使用聚焦超声，研究人员可以诱导“空化效应”——使气泡振动或破裂——从而暂时打开血脑屏障并增加细胞膜的通透性（声孔效应）。
该技术实现了精确的局部药物递送，使健康组织免受毒性影响。虽然诊断用微气泡已经在临床上使用了几十年，但治疗用微气泡目前正处于治疗中风、胰腺癌、胶质母细胞瘤和肾结石的研发阶段。通过将定向引导与超声诱导破裂的物理力相结合，微气泡提供了一种克服生物屏障的精密机制，有望改变我们治疗以往难以触及疾病的方式。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
医学中的微气泡 (worksinprogress.co)
7 分，由 Jimmc414 在 2 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
八人因在 2025 年独立日期间参与普雷里兰（Prairieland）拘留中心的一场抗议活动，被判处总计 450 年的联邦监禁。该抗议活动最终演变为暴力冲突，并导致了涉及警员的枪击事件。检察官将这些被告定性为提供“恐怖分子物质支持”的“反法西斯（Antifa）组织成员”，对其作出了从骚乱到谋杀未遂等多项罪名的判决。 这一判决招致了法律专家和辩护律师的强烈批评。其中最引人注目的是丹尼尔·罗兰多·桑切斯-埃斯特拉达（Daniel Rolando Sanchez-Estrada），他被判处 30 年监禁，主要原因仅仅是在其妻子被捕后搬运了一箱受第一修正案保护的政治传单和小册子。其他被告，如玛丽塞拉·鲁埃达（Maricela Rueda）和本杰明·希尔·宋（Benjamin Hill Song），则被判处 70 至 100 年不等的刑期。 尽管政府坚称这些严厉的判决对于威慑针对执法人员和联邦设施的袭击是必要的，但批评人士认为该案开创了一个危险的先例。他们指出，政府正在将受保护的言论和政治意识形态定为犯罪，这可能会对主流社会活动产生寒蝉效应。观察人士警告称，通过将异见视为恐怖主义，国家正面临破坏其所宣称维护的法治原则的风险。
《理性》（*Reason*）杂志最近刊登了一篇文章，称一名得克萨斯州男子因运输“反政府”宣传册被判处30年监禁，此文在读者中引发了强烈抵制。Hacker News 上的评论者认为，该出版物为了推行某种政治叙事，故意歪曲了事实。
批评者指出，该男子并非因其政治意识形态或持有相关文献而遭到起诉。事实上，他是因妨碍司法公正被定罪：他当时在狱中的妻子指示他藏匿与联邦刑事案件相关的文档。他通过掩盖这些材料，成为了事后从犯。
尽管《理性》杂志正确地指出持有“反政府”观点并不违法，但评论者指出，这一细节与指控本身无关。讨论中还澄清，该案件是根据联邦法律而非得克萨斯州法律起诉的，这反而可能使被告免于受到州法律中“当事人法”（law of parties）下更严厉的指控。读者对《理性》杂志表示失望，认为该报道在法律事实层面既不准确也不客观。
作者探讨了其从电脑到电视游戏设置的演变过程，从最初使用串流和短线缆等繁琐的变通方案，转变为通过 Linux 实现类似主机体验的永久性解决方案。 在尝试将 Bazzite 双系统安装在专用 NVME 驱动器后，作者获得了媲美 PS5 的无缝“大屏幕”体验。该方案得益于两项关键升级：一条用于实现可靠高带宽连接的 50 英尺有源光纤 HDMI 2.1 线缆，以及比 DualSense 手柄拥有更好人体工程学和 Linux 兼容性的全新 Steam Controller 2。 最终，作者发现物理线缆连接比家庭内串流具有更低的阻力和更高的稳定性。虽然作者曾考虑购买新的 Valve Steam Machine 以支持该平台，但最终认为其定制的、基于 Linux 的台式机方案（现已针对电视游戏进行了优化）完美平衡了类主机的便利性和 PC 的灵活性。作者计划通过探索休眠选项进一步优化工作流程，以更好地管理其游戏与日常任务之间的双系统环境。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
我的 Steam Machine 就是一根 50 英尺的 HDMI 线 (matthewbrunelle.com)
speckx 发布于 2 小时前 | 9 分 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助
weltensturm 1 分钟前 | 下一条 [–]
我有一根 20 米的光纤线，这些东西太棒了。比标准线缆更细。它们是单向的，但我的那根有一条专用的铜线用于 CEC。4k 120hz 完全没问题。
我还在链路中串联了一个 Pulse Eight CEC 适配器，但我不得不将其自带的 HDMI 线换掉以达到全带宽。
自从换成 Linux 后，我还没来得及配置 CEC 的软件端，有人有什么推荐吗？
回复
rolph 2 小时前 | 上一条 [–]
50 英尺的光纤 HDMI 线，专门为那些还在担心时域反射和线路电平稳定周期的人准备。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索: