每日HackerNews RSS
一份报告引发了 Hacker News 上的讨论：Anthropic 向警方提供了一名女子日记形式的文字内容，导致该女子因违反佛罗里达州关于书面威胁重罪的法律而被起诉。评论者争论，私人想法是否仅仅因为 AI 服务会自动筛查对话并上报令人担忧的内容，就应被定为犯罪。
一些人认为，这类似于“思想罪”，侵犯了人们对隐私的合理期待，也反映了大科技公司正日益具备大规模监控通信的能力。另一些人则指出，AI 聊天机器人并不是保密的日记保管者：用户应当明白，聊天内容可能会经过机器筛查，也可能由真人审阅，尤其是在监管机构或安全政策要求上报的情况下。
讨论还质疑，当软件检测到威胁信息，却要等到系统标记后才会有人阅读时，究竟该如何定义消息被“查看”。一个反复出现的结论是：不要对 Claude 说出你不愿让真人看到的内容。
SQLDoom 是一个从零开始移植的 1993 年《Doom》引擎版本，其游戏逻辑和渲染器完全在 CedarDB 中执行。精简的 Python/Pygame 客户端仅负责采集输入、以固定的 35 Hz 频率触发游戏逻辑帧，并显示 SQL 返回的 320×200 RGB 帧缓冲区。WAD 数据可以自然地映射为关系表，而 AI、移动、战斗、物品、门、投射物、动画、音效和扇区效果则通过约 5,900 行 SQL 和数据库函数实现。
渲染与模拟相解耦，并通过相机插值达到最高 60 FPS。其 SQL 渲染管线使用 BSP 排序、生成的像素扫描块、用于可见平面裁剪的窗口函数，以及用于深度解析的打包整数键。在 Ryzen 7 7840U 上，一个典型逻辑帧耗时 2.15 毫秒，观察到的最慢逻辑帧耗时 10.45 毫秒，远低于 Doom 所需的 28.6 毫秒时间预算。
数据库还便于进行数据驱动的模组开发，并提供事务一致性、身份认证、访问控制，以及四人多人游戏所需的一致性快照。SQLDoom 支持《Doom》第一集的分享版内容，并在 GitHub 上开源。
# Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
工作
|
提交
登录
**我们将经典版《DOOM》移植到了 SQL**
（cedardb.com）
12 分
由 **Vaslo** 提交
2 小时前
隐藏 | 往期 | 收藏 | 3 条评论
有帮助
**paul-vernon**
10 天前
下一条 [–]
> 游戏逻辑只有大约 5,900 行 SQL。听起来可能很多，但肯定比原版 accomplish 同样功能的约 9,000 行 C 代码少！
不错
回复
**smalltorch**
10 天前
上一条 | 下一条 [–]
太离谱了，我喜欢。右下角的视觉效果是很棒的例证。
回复
**dang**
2 小时前
上一条 [–]
（这个内容之前已经发布过很多次，但一直没有登上首页。我重新复制了最早那条有评论的帖子。）
回复
考虑申请 YC 的 **2027 年冬季批次！**
申请截止时间为 **11 月 2 日**。
指南 | 常见问题 | 列表 | API | 安全 | 法律条款 | 申请加入 YC | 联系我们
搜索：
请启用 JavaScript 和 Cookie 以继续。
Hacker News
最新
|
历史
|
评论
|
提问
|
展示
|
职位
|
提交
登录
用植物基材料替代石油基产品
（
wiley.com
）
16 分
由
thelastgallon
提交
1 小时前
|
隐藏
|
历史
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
访问受限 抱歉，您当前所在的地区无法访问此页面。感谢您的理解。
# Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 工作 | 提交
登录
# Kagi 终止 Orion 浏览器在 Linux 上的开发，并将开源
（linuxiac.com）
11 分
作者：MilnerRoute
1 小时前
隐藏 | 过往 | 收藏 | 2 条评论
帮助
digitalPhonix
9 分钟前
下一个
[–]
> 我们也选择了以更困难的方式构建它，即不基于 Chromium 进行分支开发。
他们是基于 Firefox、Servo 或 Ladybird 构建的吗？我没能快速找到答案，但 iOS/macOS 版 Orion 基于 WebKit（我猜 WebKit 在分支谱系中比 Chromium 更靠上游）？
回复
irskep
30 分钟前
上一个
[–]
跳过重复解读，直接阅读官方公告：
https://blog.kagi.com/update-orion-linux-windows
回复
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们
搜索：
新巴比伦和晚期巴比伦时期的宗教教育，并不是一门独立学科，也不以圣典为核心，而是精英书吏训练的一部分。富裕家庭的男孩通常在家中的学校学习，先掌握阿卡德语和苏美尔语的基础读写能力，再进阶学习高级文学，并接受专业学徒训练。除书写技能外，课程还传授神话、祭祀知识、社会价值观和帝国意识形态。 学生通过神祇名录、祷文、赞美诗和神话文本，了解庞大的众神体系，尤其重视马尔杜克。《卢杜卢尔·贝勒·内梅基》和《智慧箴言》等作品讲授神明的 characteristics、应有的虔敬、道德行为，以及面对疾病或不幸时的应对方式。《廷蒂尔》和《尼普尔纲要》将巴比伦和尼普尔描绘为神圣中心；奉献文书则让学习者接触实际的祭祀仪式。 这种教育为书吏和祭司日后从事学术、行政、医疗、占卜和祭祀服务奠定了基础。后来，这些专家运用所掌握的文字知识，在阿契美尼德和塞琉古统治时期保存或重塑宗教传统。对马尔杜克和巴比伦日益强调，可能有助于在外来帝国统治下维护巴比伦人的身份认同。
Hacker News
最新
|
过去
|
评论
|
提问
|
展示
|
职位
|
提交
登录
课堂上的神：公元前第一千年的巴比伦宗教与教育
（cambridge.org）
5 分
由 pseudolus 提交
2 小时前
隐藏
|
过去
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请截止时间为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请 YC
|
联系我们
搜索：
在 Go 工作负载运行时，使用交换空间（swap）吸收内存峰值可能会造成明显干扰。Go 的垃圾回收器（GC）会在停止世界（stop-the-world）阶段反复读取持久化的运行时元数据。由于这些页面会被重复使用而不是释放，内核的页面老化机制可能会将它们换出到交换空间，从而迫使 GC 在所有 goroutine 都暂停期间处理同步的严重页面故障。
在配备 MGLRU 和 NVMe 的 Linux 6.8 上，GC 暂停时间的中位数约为 51 微秒，但最长暂停时间达到 40 毫秒。其中，39 毫秒用于处理 GC 内部记账期间发生的 228 次页面故障。此类暂停会显著增加尾部延迟，并推迟已完成 I/O 的处理。
内存分配密集的路径也受到了影响：构造一条 511 KiB 消息所需的时间，在 NVMe 上从 3–5 毫秒增加到 105 毫秒，在网络存储上则增加到 903 毫秒，不过这一额外开销仅影响执行内存分配的 goroutine。
结论是，交换空间本身并不一定有害，但将 Go GC 元数据换出到交换空间，可能会把存储延迟转化为全局停止世界延迟。在此次实验中，Go 1.26 的 Green Tea 垃圾回收器几乎没有带来改善。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
一次由交换导致的 40 毫秒 Go 垃圾回收器暂停
（frn.sh）
10 分
由 shellpipe 发布
2 小时前
|
隐藏
|
往期
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
许多程序分析任务都可归结为求单调函数的固定点。在完备格上，塔斯基定理保证最小固定点和最大固定点都存在，但必须根据需求有意识地选择：从底元素开始迭代通常会逼近最小固定点，而从顶元素开始迭代则会逼近最大固定点。 死变量消除很好地说明了这一问题。将所有值都初始化为活跃，并反复删除不再活跃的值，通常只能得到不够理想的固定点，并可能遗漏循环以及其他无用计算。正确的方法是从返回、内存写入等可观察效果出发，将相关值反向标记为活跃，再正向传播活跃性；这样计算得到的是最大固定点。 罢工强制条件分析提供了一个现实示例。从已经参与的工会开始，不断扩充参与罢工的工会集合往往会趋向最小固定点，并可能导致不必要的死锁。若要找出满足所有条件的最大协同群体，就应从所有受强制条件约束的工会开始，反复删除未达到要求的工会，从而计算最大固定点。 保守初始化可以得到安全且可行的中间结果，并加快收敛速度，但可能牺牲完备性。因此，选择初始近似值——也就是选择最终要逼近的固定点——应当明确权衡准确性与性能。
# 黑客新闻
最新 | 往期 | 评论 | 提问 | 展示 | 职位 | 提交
登录
## 不动点与罢工授权
（pvk.ca）
5 分
由 **luu** 提交
2 小时前
隐藏 | 往期 | 收藏 | 1 条评论
**帮助**
**munchler**
13 分钟前
[–]
这是抽象数学直接影响现实情况的一个很酷的例子。实际上，是两个不同的酷例子，而且都解释得很清楚。很棒！
回复
考虑申请 YC 2027 年冬季班次！
申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系我们
搜索：
俄罗斯伊尔库茨克州卫生部门表示，据官员和媒体报道，一名实验室工作人员因鼠疫死亡后， 近200人被要求接受医学观察。这名27岁或28岁的员工在伊尔库茨克抗鼠疫研究所工作，据称她在打碎一支装有活菌的试管后感染了鼠疫。她出现严重肺炎，被送往舍列霍夫斯克住院治疗，随后接上呼吸机，并于周四死亡。 至少197名可能的接触者被隔离，其中100多人住在医院病房，舍列霍夫斯克医院也已被封闭。公众活动被取消，当局还就可能存在的卫生安全违规行为启动刑事调查。州官员表示，接触者均无症状，检测结果也呈阴性。据报道，这起病例属于肺鼠疫，但官方声明没有说明具体类型；邻近的布里亚特共和国没有报告疫情暴发。
Hacker News 上的一场讨论围绕《莫斯科时报》的一篇报道展开：据报道，伊尔库茨克一家防鼠疫实验室的一名工作人员因鼠疫死亡，另有近200人接受医学观察。
据称，这名工作人员在采集样本时告诉医护人员，她打碎了一支装有活菌的试管，可能导致100多名同事暴露于感染风险；随后，100多名接触者被隔离在医院。
评论者质疑了实验室的安全规程，并询问此类事件是否比公开报道的更常见。另一名评论者将此事与珍妮特·帕克1978年因实验室感染天花而去世的事件相提并论，强调了高等级生物安全研究设施中意外暴露所带来的风险。
**《河流突袭》（1982）**在浏览器中得到高度忠实的 Atari 2600 移植。玩家驾驶飞机沿程序生成的河流 endless 向上飞行，避开河岸、桥梁、轮船、直升机和喷气式飞机，同时应对迅速消耗的燃料。飞越燃料库可为油箱补充燃料，也可以将其击毁，获得 80 分。必须射击桥梁才能继续前进；撞毁会损失九条命中的其中一条，每获得 10,000 分便奖励一条新命。 原始 4 KB 卡带会使用确定性的 16 位随机数生成器，提前生成每个由 32 条扫描线组成的河流区块，因此每次游玩都会出现相同路线。河道在不同路线之间交替，包括笔直和蜿蜒路段，难度也会逐渐提高。 该项目没有使用模拟器，而是用 JavaScript 重新实现了卡带的 6502 运行逻辑，保留了其 128 字节内存、硬件碰撞检测、图形、音效，甚至一些未公开的特殊行为。原始 ROM 也会同时运行，以进行逐字节验证。测试结果显示，在 45,000 帧内没有出现任何差异，开场画面完全一致，并且 300,000 个河流生成器状态下的行为均完全匹配。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
向 Atari 2600 上的一款最佳游戏致敬
（
plicerin.github.io
）
6 分
由
plicerin
发布
1 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
plicerin
1 小时前
[–]
根据原始 ROM，逐条指令重新构建这款游戏卡带
回复
考虑申请 YC 2027 年冬季批次！
申请截止时间为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
# 使用 OCaml 进行量化金融 这是一本全面指南，介绍如何用 OCaml 构建正确、高性能且易于维护的金融系统。本书将量化金融理论与生产级、可复用且类型安全的库相结合，同样重视数学表达的清晰性、正确性和性能。 全书分为七个部分，涵盖 OCaml 基础、数学与概率；固定收益和利率衍生品；股票、布莱克–斯科尔斯模型、蒙特卡洛方法与波动率；信用风险、CDO 和多资产模型；市场风险、希腊字母、XVA 与投资组合优化；算法交易、交易执行和高频基础设施；以及随机微积分、机器学习、监管和 OxCaml 等高级主题。书中贯穿使用了现代 OCaml 5 的特性，包括域和效应。 每一章都提供讲解文字、可复用模块、实例、练习和基准测试。项目使用 Dune，并包含安装依赖项、构建示例和运行测试的命令。有经验的 OCaml 或金融读者可以跳过部分入门章节，并将本书作为连续教材或参考手册使用。
Hacker News
新帖
|
往期
|
评论
|
问答
|
展示
|
工作机会
|
提交
登录
使用 OCaml 进行量化金融
（
qcaml.com
）
6 分
作者：
leonry
2 小时前
|
隐藏
|
往期
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：