当前的深度学习模型依赖于“惰性”记忆，容易陷入缺乏真正抽象能力的局部最优解。这形成了一条帕累托前沿：模型在样本内任务中表现出色，却无法推广到困难的分布外问题。 所提出的解决方案是**“弹射训练”（catapulting）**：在极少量、高多样性的数据上训练超大规模参数模型（10万亿至100万亿+参数）。通过采用周期性的高学习率调度和极深的网络结构，迫使模型跳出浅层的局部最优解。这一过程模拟了人类的学习方式——先记忆事实，再进行“深思”，直至发现底层的潜在流形或算法逻辑。 与偏好“直接拟合”捷径的标准训练不同，弹射训练追求稳健的泛化能力。虽然这种方法计算密集且易在早期失败，但它有望产出以下模型： 1. **对抗性稳健**：避免依赖脆弱、不稳健的特征。 2. **高度可解释**：因为模型收敛于提炼出的算法核心，而非晦涩的启发式拼凑。 3. **价值观对齐**：通过学习道德的底层“价值流形”，而非仅仅模仿社会可接受的文本。 归根结底，这将AI的发展从单纯的暴力规模化转向基于教学法的模型，通过强迫AI学习“如何思考”而非仅仅“重复什么”，从而有望解决现代大语言模型的局限性。
每日HackerNews RSS
对不起。
抱歉。
“阈限主义”（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 开发和稳健测试工作流中不可或缺的工具。
自3月13日起，以色列（以及中东其他地区）的玩家在《街头霸王6》等基于Steam P2P连接的游戏中一直面临高延迟（约120毫秒）的问题。 此问题仅限于使用Steam网络（Steam Networking）的PC对PC连接。跨平台联机（PC与PS5之间）以及不使用Steam网络的游戏（如《铁拳8》）均能保持低延迟（5-10毫秒）正常运行。尽管玩家与ISP进行了深入排查并尝试了端口映射，社区确认并非本地网络故障。在穷尽了游戏厂商和Steam客服的解决途径后，受影响的玩家群体正寻求进一步协助，以解决该地区Steam网络服务中疑似存在的系统性路由或基础设施问题。
近期一个 GitHub 问题报告指出，以色列及中东地区的 Valve/Steam 用户遇到了严重的点对点（P2P）连接问题。
Hacker News 上的讨论表明，该问题可能并非源于 Valve 的软件漏洞，而是政府级互联网干扰的副作用。许多受影响用户怀疑，互联网审查严格国家的互联网服务提供商（ISP）加强了对 P2P 流量的封锁，特别是干扰了 WebRTC 用于建立直接连接的 STUN/TURN 协议。
尽管一些用户通过手动回退特定的 Steam DLL 文件成功绕过了连接问题，但各界普遍认为，这些协议正越来越多地受到国家级流量分析和过滤的针对。讨论还涉及了有关 Valve 基础设施、公司“扁平化”组织结构，以及在全球互联网日益碎片化的背景下维护 P2P 服务所面临挑战的更广泛议题。
Biohub 发布了一款突破性的蛋白质生物学“世界模型”，为全球科学界提供了一个用于蛋白质预测、设计和发现的开源引擎。该生态系统包含三个核心组件：
* **ESMC**：一个功能强大的语言模型，通过对 28 亿条蛋白质序列进行训练，内化了生命进化树中蛋白质折叠与功能的基本规则。
* **ESMFold2**：一种先进的设计工具，可将这些序列表示转化为精确的三维结构。实验证明，它能在几天内而非几年内，设计出针对癌症和免疫学靶点的高亲和力蛋白质结合物，并已通过实验室验证。
* **ESM Atlas**：一个庞大且可导航的数据库，包含 68 亿条蛋白质序列和 11 亿个预测结构，使研究人员能够探索未知的生物学领域并发现进化关系。
通过对生命进化记录的训练，这些工具使研究人员能够从经验驱动、耗时的实验室筛选转向快速、计算引导的设计。Biohub 已将这些资源免费开放，旨在加速个性化药物的开发，并为全球研究人员提供一个共同的基础，以揭示疾病的机制。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。