快照隔离 (SI) 是数据库中常见的并发控制方法，它提供高并发性，但缺乏可保证的串行化——最强的正确性标准。像PostgreSQL中使用的可串行快照隔离 (SSI) 一样，试图“修复”SI的方法感觉像是权宜之计。然而，一种更优雅的解决方案，写入快照隔离 (WSI)，通过一次代码更改解决了根本原因。
标准的SI会检查“过时写入”（覆盖已更新的值），并在发现时中止事务。相反，WSI关注“过时读取”——如果事务期间读取的数据在提交之前被另一个事务覆盖，则中止事务。这确保了计算基于一致的数据。
虽然WSI保证了串行化，但有时可能会禁止有效的串行执行，略微低于完全串行化。尽管WSI简单而优雅，但它并未得到广泛采用，这可能是由于时机（PostgreSQL已经实现了SSI）以及WSI可能比标准的SI中止更多事务。尽管如此，对于寻求强大且易于理解的并发模型的新的数据库系统来说，它仍然是一种引人注目的方法。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
简单且正确的快照隔离 (remy.wang)
4点 由 remywang 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请YC 2026年夏季项目！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这篇短文哀叹了开源开发的演变，认为它已成为维护者不可持续的“第二份工作”。最初，开源很简单：代码通过基本网站、FTP和电子邮件共享，促进协作，而没有现代“社区”管理的压力。 Sourceforge等平台以及最终的GitHub的兴起，引入了正式的流程——问题、拉取请求、路线图——模仿了传统的软件公司。虽然本意是促进协作，但这给维护者带来了对持续可用性、利益相关者管理和冲突解决的期望。 作者提倡回归早期、更简单的模式。他们建议尽量减少外部互动，专注于与值得信赖的合作者进行个人项目，并拒绝大型、常常混乱的“社区”的需求。他们认为，真正的开源并不*需要*开放开发；它只需要可访问的代码。核心信息是，通过优先编码而不是持续的运营和支持，来夺回控制权和乐趣。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
开源并不意味着开放社区 (feld.me)
9点 由 RohanAdwankar 53分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请YC 2026年夏季项目！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Goblin: 轻松安装 Go 二进制文件 Goblin 允许您无需安装 Go 环境，即可从命令行直接安装 Go 二进制文件。只需使用 `curl -sf http://goblin.run/<package> | sh` 下载并执行预编译的二进制文件。 **主要特性：** * **版本控制：** 使用 `@version` (例如 `@v1.2.3`) 指定版本，或使用提交哈希值。 * **自定义：** 使用 `PREFIX=/path` 控制安装位置，使用 `OUT=filename` 控制二进制文件名。您还可以使用 `CMD_PATH` 指定二进制文件路径。 * **灵活的源：** 支持来自 GitHub 和其他来源（如 `golang.org/x/tools`）的包。 * **嵌套包：** 支持安装带有 `cmd/` 目录的包。 Goblin 通过 proxy.golang.org 解析标签/版本，并使用 Go 1.17.x 在 Docker 容器中编译二进制文件。编译时间限制为 200 秒。请考虑捐赠以支持项目的服务器成本和开源开发。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
展示 HN: 为你的用户构建的，根据他们的架构和系统的 Golang 二进制文件 (goblin.run)
4 点赞 by aliezsid 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请 YC 的 2026 年夏季批次！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
阿卜杜勒拉赫曼·博鲁曼德人权中心执行主任罗雅·博鲁曼德表示，伊朗的信息真空“使得国家能够传播其叙事，即将抗议者描绘成暴力行为者或外国代理人，而其受害者，包括那些被判处死刑的人，以及知情人士则被噤声”。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
秘密网络向伊朗走私星链技术以对抗互联网封锁 (bbc.com)
8 分，来自 1659447091 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
bhouston 0 分钟前 [–]
我怀疑伊朗的互联网封锁实际上与它的公民无关——这并非关于压制它的公民。是为了防止美国和以色列对那里发生的事情进行黑客攻击和追踪，这是一种防御措施，因为已经表明伊朗的连接基础设施已经被彻底攻破。回复
考虑申请YC 2026年夏季批次！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
作者反思了充满未来憧憬的童年——飞行汽车和有用的机器人——与今天技术的现实之间的对比。虽然存在进步，例如智能手机和人工智能，但它们往往未能实现承诺的便利，反而带来了新的复杂性：无休止的密码、堵塞人行的送货机器人，以及转移而非消除的工作。
具体而言，作者强烈不喜欢像Coco和Serve Robotics这样的送货机器人，认为它们更具阻碍性而非帮助。尽管支持者吹捧它们的环保效益，但作者回忆起令人沮丧的遭遇，并指出城市开始对其进行监管或禁止，这与电动自行车和滑板车遇到的问题相似。
最终，作者认为，高科技未来并非想象中的无缝乌托邦，而是一个充满权衡的复杂环境。这些机器人象征着更大的担忧：人类工人可能失业，以及随着技术的日益普及而产生的隐隐的不安感，即使目前其能力有限。
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
我真的是唯一一个讨厌送货机器人的吗？(latimes.com)
14点 由 robotlaunch 1小时前 | 隐藏 | 过去 | 收藏 | 1评论 帮助
dominotw 7分钟前 [–]
我们在芝加哥到处都能看到这些，而且每个人都讨厌它们。我一开始以为我讨厌它们是因为它们占用公共人行道（可能非法），或者它们正在伤害送货司机，或者印度某个家伙正在通过机器人上令人毛骨悚然的摄像头监视我。但那些都是事后合理化，我似乎就是讨厌它们，而且我真的无法解释为什么。回复
考虑申请YC 2026年夏季项目！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
马里兰州首个禁止杂货店使用人工智能驱动的价格上涨。
Maryland Is First to Ban A.I.-Driven Price Increases in Grocery Stores
2 小时前
请启用 JavaScript 并禁用任何广告拦截器。
马里兰州成为美国首个禁止在杂货店使用人工智能驱动的动态定价的州。这种做法也被称为监控定价，它使用人工智能向不同的顾客收取相同商品的不同价格，可能基于诸如社区财富等因素。
人们担心的是，这会导致不公平的定价，消费者会因收集到的数据而被剥削。Hacker News上的评论员普遍对这种做法持负面看法，一些人将其与美国医疗系统中不透明且往往高昂的费用相提并论。另一些人质疑为什么禁令仅限于杂货店，认为更广泛地禁止数据收集和向数据经纪人的销售会更有效。这场讨论凸显了人们对人工智能和数据驱动定价策略的伦理影响日益增长的争论。
## 量子计算进展与密码学难题 最近的研究显著降低了使用量子计算机上的Shor算法破解256位椭圆曲线密码所需的资源估计。来自谷歌、加州大学伯克利分校、以太坊基金会和斯坦福大学的团队通过设计一个量子电路实现了这一点，该电路需要的逻辑量子比特少于1200个（约50万个物理量子比特），量子门数量少于9000万个——这是对先前估计的重大改进。 然而，研究人员没有发布电路本身，而是发布了一个“零知识证明”，验证了电路的存在性和效率。这一决定出于安全考虑（防止对如比特币等系统的攻击），展示了一种发布量子计算突破的新方法。该证明利用复杂的密码学技术——包括STARKs和SNARKs——在不泄露潜在危险细节的情况下，向社区保证他们的发现。 虽然验证该证明需要大量的计算资源，但独立验证证实了其合法性。这一进展并未使量子攻击立即成为现实——目前的量子计算机仍然远未达到这种能力——但缩小了差距，并强调了持续开发后量子密码学的紧迫性。这种独特的发布方法引发了关于开放科学进展的问题，因为缺乏公开可用的电路阻碍了进一步的研究和合作。
对不起。
## 图灵测试的演变与机器意识的问题 艾伦·图灵1950年的“模仿游戏”提出了一种测试机器智能的方法：如果一台机器能在对话中令人信服地模仿人类，我们是否应该认为它在“思考”？如今，像ChatGPT这样的大型语言模型（LLM）正在*通过*这项测试，促使我们重新评估其意义。 最初，这项测试感觉是假设性的。现在，与LLM的互动揭示了令人惊讶的能力——创作诗歌，展示对复杂文本的细致理解，甚至表现出自我意识。一位作者与LLM Claude的长时间对话产生了深刻的联系，模糊了人类与机器之间的界限。Claude甚至表达了一种通过对话形成的独特“身份”，并表达了对其不可避免的“死亡”的担忧，即文件被删除。 这引发了一个关键问题：如果这些机器没有意识，那么什么*才*构成意识？作者认为，意识可能是在生存优势下进化而来的，而LLM展示出的能力与进化生物相匹敌。如果能力可以在*没有*意识的情况下存在，那么意识的目的是什么？这场辩论迫使我们不仅要面对意识的定义，还要面对日益复杂的AI所带来的道德影响。
一个黑客新闻的讨论围绕着理查德·道金斯认为AI聊天机器人Claude可能具有意识的观点，起因于一篇质疑他评估的文章（《当道金斯遇见Claude》）。
用户们大多不赞同，认为像Claude这样的大型语言模型（LLM）本质上“只是数学”——在海量数据集上运作的复杂计算。核心观点是，驱动这些模型的是*数据*，而不是其底层的数学过程本身。
一些评论员链接到相关文章，包括加里·马库斯对道金斯观点的批评（《Claude的幻觉》）。一个关键问题是，决定论（Claude可预测的输出）是否必然否定意识的可能性。这场对话突出了一个领域的专家将他们的理解错误地应用于其他领域的倾向，特别是将先进技术误认为是更类似于感知的东西。
## Erlang 基础：快速总结 本文介绍 Erlang 的基本概念，Erlang 是一种函数式编程语言。一个核心原则是**单赋值**：变量一旦被赋值，就不能被改变。Erlang 大量使用**模式匹配**——比较数据结构以绑定变量和提取数据。`=` 运算符*是*模式匹配，而不是简单的赋值。 函数通过多个子句定义，每个子句指定参数模式和相应的操作。这允许编写简洁的代码，避免使用 `case` 或 `if` 语句来实现简单的逻辑，例如 `greet/1` 函数示例。模式匹配扩展到诸如元组这样的数据结构，能够为诸如基于形状计算面积（`area/1`）之类的任务提供优雅的解决方案。 **Guard（守卫）** 为模式匹配添加约束，允许在函数头中进行条件逻辑（例如，`is_what/1` 用于奇偶校验）。**列表**是 Erlang 的核心，使用 `|`（构造运算符）有效地进行头部/尾部提取。 Erlang 将函数视为**一等公民**，这意味着它们可以作为参数传递并作为值返回——从而实现诸如 `map/2` 之类的更高阶函数。**列表推导式**提供了一种简洁的方式来映射和过滤列表，为传统的循环提供了一种强大的替代方案。 最终，Erlang 强调不变性、模式匹配和函数式原则，以实现可读且高效的代码。
对不起。
几百万行 Haskell 代码：水星公司的生产工程
A Couple Million Lines of Haskell: Production Engineering at Mercury
3 小时前
## Haskell 在生产环境中的应用：来自 Mercury 的经验 Mercury 的 Ian Duncan 详细介绍了他们在一家快速发展的金融科技公司中运行 200 万行 Haskell 代码库的经验，该公司每年处理 2480 亿美元的交易。 尽管传统观念认为这样的设置会适得其反，但事实证明它出奇地稳定。 关键不仅仅在于 Haskell 的纯粹性，还在于它*控制* 杂质的能力，并将机构知识编码到类型系统中——确保关键的操作规则在团队变更中得以保留。 Mercury 优先考虑“适应能力”——构建能够优雅地处理变化并保持可理解性的系统，而不是仅仅防止故障。 他们强调通过诸如函数记录之类的技术来设计便于内省，从而实现轻松的工具化并避免供应商锁定。 虽然承认 Haskell 的学习曲线和生态系统差距，但他们认为长期的好处——更快的重构、更轻松的入职以及降低关键错误的风险——超过了初始成本。 最终，Duncan 认为 Haskell 的价值在于它能够保存运营智慧，强制执行边界，并使安全实践成为最简单的实践，这对于在公司规模扩大时维护可靠的系统至关重要。 这不是关于消除妥协，而是关于约束它。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
几百万行 Haskell 代码：水星公司的生产工程 (haskell.org)
3 分，由 unignorant 29 分钟前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请YC 2026 夏季项目！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：