关于航运业脱碳的辩论往往陷入一个误区，即假设现有的船用燃料需求必须以“分子对分子”的方式进行替代。这种“燃料优先”的方法忽视了一个事实：约 50% 的航运能源需求源于化石燃料的长途运输。随着全球能源转型的推进，这部分需求将自然萎缩，从而无需进行一对一的燃料替代。 “分母优先”模式提供了一条更现实的路径。通过考量化石燃料货运的消失、长途铁矿石运输的减少，以及可电动化领域（如渡轮和短途航运）的扩张，剩余问题的规模将显著缩小。一旦剔除掉那些将消失的运输需求，并将短途航线转向电池动力系统，剩下需要液体燃料的长途航行需求将大幅减少。 与其去追求氨或氢等复杂、昂贵且具有危险性的燃料链，航运业应专注于提高效率，在可行的情况下推进电气化，并为剩余的、不可避免的航运业务提供可持续的直接替代液体燃料。航运脱碳的关键不在于寻找石油的通用替代品，而在于认清一个事实：当前这种依赖化石燃料的体系正在从根本上萎缩。
每日HackerNews RSS
化石燃料占货运吨位的 40%，但占其燃料使用量的一半。 Fossil Fuels Are 40% of Freight Shipping Tonnage, but Half Its Fuel Use
3 小时前
Hacker News 上的一场讨论剖析了近期一篇关于化石燃料运输对全球航运影响的文章。该文章标题指出，化石燃料占货运吨位的 40%，却消耗了约 50% 的燃料，这令读者感到困惑，并引发了关于其确切含义的争论。
评论者澄清道，由于化石燃料的运输距离更长（增加了“吨海里”），它们占用了不成比例的航运能力和能源。尽管一些用户认为这一前提令人困惑或不相关，但另一些人则强调了一个更深层的物流洞见，即“货车的暴政”。这一概念表明，航运业目前很大一部分精力都用于运输维持其自身运作所需的能源。参与者将其与饲养役畜等历史物流限制进行了类比，并讨论了向分散式能源生产过渡将如何最终释放大量全球航运能力，以用于运输更有价值的非燃料货物。
本指南展示了如何使用 Python 构建一个名为“Lispy”的 Lisp 解释器。基于“理解编译器是理解计算机的基础”这一理念，本文通过解析与求值的过程，讲解了如何实现 Scheme 语言的功能子集。 该解释器遵循两个核心阶段： 1. **解析 (Parsing)**：`tokenize` 和 `parse` 函数将原始字符串转换为由嵌套 Python 列表表示的抽象语法树 (AST)。 2. **求值 (Evaluation)**：`eval` 函数遍历 AST，根据变量、算术、条件判断和过程调用的语义规则来处理表达式。 为了实现完整的类 Scheme 环境，该解释器使用嵌套的 `Env`（环境）类结合“词法作用域”，以支持局部变量和闭包。这使得通过 `lambda` 形式创建用户自定义过程成为可能。 最终，“Lispy”作为一个极简示例，展示了如何通过少量递归规则和环境管理来构建一种强大且灵活的编程语言。通过摒弃复杂的语法，该项目阐释了语言实现的核心原则，强调了简洁性、一致性以及递归相对于传统迭代循环的强大之处。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
(如何用 Python 编写一个 Lisp 解释器) (norvig.com)
15 分，发布者 tosh，24 分钟前 | 隐藏 | 往日 | 收藏 | 4 条评论
帮助
zahlman 3 分钟前 | 下一条 [–]
(如何用 python (编写 (解释器 lisp)))
回复
tosh 12 分钟前 | 上一条 | 下一条 [–]
我极力推荐去实现一个简单的 Lisp（或者 Forth）。这是一次很有启发性的经历，它也会帮你（在诸多收获之外）以全新的眼光看待括号。
回复
urcite_ty_kokos 9 分钟前 | 上一条 | 下一条 [–]
很欣赏这个标题 xD
回复
e12e 5 分钟前 | 上一条 [–]
(2010年)？
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
由 Simpson 开发的 Callback 8020 旨在填补功能受限的“笨手机”与令人分心的现代智能手机之间的空白。作为一款数字排毒设备，它提供了一种兼顾价格与功能的“中间地带”体验，且无需 Google 账户即可使用。 该设备运行定制的操作系统，严格禁止安装网页浏览器和社交媒体应用，从而确保了无干扰的使用环境。虽然它没有 Google Play 商店，但用户可以通过基于 Aurora Store 的“Commodore Store”获取必要应用。默认未包含的必备软件可通过受审查的白名单流程申请，经由 AI 和人工审核，以确保其符合手机的使用初衷。值得注意的是，它支持 WhatsApp 和 iMessage（通过 OpenBubbles 实现）。 Callback 8020 的定位并非取代主力机，而是作为一款辅助性的“精简工具”，适合在晚间、周末或家庭聚会时使用。它在限制成瘾性平台的同时保留了必要功能，为那些既想减少屏幕时间又不愿完全脱离现代生活的人们提供了一个切实可行的方案。
一款以“Commodore”品牌命名的数字排毒手机在 Hacker News 上引发了争议。尽管该设备旨在通过减少智能手机的干扰来帮助用户夺回注意力，但它在社区中遭到了广泛的质疑。
批评者认为，该项目是利用人们对一个已消失数十年的品牌的怀旧之情进行牟利的投机行为。除了品牌问题外，许多评论者还指出了该手机糟糕的性价比：其硬件配置仅相当于入门级廉价手机，售价却高达 500 至 600 美元。
虽然一些用户承认在寻找主流智能手机的“无干扰”替代品方面确实存在困难，但大多数贡献者仍不买账。主流观点认为，该设备定价过高，属于“过度开采”怀旧价值的潮流，而非真正创新的解决方案。人们将其与 Light Phone 等其他极简主义设备进行了对比，但对于其商业模式的可行性，以及消费者是否愿意为一部“功能手机”支付如此高昂的溢价，外界仍持怀疑态度。
作者认为，Bluesky 的底层协议 ATProto 因个人数据服务器（PDS）管理用户身份的方式而存在重大安全风险。由于 PDS 持有用户的私钥及轮换密钥，服务器运营商对用户身份拥有完全控制权。 这造成了一个极高风险的漏洞：运营商可以在整个 ATProto 生态系统（包括代码库、博客平台和社交信息流）中通过加密手段伪装成用户。与传统平台（如推特封号仅限于平台本身）不同，被入侵或恶意运作的 PDS 可以彻底“抹杀”用户在所有集成应用中的身份，并引发供应链攻击。 尽管该协议旨在实现去中心化，但目前仍依赖于用户对 PDS 提供商的盲目信任。作者指出，该系统以牺牲用户真正的自主权为代价，换取了外包密钥管理的便利性。为降低这些风险，作者呼吁将“自主控制”的轮换密钥设为账户创建时的强制默认选项，而非可选设置。作者警告称，如果不进行这些改进，整个生态系统的安全性将依然脆弱不堪，导致第三方运营商掌握的权力甚至超过了传统的中心化平台。
这篇 Hacker News 的讨论围绕文章《谁拥有你的 ATProto 身份？》展开，引发了关于 AT Protocol（Bluesky）中心化风险的辩论。
核心观点包括：
* **所有权困境：** 一些人认为用户并不担心第三方控制（类似于他们对 GitHub 的依赖），而另一些人则警告称，中心化仍然是一个根本性的陷阱。
* **潜在解决方案：** 评论者讨论了通过自托管个人数据服务器（PDS）来重获自主权。也有人提议通过区块链进行去中心化身份管理，但批评者质疑了密钥恢复的可行性，以及非金融网络中缺乏参与激励的问题。
* **协议对比：** 讨论强调了 ATProto 与联邦宇宙（Fediverse）之间的权衡，指出虽然联邦宇宙提供了去中心化，但却饱受碎片化和资金不稳定的困扰。
* **Bluesky 的现状：** 参与者对该平台的健康状况争论不休，一些人以用户增长停滞作为其失败的证据，而另一些人则为该协议持续的开发和技术活跃度进行了辩护。
归根结底，共识在于：尽管 ATProto 为社交媒体提供了一种新模式，但用户对潜在的中心化风险以及此类去中心化身份协议的长期可持续性仍持谨慎态度。
特朗普政府近期下令强制 Anthropic 公司对其所有非美国用户暂停提供最先进的 AI 模型，这为全球数字依赖问题敲响了警钟。由于 Anthropic 无法核实用户国籍，被迫在全球范围内关闭访问权限，这表明美国正准备利用其 AI 主导地位作为地缘政治工具。 对于法国及整个欧盟而言，这凸显了一个严峻的结构性弱点。尽管欧盟专注于监管层面的“数字主权”，但该地区在基础设施、软件和硬件（如英伟达芯片）方面仍深度依赖美国。虽然法国近期宣布增加 AI 投资并调整战略——例如逐步减少对 Palantir 等美国数据公司的依赖——但这些措施与美中两国动辄数十亿美元的投资相比，仍显苍白。 Anthropic 事件强调了欧洲目前扮演的是监管者而非生产者的角色。展望未来，欧洲面临着一个二元选择：要么继续接受依赖外国技术的风险，要么致力于实现真正的技术自主所需的长期大规模工业投资。那种认为数字访问是全球性权利的时代已经正式终结。
以下是翻译内容：
上述文字摘录了 Hacker News 上关于《特朗普掌控下的 AI：法国能否避免数字依赖？》一文的讨论。
讨论主要聚焦于欧洲在美中 AI 实验室主导下维持数字主权所面临的困境。讨论中的一个重点是法国政府对本土 AI 技术投入的 6.5 亿欧元，用户希望这能支持 Mistral 等本土企业。同时，讨论中强烈呼吁开发欧洲的非营利组织或共益企业（B-Corp）替代方案，以减少对受外国控制的前沿模型的依赖。
然而，讨论也提到了对文章本身质量的质疑，一些用户将其斥为“AI 垃圾内容”。此外，评论者还指出，关于 AI 控制的核心担忧应被视为外国实体影响力的更广泛问题，而不应局限于特朗普政府。
### 摘要：中间商的危机 纵观历史，当技术使分发变得更廉价或更便捷时，那些掌控分发渠道的行业（如报业、唱片公司、电影院等）必然会面临危机。这些“中间商”常将自己对渠道的暂时性控制误认为是永久性的价值。当受到挑战时，他们很少选择转型，反而会游说监管、对新技术进行道德抨击，并声称文明正在崩溃。 核心问题在于，许多传统企业已停止创造价值，转而通过人为制造阻碍来“收取租金”。他们专注于通过数字版权管理（DRM）、区域锁定和法律威胁来保护过时的模式，将客户视为敌人而非合作伙伴。当消费者最终绕过这些模式转向更便捷的替代方案时，这并非社会的倒退，而是更优界面和消费者自主权的胜利。 任何企业的真正生存之道，都在于从寻租转向真正的价值创造。在现代能够蓬勃发展的中间商，是那些能够降低复杂性、改善信息发现并提供高质量体验，从而证明其在供应链中存在意义的企业。如果一家企业唯一的竞争优势就是控制访问权限，那么它便不再是一个可行的实体，而只是在等待市场对其过时性进行清算。
这篇 Hacker News 帖子探讨了“中间人恐慌”，并就互联网的未来和技术代理权展开了讨论。
用户 `hnmullany` 对“技术会自然向好发展”的观点提出了质疑，并以 Adobe Flash 的消亡作为案例。他们认为，苹果为了保护 iOS 生态系统而蓄意扼杀了开放网络，将平台控制权置于技术进步之上。
用户 `cyanydeez` 则提出了更为愤世嫉俗的视角，质疑了“指数级增长不可避免”这一假设。他们认为，数字进步的“下一步”并非理所当然，社会可能正在进入一个整合时代，个人声音正被挤压。他们主张，与其相信无限的机会，不如意识到——像中心化社交媒体平台这样的中间人——可能会越来越多地将参与者拒之门外。评论总结道，将技术颠覆等同于“进步”是一种有缺陷的叙事，并警示人们：数字空间是否会继续为所有利益相关者或后代存在，目前尚无保障。
为了管理不断增长的 Hermes 智能体集群，作者将环境从 Ollama 迁移到了运行在 DGX Spark 上的多模型 vLLM 架构。其目标是在同一个 LiteLLM 代理下，同时部署用于复杂推理的大参数模型（Qwen3-80B）和用于快速工具调用的轻量级模型（Qwen3-4B）。 该实现过程面临了严峻挑战： 1. **显存管理：** `gpu_memory_utilization` 参数指的是总显存的占比，而非剩余显存。尝试分割利用率比例常导致内存溢出（OOM）或静默式的 KV 缓存枯竭。 2. **模型限制：** Qwen3-80B 的“思考（Thinking）”版本被证明与自动化工具调用不兼容，必须切换回标准 Instruct 检查点以确保智能体功能的稳定性。 3. **Mamba 架构：** 与标准的 Llama 模型不同，Qwen3-Next 的 Mamba 状态对齐需要特定的 KV 池规划，这违背了常规的上下文长度直觉。 **解决方案：** 作者建立了一套实证部署流程：优先加载大模型，通过 `nvidia-smi` 测量其实际占用的显存（而非设定值），然后根据剩余空间分配小模型，并为每个进程预留约 5 GiB 的 CUDA 框架开销。规划必须基于观测到的实际数据，而非理论上的比例。
这篇 Hacker News 帖子讨论了在 DGX Spark 等专用硬件上部署本地大语言模型的实际操作与挑战。
发帖者分享了在 DGX Spark 上同时运行两个 Qwen3 模型的技术方案。在评论区，社区成员建议使用 `llama.cpp` 配合 `unsloth` 等工具链，以实现更广泛的模型兼容性。
讨论中有很大一部分内容聚焦于投资本地基础设施的困境。一位用户表达了在 5000 美元预算下进行配置选择时的“分析瘫痪”（例如选择 128GB 内存的 MacBook Pro 还是定制硬件）。他们强调了一个常见的矛盾：既渴望建立自主的本地智能体工作流，又担心硬件会迅速过时且需要高昂的维护成本。
总体而言，这篇帖子反映出人们正日益倾向于摆脱昂贵或表现不佳的商业大模型 API，转而寻求本地部署。同时，这种趋势也伴随着对成本效益、硬件寿命以及维护此类系统所需技术开销的现实考量。
已拦截。由于网络策略，您的请求已被拦截。请尝试在此处登录或注册账户以恢复浏览。如果您正在运行脚本或应用程序，请在此处使用您的开发者凭据注册或登录。此外，请确保您的 User-Agent 不为空，并使用唯一且具有描述性的信息，然后重试。如果您使用了自定义的 User-Agent 字符串，请尝试改回默认设置，因为这有时会导致拦截。您可以点击此处阅读 Reddit 的服务条款。如果您认为我们误拦截了您，或者想讨论获取数据的更简便方法，请点击此处提交工单。联系我们时，请提供您的 Reddit 账户以及以下代码：019eea60-8a77-77f7-adbf-cd19b1104d68
本仓库收录了 David Ahl 所著《BASIC 电脑游戏》和《更多 BASIC 电脑游戏》中的经典游戏，这些游戏已从原始的 GW-BASIC 格式移植为 C 语言版本。尽管代码旨在实现跨平台支持（涵盖 Linux (GCC)、Windows (MSVC) 和 FreeDOS (Open Watcom)），但目前项目仍处于开发阶段，尚未经过全面的测试、调试或验证。 该项目旨在作为协同学习工具；鼓励用户派生（fork）本仓库以协助调试或完善代码。源代码位于 `src/` 目录下，同时保留了原始的 `.bas` 文件以供参考。每个 C 语言文件中也包含了注释形式的原始 BASIC 代码，以便于比对。根目录下提供了适用于所有支持环境的构建脚本。本项目为开源项目，采用 MIT 许可证。
最近一篇 Hacker News 的文章介绍了一个 GitHub 上的新项目，该项目将 David Ahl 的经典著作《BASIC 电脑游戏》（BASIC Computer Games）移植到了 C 语言中。Ahl 的这本书出版于 1973 年，早于许多现代 BASIC 方言和微型计算机的出现，是早期计算机爱好者手动将代码输入 PDP-11、TRS-80 或 Apple II 等系统时的基础教材。
讨论中反映了该书的历史意义，用户们回忆起当年为适配不同平台而手动调整代码的艰辛。尽管评论者指出人工智能现在可以轻松自动完成此类移植，但他们强调这些练习的价值在于手动过程本身以及对历史的保护。一些用户建议，这些游戏是进行“文学编程”（Literate Programming）文档记录的理想素材。该讨论帖还将此项目与 Jeff Atwood 在《Coding Horror》中发起的将该合集翻译成多种现代编程语言的努力进行了比较。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
外籍创业者推动了美国的独角兽企业繁荣 (crunchbase.com)
9 分 | USTECH_WORKER 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助
Cakez0r 11 分钟前 | 下一条 [–]
> 下次如果有人谈论限制移民，就把这个给他们看：美国近一半的十亿美元级初创公司是由在美国境外出生的人创立的。
我不认为那些谈论限制移民的人在乎移民创造了多少家十亿美元级的公司。
回复
USTECH_WORKER 1 小时前 | 上一条 [–]
以色列移民的人均独角兽企业创立率最高 :)
哇 哇 哇。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：