## Sgai：AI驱动的本地软件开发
Sgai 将软件开发转化为以目标为导向的多智能体工作流——一个直接在你的代码仓库中运行的本地“AI软件工厂”。 你无需逐步提示，只需在 `GOAL.md` 文件中**定义期望的结果**（例如：“构建一个音乐音序器Web应用”）。
Sgai 然后利用 AI 智能体（开发者、审查者等）来**规划和执行工作**，并将其可视化为工作流图。 你通过审查计划、回答澄清问题和监控进度来**监督**。 完成情况通过自动化测试和代码检查来验证。
主要特性包括：**可视化工作流**、**专业智能体**、**本地执行**（数据不会离开你的机器）和**从过往会话中学习技能**。 Sgai 不仅是自动补全，它*构建*软件。
**安装**通过 `opencode` 或手动设置（需要 Go、Node.js、bun）实现。 演示视频可在 [https://youtu.be/NYmjhwLUg8Q](https://youtu.be/NYmjhwLUg8Q) 观看，更多文档请访问 [https://github.com/sandgardenhq/sgai](https://github.com/sandgardenhq/sgai)。
每日HackerNews RSS
## Sgai：目标驱动的AI辅助开发
Sgai 是一款新的开源（Go）工具，旨在彻底改变 AI 辅助编码。与传统的提示方法不同，Sgai 采用在 `GOAL.md` 文件中定义的目标——需要构建*什么*，而不是*如何*构建——并使用协调的 AI 代理网络来实现它。这些代理会分解目标，提出澄清问题，编写和测试代码，并迭代直到完成，所有这些都在一个本地仓库中，并配备实时网络仪表盘。
该项目由 sandgardenhq 创建，已被内部用于原型设计和工具开发。虽然仍处于早期阶段，但它支持 Anthropic、OpenAI 以及通过 opencode 的本地模型。
Hacker News 上的讨论集中在基于 DAG 的多代理工作流的潜力、定义良好的 `GOAL.md` 文件的重要性，以及该项目独特的修改版 MIT 许可证，该许可证限制了基于该软件的商业 SaaS 产品。创建者澄清，该许可证旨在防止他人未经参与而获利，承认其局限性，但捍卫了开源并附带此例外条款的决定。
[GitHub](https://github.com/sandgardenhq/sgai)
[Demo](https://youtu.be/NYmjhwLUg8Q)
PL/0 是一种由尼克劳斯·维尔特设计的、故意简单的编程语言，作为教学编译器构造的工具。它于 1976 年在他的著作《算法 + 数据结构 = 程序》中首次介绍，是 Pascal 的简化前身，缺乏像实数和复杂控制流这样的特性，而是专注于基本的整数运算和 `if`/`while` 语句。 它的简单性使其成为学生构建编译器的理想选择，通常使用递归下降解析。虽然不适用于实际应用，但 PL/0 的设计鼓励将其扩展为具有数组和参数传递等特性，作为学习练习。 维尔特最初的实现具有有限的输入/输出，但大多数版本现在都包含基本例程。在几十年里，PL/0 一直是编译器课程的核心，介绍了像 EBNF 符号和 P 代码这样的关键概念。最近，现代实现已经结合了面向对象原则和 Python 等脚本语言。 维尔特最终用更复杂的 Oberon-0 替换了 PL/0，并在他教科书的后续版本中使用。
## PL/0 编译器重新实现与讨论
用户 dtoffe 将尼克劳斯·维尔特 1976 年的《算法 + 数据结构 = 程序》中的 PL/0 编译器源代码转录并改编，使其能在 Free Pascal 中运行，可在 [GitHub](https://github.com/dtoffe/adsp-pl0) 上找到。原始的 PL/0 缺少 `read` 和 `write` 语句，而是通过解释器在执行期间显示变量值。该实现考虑了原始 CDC 6000 的 6 位字符编码，用 `#`、`{` 和 `}` 替换了 `<>` 等符号。
该帖子引发了关于赋值运算符的讨论，一些人更喜欢使用 `:=` 而不是 `=` 以提高声明式语言的清晰度，而另一些人则认为 `=` 足够了。人们还注意到使用 `=` 进行赋值和比较时解析的复杂性。进一步的讨论涉及 Addison-Wesley 停止出版维尔特的书籍，但这些书籍有修订的在线版本，以及对维尔特语法怀旧的偏好。最后，用户讨论了在计算产品名称中使用正斜杠的历史趋势（PL/0、CP/M 等），认为这源于 IBM 的命名惯例。PL/0 被设计为一种简单的教学语言，与 PL/I 的复杂性形成鲜明对比。
## Windows 11 预览版用户Notepad & Paint 更新
微软正在向 Windows 11 Canary 和 Dev 渠道的预览版用户推送 Notepad 和 Paint 的更新。
**Notepad** (v11.2512.10.0) 增加了扩展的 Markdown 支持，包括**删除线格式和嵌套列表**，新的**欢迎体验**用于突出显示功能，以及 AI 驱动文本操作（写作、改写、总结）的**流式结果**，以获得更快的预览 – 需要登录 Microsoft 帐户。
**Paint** (v11.2512.191.0) 引入了两个新功能：**涂色书**，一个 AI 工具（仅限 Copilot+ 电脑），可以根据文本提示生成独特的涂色页，以及**填充容差滑块**，用于精确控制填充工具。这两个功能都需要登录 Microsoft 帐户。
鼓励用户通过反馈中心 (WIN + F) 在“应用”>“Notepad”或“Paint”下提供反馈。
## Racket v9.1 发布 Racket v9.1 现在可在 [https://download.racket-lang.org/](https://download.racket-lang.org/) 下载。此版本专注于文档、开发者工具和核心功能的改进。 主要更新包括特定语言族文档组织（目前 Rhombus 正在使用），增强了带有错误处理的 `for` 循环功能，以及 DrRacket 中的 GUI 改进——包括弯曲的语法箭头和语言感知的“插入大写字母”。 在底层，此版本引入了 `exn-classify-errno` 以实现可移植的错误处理，调整了 Racket BC 的字符操作行为，并改进了结构类型创建和包配置。还添加了 OpenSSL 遗留提供程序的访问权限。Typed Racket 受益于改进的类型传播。 此版本是大量社区贡献的结果，鼓励用户使用 `raco pkg migrate 9.0` 从 v9.0 迁移。有关完整详细信息，请参阅发布公告：[https://blog.racket-lang.org/2026/02/racket-v9-1.html](https://blog.racket-lang.org/2026/02/racket-v9-1.html)。
## Hacker News 上关于 Racket v9.1 的讨论
最近 Hacker News 上出现了一场关于 Racket v9.1 及其优缺点的讨论，尤其与 Common Lisp (CL) 进行了比较。用户称赞 Racket 的强大功能和优秀的入门书籍《The Little Learner》，它有效地教授深度学习概念，而无需繁重的数学先决条件。 许多用户成功地将这本书作为进入深度学习项目的跳板。
讨论的主要缺点是 Racket 的 REPL 体验。 与 CL/Sly 不同，标准的 Racket 设置（如 `racketmode`）通常需要在代码更改时完全重新加载 REPL 状态，从而阻碍了增量开发。 然而，用户澄清说，这可以通过使用 Geiser 或 Swank-Racket 的设置来克服，从而实现实时求值。
这次对话也引发了关于什么构成“真正的”Lisp 的争论，一些人认为实时镜像和 REPL 驱动的开发是 Racket 和 Clojure 缺乏的重要功能。 另一些人指出 Racket 最近被 LeetCode 接受，作为一个实际应用案例。
## Trellis：人工智能驱动的医疗保健通道 Trellis是斯坦福人工智能实验室的衍生公司，利用自我改进的人工智能代理，为美国50个州的患者简化获得救命药物的途径。他们自动化关键流程，如文件接收、事前授权和申诉，每年处理数十亿美元的疗法。本质上，Trellis提供基础设施，帮助患者*获得*他们需要的药物。 公司目前正在寻找一位高度组织化和精通技术的人才来领导客户部署。该职位需要3年以上客户对面的经验，强大的项目管理技能，以及将技术解决方案转化为实际商业价值的能力。 Trellis提供了一个独特的机会，可以在医疗保健领域产生重大影响，与行业专家和世界一流的团队合作，同时构建最先进的人工智能系统。凭借快速增长和可观的市场份额，Trellis有望彻底改变医疗保健的可及性。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Trellis AI (YC W24) 正在招聘部署负责人以加速药物获取 (ycombinator.com)
1天前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
一位历史教授观察约翰霍普金斯大学在接近150周年之际的变迁。他将该校的创校理念——开创现代研究型大学——与其目前的轨迹形成对比，后者以新的SNF阿戈拉学院和大型人工智能设施等奢华建设项目为标志。这些项目由大量捐款推动，似乎更注重声望和排名，而非学术需求，蚕食现有资金，并将美学置于教室空间之上。
该教授批评董事会日益受到缺乏学术专长的捐助者和商界领袖的影响，例如与Theranos丑闻有关的董事，以及专注于提升《美国新闻与世界报道》排名的校长。他注意到权力向中心集中的转变，削弱了教职员工的参与度，以及对昂贵、目光短浅的举措日益依赖。
他哀叹研究生项目的削减和教职员工治理的侵蚀，质疑大学的长期愿景。虽然承认这些建筑具有建筑价值，但他认为它们是“机场崇高”的象征——代表全球资本的无处不在的结构，并担心霍普金斯正在牺牲其核心使命以换取表面的收益，最终“欺凌弱小”。
## 加快公交车速度：改善公共交通的简单方案
尽管经常被铁路项目掩盖，但在许多国家，公交车运送了大多数人，并且在新冠疫情后正在恢复客运量。 阻碍公交车效率的关键问题是*速度慢*——通常与步行速度相当——这主要是由于频繁的停靠站。
一个出人意料的、性价比高的解决方案是“站点平衡”：战略性地增加站点之间的距离。 与欧洲国家相比，美国城市的站点通常更密集，为了最大化覆盖范围而牺牲速度和效率。 将站点间距从大约每 200-300 米增加到 300-450 米，可以在无需重大基础设施改造的情况下显著缩短旅行时间——研究表明速度可提高 6-29%。
这种优化还可以降低运营成本，因为需要的公交车和司机更少，从而使机构能够将节省下来的资金再投资于更好的站点设施（候车亭、实时信息）和更高的服务频率。 此外，更快、更可靠的公交车可以扩大网络的覆盖范围，使公共交通成为更具竞争力和吸引力的选择，最终提高客运量。 站点平衡是一项快速、廉价且具有影响力的改革，可以改变公交运输。
## 美国减少公交站点？Hacker News讨论
一篇最近的文章提出美国需要减少公交站点，引发了Hacker News的讨论。核心观点是，减少站点间距（目前700-800英尺，建议1300英尺）可以显著提高公交服务速度，吸引更多乘客。
许多评论者同意频繁的站点会造成令人沮丧的慢通勤，尤其与驾驶相比。一些人指出，这种优化可能在*没有*广泛地铁系统的城市（如纽约）中更有效。然而，也有人担心这会降低那些无法步行更长距离的人的便利性，可能影响弱势群体的乘客量。
讨论强调了优化现有乘客与吸引新乘客之间的矛盾。多位用户强调需要更广泛的系统改进——例如专用公交车道、信号优先和增加资金——而不是仅仅关注站点间距。另一些人则建议替代方案，例如更小、更灵活的面包车服务或动态定价系统。最终，这次对话凸显了效率、可达性和公共交通整体质量之间复杂的相互作用。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都拥抱并接受了我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
糟糕！访问被拒绝：错误代码bf584155dcd667f7。
由Anubis From Techaro保护。
🇨🇦制造，充满爱❤️。
吉祥物设计由CELPHASE完成。
本网站运行Anubis 1.25.0版本。
## FreeCAD 的拓扑命名问题 - 摘要
这次 Hacker News 的讨论集中在 FreeCAD 中的“拓扑命名问题”，这是许多 CAD 软件中常见的挑战，即设计几何体的更改可能会破坏特征之间的链接，导致错误或意外行为。 基本上，当设计被修改（例如添加圆角）时，基础几何体会被重新计算，可能会破坏分配给面和边的原始“名称”或 ID。
解决方案包括使用中间平面/草图来定义尺寸，或采用“主草图”方法。 虽然 FreeCAD 1.0 包含了来自先前分支（RealThunder）的修复，但用户报告说仍然存在问题，尤其是在性能和复杂模型方面。
其他 CAD 程序，如 Solidworks 和 OnShape，通过更好的算法和启发式方法来解决这个问题，但并没有完全消除它。 核心问题本质上很困难，需要软件在拓扑变化时*猜测*用户意图。 一些用户已经转到 OnShape 以避免这些问题，而另一些人则希望 FreeCAD 的持续开发能够改善其处理这一复杂挑战的能力。
GNU TeXmacs 是一款免费的、所见即所得的科学文本编辑器，非常适合创建专业的技术文档。与许多替代品不同，它*不*基于 TeX/LaTeX，而是使用自身的高质量排版算法，以获得更佳的效果。 TeXmacs 可以无缝集成文本、数学公式、图形，甚至演示文稿到结构化文档中。它充当了与用于代数、统计等计算软件的用户友好界面。 文件可以保存为 TeXmacs 的原生格式（TeXmacs、XML、Scheme），或导出为 PDF、Postscript、TeX/LaTeX、HTML 和 MathML。其功能可以通过 Scheme 扩展语言高度定制，允许用户创建自定义样式和功能。TeXmacs 跨平台运行，可在 Unix、macOS 和 Windows 上使用。
## TeXmacs：一款独特的科学编辑器
TeXmacs (texmacs.org) 是一款功能强大的科学编辑器，但知名度不高，旨在简化数学和技术文档的编写。 尽管其名称如此，它*并非*基于 TeX/LaTeX 或 Emacs，这导致了常见的误解。 用户称赞它在数学符号方面的易用性，认为它比 LaTeX 的样板代码更直观。
该软件提供 WYSIWYG（所见即所得）体验，并具有可视化的宏系统。 它已被用于博士论文、学术论文、讲义，甚至用于在线授课。 存在一个分支 Mogan，它具有改进的 CJK（中文、日文、韩文）支持。
虽然它没有被广泛采用——一些学者甚至没有听说过它——但忠实的用户认为它优于 LaTeX 和 LyX 等替代品，尤其是在快速输入数学公式和提供无干扰写作环境方面。 视频、示例文档和《快乐作家》书籍等资源可用于进一步学习。