作为 Jane Street 的一名设计师，作者起初对大语言模型（LLM）持怀疑态度，但如今已通过利用人工智能构建功能性原型而非静态模型，彻底改变了自己的工作流程。通过使用 Claude 等工具编写陌生语言（OCaml 和 Bonsai）的代码，作者现在能够直接在代码库中对实时功能进行迭代，从而绕过了 Figma 文件和规格说明文档等传统的“辅助性”设计产物。
这种方法实现了快速、高保真的实验，能够在不占用工程资源的情况下验证可行性并改善用户体验。虽然作者也指出了潜在的挑战——例如确保合作者有权对“成品化”的原型提出批评，以及避免人工智能辅助迭代带来的创造性限制——但这种转变赋予了设计师巨大的赋能。
通过在实际媒介中进行构建，作者重新获得了创建工作概念证明的能力，而这曾是工程师的专属特权。这种演变绕过了复杂的正式设计流程，使作者能够专注于打磨最终产物，并促进了更流畅、更直接的“设计到实现”过程。
每日HackerNews RSS
简街（Jane Street）最近发表的一篇文章称，利用人工智能（Claude）进行“氛围编程”（vibe coding）已在很大程度上取代了 Figma 的设计工作流，这一观点在 Hacker News 上引发了激烈的争论。
支持者认为，人工智能能够实现快速迭代的原型设计，其交互性和功能性远超静态的 Figma 设计稿。他们将此视为向更高层抽象的转变，开发者无需手动进行布局，而是通过对话即可快速将想法落地并进行优化。一些人认为，这种方式降低了创作门槛，并加速了利益相关者与开发者之间的反馈循环。
然而，批评者表达了强烈担忧。许多人认为人工智能生成的代码往往是“垃圾”——存在技术缺陷，缺乏架构完整性，且难以供工程师审查或维护。持怀疑态度的人警告称，“氛围编程”助长了批判性思维的缺失，绕过了必要的边界条件验证，并造成了运营负债。此外，这种观点也因其来源而遭到质疑；批评者指出，简街是 Anthropic 的投资者，暗示该文章可能带有“人工智能吹捧”的宣传性质。
归根结底，这场讨论反映了行业内更广泛的张力：即追求人工智能驱动的快速迭代，与传统工程对纪律、稳定性和人为设计严谨性的要求之间的博弈。
请提供您想要翻译的内容。
抱歉。
PaceVer 是一种专为应用程序设计的版本控制系统，有别于 SemVer，旨在管理原生二进制更新与空中下载（OTA）补丁之间的交互。 **核心机制：** * **版本构成：** 应用程序在运行时通过 `MARKETING.NATIVE.OTA` 计算其版本。OTA 版本号存储在更新清单中，而 `MARKETING` 和 `NATIVE` 则驻留在二进制文件中。 * **重置：** `NATIVE` 构建总是会将 `OTA` 重置为零。`MARKETING` 的重置是可选的；团队可以选择将 `NATIVE` 和 `OTA` 重置为零（例如从 1.6.2 到 2.0.0），或者保持单调递增（例如 2.6.2）。 * **约束：** `MARKETING` 和 `NATIVE` 的更改需要发布新的商店二进制文件，而 `OTA` 更新则不需要。`NATIVE` 的增量必须在所有平台（iOS/Android）上同步应用，以保持 OTA 谱系的连贯性。 * **适用范围：** PaceVer 严格适用于应用程序。库和 API 应继续使用 SemVer 来管理契约兼容性。 * **采用建议：** 新项目通常从 `0.1.0` 开始。现有应用不应将版本号向下重置以避免被应用商店拒绝；应在现有营销版本历史的基础上采用 PaceVer 语义。
当前的深度学习模型依赖于“惰性”记忆，容易陷入缺乏真正抽象能力的局部最优解。这形成了一条帕累托前沿：模型在样本内任务中表现出色，却无法推广到困难的分布外问题。 所提出的解决方案是**“弹射训练”（catapulting）**：在极少量、高多样性的数据上训练超大规模参数模型（10万亿至100万亿+参数）。通过采用周期性的高学习率调度和极深的网络结构，迫使模型跳出浅层的局部最优解。这一过程模拟了人类的学习方式——先记忆事实，再进行“深思”，直至发现底层的潜在流形或算法逻辑。 与偏好“直接拟合”捷径的标准训练不同，弹射训练追求稳健的泛化能力。虽然这种方法计算密集且易在早期失败，但它有望产出以下模型： 1. **对抗性稳健**：避免依赖脆弱、不稳健的特征。 2. **高度可解释**：因为模型收敛于提炼出的算法核心，而非晦涩的启发式拼凑。 3. **价值观对齐**：通过学习道德的底层“价值流形”，而非仅仅模仿社会可接受的文本。 归根结底，这将AI的发展从单纯的暴力规模化转向基于教学法的模型，通过强迫AI学习“如何思考”而非仅仅“重复什么”，从而有望解决现代大语言模型的局限性。
对不起。
抱歉。
“阈限主义”（Liminalism）是一场新兴的互联网艺术运动，其核心在于“阈限空间”的审美——即空旷的商场或走廊等平凡、过渡性或废弃的场所，这些空间常令人产生一种诡异的怀旧感、错位感和存在主义焦虑。这些数字化的“现成艺术”图像通常不见人影，通过“后室”（Backrooms）模因等现象广为流传，引起了经历后工业异化和数字时代碎片化的一代人的共鸣。
尽管这一运动具有鲜明的当代色彩，但它与20世纪艺术有着深厚的渊源。其超现实且令人迷失的构图呼应了乔治·德·基里科（Giorgio de Chirico）和勒内·马格利特（René Magritte）的作品；而其对孤立、阴郁建筑的关注，则直接承袭自爱德华·霍普（Edward Hopper）、格兰特·伍德（Grant Wood）和安德鲁·怀斯（Andrew Wyeth）的美国现实主义。
作为一场草根运动，“阈限主义”标志着艺术话语权正从传统机构转向由大众策划的数字社区。这些空间是现代“鬼魂学”（hauntology）——即被困在空洞当下之感——的一种视觉呈现。通过捕捉那些看似处于“中间地带”的场所，“阈限主义”为我们时代的焦虑提供了一面深刻的镜子，映射出一个日益显得虚拟、空虚且断裂的世界。
Symbolica 2.0 现已发布，该版本显著增强了其用于 Python 和 Rust 的高性能符号计算框架。此次更新重点推出了“可编程符号”，允许用户直接在框架内定义自定义的数学行为，例如简化、微分和求值。
**主要改进包括：**
* **可编程钩子 (Programmable Hooks)：** 用户现在可以安装自定义逻辑，用于归一化、打印、级数展开（包括奇点）和数值评估。
* **增强的 Rust API：** 简化且更符合工程习惯的 API，具备更好的运算符重载、用于复杂配置的新构建器模式，以及更直观的“预导入”(prelude)。
* **高级求值器：** 框架现已支持 JIT 编译、高精度“双浮点”算术，以及扩充后的特殊函数库（如贝塞尔函数、黎曼 zeta 函数和多重对数函数）。
* **输出与易用性：** 新增对 LaTeX、Typst 以及彩色 HTML/Notebook 输出的支持，提升了大型嵌套表达式的可读性。
* **性能：** 通过对模式匹配、项排序和多项式算法的深度优化，用户在实际应用场景中可获得 2 倍至 10,000 倍的性能提升。
Symbolica 2.0 对业余爱好者和非商业单核使用保持免费，并提供商业许可模式以支持持续开发。
抱歉。
奥列格·洛谢夫（Oleg Losev）是一位杰出的苏联技术人员，也是半导体技术的先驱，他的思想领先于时代几十年。20世纪20年代，他发现了发光二极管（LED）的原理，并发明了固态无线电放大器“Crystodyne”。尽管他的工作具有革命性，但洛谢夫却面临着体制上的障碍：他因沙皇军官之子的背景而无法在学术上晋升，也缺乏西方同行所拥有的资源与认可。 由于被当时的社会忽视，洛谢夫虽发表了数十篇论文，但在官僚眼中始终是个“无名小卒”。他在列宁格勒保卫战期间死于饥荒，年仅38岁。他留下了一份失传的手稿，其中很可能在贝尔实验室最终发明晶体管的前几年，就已描述了晶体管的原理。 洛谢夫的一生诠释了科学天才与历史认可之间的悲剧性鸿沟。虽然他的发现——LED和负阻效应——为现代半导体工业奠定了基础，但他缺乏获得认可所需的渠道、资本和历史时机。学术界花了80多年的时间才正式承认他的贡献，这凸显了创新的定义往往不仅仅取决于理念本身的质量。
这场 Hacker News 讨论聚焦于一项历史主张，即俄罗斯科学家奥列格·洛谢夫（Oleg Losev）比西方同行早几十年开发出了半导体技术。虽然一些参与者承认洛谢夫对固态电子学的真实贡献，但另一些人则提醒说，苏联时期的历史主张往往为了政治威望而被夸大或篡改。
除了历史争论外，讨论还探讨了驱动或阻碍创新的系统性因素。评论者分析了国家驱动型体系（如中国）与市场驱动型环境（如美国）在培育突破性技术方面孰优孰劣。一个反复出现的主题是，天才本身往往是不够的；真正的创新需要资本、基础设施和政治自由等有利的生态系统。
参与者还反思了将功劳归于美国发明家而忽视全球先行者的倾向，并指出从苏联时期的意识形态压制到现代企业官僚主义，各种制度障碍经常扼杀潜在的进步。归根结底，该讨论串表明，尽管技术史常被改写以迎合国家叙事，但一位“先驱”的成功仍然与其所处的社会和经济体系息息相关。
**Tako VM** 是一个强大的自托管解决方案，用于安全地执行不受信任的 Python 代码。与需要外部基础设施的基础沙箱工具不同，Tako VM 提供了一个用于安全隔离执行的一体化平台。
主要功能包括：
* **内置基础设施：** 包含集成的任务队列、工作池以及用于执行历史记录的 PostgreSQL 数据库，无需 Redis 或 Celery。
* **增强安全性：** 使用 Docker 容器，并支持可选的 gVisor 沙箱、seccomp 过滤以及默认的网络隔离。
* **操作控制：** 支持自动重试、幂等性以及重放过去的任务，方便无缝调试。
* **开发者友好：** 专为企业使用而设计，支持自托管和离线运行，提供可预测的零单次执行成本模式。
入门简单：通过 `pip` 安装，运行设置命令，然后启动服务器，即可立即通过 API 执行代码。对于需要完整且即用型环境来执行 AI 生成或不受信任代码的组织，Tako VM 提供了一个全面的替代方案。
Hacker News 上的讨论帖探讨了“TakoVM”，这是一个为企业环境提供隔离模型和工具执行的项目。创建者 *sakuraiben* 解释说，该工具旨在满足人工智能驱动的动态工作流中对安全沙盒代码执行的需求，因为在运行时生成动态代码通常需要严格的网络和环境控制。
社区评论对此褒贬不一。一些用户称赞其“基础设施即代码”的方法，将其比作使用 Docker 来实现可扩展的临时服务。然而，也有人对该项目宣称的企业采用情况表示怀疑，质疑其在具体客户信息方面缺乏透明度。此外，讨论还涉及了贴有 AI 标签项目的大趋势，一些参与者辩论了此类工具对人工智能领域与传统 DevOps 的相关性。该帖子还包含了一段关于建设性反馈的简短元讨论，用户对那些将新项目斥为“垃圾（slop）”的轻蔑评论进行了反驳。
**oproxy** 是一款功能通用的本地代理工具，专为开发者设计，用于检查、修改和重放 HTTP、HTTPS 和 SOCKS5 流量。无论是测试浏览器、移动应用还是命令行工具，oproxy 都能提供对请求、响应及元数据的深度可见性，并支持 JWT、GraphQL 和 WebSocket。
主要功能包括：
* **流量操作：** 通过规则集、远程/本地映射、限流、断点、模拟响应和 Lua 脚本来修改流量。
* **工作流集成：** 重放捕获的请求、手动构建请求，并将数据导出为 HAR、cURL、Fetch 或 Python 代码片段。
* **AI 辅助：** 使用集成的兼容 OpenAI 的聊天模型来检查状态并自动化配置代理。
* **简易部署：** 可通过 Docker 或从源码（Rust/Node.js）运行。在信任本地 CA 证书后，即可支持 MITM 中间人拦截。
oproxy 是无需更改应用代码即可调试服务的理想选择。它允许用户模拟网络状况、拦截请求或将流量重定向到测试环境，从而简化测试流程。通过持久化会话并提供完善的管理界面，它成为了快速 API 开发和稳健测试工作流中不可或缺的工具。