## mine：Coalton & Common Lisp 开发环境
**mine** 是一个为 Coalton 和 Common Lisp 设计的本地集成开发环境 (IDE)，适用于 Windows、macOS 和 Linux。它有两个版本：**mine-app**，一个自包含的应用程序，以及 **mine-core**，一个需要兼容终端的命令行版本。
该 IDE 提供无缝体验，集成了完整的 REPL，允许通过“代码传输”进行即时代码交互。功能包括交互式调试器、带有优化提示的内联诊断，以及专为 Coalton 提供的有用的类型提示和自动补全。
**mine** 还内置了结构化编辑教程——一种高效 Coalton 开发的强大技术——并直接将代码编译为本机二进制文件以获得最佳性能，避免使用虚拟机或解释器。无论您喜欢使用 Coalton 的静态类型还是 Common Lisp 的动态灵活性，**mine** 都支持两者，让您可以根据需要选择或组合使用。
每日HackerNews RSS
## Mine：一款用于Coalton & Common Lisp的新型IDE
一个名为“Mine”（coalton-lang.github.io）的新IDE已经发布，专门为Coalton和Common Lisp开发设计。创建者选择构建一个专门的IDE，而不是集成到现有的Sly/SLIME等选项中，优先考虑易用性和安装便捷性——旨在提供一种即使是非程序员也能快速入门的用户体验。
该项目值得关注的一点是，它本身就是用Coalton编写的，并提供了一个独立版本（使用Tauri和Xterm.js）以及使用自定义终端的选项。虽然一些经验丰富的Lisp开发者提倡使用Emacs等功能强大的编辑器，但许多人认为Mine是一个受欢迎的替代方案，特别是对于那些对复杂配置感到畏惧的新手。
讨论中强调了Common Lisp社区对Visual Studio Code更好支持的需求，以及对优先考虑性能和可定制功能的IDE的普遍呼吁。该项目也被视为一个可用的Coalton项目示例，有助于那些在初始设置方面遇到困难的人。
## Lute：超越 Roblox 的 Luau Lute 是 Luau 脚本语言的一个新的独立运行时环境。虽然 Luau 通常*在*像 Roblox 这样的程序中使用，但 Lute 允许开发者将 Luau 用于通用编程——类似于 Node.js 或 Deno，但用于 Luau。 它通过提供用于文件系统访问、网络、密码学和进程管理等任务的内置 API 来解决 Luau 以前的限制。这使得创建各种应用程序成为可能，包括命令行工具、Web 服务器和自动化脚本。 Lute 通过低级库（@lute 别名）和更易于使用的标准库（@std 别名）提供这些功能。重要的是，开发者正在努力将这些相同的 @std API 集成到 Roblox 本身，旨在实现 Lute 和 Roblox 引擎之间的代码兼容性。
## Lute：Luau 的新运行时
Lute 是 Luau 脚本语言的一个新的、通用的运行时，目前已达到 1.0.0 版本。它采用 Node.js 风格构建，提供文件系统访问、网络、密码学以及强大的模块系统等功能，并利用 libuv 和 libsodium 等库。
一个关键特性是它暴露了 Luau 的语法树 API，允许开发者在 Luau 内部创建强大的代码转换和工具——这对于大型代码库非常有用。它被定位为 Lune 等项目的更通用的替代品，并且由于 Luau 的设计更小、更一致，因此优于 Python 等语言。
讨论强调了与较早的项目（如 Luvit）的比较，以及对 Luau 发展时更轻松的工具更新的期待。Lute 还可能实现与 Roblox 平台兼容但独立的应用程序的开发。
## HATS：AI团队协作
HATS是一个多智能体系统，旨在通过运行受“六顶思考帽”框架启发的“团队”来模拟协作思考。与提供单一答案的典型AI工具不同，HATS提供多样化的视角——白帽（事实）、红帽（直觉）、黑帽（风险）、黄帽（机遇）、绿帽（创意）和蓝帽（引导），它们会积极辩论和挑战彼此。
这种结构化的不同意见有助于压力测试想法、规划项目和探索权衡，取代了传统的头脑风暴。HATS支持各种会议类型（站立会议、冲刺计划等），并配备动画3D头像和语音支持，创造动态、交互式的体验。
该系统具有自管理看板、与Slack、Google搜索和数据库等工具的集成，以及项目隔离功能，以实现有组织的流程。HATS使用Node.js和TypeScript构建，可配置不同的LLM提供商（OpenAI、Claude、Gemini），并支持通过Ollama/LM Studio进行本地支持。它专为开发者设计，提供清晰的设置说明和易用性。
对不起。
自动转换：当你的应用发起HTTPS请求时，Kloak会拦截它，并在转发前用真实的密钥替换哈希值。授权：Bearer sk-live-xyz123...
对不起。
## Claude 代码用于个人项目：摘要 作者通过重启一个搁置的个人项目来测试 Claude 代码（Opus 4.6）：一个“垫片”，旨在将 YouTube Music 作为 OpenSubsonic API 服务器公开。OpenSubsonic 允许各种音乐流媒体客户端和服务器（如 Navidrome、Feishin 和 Symfonium）之间的兼容性。最初的项目旨在使用 `ytmusicapi` 获取元数据，并使用 `yt-dlp` 进行流式传输，从而连接 YouTube Music 与这些客户端。 作者之前已经构建了一个概念验证，并利用 Claude 代码，配合明确的设置——一个 FastAPI 项目、OpenSubsonic API 规范以及在 `CLAUDE.md` 文件中概述的清晰编码规范。工作流程涉及迭代提示、计划审查以及利用 Claude 的搜索功能。 Claude 成功地创建了 API 端点的存根，并在经过一些调试（即使有规范）后，实现了基本的流式传输功能。在 MVP 之外扩展涉及实施缓存、用于元数据的 SQLite 数据库以及处理流式传输中断。作者在一个晚上完成了功能完善的服务，如果没有 AI 辅助，他们可能无法实现。 虽然承认可能存在技能退化的问题，但作者认为 AI 编码工具对于实现“第二类”项目（那些期望但不太可能被处理的项目）非常有价值，同时继续学习（“第一类”项目）。这次体验证明了 AI 能够快速将个人想法变为现实。
## 利用人工智能编码辅助复活废弃项目
最近在Hacker News上的一场讨论强调了一个增长的趋势：使用Claude和Cursor等人工智能编码工具来重振长期搁置的个人项目。用户们发现，人工智能可以帮助他们克服重新熟悉旧代码库的初始障碍，处理样板代码和API桥接。这降低了重新投入项目的“激活能量”。
许多人发现人工智能擅长他们个人不喜欢或觉得耗时的任务，让他们能够专注于创造性方面。有些人甚至在构建完全符合自己特定需求的新应用程序，这在过去由于时间限制而不可行。
对话还涉及到一个有趣的现象，即拟人化人工智能（使用“他”代替“它”），这可能受到营销和语言差异的影响。虽然有些人对人工智能生成的代码质量表示怀疑，但许多人认为它足以满足个人使用场景，在这些场景中，完美并非目标。最终，这些工具正在赋能个人将他们的想法变为现实，即使这些想法以前被认为过于困难或耗时而无法实现。
## 德斯蒙德·莫里斯 (1928-2024) - 摘要
动物学家、作家和艺术家德斯蒙德·莫里斯，以其1967年备受争议的书籍《裸猿》而闻名，享年98岁。 这本书销量超过2000万册，引发了争论，因为它将进化生物学应用于人类行为，将现代人类描绘成从根本上类似于猿类，尽管人类已经取得了进步。
莫里斯的职业生涯涵盖了不同的领域。 他是一位成功的画家，与琼·米罗等艺术家一起展出，伦敦动物园的一位电视节目主持人（最初与大卫·阿滕伯勒竞争），以及动物行为学（研究动物行为）的先驱。 他最著名的实验是动物艺术，特别是与黑猩猩刚果的绘画。
除了《裸猿》之外，莫里斯还在《人类动物园》和《亲密行为》等作品中探讨了人类行为，并研究了非语言交流。 尽管他的理论经常受到质疑——特别是关于性别角色和行为的生物学基础，但他仍然是一位科学普及者，鼓励人们以自然主义的观点看待人类。 他还因拒绝创造真人秀节目《老大哥》而闻名。 莫里斯留下的遗产是一位好奇且多产的动物——和人类——状况的探索者。
对不起。
启用 JavaScript 和 Cookie 以继续。
对不起。
国立国会図書館数字馆藏，是您在国立国会図書館收集和保存的数字资料中进行检索和浏览的服务。
一个黑客新闻的讨论强调了一本于1884年重新发现的书籍——《北斎模様画譜》，最初是作为和服设计的纺织图案指南而创作的。 这本书由著名日本艺术家北斋创作，包含错综复杂的设计，直到1986年在波士顿博物馆重新发现才广为人知，之后日本艺术史学家又发现了更多印刷品。
讨论的中心是如何访问和体验这本书，并提供了指向原始日本国立国会图书馆版本（并附带关于使用翻译工具的说明）以及英国博物馆托管的具有英文界面的版本的链接。 用户还指向了NDL网站上可用的相关染色图案专辑。
有趣的是，一条评论提到了埃舍尔对北斋的波浪描绘的钦佩，并揭示了他自己难以捕捉相同的流动性，最终转向螺旋线。 还有一个10个月前的黑客新闻帖子也被链接，作为最初发现的潜在来源。
框架笔记本电脑 13 Pro：重大升级，Linux 优先
Framework Laptop 13 Pro: Major Upgrades and Linux Front and Center
17 小时前
Framework 发布了 Laptop 13 Pro，这是一次重要的重新设计，解决了之前的问题，同时保持了其核心的可修复和可升级理念。新机型采用坚固的 CNC 铝制机身，解决了摇晃问题，提供石墨色和银色两种选择。电池续航得到了显著提升，配备 74Whr 电池（宣称可播放 20 小时 4K 视频），并搭载高效的 Intel Core Ultra 系列 3 芯片，以及 Wi-Fi 7 和 PCIe 5.0 支持。
主要升级包括定制的 700 尼特、3:2 宽高比的触摸屏显示器和一个新的触觉触控板。重要的是，Framework 仍然保留了用户可升级的 LPCAMM2 模块内存。
尽管进行了更改，Laptop 13 Pro 仍然保持着令人印象深刻的向后兼容性——旧主板可以在新机身上使用，并且可以混合搭配零件，但由于机身重新设计，键盘/触控板/电池除外。Framework 甚至为现有用户提供升级套件。他们现在还提供预装 Ubuntu 的版本，这正变得越来越受欢迎。
售价从 1199 美元起，适用于 DIY 版本，预装机型根据处理器不同，价格从 1499 美元到 1799 美元不等。现已开放预订，预计 2026 年 6 月发货。
## Framework Laptop 13 Pro：来自黑客新闻的总结
Framework Laptop 13 Pro 引起了关注，讨论集中在升级和设计选择上。用户赞扬 Framework 对模块化和可维修性的承诺，强调了升级组件（如屏幕、电池和 WiFi 卡）的能力——这与传统笔记本电脑有很大不同。
一个关键的讨论点是重新设计的扩展卡槽，解决了在移除 USB 数据线时卡片可能断开的问题。Framework 似乎实施了一种更安全的锁定机制，可能像 F11 型号一样带有可选的固定螺丝。
虽然因其开放性而受到赞扬，但 Framework 13 Pro 的价格令人担忧，即使在定制*之前*也经常超过同类 MacBook。然而，支持者认为，由于可升级性和维修选项，长期拥有成本可能会更低。
尽管该公司有“Linux 优先”的营销，但有人对固件是闭源的表示担忧。尽管如此，许多人对真正可定制和可维修的笔记本电脑体验感到兴奋。
## 免费通用搭建套件：连接玩具世界
免费通用搭建套件是一个项目，提供近80个免费、可下载的3D打印适配器，旨在使十种流行的搭建玩具系统——包括乐高、丁丁玩具和K’Nex——完全互通。该套件由F.A.T. Lab和Sy-Lab创建，旨在通过允许孩子们以过去不可能的方式组合不同的玩具套装，来解锁新的创造可能性。
该项目源于连接童年玩具的简单愿望，解决了常见问题：品牌之间的不兼容性。通过利用现成的3D打印技术，该套件为企业限制提供了一种“草根解决方案”，延长了现有玩具的使用寿命和价值。
适配器以.STL文件的形式在Thingiverse等平台上提供，鼓励用户使用3D打印机创建自己的物理副本。该项目倡导开源原则，并挑战“技术锁定”，倡导一个不受品牌边界限制的未来。它被授权用于非商业用途，在尊重知识产权的同时，促进创造力和适应性。
## 自由通用构造套件 (fffff.at) - 摘要
自由通用构造套件 (fffff.at) 是一个2012年的项目，旨在创建可打印的适配器，实现乐高和K'nex等各种构造玩具系统之间的互操作性。该网站自2015年起已停止运作，其特色是连接不同积木的设计，提供了一种“颠覆性且酷炫”的概念。
Hacker News上的讨论显示，该网站目前存在编码问题，由于过去的数据迁移导致字符显示不正确。用户们回忆起童年的积木玩具——林肯木屋、费雪科技、Construx、Erector Sets等等，以及品牌为年轻顾客带来的“护城河”。
虽然有些人质疑3D打印适配器是否能达到足够的精度，但另一些人强调了定制的潜力以及规避品牌锁定的吸引力。该项目引发了关于单位测量（英制 vs. 公制）以及乐高持久流行的讨论，尽管存在替代品和仿制品。值得注意的是，该项目的首字母缩写也引起了人们的幽默关注。