## 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 秒。请考虑捐赠以支持项目的服务器成本和开源开发。
每日HackerNews RSS
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 | 联系
搜索：
请启用 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
7 小时前
## 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 | 联系方式
搜索：
启用 JavaScript 和 Cookie 以继续。
一场 Hacker News 的讨论围绕着理查德·道金斯认为他的 AI 聊天机器人表现出意识——这一观点受到了许多评论者的质疑。最初的文章，标题为“克劳德的妄想”，引发了关于智能和意识本质的争论，尤其是在人工智能取得进展的背景下。
许多用户指出，人工智能在特定任务上超越人类表现（例如生成诗歌）并不等同于真正的智能或意识。他们认为，这些任务测试的是学习到的技能，而不是内在的理解。其他人批评道金斯的哲学推理，引用了他先前论点的批评，并建议他由于专业领域不同，无资格评论人工智能。
一个关键点是机械智能和人类智能的区别，强调人工智能是由人类*创造*的，缺乏独立起源。许多人对将意识归因于语言模型表示怀疑，并指出动物表现出一种更全面的意识形式，尽管它们缺乏先进的语言技能。
一名来自桑尼维尔的男子狄金，在首次乘坐Waymo自动驾驶汽车时遭遇了令人沮丧的经历：车辆从圣何塞机场出发时，他的行李仍在车内。尽管他尝试通过按钮和应用程序打开后备箱，但后备箱一直处于锁定状态。Waymo拒绝返回取车，表示车辆已经前往旧金山站点。 该公司向狄金提供了两种选择：支付行李运费，或自行前往站点搭乘两次免费车程——往返四小时。狄金拒绝了，认为问题不在于他。这起事件与去年旧金山发生的一起丢失网球装备的类似案例相呼应。 Waymo的网站显示，后备箱在乘客下车时应自动打开，但显然在狄金的案例中出现了故障。该公司坚持认为它不负责丢失的物品，导致狄金在前往圣地亚哥的旅途中缺少必需品。
一辆Waymo自动驾驶汽车在南湾地区开走了一位乘客的行李，引发了Hacker News上的讨论。据报道，乘客的行李在后备箱里，车辆在乘客下车时未能检测到它们——考虑到Waymo通常的做法是自动打开后备箱以提醒，这真是一个令人惊讶的故障。
评论者对Waymo缺乏回应表示惊讶，并建议向加州DMV等监管机构报告此事件。几位用户分享了他们习惯性地提醒司机（或车辆）注意行李的做法，其中一人指出，他们会主动打开车门直到取回所有物品，以防出现这种情况。
有趣的是，Waymo目前正在利用DoorDash司机远程为那些忘记关门的乘客关门，这凸显了对这一潜在问题的解决方法。这起事件引发了人们对自动驾驶系统可靠性的质疑，以及乘客保持警惕的必要性。