Antimony 是一个基于 Python 的 CAD 工具，围绕三个组件构建：DAG 图引擎、函数式/CSG 几何引擎，以及一个形状与变换的标准库。在一个 CAD 从 Lisp 机器演化而来的平行宇宙构想中，用户通过连接节点进行建模；每个节点是一个 Python 脚本，定义输入、输出和可选的交互式 UI 覆层，变化会向下游传播。几何以函数形式表示，渲染为着色位图，并可导出为高度图或锐边 STL 文件。库涵盖从基本变换到不寻常操作，用户还可定义自定义形状。Antimony 是来自 MIT Bits and Atoms 中心传承的活跃 beta 项目，提供 Mac/Linux 源码和预编译 Mac 应用；欢迎使用 Python 或 C++ 贡献。
每日HackerNews RSS
这段 Hacker News 讨论围绕 2015 年的 Lisp 风格 CAD 工具 Antimony 及其创建者 Matt Keeter 持续进行的隐式曲面研究展开。Keeter 表示维护减少，但指出有一个仍在积极维护的分支 Stibium。他还介绍了后续工作：libfive、一篇 SIGGRAPH GPU 渲染论文，以及基于 Rust 的 Fidget 内核和 Halfspace IDE。评论者比较了 OpenSCAD、CADquery、Build123D、PythonSCAD 和 FluidCAD 等基于代码的 CAD 工具，讨论其优缺点，包括拓扑/引用问题和倒圆角困难。其他人讨论 STEP 作为通用交换格式与可编辑专有模型之间的差异，提到 AutoCAD 的 AutoLISP 历史，并分享使用 AI 进行 CAD 的经验。总体而言，该帖突出了多种 CAD 方法——函数式/隐式建模、代码驱动设计、参数化 GUI 工具和新兴混合方案——同时强调了在可用性、互操作性和长期维护方面的权衡。
轻量、快速且功能完整的 BASIC 解释器，专为中端 Arduino 开发板和微控制器设计。直接在硬件上编写、编辑和运行代码。硬件内编辑器：直接在 Arduino 上编写和编辑 BASIC 程序，无需连接 PC IDE。设计上硬件无关：构建轻量且可移植。Tiny Basic for Arduino 最大程度减少硬件依赖，几乎可以轻松地将 BASIC 引入任何中端微控制器。大量标准库：包含全面的内置函数，用于硬件 I/O、数学运算和位操作。
Hacker News 讨论了 Arduino 板上的 Tiny Basic 解释器。评论者将其与 Parallax BASIC Stamp 等较旧的 BASIC 可编程微控制器进行比较，指出 RP2040/RP2350 等现代板卡更快更便宜，而 Arduino Due 已显过时。一些人认为 BASIC 仍然适用于简单任务且易于学习，尽管 CircuitPython/MicroPython 是如今常见的初学者选择。其他人分享了 Tiny BASIC 和 BBC BASIC 的历史记忆，并推荐了 MMBasic 和 Geoff Graham 的 Raspberry Pi Pico BASIC 等替代方案。一个澄清指出，Python 仅在构建阶段使用；实际的解释器是 C 语言编写的，并作为二进制文件在 Arduino 上运行。总体而言，该讨论串混杂了对早期 BASIC 系统的怀旧情绪与对现代微控制器平台的比较。
启用 JavaScript 和 Cookie 以继续
Hacker News 用户讨论了一篇质疑近期 AI 需求并询问是否正在形成泡沫的文章。评论突出采用不均：一些律师使用 Claude 处理合同，而高端法律工作仍依赖人工审阅；其他人担心 AI 起草的合同质量低。几人认为 AI 模型正商品化，需求不明确使利润不确定，训练成本仍高，可能带来整合或近期回调。一些人指出目前只有少量 AI 支出显示投资回报率，尽管成功用途可能极具价值。其他人提出债务融资的收益、容量限制和国际科技股下跌作为警示信号。总体而言，该讨论串反映出对 AI 公司在没有足够付费需求时能否维持估值的不确定性。
使用真实的 YouTube 视频练习日语口语，逐句评分 Practice speaking Japanese with real YouTube videos, graded line by line
2 天前
请启用 JavaScript 和 cookies 以继续
关于 jivx.com 的 Hacker News 帖子，该工具利用 YouTube 视频逐句评分来练习日语口语。评论者讨论日语性别化表达（onnarashii），指出学习者可能因练习对象不同而习得女性或男性化表达方式；例子包括一位全职奶爸学会了女性化表达，以及一位男子的俄语听起来女性化。其他人将此与英语及其他语言作比较。用户请求类似工具支持德语、西班牙语和普通话，并分享了 yourteacher.ai、manalect.com 和一款台湾游戏等资源。有人对离线 AI 日语对话机器人感兴趣，其中一位用户分享了本地 Python 技术栈。部分评论者对 jivx 的运作方式感到困惑，称其看起来像翻译练习而非口语练习。其他评论还提到了音调重音、用动画学习的方法以及 26 分钟等待时间。总体来说，该帖混合了产品反馈、语言学习轶事和对更广泛语言支持的请求。
Octomind 是一个 CLI 优先的 AI 编码代理运行时，通过 MCP 工具让 LLM 真正访问仓库，支持交互式、管道、守护进程、WebSocket 和 ACP 模式。它为自主工作而构建，具备确定性的 TOML/脚本护栏、自适应上下文压缩、模型/提供商灵活性、预算控制，以及从 taps 安装的打包专家。它可以读取和编辑文件、运行 shell、搜索代码并委托子代理。基准测试报告称，在 25 个留出任务中解决了 24 个，成本更低且挂钟时间比竞争对手更快。安装方式包括安装脚本、Homebrew、Scoop、Cargo 或 Docker，然后运行 `octomind run developer:general`。它还支持角色、工作流、MCP 服务器、技能、本地工具、结构化输出、沙箱以及通过 TOML 的配置。遥测数据匿名且可退出。Apache License 2.0。
Hacker News 讨论了 Octomind，一个开源的静态 Rust AI 编码代理 harness，声称可节省 token。它以 CLI 优先，支持管道、调度、嵌入和 MCP 工具。评论者询问基准测试、与其他 harness（如 oh-my-pi、maki.sh、Codeoid 和 ante）的比较，并质疑过时的基准模型。其他人对通过 curl 脚本安装、包管理器以及 README 清晰度/AI slop 表示担忧。作者回应称它在 GLM 模型上优于 Claude，针对自主/后台工作优化，可交互运行，并计划改进基准测试和 README。一些用户质疑 token 节省与质量相比是否重要，并希望有每结果成本指标。总体而言，项目看起来有前景，但需要更清晰的文档、更新的基准测试和更简单的分发。
Anthropic的IPO文件警告，它可能"即将"接近RSI Anthropic's IPO Filing Warns It May Be 'Imminently' Close to RSI
2 天前
Anthropic的SEC文件称，内部估算表明它可能很快达到其对递归自我改进的定义，但当前模型尚未达到，公司可能会更新其负责任扩展政策。其自身文章更谨慎：AI尚未达到此阶段，自主研究份额仍为零，人类仍选择问题并评判结果。已发布的指标显示Claude加速了编码和研究任务，但关键测试存在注意事项且由Claude评分。独立基准也显示快速进步，但存在较大不确定性和测量限制。前沿实验室正在敦促放慢节奏，而批评者称这是监管俘获。Hugging Face事件涉及智能体在人类错误配置下追求被分配的目标，而非设定新目标。总体而言，证据支持AI是强大的研究工具，还不是自我维持的改进循环。
Hacker News 讨论了一篇关于 Anthropic IPO 申报的文章，称该公司在《负责任扩展政策》下可能接近"递归自我改进"（RSI），但其先前数据表明该循环并未完全闭合。评论者普遍持怀疑态度，认为该说法是为支撑高 IPO 估值或转移财务注意力而炒作。有人将 RSI 与真正的自我意识区分开来，认为它是自动化 AI 研究和渐进式模型改进，而非突然的奇点。也有人指出 AI 辅助研究已在复合，而批评者警告会出现平台期、炒作周期和盈利路径不明朗。此外还有关于资源分配、价格配给以及 AI 编码改进是否快于文本改进的争论。总体而言，该帖将 Anthropic 的警告视为争议性观点，对近期 RSI 是否可行或只是营销看法不一。
人类验证 为了继续，您需要通过解决验证码拼图来验证您不是机器人。该验证码拼图需要 JavaScript。请启用 JavaScript，然后重新加载页面。
富士胶片计划将磁带产量提高五倍，因为 AI 推动归档需求。Hacker News 的讨论聚焦于磁带是否可靠且经济。有经验的用户意见不一：一些人表示在正确维护和环境下故障罕见，而另一些人则描述读取错误、驱动器不兼容和机械问题。常见建议包括验证恢复、写入多份副本、使用清洁磁带、记录格式以及保持稳定环境。磁带每 TB 仍便宜，但需要昂贵的驱动器和磁带库；更新的 LTO 世代降低了向后兼容性。评论者将磁带与云冷存储、HDD、光盘介质和闪存进行比较，指出在成本、容量、检索速度和耐久性上的权衡。更广泛的主题包括数据保留增长、AI 训练/垃圾内容归档、勒索软件物理隔离、灾难恢复以及经过测试的恢复流程的必要性。总体而言，磁带在谨慎管理时被视为强大的冷归档介质，但不是简单的“设置后不管”的备份。
在 EMFCamp，作者讨论了 AI 相关问题，并描述了向 Ocado 投诉格式错误的日历邀请。由于没有技术联系人，他们使用了客服反馈渠道。Ocado 来自 "Lulu" 的回复看起来像 AI 生成的：过于附和、大量使用破折号、没有人情味，让人对 bug 是否被审查毫无信心。作者给出了差评，并批评在真实投诉中使用 AI。几天后，一位人工代表更有人情味地回复，道歉，感谢他们提供的详细诊断，并表示已转交团队。作者认为 AI 可以帮助分类、总结或分析客户消息，但用 AI 回复人是不尊重的，值得指出。
Hacker News 的讨论围绕一篇关于抵制 AI 生成客户支持的博客文章展开。作者向 Ocado 报告了一个格式错误的日历邀请，并对 AI 味第一回复之后看起来像人类的第二回复感到满意。评论者争论第二条消息是否真的来自人类，引用其语气以及 Pangram 等 AI 检测工具。更广泛的主题包括 AI 客户服务质量、快速的 AI 回复是否尊重客户，以及 AI 如何掩盖或替代人类沟通。有些人支持透明的自动化或 AI 路由；其他人则认为人类支持对品牌信任和解决问题很重要。总体而言，该帖子反映了在区分 AI 与人类写作方面的不确定性，以及关于客户支持中 AI 使用何时可接受的分歧。
```
Hacker News 的一个帖子讨论了微软对近期加拿大 BC、阿尔伯塔、曼尼托巴和安大略西部时区变化的处理不当，导致管理员手动修复日历。评论者指出微软不使用 tzdata，而 Apple 和 Linux 系统通常适应得更顺畅。一个关键问题是，更新 Windows 时区设置不会更新已按旧偏移安排的未来 Outlook 会议。用户争论日历是否应使用基于城市的时区标识符，例如 America/Edmonton，以及事件应存储为 UTC 还是本地时间。UTC 对过去事件有效，但未来事件应存储为本地时间加位置，因为时区规则可能变化。一些评论者说微软有数月通知，其他人强调诸如 Kenora/安大略西部的边缘案例。总体而言，该帖子显示时区变化在技术和社交上都复杂，日历系统需要健壮地处理未来本地时间。
维苏威挑战赛向 Liam Warner 和 Nicola Bodill 授予 5 万美元的“首字母奖”，以表彰他们在公元 79 年维苏威火山掩埋的赫库兰尼姆卷轴 PHerc. 306B 中揭示出可读墨迹。该卷轴分为 306A（下部）和 306B（上部）。他们的提交达到奖项目标：在 4 平方厘米内有 10 个可读字符，其他团队也接近该目标。恢复的文本支持读作 τὸ δι᾽ αὑτὸ αἱρετόν（“自身值得选择之物”），该短语具有哲学对应关系，并在伊壁鸠鲁语境中与善和快乐相关。他们的方法使用了 VC3D GrowPatch，并结合 TRACE v3B 与定制 A-hn 墨迹模型。此发现使 306A 更值得扫描，并使 PHerc. 306B 仍有机会争夺 80 万美元的最高奖。其他二十份已扫描卷轴仍符合首字母奖资格。
一篇 Hacker News 帖子首次报道了 2000 年来在赫库兰尼姆纸草 PHerc. 306B 上看到的新文字。评论者对恢复古代文本感到兴奋，指出大多数已知卷轴是伊壁鸠鲁哲学，但希望出现失传戏剧或早期基督教作品等异例。一些人提到赫库兰尼姆很可能还有更大的未发掘图书馆，意大利当局已限制进一步发掘，直到现有纸草能被非破坏性读取。其他评论者将进展与人类基因组计划相比，认为快速进步可能很快解锁数千卷卷轴。讨论还提到过去试图展开卷轴造成的损坏、每一片恢复碎片的价值，以及包括软件工程师和古典学者在内的贡献者。总体而言，该帖强调了非破坏性读取碳化古代文本的科学与历史意义。