请启用 JavaScript 并关闭所有广告拦截器
每日HackerNews RSS
《纽约时报》近日一篇关于Flock监控摄像头广泛部署的报道，在Hacker News上引发了热烈讨论。该技术能够对全国范围内的车辆进行持续追踪，这一能力遭到了关注隐私和政府越权问题的用户们的强烈抨击。
评论者对公共空间大规模监控的常态化表达了深切的质疑。讨论主要集中在三个核心担忧上：国家权力滥用的不可避免性（引用了已记录的警员跟踪案例）、软件错误与人为失误的固有风险，以及公民自由的流失。用户们认为，对个人行踪进行持续记录和算法分析，从根本上违背了自由社会的理念。许多参与者认为，该技术的风险远超其所谓的安全益处，并指出，任何忽视这种普遍追踪所带来影响的人，要么是别有用心，要么是未能意识到该技术对隐私产生长期深远影响的严重性。
### CHICKEN Scheme 6.0.0 版本摘要 CHICKEN Scheme 6.0.0 标志着一次重大的架构转型，重点在于实现完整的 **R7RS（小型语言）兼容性** 以及内部机制的现代化。 **主要变更：** * **核心兼容性：** 所有 R7RS 库模块现已整合至核心中。 * **编码与数据：** 系统内部全面使用 **UTF-8** 编码处理字符串。`(chicken blob)` 模块已被兼容 R7RS 的 `(chicken bytevector)` 字节向量操作所取代。 * **模块重组：** 许多原语已从 `(chicken base)` 移至标准的 `(scheme ...)` 模块中。若干旧版模块（如 `r4rs`、`srfi-*`）已被重命名或移除，以支持标准的 R7RS 等效模块。 * **FFI 与进程：** 外国函数接口（FFI）性能得到提升，现在可以直接传递字符串和符号而无需复制。进程管理经过全面重构；`process-*` 过程现在返回进程对象，而非进程 ID (PID)。 * **编译器与工具：** 新增的编译器选项（如 `-merge-reusable-closures` 等）提升了内存效率。构建系统现在依赖标准的 `configure` 脚本，Windows 支持已转向基于 POSIX 的工具链（例如 w64devkit）。 * **维护工作：** 进行了大量细微的 API 改进，包括更严格的符号打印、改进的路径处理，以及移除了已过时的旧版过程。
```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Chicken Scheme 6.0 (call-cc.org)
18 点，作者：eatonphil，1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
DASD 13 分钟前 | 下一条 [–]
大家可能也会感兴趣的是，6.0 版本支持 Crunch（尽管 Crunch 本身尚未达到 1.0 版本，目前为 0.993），这是一个针对 Scheme R7RS 静态类型子集的编译器。(https://wiki.call-cc.org/eggref/6/crunch) 回复
dvduval 8 分钟前 | 上一条 [–]
我得找个 AI 来分析一下那个页面，告诉我它到底讲了什么。我太懒了，不想读。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
宏是 Common Lisp 的一项强大功能，允许程序员通过在编译时生成新代码来创建自定义抽象。与在运行时运行并处理数据的函数不同，宏在“宏展开阶段”发挥作用，在程序编译前直接操作源代码结构。 编写高效宏通常遵循三个步骤： 1. **建模**：写出一个宏调用的示例，以及你期望它生成的代码。 2. **实现**：使用反引号（backquote）语法创建一个 `defmacro` 作为展开模板，并利用解构参数列表来轻松解析输入。 3. **修复泄露**：确保宏不会“泄露”实现细节。这包括避免对同一表达式进行多次求值，并通过使用 `gensym`（生成唯一的、未驻留的符号）来防止变量名冲突。 归根结底，宏允许创建特定领域的语法，从而有效地扩展语言，使复杂模式的表达更加简洁。通过遵循“最小惊讶原则”，程序员可以构建健壮、可重用的抽象，使其行为可预测并能无缝集成到语言中。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Mac 的故事：一个自圆其说的故事 (gigamonkeys.com)
3 积分，由 kscarlet 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
一项“Effort”调查显示，五个受外国资助的非政府组织（包括 5Rights、数字仇恨打击中心（CCDH）和战略对话研究所（ISD））正协同开展一场旨在影响美国立法的行动。这些组织正积极在全美21个州和国会推动数字身份证及“儿童安全”法案，旨在复刻英国已实施的相关政策。
该报告强调，人们担心这些组织正在引入一套被英国政府用于监视和压制政治异见的监管模式。批评者认为，这些剥夺互联网匿名性并可能取缔VPN的框架，与威权政权的手段如出一辙。
调查记录了这些实体在遵守《外国代理人登记法》（FARA）方面存在的重大问题，包括未披露受外国领导层控制及游说活动的情况。值得注意的是，像ISD这样的组织已获得数百万美元的政府资助，用于监控和影响在线言论，常将政治异见与“虚假信息”混为一谈。报告最后警告称，通过采纳这些由外国设计的立法蓝图，美国正面临引入一套能够使政府主导的国内政治言论审查合法化并为其提供便利的基础设施的风险。
这场 Hacker News 讨论围绕着文章《英国针对匿名性的战争已蔓延至美国》展开。文中批评了以“保护儿童”为借口，来为数字身份法案及消除网络匿名性辩护的行为。
评论者们大多认为“想想孩子们”的叙事是一种操纵手段，旨在规避对隐私问题的担忧。参与者们指出，此类政策最终是将大规模监控置于真正的保护之上，并指出这些倡议往往忽视了现有的家长控制工具。
这场对话还凸显了对政府监控和企业数据收集的普遍不信任。一些用户指出，媒体曾针对“Flock”安全摄像头进行过协调一致的宣传活动，这暗示了企业利益正在积极对抗公众的抵制。总的来说，社区对那些取消互联网用户匿名性的政策深表怀疑，认为这些政策是对基本自由的威胁，而非解决儿童安全问题的方案。
排列#1FX★R'2D3D15001k5k排列#1FX★R'2D3D15001k5k超翻转棋盘格11.1×10¹⁹2.2×10¹⁹3.2×10¹⁹4.3×10¹⁹
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
展示 HN：滚动查看魔方全部 43,252,003,274,489,856,000 种状态 (alen.is)
14 分 Alen123 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
马克·吐温对佩奇排字机（一种极其复杂的排版机器）的痴迷，是创新史上一个引以为戒的故事。出于对一种能够模拟人类认知的设备的憧憬，吐温将自己的财富倾注在詹姆斯·W·佩奇的发明上，坚信它将彻底改变印刷业。
最终，这台机器失败了。尽管它拥有超过 18,000 个零件，但由于过于脆弱且成本高昂，无法与莱诺铸排机（Linotype）竞争。莱诺铸排机的成功在于重新设计了印刷流程，而非仅仅模仿人类劳动。这个项目导致了吐温的破产，也成为现代人工智能所面临挑战的历史先兆。
这个故事为技术发展提供了三条持久的教训：
1. **基于现实进行设计：** 技术必须具备可维修性和稳健性，而不仅仅是理论上的完美。
2. **普及需要时间：** 创新者往往高估了社会接纳复杂、颠覆性工具的速度。
3. **重新设计，而非简单复制：** 真正具有变革性的发明是重新思考任务的本质，而非仅仅将现有的相关人类动作自动化。
尽管吐温失去了财富，但他具有远见卓识，意识到自动化终将重新定义人类劳动与交流的未来。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录毁掉马克·吐温一生的“机械奇迹” (resobscura.substack.com) 13 分，由 benbreen 在 1 小时前发布 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助
NopIdoN 18 分钟前 | 下一条 [–]
我以为这会是关于尼古拉·特斯拉的振动机器，那玩意儿让克莱门斯（马克·吐温）拉了一裤子回复Mistletoe 14 分钟前 | 父级 | 下一条 [–]
那并没有毁掉他的一生，只是毁了他的短裤。回复Mistletoe 14 分钟前 | 上一条 [–]
https://en.wikipedia.org/wiki/Paige_Compositor回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索: ```
GPT 5.6 网络 GPT 5.6 Cyber
6 小时前
请启用 JavaScript 和 Cookie 以继续。
这篇 Hacker News 讨论主要围绕 OpenAI 为其最新模型提出的“网络”验证要求展开。用户对这一举措表示了极大的怀疑，批评其是一种威胁到知识获取渠道的“门禁”行为。
许多参与者认为，要求提供许可证或专业资格才能使用人工智能工具，不仅会阻碍创新、造成不必要的官僚摩擦，也无法阻止恶意行为者——他们指出，当前的各种安全“防护措施”通过简单的提示词就能轻松绕过。另一些人则表达了隐私方面的担忧，强调将模型使用与硬件安全密钥及身份验证绑定，会创造出一个高监控的环境，这与操作安全（OpSec）的原则背道而驰。
尽管有少数用户幽默地表示，这种专业执照理论上可以保护软件工程等领域的工作岗位，但大多数人认为该举措是一种“类似甲骨文公司”的企业行为，为了表面上的安全性而牺牲了易用性和可访问性。总体而言，社区对此并不买账，许多用户报告了验证过程中的技术故障，并表示更倾向于选择其他限制较少的人工智能模型。
这篇文章质疑了那种被广泛引用的观点，即认为动态、简洁的编程语言比静态语言在大型语言模型（LLM）中具有更高的 Token 效率或更强的适用性。 作者通过实验基准测试（如实现 `zstd` 解码器和 Pandoc 程序）表明，当任务从简单转向复杂时，归因于语言类型（例如动态与静态，或 J 语言等“密集型”语言与其他语言）的性能差距往往会消失。虽然一些动态语言在简单任务上表现出轻微的效率优势，但这些优势无法推广到更复杂、更现实的工作负载中，在后者中，模型微调和语言流行度等因素起着更大的作用。 作者强调，大多数公开的 LLM 编程基准测试存在缺陷，往往受困于“奖励操纵”、琐碎的问题集或特定的测试环境错误。研究结果表明，编程语言的选择并没有人们声称的那么重要；相比于静态或动态的分类，语言的流行度与模型表现的相关性更强。最终，作者得出结论：在 LLM 背景下对编程语言下普遍性结论还为时过早，因为当前的评估对任务细节和测试框架本身的局限性高度敏感，而非取决于语言的内在特性。
这篇 Hacker News 的讨论探讨了编程智能体（coding agents）最理想的编程语言，重点在于语法密度与模型性能之间的权衡。
主要观点包括：
* **Token 效率与可靠性：** 虽然动态类型语言因简洁而降低了 Token 成本，但用户指出，这种简洁性可能导致更高的幻觉率。大语言模型（LLM）难以处理公开训练数据较少的语言（如 Wolfram 语言），或者那些因过于紧凑而难以有效分词的语言。
* **语言简洁性：** 像 Odin 这样的语言被认为是 AI 的理想选择，因为它们简单且具备强大的内置库，允许在单个文件中编写高影响力的代码。
* **“正确性”论点：** 一些用户认为，目前各语言之间的性能差距已经足够小，开发者应优先选择 Rust 等语言以确保安全性和正确性，而不是仅仅为了优化 Token 成本。
该帖子还包含了一段关于作者博客极简设计的元讨论，部分用户批评其密度过高，而另一些用户则为其辩护，称这是为了减少网页臃肿而做出的刻意工程选择。
World Train Map（前身为 TrainRouter）是一个综合性的互动数字地图集，涵盖了全球 120 个国家的 1,247 条著名客运铁路线路。该项目并非行程规划工具，而是一个庞大的数据库，为每条线路提供详细信息，包括距离、时长、最高时速、运营商及车辆型号。 该平台提供基于 OpenStreetMap 数据的高精度全屏地图，利用线路关系确保与现实轨道精准对应。用户可以探索多种类别，如高速列车、观光列车、豪华列车、夜间列车以及遗产铁路。网站还提供对比数据，包括火车与飞机的碳排放对比、城市间交通指南，以及按速度、海拔和长度排列的排名。 秉持透明和开放的理念，该项目可免费使用，并提供开放数据集（CSV、JSON、GeoJSON）及公开的修正记录。尽管品牌名称已从“TrainRouter”更名为“World Train Map”，以更准确地体现其地图集的功能，但所有现有链接均保持有效。该项目持续优化地图精度，不断更新数据，旨在提供全球铁路基础设施的精确视图。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
世界火车地图 – 全球 1247 条铁路线 (worldtrainmap.com)
7 点 | Flightmussy 发布于 1 小时前 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 和 cookie 以继续。
这篇 Hacker News 的讨论反映了人们对谷歌搜索现状的激烈争论。许多用户承认，尽管谷歌的搜索质量因广告优先策略和“人工智能生成”的杂乱信息而有所下降，但它在处理特定的本地化查询时依然具有优势。
主要议题包括：
* **人工智能聚合的兴起：** 许多用户现在倾向于使用大语言模型（如 Gemini 或 Claude）来处理技术任务，因为它们能够综合多个来源的信息，比传统的点击链接方式更节省时间。然而，这也引发了关于长期可持续性的担忧，因为这些服务目前缺乏支撑互联网发展的广告商业模式。
* **“真相”问题：** 人们对人工智能训练数据的未来表示担忧。随着互联网充斥着搜索引擎优化（SEO）驱动的低质量内容，用户担心使用“公共”数据训练模型会导致产生带有偏见和对抗性的结果。
* **市场生存能力：** 持怀疑态度的人指出，尽管存在“谷歌正在衰落”的说法，但谷歌的收入仍在持续增长，这表明用户的不满情绪与广告预算的转移之间存在滞后。像 Kagi 这样的替代品正在获得关注，但对于大多数用户而言，放弃谷歌的过程依然缓慢且不便。