Hongwei Xi ATS Trustful Software, Inc. 版权所有 © 2010-201? Hongwei Xi 作为一门编程语言，ATS 在语法和特性上都很丰富。本书向读者介绍 ATS 的一些核心特性，包括基础函数式编程、简单类型、（递归定义的）数据类型、多态类型、依赖类型、线性类型、定理证明、结合定理证明的编程（PwTP）以及基于模板的编程。尽管读者并不被假定熟悉编程，但对没有相当编程经验的人来说，本书可能会相当晦涩。 版权所有。允许为个人使用打印本文件。 献给 Jinning、Zoe 和 Chloe。
每日HackerNews RSS
一个 Hacker News 帖子讨论了 ATS 编程语言的介绍。评论者指出 ATS 曾在 HN 上流行，并将其与 MLton 和 Felix 等其他具有全程序优化的 ML 风格语言进行比较。一位用户从 MLton 中汲取灵感，用于自己的语言。另一位分享了关于 ATS 系统编程的视频演讲。关于开发状态的讨论显示，ATS2（Postiats）处于维护模式，而 ATS3（Xanadu）是当前重点；ATS3 能编译自身，但尚不普遍可用，并引入两层类型检查以降低学习曲线。ATS2 仍然稳定。出现了关于“ATS”缩写的笑话（Abstract Tree Syntax、Applicant Tracking System、“Are They Serious?”、“Another Terrible System”）。一位用户还提到在 2021 年于 BU 上过编译器设计课程。总体而言，该帖混合了技术讨论、项目状态更新和围绕这一小众但有趣的系统编程语言的幽默。
Beth George，63岁的贝果顾问，被称为"贝果低语者"，已在全球培训近100家店制作纽约风格贝果并经营盈利业务。在创立Spelt Right并和贝果设备专家Frank Mauro合作后，她现在在纽约Beacon经营Bagel-ish，并运行一个为期15个月的客户学院，包括训练营、食谱、电子表格和持续支持。她的工艺需要精确的揉捏、冷发酵、用麦芽和糖煮制以及撒料，强调耐心和细节。她还就成本提供建议：租金低于收入的10%，食物和人工各低于35%，启动成本约50万美元。George将贝果视为数学与工艺问题，帮助客户如Terry Perusini排查设备故障并提升质量。她拥有多元化的国际客户，并珍视贝果作为团结之食。她自己的店周末销售约1000个贝果，销售额同比增长50%。
Hacker News 的评论者在讨论一篇关于百吉饼生意的文章。其中一人估算开一家店大约需要 50 万美元，需要高日销量，且需要数年才能盈亏平衡或达到科技行业的薪资水平。其他人则讨论咨询业：它可能利润丰厚，但客户往往资金不足或未意识到问题，而一些发言者则因名气或运气而获利。帖子还岔开讨论百吉饼的正宗性，特别是用柴火烤箱烘烤的蒙特利尔风格百吉饼与更软的纽约风格百吉饼，评论者指出地区差异并质疑门槛。总体而言，它凸显了食品创业的难度以及小餐馆背后的经济学。
作者回顾了从 Microsoft Windows AI 转向 Salesforce AI Research 后一年更密集的 AI 使用。他们起草了个人 AI 政策以应对规范与风险。智能体编程现已主导工作：Claude/OpenCode/Codex 智能体编写大部分代码、快速原型并减少苦差，但仍需要人类品味、架构判断与审查；智能体疲劳与技艺衰退是担忧。他们认为当前模型已足够，包括在价格过高时使用本地/开源替代品。AI 搜索已成为默认选项，对常识事实、学习与文献检索有用，但产品搜索、新颖研究与协作头脑风暴仍较弱。摘要与转录表现优秀得近乎无聊，而语音仍令人失望。他们仍避免用 AI 从零写作与编辑，主要用它找词。图像与视频生成感觉像垃圾内容或商业化，但非商业性的 AI 音乐可能令人愉悦。总体而言，AI 强大且有帮助，但需要人类判断与有目的的使用。
这段讨论围绕一位工程师大量使用 AI 的工作流程以及“编程已解决”的说法展开。评论者争论 AI 生产力提升是否真实可见，同时强调人类的品味、领域建模、架构设计、代码审查与质量保证仍然不可或缺。有人报告个人生产力大幅提高、阅读代码的需求减少；也有人警告潜在的架构缺陷、过度工程化、技能退化和软件质量下降。对训练数据崩溃的质疑，有观点以强化学习与流程改进作为反驳。AI 被称赞用于探索、原型制作、教学与结构化任务，但被批评在头脑风暴和复杂代码库监督方面表现较弱。讨论还涉及管理多个智能体的疲劳、AI 音乐/视频质量、成本与本地模型的对比，以及对“已解决”的不同定义。总体而言，AI 被视为强大但无法替代工程判断。
整理您的家是一个物理过程，而不是编程任务。使用我们的夹式基准标记来指定您的洗衣篮、玩具箱和垃圾桶。Stringman 通过视觉映射这些位置。您不需要为每件杂物贴标——只需标记目的地。如果有您永远不希望它捡起的东西，您可以将该物品标记为禁止接触。用于控制 stringman 的网络已经学会“toybox”一词指代该标记，因此您可以使用它来标记任何东西，即使它看起来不像我们训练集中的玩具箱。您还可以将这些标记用作搬运任务的任意源和目的地标记，例如将物品从一个机械臂搬运到另一个机械臂，或将洗衣物从地面搬运到机器人折叠站。
Stringman 是一台 800 美元的开源房间级线缆驱动夹爪机器人。它使用四个角落安装的绞盘和线缆在房间内移动夹爪，完成拾取玩具和衣物等任务。创建者 Nathaniel 表示其张力安全限为 28 牛顿，可能无法致命。Hacker News 评论讨论了悬挂式线缆机器人、安全性、可扩展性、人形机器人与专用机器人、花园、工坊和运动相机等用例、线缆和晃动问题，以及对幼儿和宠物的担忧。专家指出它类似于线缆驱动并联机器人。一些用户建议改进，如第五根线缆、收纳线缆、视觉功能以及户外或花园使用。总体而言，它是一个价格低廉、巧妙的黑客项目，但在家庭实用性和安全性方面存在争议。
对比内容可能非常有效，但难以维护，写起来也不舒服，因为营销人员担心推广竞争对手，以及在产品变化时保持页面准确。PostHog 的做法是诚实和公平：承认竞争对手的优势，承认自己的不足，加入“谁应该选择他们”部分，并欢迎更正——甚至通过拉取请求。这能与读者建立信任，并帮助 LLM 将页面视为平衡的信息来源。
为维护约 90 个对比页面，PostHog 将每个竞争对手的声明存储在一个集中式数据文件中，因此一次更新会传播到所有相关页面。他们还使用“Scouts”监控竞争对手和自身产品是否发生偏移，标记证据和建议编辑，并交由人工决定和发布修复。结果是，相比其他博客内容，它带来更强的注册转化。结论：公平、准确，并通过自动化维护而不是回避对比内容。
一篇 Hacker News 帖子链接到 PostHog 的文章，标题为“如何编写不会像牛奶一样老化的对比内容。”它有 30 点和五条评论。评论者争论法律要求的 cookie 横幅是否必要，注意到 PostHog 说它只存储一个自研 cookie，并讨论“自研”是否意味着技术上必要。另一位评论者称赞网站的桌面样机设计，而回复指出那是 PostHog 的网站，以 AI 重但有意有趣、复古风格的 UI 著称。页面还包括标准的 Hacker News 导航和页脚链接。
Hacker News 的讨论围绕一篇《华盛顿邮报》文章展开，该文章讲述谷歌研究人员要求公开讨论 AI 风险的权利。评论者争论 AI 的现实影响：一些人认为它被过度炒作且支出过高，而另一些人则指出其在数字世界中的重大影响和安全改进。帖子的很大一部分关注就业和法律问题，包括声称内部异见者是规模小但声音大的少数群体，以及关于员工是否应在面临职业与保密协议风险的情况下辞职并 whistleblowing 的疑问。谷歌表示在员工离职后不执行非贬损条款，并已更新新员工条款以移除离职后的非贬损条款。总体而言，讨论在对 AI 炒作的怀疑与对其社会、经济与安全影响的担忧之间分裂，特别关注企业透明度与员工言论。
昨天的热门论文《Sparks of Weight-Space Programming》声称，GPT-6 Astra 等前沿大语言模型能够解释和修改原始神经网络权重，并将这种做法命名为 Weight-Space Programming。作者将两种主张分开：模型在没有工具的情况下理解权重，以及模型利用代码改进模型。聚焦于无工具问题，他们在包含简单 10x10 网格游戏网络权重的提示上测试了 Qwen 3.8 27B，询问每个网络训练于哪个游戏。本地运行时，Qwen 正确识别了 Pac-Man、Pong 和 Breakout，并给出了详细描述和置信度分数，但在冷门的 Freeway 上失败。作者指出，推理轨迹虽然密集，但付出类似人类的努力可以解析它们，并警告不要过度炒作：虽然令人印象深刻，但这并不意味着源代码已经过时，也不意味着机器将不可理解地编辑自己的权重。
链接帖子强调了Qwen 3.8 27B令人惊讶的检查和修改神经网络权重的能力，能从小型模型中识别游戏并改进它们。Hacker News评论者讨论本地LLM部署，比较Qwen 27B、Qwen-Flash-Next、Gemma 4 31B和前沿模型在速度、上下文、编程、幻觉和硬件需求方面的表现。一些人报告在指导下效果很好；其他人认为本地模型冗长、有bug，或无法达到前沿模型质量。帖子还涉及量化、推理工具、自定义Harness、RSI/权重编辑猜测，以及对实验是否如声称那样令人印象深刻持怀疑态度。总体而言，它反映了对开放本地模型和权重空间编程的兴奋，但受到实际限制以及关于基准和术语争论的缓和。
作者从 Adobe PageMill 追溯到 Image Club Graphics——这是一家成立于 1980 年代的卡尔加里公司，率先在 CD-ROM 上提供数字库存摄影、字体和剪贴画。由 Greg Kolodziejzyk 创立的 Image Club 在 1995 年前被卖给了 Aldus/Adobe，后来更名为 Eyewire，被 Getty 收购，其字体至今仍通过 Monotype 销售。作者利用 Internet Archive 的采样 CD，展示了 Image Club 的 DigitArt、PhotoGear、Digital Vision、ObjectGear 和 Circa:Art 等系列，指出其高昂价格反映了前 Web 时代的库存图像市场。文章还重点介绍了 WebMorsels 的图形、字体和样例图库，同时指出完整的 WebMorsels 可能从未发布。总体而言，这是一篇对 1990 年代数字设计资源和一个几乎被遗忘的 Adobe 时代品牌的怀旧回顾。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
探索 Image Club Graphics 的遗产
(
somnolescent.net
)
12 分
由
tobr
1 天前
|
隐藏
|
过去
|
收藏
|
1 条评论
帮助
dejobaan
1 天前
[–]
这肯定有某种魅力。我喜欢有很多不同东西的目录（通常按网格排列）；我不确定它现在是否还流行，但 knolling (
https://www.reddit.com/r/knolling/
) 几年前有过一阵热度。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
用户报告，打开 Postman 桌面版（12.33.4）会在未明确同意的情况下自动将 Postman 插件/集成安装到 Codex 和 Claude Code 中。Postman 日志显示存在一个 `auto-existing-upgrade`，该升级安装了这两个代理。变更包括启用 Codex 市场/插件、一个宽泛的 SessionStart 钩子，指示代理加载 Postman 技能以执行 API 任务、尝试对钩子进行自审批、远程 Postman MCP 配置、启用 Claude 插件以及 Postman CLI。用户认为这是一个同意与信任边界问题，并要求进行严重优先级的分诊：停止对现有用户的自动安装、移除安装程序的自审批、要求宿主端进行钩子审批、披露功能标志与同意流程、提供完整的回滚/卸载，以及将启动说明限定为明确的 Postman 请求。
一篇 Hacker News 帖子报道称，Postman 默默自动安装 AI 插件并试图共享所有 API 数据，引发众怒。评论者表示，Postman 在获得大量风投资金和增长后，已从一个简单的 API 测试工具退化为臃肿、需要登录的 SaaS。许多开发者已转向 Bruno、Yaak、Insomnia、Kreya、httpyac 或 curl 等替代品，并警告 Postman 会记录包括密钥在内的敏感数据。该帖还讨论了对风投支持的软件、资本主义、开源许可证、AI 生成代码以及替代 Postman 的容易程度的更广泛担忧。总体而言，用户认为这一事件是破坏信任的举动，建议迁移离开。
USDB：字节跳动下一代推荐系统的存储扩展 USDB: Scaling Storage for Next-Generation Recommender Systems at ByteDance
3 天前
arXivLabs 是一个框架，允许协作者直接在我们网站上开发并分享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都已接受并认同我们的开放、社区、卓越和用户数据隐私价值观。arXiv 致力于这些价值观，仅与遵守这些价值观的合作伙伴合作。有能为 arXiv 社区增值的项目想法吗？了解更多关于 arXivLabs 的信息。
Hacker News 上的一个帖子讨论了字节跳动关于下一代推荐系统存储扩展的 USDB 论文。评论者指出从经典的 DLRM 迁移到生成式推荐器或 LRM 存在难度，列举了产品基数、性能、冷启动、特征、可解释性和成本等挑战。一位评论者表示生成式推荐器的专家经验主要掌握在大型社交平台内部，快手的 OneRec 论文是最接近的教程。另一位则将字节跳动的定制存储与小团队使用 Redis 有序集合的做法进行对比。帖子还讨论了未来的推荐器是否本质上是一个翻页浏览用户数据的 AI 智能体，部分人认为这与现有的信息流算法相似。