计算机进入美国课堂的过程始于 20 世纪 60 年代。这一趋势的推动力并非源于明确的教学共识，更多是冷战焦虑、经济野心与技术理想主义共同作用的结果。早期的计划，如 PLATO（计算机辅助教学），旨在实现学习的自动化与个性化；而达特茅斯学院的 DTSS 则通过提升学生的计算能力来培养未来的领导者。 到了 80 年代，由于担心在经济与技术增长上落后于日本，公众对“计算机素养”的迫切需求掩盖了上述初衷。这导致课程设置变得杂乱无章，难以形成体系。当时的教育软件大致可分为三类：以练习为主的“保守型”课件、以西摩·帕普特（Seymour Papert）的 Logo 语言为代表的“进步型”探索环境，以及像《俄勒冈之旅》（The Oregon Trail）这类“娱乐型”游戏。 最终，这些举措面临着显著的现实制约，包括硬件获取受限以及教师培训的匮乏。尽管在计算机究竟应作为教学工具还是学科内容的问题上存在困惑，但计算机在学校的角色已从实验性产物转变为官僚体制下的必要配置，从而确立了其作为现代教育不可或缺的一部分的地位。
每日HackerNews RSS
计算机课程 Computer Lessons
14 小时前
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
计算机课程 (technicshistory.com)
3 分，cfmcdonald 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
一个开发团队在测试 CI 平台 Blacksmith（GitHub Actions 的一种更快的替代方案）时，遭遇了令人惊讶且昂贵的计费经历。尽管他们注册的是“无需信用卡”的免费试用，但在试用期结束后，该团队继续使用该服务，并理所当然地认为使用量超标后服务会自动中断。 然而，Blacksmith 并未暂停服务，而是继续运行他们的工作流，并发送了一张超过 1000 美元的意外账单，且直接将其标记为逾期。虽然该团队承认他们从服务中获得了价值，但他们认为大多数用户将“免费”视为硬性上限。他们批评这种在未明确警告“超额使用将导致无上限收费”的情况下直接开具发票的做法，认为这会损害长期客户信誉并招致滥用。 最终，尽管存在计费纠纷，该团队仍计划继续使用 Blacksmith，因为它相比 GitHub Actions 显著提升了开发速度。他们给其他企业的建议是：优先选择具有透明硬性上限的免费层级以避免意外账单；对于使用 Blacksmith 的用户，则需密切监控用量，以防在达到试用限制后产生未经授权的费用。
Hacker News 上的一场讨论揭露了服务平台 forestwalk.ai (Blacksmith) 令人担忧的计费做法。用户反映称，即便从未提供过信用卡信息，该公司仍会因超出试用限额而向用户发送意外账单。
社区对此反响强烈，批评声音占据主流，许多人认为这种做法“极其可疑”。评论者认为，SaaS 行业的常规做法是在试用期结束后停止服务，而不是让用户背负债务。尽管有人推测这可能是因为创始人缺乏 SaaS 计费管理经验，但也有人认为这种行为是有意为之，带有掠夺性。用户表示，这种经历让他们对使用该平台望而却步，因为这迫使他们必须时刻“盯着”服务，以防产生意料之外的费用。
“更多类似内容”（MLT）搜索允许用户从特定文档出发查找相关资料，而无需在空白查询框中输入。传统上，MLT 依赖于**词汇匹配**（TF-IDF/BM25），这对于错误代码、SKU 或法律术语等精确标识符非常理想。然而，这种方法往往无法捕捉语义关系或同义词。 现代 MLT 利用**嵌入**（即数据的数值向量表示）来基于含义查找文档。通过使用**近似最近邻（ANN）**搜索，系统可以高效地识别语义相似的内容，即使它们的措辞不同。 当前的生产系统越来越多地采用**混合搜索**，即将词汇匹配的精确性与向量搜索的语义广度相结合。直接在搜索引擎内执行此查找（例如，使用文档 ID 触发 KNN 搜索）简化了架构，降低了延迟，并确保了过滤器和访问控制的一致性。虽然语义搜索改变了我们检索信息的方式，但开发者仍需权衡精确匹配、模型版本控制和严格的排序，以确保搜索准确性。归根结底，MLT 的核心在于提供相关背景，无论是通过精确的术语重叠，还是通过深层的语义邻近性。
Hacker News新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录“猜你喜欢”的演变 (manticoresearch.com)4 分，由 snikolaev 在 1 小时前发布 | 隐藏 | 往期 | 收藏 | 讨论 帮助
社区指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文探讨了一个未解的数学问题：在充满噪声的网格中，一个比特的信息以波的形式传播，是否能从最终的比特“波前”中恢复出来？ 在一维空间中，由于比特会随机翻转，信息最终会丢失，成功率仅为50%。在高维空间中，这个问题变得更加复杂。尽管已有证明表明，在二维空间中不存在能保留信息的齐次函数，但三维空间的情况仍未解决。“多数函数”（即节点采用其输入中多数值）提供了一种潜在的纠错机制，但该机制能否在极限情况下保持信息尚不明确。 初步模拟显示，虽然在低温（低噪声）环境下信息可以在多层中保留，但信号最终仍会衰减。忽略边界“随机游走”的简化模型表明，网格轴上的噪声会传播到整个结构中，导致原始比特无法恢复。然而，这些简化可能过于严苛。作者得出结论：尽管目前的证据倾向于多数规则方法无法实现这一目标，但寻找严格的数学证明或发现更有效的解码策略，仍然是一个极具吸引力的挑战。
抱歉。
这是一份 PDF 文件的二进制数据片段，其中包含压缩的文档流内容。由于这些数据属于编码后的底层机器代码，无法直接翻译成中文。如果你需要阅读该 PDF 的内容，请使用 PDF 阅读器打开原始文件。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
使用 AI 软件证明欧拉和结果的经验 [pdf] (davidhbailey.com)
4 点，由 cpp_frog 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
在这篇反思中，人工智能研究员理查德·萨顿（Richard Sutton）指出，虽然通过监督学习训练的“生成式人工智能”在模仿方面很有用，但它从根本上缺乏真正的创造力或进行科学发现的能力。他认为，当前的生成模型存在一个致命缺陷：它们产生的输出要么是“新颖的”（随机的），要么是“好的”（忠实于训练数据），但绝不可能同时具备这两者。
萨顿断言，真正的发现需要三个步骤：变异、评估和选择性保留。虽然生成式人工智能可以处理变异，但它缺乏内部评估机制，这意味着它无法判断自身生成的新颖输出的质量。为了实现真正的科学和数学突破，人工智能必须超越模式识别和模仿，转向“发现”系统——例如强化学习——即由智能体提出想法，根据明确的目标进行评估，并保留最佳结果。
萨顿最后发出“号召”：要实现创造力的全面自动化，我们必须将评估循环整合到人工智能系统中，使其能够通过积极主动地验证假设，而非仅仅预测序列中的下一个标记，从而参与到科学研究的过程中。
在最近的一段视频讨论中，著名强化学习研究员理查德·萨顿（Rich Sutton）探讨了人工智能在创造力和发现力方面所面临的挑战。尽管他论点的具体细微之处在 Hacker News 上引发了争论，但核心结论在于他认为目前的大语言模型（LLM）缺乏产生有意义且目标导向的新颖性所固有的驱动力。
社区对萨顿的观点持怀疑态度。批评者认为，他的视角可能忽略了现有的迭代过程（例如基于强化学习的框架），在这些框架中，模型已经被引导向特定目标。评论者质疑萨顿是在主张算法训练的根本性转变，还是仅仅在强调对更复杂的强化学习应用的需求。
此外，一些用户反驳了关于大语言模型无法实现“新颖性”的观点，他们指出人类的创新往往具有衍生性，且人工智能在置于反馈循环中时，已经能够产出实用、功能性强且具创造性的成果。归根结底，这场讨论反映了该领域中更广泛的矛盾：真正的科学发现是需要一种新的算法“品味”，还是说当前的架构只要得到适当引导，就已经具备了创新的能力。
数值编号 Value Numbering
17 小时前
值编号（Value numbering）是一种编译器优化技术，通过识别并重用冗余且相同的表达式，有效精简编译过程中生成的“杂乱”代码。 **局部值编号（LVN）**作用于指令的线性序列（基本块）。通过对指令进行哈希处理（hash-consing）并将这些哈希值映射到现有变量，编译器可以用对先前计算结果的引用来替换冗余计算。 **全局值编号（GVN）**将此技术扩展到控制流图。最常见的实现方式是利用**支配树（dominator tree）**来传播可用表达式。一个基本块可以继承其支配块的“值映射表”，从而实现对祖先块中已计算表达式的重用。 虽然基础方法主要针对“纯”指令，但编译器也可以通过跟踪“失效（kill）”集合并执行加载-存储转发（load-store forwarding）来处理非纯操作（如内存加载）。更高级的技术包括使用统一哈希表、值划分以及工作表数据流算法。在动态 JIT 环境中，值编号对于消除强度削减（strength-reduction）过程中产生的冗余计算至关重要。归根结底，这种方法通过将重复计算替换为简单的引用，成为优化中间表示的一种简单而强大的手段。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Value Numbering (bernsteinbear.com)
4 点，由 surprisetalk 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论
帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
德国裁定谷歌需对 AI 概览中的错误回答承担责任 German ruling declares Google liable for false answers in AI Overviews
17 小时前
慕尼黑地方法院对谷歌下达了一项临时禁令，裁定该公司对其人工智能搜索摘要所生成的虚假诽谤性内容承担直接责任。 法院驳回了谷歌关于其仅作为中立搜索引擎的辩护，认定人工智能摘要是由谷歌算法生成的“独立、全新且实质性的陈述”，而非仅仅是指向第三方内容的索引。由于谷歌控制着人工智能的结构与内容，法院将其定性为内容提供商而非中介机构，从而剥夺了其作为搜索引擎通常享有的责任豁免权。 此外，法院还驳回了谷歌关于“用户应自行核实人工智能声明”的主张，指出该功能呈现时具有权威性，且往往缺乏可追溯的来源。裁决强调，由于该人工智能在原始资料并不存在的情况下虚构了企业与欺诈活动之间的联系，受害者别无其他法律救济途径。这一裁决开创了重要先例：如果该裁决维持原判，将标志着人工智能提供商——而不仅仅是它们抓取数据的来源方——必须对其模型合成内容的准确性和合法性承担法律责任，这可能会对全球各大人工智能开发者产生深远影响。
德国一家法院裁定，谷歌需为其 AI 概览（AI Overviews）生成的虚假信息承担法律责任，这一判决确立了重要的法律先例。此案源于谷歌的 AI 错误地将特定出版商与欺诈性商业行为联系起来，而这些说法在所引用的搜索结果中并无依据。
法院驳回了谷歌的辩护，指出由于该公司设计了该 AI 系统，并明确将其作为核心搜索功能展示，因此必须对所产生的内容负责。判决强调，当系统不仅仅是索引第三方内容，而是自主生成具有潜在诽谤性的陈述时，仅靠免责声明是不够的。
Hacker News 上的讨论认为，该裁决可能对 ChatGPT 和 Gemini 等整合网络数据的其他 AI 聊天机器人产生深远影响。尽管该裁决目前尚未涉及巨额经济处罚，但它挑战了企业通常所依赖的“避风港”保护原则。观察人士推测，由于科技公司难以在生成式 AI 的集成与严格的诽谤和责任法律之间取得平衡，这可能会迫使欧盟境内的 AI 驱动型搜索运作模式发生重大转变。
确实，莱尼格尔接受该提议后，仅雇佣了少数几名员工。其中包括几位动画师、一位负责记录拍摄帧数的助理，以及负责操控摄影机的莱尼格尔的丈夫。除了担任导演，莱尼格尔还亲自制作剪影木偶，用硬纸板和铅片裁剪出角色，并用金属丝铰链固定它们的关节。她还构思了电影的剧本，将多个中东童话故事融合成一个完整的故事——《阿赫迈德王子历险记》。
```
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
现存最古老的动画长片迎来百岁诞辰 (bbc.com)
5 分，由 1659447091 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
1659447091 1 小时前 [–]
https://www.youtube.com/watch?v=q-TJvNBO1fw
17 分钟纪录片，展示了莱尼格（Reiniger）的技巧/制作过程
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索：
```
Container machine 为 macOS 提供了一个轻量级、持久且高度集成的 Linux 环境。它基于标准的 OCI 镜像构建，允许开发者运行完整的 Linux 发行版（如 Ubuntu、Debian 或 Alpine），并与宿主机实现无缝集成。 主要功能包括： * **统一的工作流程：** 您的 macOS 主目录和配置文件会自动挂载到容器中，使您能够使用原生 macOS 工具编写代码，同时在 Linux 环境中进行构建和测试。 * **系统级能力：** 与标准容器不同，这些机器运行 `init` 系统（如 `systemd`），使您能够管理长期运行的后台服务，并在模拟生产的环境中测试应用程序。 * **简便的管理：** 通过直观的命令行工具，您可以管理多个特定发行版的机器、调整资源（CPU/内存），并可在不同 Shell 之间即时切换。 * **无需复制步骤：** 由于容器机器与宿主机共享文件系统，Mac 上的分析器和调试器等工具可以直接与 Linux 产物进行交互，无需在不同环境间移动文件。 无论您是需要跨不同发行版进行测试，还是需要一个持久的 Linux 工作空间，Container machine 都能提供快速、集成且灵活的开发体验。
苹果公司发布了“macOS Container Machines”，这是一项旨在为 macOS 开发者提供轻量级原生 Linux 环境的新工具。与标准的 OCI 容器不同，这些机器支持持久化和文件系统挂载，从而提供比传统 Linux 虚拟机更具整合性的体验。
这一消息在 Hacker News 上引发了热烈讨论。许多用户希望这项技术最终能够取代 Docker Desktop 等资源密集型替代方案，通过将庞大的共享后台虚拟机替换为更小巧的苹果原生虚拟机来实现这一目标。
在技术层面，关于架构支持的问题依然存在，特别是该工具是否会像 Colima 等替代方案那样，为 ARM64 Mac 提供 x86 仿真支持。此外，参与者指出该项目似乎仅限于 Apple Silicon，一些人将其解读为一种战略举措，旨在推动用户从英特尔硬件迁移。虽然一些开发者对性能提升和整合潜力感到兴奋，但另一些人仍持怀疑态度，理由是现有的第三方解决方案更为成熟，且该平台在资源管理方面仍面临挑战。