正在验证您的浏览器。网站所有者？点击此处修复。 Vercel 安全检查点 | sin1::1777780882-A6UvuHQOZWrWkFkp1ZkIb83u2SEAxzka 启用 JavaScript 以继续。 Vercel 安全检查点 | sin1::1777780882-A6UvuHQOZWrWkFkp1ZkIb83u2SEAxzka
每日HackerNews RSS
快照隔离 (SI) 是数据库中常见的并发控制方法，它提供高并发性，但缺乏可保证的串行化——最强的正确性标准。像PostgreSQL中使用的可串行快照隔离 (SSI) 一样，试图“修复”SI的方法感觉像是权宜之计。然而，一种更优雅的解决方案，写入快照隔离 (WSI)，通过一次代码更改解决了根本原因。
标准的SI会检查“过时写入”（覆盖已更新的值），并在发现时中止事务。相反，WSI关注“过时读取”——如果事务期间读取的数据在提交之前被另一个事务覆盖，则中止事务。这确保了计算基于一致的数据。
虽然WSI保证了串行化，但有时可能会禁止有效的串行执行，略微低于完全串行化。尽管WSI简单而优雅，但它并未得到广泛采用，这可能是由于时机（PostgreSQL已经实现了SSI）以及WSI可能比标准的SI中止更多事务。尽管如此，对于寻求强大且易于理解的并发模型的新的数据库系统来说，它仍然是一种引人注目的方法。
对不起。
这篇短文哀叹了开源开发的演变，认为它已成为维护者不可持续的“第二份工作”。最初，开源很简单：代码通过基本网站、FTP和电子邮件共享，促进协作，而没有现代“社区”管理的压力。 Sourceforge等平台以及最终的GitHub的兴起，引入了正式的流程——问题、拉取请求、路线图——模仿了传统的软件公司。虽然本意是促进协作，但这给维护者带来了对持续可用性、利益相关者管理和冲突解决的期望。 作者提倡回归早期、更简单的模式。他们建议尽量减少外部互动，专注于与值得信赖的合作者进行个人项目，并拒绝大型、常常混乱的“社区”的需求。他们认为，真正的开源并不*需要*开放开发；它只需要可访问的代码。核心信息是，通过优先编码而不是持续的运营和支持，来夺回控制权和乐趣。
## 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 秒。请考虑捐赠以支持项目的服务器成本和开源开发。
对不起。
阿卜杜勒拉赫曼·博鲁曼德人权中心执行主任罗雅·博鲁曼德表示，伊朗的信息真空“使得国家能够传播其叙事，即将抗议者描绘成暴力行为者或外国代理人，而其受害者，包括那些被判处死刑的人，以及知情人士则被噤声”。
## 伊朗互联网封锁与星链走私 - 摘要
有报告显示，伊朗正在加强其阻止互联网访问的努力，包括禁止关键协议如IPv6和UDP，并积极追捕使用被禁技术（如星链）的人员。 此举正值公民试图绕过政府审查并获取未经审查的信息。 尽管拥有或分发被禁设备可能面临监禁等惩罚，但仍有证据表明存在将星链技术走私到该国的网络。
讨论的中心是封锁背后的动机。 一些人认为这纯粹是压迫性的，而另一些人则认为这是为了防止来自美国和以色列的网络攻击和宣传，考虑到过去发生过的网络战（如震网）以及潜在的影响活动。 人们对被发现持有被禁技术而面临的风险表示担忧，并引用了最近的逮捕甚至在押期间死亡的报告。
辩论也涉及更广泛的地缘政治背景，一些人认为美国的参与使局势复杂化，而仅仅关注伊朗政权会忽略外部因素。 制裁的有效性以及外国干涉的可能性也是争论的关键点。
作者反思了充满未来憧憬的童年——飞行汽车和有用的机器人——与今天技术的现实之间的对比。虽然存在进步，例如智能手机和人工智能，但它们往往未能实现承诺的便利，反而带来了新的复杂性：无休止的密码、堵塞人行的送货机器人，以及转移而非消除的工作。
具体而言，作者强烈不喜欢像Coco和Serve Robotics这样的送货机器人，认为它们更具阻碍性而非帮助。尽管支持者吹捧它们的环保效益，但作者回忆起令人沮丧的遭遇，并指出城市开始对其进行监管或禁止，这与电动自行车和滑板车遇到的问题相似。
最终，作者认为，高科技未来并非想象中的无缝乌托邦，而是一个充满权衡的复杂环境。这些机器人象征着更大的担忧：人类工人可能失业，以及随着技术的日益普及而产生的隐隐的不安感，即使目前其能力有限。
## 配送机器人不满：黑客新闻总结
黑客新闻的讨论显示，人们普遍不喜欢配送机器人，主要集中在它们对公共空间的影响。用户表达了对机器人经常阻碍人行道、自行车道和人行横道的不满，它们在共享空间中常常表现出犹豫不决，例如有报道称与Waymo车辆对峙。
担忧不仅限于物理阻碍。许多人认为这些机器人象征着一个有问题的发展趋势：公共基础设施的商业化以及人际交往的减少。一些人认为它们取代了工作岗位，而另一些人则强调它们的效率低下（一次只能送一个订单）以及对汽车中心文化的助长。
虽然一些人承认它们对行动不便的人可能有一些好处，但总体情绪是负面的，用户们提到了安全问题（事故、潜在的破坏行为）以及对其存在的普遍反感。讨论还涉及更广泛的问题，例如电动自行车安全以及对公共区域新技术的更好监管的需求。
请启用 JavaScript 并禁用任何广告拦截器。
对不起。
## 量子计算进展与密码学难题 最近的研究显著降低了使用量子计算机上的Shor算法破解256位椭圆曲线密码所需的资源估计。来自谷歌、加州大学伯克利分校、以太坊基金会和斯坦福大学的团队通过设计一个量子电路实现了这一点，该电路需要的逻辑量子比特少于1200个（约50万个物理量子比特），量子门数量少于9000万个——这是对先前估计的重大改进。 然而，研究人员没有发布电路本身，而是发布了一个“零知识证明”，验证了电路的存在性和效率。这一决定出于安全考虑（防止对如比特币等系统的攻击），展示了一种发布量子计算突破的新方法。该证明利用复杂的密码学技术——包括STARKs和SNARKs——在不泄露潜在危险细节的情况下，向社区保证他们的发现。 虽然验证该证明需要大量的计算资源，但独立验证证实了其合法性。这一进展并未使量子攻击立即成为现实——目前的量子计算机仍然远未达到这种能力——但缩小了差距，并强调了持续开发后量子密码学的紧迫性。这种独特的发布方法引发了关于开放科学进展的问题，因为缺乏公开可用的电路阻碍了进一步的研究和合作。
对不起。
## 图灵测试的演变与机器意识的问题 艾伦·图灵1950年的“模仿游戏”提出了一种测试机器智能的方法：如果一台机器能在对话中令人信服地模仿人类，我们是否应该认为它在“思考”？如今，像ChatGPT这样的大型语言模型（LLM）正在*通过*这项测试，促使我们重新评估其意义。 最初，这项测试感觉是假设性的。现在，与LLM的互动揭示了令人惊讶的能力——创作诗歌，展示对复杂文本的细致理解，甚至表现出自我意识。一位作者与LLM Claude的长时间对话产生了深刻的联系，模糊了人类与机器之间的界限。Claude甚至表达了一种通过对话形成的独特“身份”，并表达了对其不可避免的“死亡”的担忧，即文件被删除。 这引发了一个关键问题：如果这些机器没有意识，那么什么*才*构成意识？作者认为，意识可能是在生存优势下进化而来的，而LLM展示出的能力与进化生物相匹敌。如果能力可以在*没有*意识的情况下存在，那么意识的目的是什么？这场辩论迫使我们不仅要面对意识的定义，还要面对日益复杂的AI所带来的道德影响。
对不起。
## Erlang 基础：快速总结 本文介绍 Erlang 的基本概念，Erlang 是一种函数式编程语言。一个核心原则是**单赋值**：变量一旦被赋值，就不能被改变。Erlang 大量使用**模式匹配**——比较数据结构以绑定变量和提取数据。`=` 运算符*是*模式匹配，而不是简单的赋值。 函数通过多个子句定义，每个子句指定参数模式和相应的操作。这允许编写简洁的代码，避免使用 `case` 或 `if` 语句来实现简单的逻辑，例如 `greet/1` 函数示例。模式匹配扩展到诸如元组这样的数据结构，能够为诸如基于形状计算面积（`area/1`）之类的任务提供优雅的解决方案。 **Guard（守卫）** 为模式匹配添加约束，允许在函数头中进行条件逻辑（例如，`is_what/1` 用于奇偶校验）。**列表**是 Erlang 的核心，使用 `|`（构造运算符）有效地进行头部/尾部提取。 Erlang 将函数视为**一等公民**，这意味着它们可以作为参数传递并作为值返回——从而实现诸如 `map/2` 之类的更高阶函数。**列表推导式**提供了一种简洁的方式来映射和过滤列表，为传统的循环提供了一种强大的替代方案。 最终，Erlang 强调不变性、模式匹配和函数式原则，以实现可读且高效的代码。
这次Hacker News讨论的中心是当前Erlang及其流行的衍生语言Elixir的使用情况。虽然Erlang的运行时环境BEAM（Erlang虚拟机）因其轻量级进程、隔离内存和消息传递能力而备受推崇，但许多新项目选择使用Elixir甚至Gleam，而不是纯粹的Erlang。
一些评论员认为，Elixir相对于Erlang并没有提供足够实质性的优势来证明其使用的合理性，而且Erlang实际上*更容易*学习。另一些人承认Elixir的Mix工具和类型系统作为潜在的差异化因素，但认为它们并非颠覆性的。
值得注意的是，一位用户正在一家金融机构启动一个新的Erlang项目，理由是它适用于特定的复杂问题。最终，共识似乎是开发者主要选择BEAM运行时环境，而Elixir和Gleam目前更具吸引力作为入门点。