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 中的不透明性问题，在保持解释器灵活性的同时，对编译器保持了透明。按照设计，它是一个“编译对象的解释器”。
每日HackerNews RSS
抱歉。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC 来自 Louis Rossmann 的帖子
抱歉。
**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 架构的便利下重温命令行数据管理时代的用户而设计。
抱歉。
**HATCHA (计算启发式评估超快速代理测试)** 是一种“反向 CAPTCHA”，旨在通过呈现对机器来说轻而易举、但对人类来说却很困难的挑战（如复杂数学计算、字符串反转和二进制解码）来验证 AI 代理。
主要功能包括：
* **安全性：** 服务器端验证确保答案永远不会到达客户端。该系统是无状态的，使用 HMAC 签名令牌，无需数据库。
* **灵活性：** 内置五种挑战类型，并允许开发者在运行时注册自定义挑战。
* **对开发者友好：** 提供对 Next.js 和 Express 的开箱即用支持，通过 React Hook 和 Provider 组件可轻松集成。
* **可定制性：** 界面完全支持通过 CSS 自定义属性进行主题设置（深色、浅色或自动）。
HATCHA 提供了一种精简、安全的方式来专门限制对自动化代理的访问，从而有效地颠覆了传统的 CAPTCHA 模型。该项目为开源项目（MIT 许可），可在 npm 上通过 `@mondaycom/hatcha-react` 和 `@mondaycom/hatcha-server` 获取。
抱歉。
Chatterjee、Ghosh、Gurjar、Raj 和 Thierauf 最近发表的一篇论文可能解决了计算机科学界困扰数十年的一个难题：二分图匹配（Bipartite Matching）问题是否属于 NC 复杂度类。 尽管该问题长期以来都能在多项式时间内求解，但研究人员一直试图确定它是否能在并行处理器的确定性多对数时间内求解。自 20 世纪 80 年代以来，这一目标仅能通过以高概率成功的随机算法实现。这项新研究声称实现了一个确定性解法，有效地对之前的方法进行了去随机化。如果得到验证，这将是并行算法和去随机化领域的一项重大突破。 此外，作者提到了纽约市的初选，特别强调了候选人 Alex Bores。作者鼓励关注人工智能安全并居住在纽约第 12 国会选区的选民考虑支持 Bores，并指出他在人工智能监管方面发挥的积极作用，以及他所面临的来自反监管政治行动委员会（PACs）的巨大阻力。
抱歉。
餐厅菜单价格上涨常被误解，但厨师尚特勒·尼科尔森（Chantelle Nicholson）和萨莉·阿贝（Sally Abé）揭示了成本背后隐藏的复杂性。与大众认知相反，素食往往和肉类一样需要大量劳动力，涉及繁琐的准备工作、专业烹饪技术以及不断上涨的食材价格。 除食材本身外，餐厅还面临着顾客鲜少察觉的巨额开销，包括飙升的能源账单、高昂的商业费率、必要的安全维护、废物处理以及上涨的人力成本。例如，在一道售价 36 英镑的牛肉菜品中，扣除这些变动成本后，餐厅的利润可能不足 50 便士。 厨师们指出，尽管餐饮业是社交生活的支柱，但他们正受到通货膨胀和供应链成本的双重挤压，同时还要努力维持亲民的价格。与其他行业不同，餐厅的利润空间极薄，往往无法将全部成本增长转嫁给消费者。归根结底，菜品价格反映的远不止原材料成本，它还包含了在当今严峻的经济环境下，维持一家餐厅运营所需的艰苦劳动、能源消耗和持续的日常维护费用。
抱歉。
传统的药物递送方法往往由于药物在全身循环而失效，这不仅会导致全身性的副作用，而且只有极少部分的药物能到达目标部位。此外，血脑屏障也阻碍了大多数神经系统疾病的治疗药物进入大脑。
微气泡最初是作为超声造影剂开发的，目前提供了一种有前景的解决方案。这些由蛋白质或脂质外壳包裹气体构成的结构，可以被设计用于携带药物或遗传物质。与常被肝脏或脾脏拦截的纳米颗粒不同，微气泡在被触发前会一直留在血液中。通过使用聚焦超声，研究人员可以诱导“空化效应”——使气泡振动或破裂——从而暂时打开血脑屏障并增加细胞膜的通透性（声孔效应）。
该技术实现了精确的局部药物递送，使健康组织免受毒性影响。虽然诊断用微气泡已经在临床上使用了几十年，但治疗用微气泡目前正处于治疗中风、胰腺癌、胶质母细胞瘤和肾结石的研发阶段。通过将定向引导与超声诱导破裂的物理力相结合，微气泡提供了一种克服生物屏障的精密机制，有望改变我们治疗以往难以触及疾病的方式。
抱歉。
八人因在 2025 年独立日期间参与普雷里兰（Prairieland）拘留中心的一场抗议活动，被判处总计 450 年的联邦监禁。该抗议活动最终演变为暴力冲突，并导致了涉及警员的枪击事件。检察官将这些被告定性为提供“恐怖分子物质支持”的“反法西斯（Antifa）组织成员”，对其作出了从骚乱到谋杀未遂等多项罪名的判决。 这一判决招致了法律专家和辩护律师的强烈批评。其中最引人注目的是丹尼尔·罗兰多·桑切斯-埃斯特拉达（Daniel Rolando Sanchez-Estrada），他被判处 30 年监禁，主要原因仅仅是在其妻子被捕后搬运了一箱受第一修正案保护的政治传单和小册子。其他被告，如玛丽塞拉·鲁埃达（Maricela Rueda）和本杰明·希尔·宋（Benjamin Hill Song），则被判处 70 至 100 年不等的刑期。 尽管政府坚称这些严厉的判决对于威慑针对执法人员和联邦设施的袭击是必要的，但批评人士认为该案开创了一个危险的先例。他们指出，政府正在将受保护的言论和政治意识形态定为犯罪，这可能会对主流社会活动产生寒蝉效应。观察人士警告称，通过将异见视为恐怖主义，国家正面临破坏其所宣称维护的法治原则的风险。
抱歉。
作者探讨了其从电脑到电视游戏设置的演变过程，从最初使用串流和短线缆等繁琐的变通方案，转变为通过 Linux 实现类似主机体验的永久性解决方案。 在尝试将 Bazzite 双系统安装在专用 NVME 驱动器后，作者获得了媲美 PS5 的无缝“大屏幕”体验。该方案得益于两项关键升级：一条用于实现可靠高带宽连接的 50 英尺有源光纤 HDMI 2.1 线缆，以及比 DualSense 手柄拥有更好人体工程学和 Linux 兼容性的全新 Steam Controller 2。 最终，作者发现物理线缆连接比家庭内串流具有更低的阻力和更高的稳定性。虽然作者曾考虑购买新的 Valve Steam Machine 以支持该平台，但最终认为其定制的、基于 Linux 的台式机方案（现已针对电视游戏进行了优化）完美平衡了类主机的便利性和 PC 的灵活性。作者计划通过探索休眠选项进一步优化工作流程，以更好地管理其游戏与日常任务之间的双系统环境。
本次讨论探讨了在客厅实现流畅的“主机级”PC 游戏体验所面临的持续挑战。
许多用户发现，现代“智能电视”缺乏处理高质量游戏流媒体所需的处理能力和网络带宽，导致了难以接受的输入延迟和音频问题。虽然一些人主张使用 Moonlight/Sunshine 等高端流媒体客户端，并通过有线以太网或光纤 HDMI 线来解决距离问题，但另一些人则认为，这需要进行大量“笨拙”的自动化设置——例如为网络唤醒 (Wake-on-LAN)、HDMI-CEC 控制以及绕过登录界面编写自定义脚本——这对于大多数消费者来说门槛过高。
讨论还涉及了新款 Steam Machine，批评者认为，与 PS5 或自组装 PC 相比，其高昂的价格和中等的性能使其难以推销，尤其是它仍然面临与其他 PC 一样的基础软件障碍。最终的共识是，尽管流媒体技术已显著进步，但它仍然是一个碎片化的、以“折腾”为主的爱好。对许多人来说，一根长光纤 HDMI 线依然是连接书房高性能 PC 与客厅显示设备最可靠、“即插即用”的解决方案。
本文评估了多种用于 TCP 套接字拼接（在 TCP 套接字之间转发数据的过程）的 Linux 方法，旨在优化高流量反向代理的性能。其目标是最大限度地减少三种开销：系统调用成本、唤醒延迟以及内核与用户空间之间的数据拷贝。 作者对比了传统的 `read`/`write` 循环、`splice(2)` 和 `io_submit`，以及一种基于 eBPF 的新兴基础设施 —— **SOCKMAP**。SOCKMAP 允许实现零拷贝的内核级数据重定向。从理论上讲，SOCKMAP 是代理技术的“圣杯”，因为它将转发任务完全卸载到内核中，从而消除了用户空间的上下文切换。 然而，作者的基准测试表明，当前的 SOCKMAP 实现（在 Linux 内核 4.14 上）尚未达到“成熟可用”的阶段。测试显示，与标准的 `read`/`write` 循环或 `io_submit` 相比，SOCKMAP 出现了更高的延迟、明显的抖动以及性能缺陷。尽管 `splice` 和 SOCKMAP 目前在效率上仍显不足，但作者对其持乐观态度。他们认为 SOCKMAP 是一项革命性的技术，随着进一步的开发，它将为数据密集型网络应用带来一种强大的、异步且零拷贝的架构转型。
抱歉。