与大多数作为单一实体演进的编程语言不同，Lisp 是一个方言家族，它们共享基本原理，但在语义、库和功能上有所不同。对于初学者来说，选择方言可能令人望而生畏，但其核心概念在整个家族中是一致的。
最著名的方言包括：
* **Common Lisp：** 一种成熟、高性能且稳定的语言，于 1994 年标准化。它支持多种范式、原生编译（例如 SBCL），并拥有可以说现存最强大的 REPL 环境。它非常适合对速度和交互性要求极高的复杂、长期运行的系统。
* **Clojure：** 一种托管在 JVM 上的现代函数式 Lisp，允许与 Java 库无缝集成。它优先考虑不可变数据结构和并发性，是现代全栈应用程序中非常实用且经过业界验证的选择。
* **Racket：** Scheme 的后裔，专为“面向语言编程”而设计。它擅长原型设计和构建新的领域特定语言。其全面的标准库和集成开发环境（IDE）使其成为学生和研究人员的最爱。
* **Elisp：** 一种专门用于定制和扩展 Emacs 编辑器的方言。
对于专业用途，**Clojure** 通常是最实用的切入点。**Common Lisp** 最适合寻求原生性能的传统主义者，而 **Racket** 则非常适合学习者和语言研究人员。
每日HackerNews RSS
Hacker News 上的讨论帖“通往 Lisp 之路：哪种 Lisp”对如何选择 Lisp 方言以及如何深入了解这一语言家族进行了广泛的探讨。
**核心主题：**
* **方言选择：** 参与者讨论了 **Common Lisp**（成熟、标准化、高性能）、**Scheme/Racket**（极简、非常适合学习与教育）以及 **Clojure**（现代生态、集成 JVM）各自的优劣。
* **“Lisp 体验”：** 用户强调了通过“实时”开发、REPL 驱动的工作流以及宏（Macro）所带来的独特生产力。宏允许开发者根据具体需求塑造语言本身。
* **常见挑战：** 新手经常遇到的障碍是生态系统中的“选择悖论”——具体而言，某些 Lisp 变体缺乏类似 Rust 的 Cargo 那种用于打包、测试和依赖管理的单一规范化工具链。
* **可读性与语法：** 尽管有些人认为 Lisp 的 S-表达式语法和缺乏传统的程序化结构具有挑战性，但另一些人则认为，通过合适的编辑器工具和缩进规范，Lisp 反而是最易读、表达最直观的语言。
最终，大家的共识是，最适合的 Lisp 是那些符合用户特定性能或生态需求的语言。许多人推荐从《Practical Common Lisp》或《How to Design Programs》（基于 Racket）作为入门起点。
这篇文章详细介绍了 AI 审计工具“zkao”如何发现 OpenVM 的 `openvm-pairing` 来宾库中存在的一个严重可靠性漏洞（CVE-2026-46669）。
该漏洞位于一项配对检查优化中。为了避免昂贵的最终幂运算，OpenVM 使用了一种“残差见证”（residue-witness）优化方案，该方案要求缩放因子必须限制在特定的子域（$\mathbb{F}_{p^6}$）内。由于代码未能强制执行此子域成员资格检查，恶意证明者可以提供伪造的缩放因子来验证错误的配对等式。该漏洞可被用于在任何依赖 OpenVM 的系统中伪造 KZG 开口、SNARK 证明和加密签名。
此问题已在 OpenVM 1.6.0 版本中通过添加必要的子域检查得到修复。
作者指出，虽然普通的大语言模型（LLM）难以处理 zkVM 代码库的复杂性，但他们使用定制化“cryptopsy”流程的专用代理 zkao 成功发现了这一缺陷。该实验证实，对复杂的密码系统进行有效的 AI 审计，需要专门的上下文工程，而不仅仅是依靠模型本身的算力。研究团队正在持续优化 zkao 生成可靠概念验证（PoC）的能力，并降低自动化漏洞分类中的误报率。
抱歉。
在遥远恒星宜居带内的类地行星上首次发现大气层 First atmosphere found on Earth-like planet in habitable zone of distant star
2 天前
研究人员在《科学》杂志上撰文明确表示，他们至少目前还未做到这一点。但一颗行星要孕育生命，就必须拥有水，而要拥有水，它与恒星的距离就必须适中：不能太近，否则温度过高；也不能太远，否则温度过低——必须处于两者之间“刚刚好”的位置。
近期在类地系外行星 LHS 1140b 上发现潜在大气层的消息，引发了 Hacker News 社区的广泛讨论。尽管研究人员已确认该行星存在氦气，但其大气成分及维持生命的能力仍存在巨大争议。
讨论主要聚焦于以下几个方面：
* **科学怀疑论：** 评论者们争论这颗常被称为“超级地球”的行星是否能够抵御恒星风的剥离从而留住大气，以及氦气是否能作为判断环境是否适宜生存的有效指标。
* **宇宙的尺度：** 许多用户强调了星际旅行的巨大难度。由于该行星距离地球 48 光年，以目前或可预见的技术，抵达那里需要数万年时间。因此有人认为，人类应将重心放在太阳系内或地球自身。
* **技术推测：** 讨论涉及了先进的成像技术（例如将太阳作为引力透镜）以及星际探测器的长期可行性。
* **哲学分歧：** 讨论串反映了“支持探索派”与“现实主义派”之间的碰撞。后者认为寻找外星生命要么是科学上的必要，要么是一场受科幻作品驱动、既昂贵又逃避现实的幻想。
尽管咨询顾问通常是被雇来解决问题的，但作者指出，解决问题只是面对组织挑战时的四种常见反应之一。其他三种反应包括： 1. **推卸问题**：以牺牲一个部门为代价来优化另一个部门。这通常是系统性的激励问题，而非个人能力不足。 2. **维持问题**：基于“舍基原则”（The Shirky Principle），机构往往会无意中延续其创立之初旨在解决的问题，因为这些问题已成为其存在目的或收入来源。 3. **制造新问题**：正如杰里·温伯格（Jerry Weinberg）所言，解决一个问题不可避免地会带来新的问题。 作者最终认为，“完整性的幻觉”——即认为终有一天能彻底解决所有问题——是一个陷阱。有效的解决问题需要意识到问题是永恒的。虽然善于解决问题的人生活得更好，但作者建议，长期成功的秘诀在于拥有智慧去选择哪些问题值得解决，并有纪律地忽略那些不值得解决的问题。通过利用共享图表将问题可视化，团队可以摆脱这些被动的循环，从而专注于真正重要的事情。
这篇 Hacker News 的讨论探讨了个人和组织在面对问题时，除了“解决问题”之外的各种应对方式。对话的核心观点是：许多所谓的“解决方案”实际上是一种防御机制，旨在维持现状或保护个人利益。
主要主题包括：
* **保留问题：** 通常，那些被指派“解决”复杂问题（如无家可归、犯罪或官僚效率低下）的人，往往隐含着维持问题存在的动机，以此来证明其预算、工作岗位或政治影响力的合理性。
* **合理化与否认：** 人类擅长为不作为寻找理由。无论是通过“逃避”、“推卸”责任，还是“掩盖”症状，个人往往更看重短期的安逸或政治生存，而非长期的解决之道。
* **系统性与个人激励：** 参与者指出，普内尔官僚主义铁律（Pournelle’s Iron Law of Bureaucracy）常在此处适用：组织演变的目标往往是服务于自身，而非其既定目标。此外，在职场环境中，“什么都不做”往往是一种战略选择，旨在规避积极决策所带来的风险。
* **“专家”陷阱：** 专家可能会避免触及问题的根源，以维持自己的地位或权威，他们更倾向于管理表象问题，从而使自己显得不可或缺。
在这封信中，首席技术官 Raffi Krikorian 指出，开源和开放权重人工智能已经成熟，成为封闭系统强有力且实用的替代方案。从毛利语保护到人道主义医学研究及离线农业工具，开发者们正在利用开源模型来获得自主权、降低成本并确保可靠性。 统计数据表明，开源模型正获得显著普及，Hugging Face 和 OpenRouter 等平台拥有数百万用户和数万亿的代币处理量。尽管封闭系统目前在顶级性能上仍具微弱优势，但开源模型已经达到一个临界点，成为大多数实际应用中的更佳选择。 Krikorian 警告称，不要陷入封闭且中心化的人工智能所带来的“租赁式未来”，并指出了这种依赖性和外部控制的风险。他将这一趋势与互联网早期阶段进行类比，倡导构建一个植根于互操作性和竞争的去中心化生态系统。通过让更多人拥有并控制其技术，开源运动确保了创新保持民主化。信件最后呼吁：与其依赖少数守门人，不如依靠数百万开发者在开放环境中共同努力，这种集体的力量终将超越并胜过专有人工智能的封闭壁垒。
本次讨论聚焦于 Mozilla 关于“开源人工智能现状”的一份报告，引发了关于人工智能行业未来的激烈辩论。
**支持开放权重/模型的观点：**
支持者认为，开源模型正在加速创新，并对 OpenAI 和 Anthropic 等“前沿”实验室构成了真正的生存威胁。他们指出，随着推理成本的下降以及本地硬件（内存/显卡）性能的提升，企业将更倾向于选择自托管或更廉价的开源替代方案，而非昂贵且受限的专有 API。一些人认为，开放权重是一种地缘政治策略，特别是中国企业正借此削弱西方的主导地位并获取市场份额。
**反方观点：**
怀疑论者认为“开源”一词存在误用，因为这些模型通常只是由资金雄厚的营利性实体开发的“开放权重”模型，而非社区驱动的开源项目。他们认为，开源模型与顶尖专有系统之间仍存在显著的性能差距，特别是在可靠性和复杂工具使用方面。此外，许多批评人士认为 Mozilla 的这份报告本身就是“人工智能垃圾内容”，它依赖激进的设计和生成的文案，而非实质性的分析。
讨论总结认为，尽管人工智能正在飞速发展，但专有集权与开源扩散之间的博弈尚未有定论，而部署与基础设施正成为新的“护城河”。
抱歉。
人工智能的飞速发展降低了网络攻击的门槛，使得攻击者能够实现漏洞利用的自动化与规模化。随着传统安全措施逐渐显得力不从心，行业必须转向主动的、由人工智能驱动的防御策略。 为了应对这一不断变化的威胁态势，第一资本（Capital One）开源了 **VulnHunter**。这是一款智能代理安全工具，旨在将优势重新带回给防御者。与仅标记问题的被动扫描程序不同，VulnHunter 利用高级推理从攻击者的角度分析源代码。它能识别可利用的缺陷，规划潜在的攻击路径，并生成具体的代码修复方案。通过使安全团队能够在漏洞被人工智能驱动的攻击者利用之前发现并修复它们，VulnHunter 代表了主动软件安全领域的一次重大演进。
抱歉。
多基色显示技术成为下一代色彩还原技术 Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology
2 天前
请启用 JavaScript 和 Cookie 以继续。
抱歉。
在测试了复刻版的 Pebble Time 2 后，作者得出结论：现代智能手表变得过于复杂，且容易受到计划性报废的影响。相较于苹果和三星等需要高维护成本的生态系统，作者更青睐功能性强、如同伴般的设备，并指出了 Pebble Time 2 成为更优选择的三个关键原因。
首先，它拥有出色的续航能力——单次充电可使用长达两周，消除了 Apple Watch 等设备常见的“充电焦虑”。其次，PebbleOS 提供了一种轻量、灵敏且高度可定制的体验，不易过时；与主流竞争对手不同，即使多年过去，这款手表依然功能完备且响应迅速。最后，电子纸显示屏提供了极佳的可见性，其“全天候显示”的实用特性，使其更像是一件可靠的工具，而非易耗的科技产品。
对作者而言，Pebble Time 2 是对智能手表最初承诺的一次回归：它是一个拿来即用的伴侣，让用户掌握主动权，摆脱了对频繁更新或每日充电的依赖。
这篇 Hacker News 的讨论探讨了一个日益增长的趋势：用户正放弃“智能”手表，转而选择传统的指针式手表或功能单一的健身追踪器。
许多参与者认为，主流智能手表只是“手机中继器”，它不仅破坏了冲动控制能力，还导致了不健康的持续联网状态。用户们表达了对每日充电的疲惫、对健康数据隐私的担忧，以及由“数据驱动”的健康追踪所带来的压力。
相反，那些支持 Garmin、Coros 或 Withings 等更简单设备的人，则欣赏它们在长续航、专业传感器（如 GPS 和高度计）以及自定义通知功能之间取得的平衡。而改回佩戴机械表或指针式手表的用户，则称赞其工艺美感、永恒的格调，以及摆脱屏幕干扰后的自由。
归根结底，这种共识指向了向“数字极简主义”的转变。许多用户发现，他们更偏好功能更少、更专注的设备，甚至完全不需要智能功能。他们认为，真正的实用性往往在于克制，而非现代智能手表所表现出的功能冗余。
**Manufact** 是“MCP 领域的 Vercel”，旨在提供云基础设施，用于部署和扩展 Claude、ChatGPT 及更广泛 MCP 生态系统中的 AI 智能体连接器。作为热门 SDK `mcp-use`（在 GitHub 上拥有超过 1 万颗星，并被 NASA 和 NVIDIA 等行业领袖广泛采用）背后的团队，我们已获得 630 万美元的种子轮融资，致力于占领全球 AI 工具调用市场。 我们正在寻找一位基础架构工程师，负责保障我们云平台的端到端稳定性和可扩展性。你将负责构建稳健的监控、可观测性和告警系统，管理多租户安全边界，并制定私有云部署（AWS/GCP/Azure）的蓝图。 **职位要求：** * 具备构建和运营大规模端到端云系统的丰富经验。 * 在可观测性技术栈（日志、指标、追踪、仪表盘）方面拥有深厚专业知识。 * 精通 Kubernetes、Terraform 以及容器化多租户环境。 * 能够在初创阶段担任基础架构负责人的角色。 * 身处旧金山或愿意搬迁至旧金山。 如果你有构建 PaaS 类平台的经验，并希望定义 AI 智能体经济的基石，我们期待你的加入。
抱歉。