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 语义。
每日HackerNews RSS
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
PaceVer（一种移动应用版本控制规范，SemVer 的替代方案）(pacever.org)
4 分，由 maxloh 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
__m 32 分钟前 [–]
OTA 更新目前是什么情况？苹果还在禁止吗？还是说这项规定已经不再执行了？
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
当前的深度学习模型依赖于“惰性”记忆，容易陷入缺乏真正抽象能力的局部最优解。这形成了一条帕累托前沿：模型在样本内任务中表现出色，却无法推广到困难的分布外问题。 所提出的解决方案是**“弹射训练”（catapulting）**：在极少量、高多样性的数据上训练超大规模参数模型（10万亿至100万亿+参数）。通过采用周期性的高学习率调度和极深的网络结构，迫使模型跳出浅层的局部最优解。这一过程模拟了人类的学习方式——先记忆事实，再进行“深思”，直至发现底层的潜在流形或算法逻辑。 与偏好“直接拟合”捷径的标准训练不同，弹射训练追求稳健的泛化能力。虽然这种方法计算密集且易在早期失败，但它有望产出以下模型： 1. **对抗性稳健**：避免依赖脆弱、不稳健的特征。 2. **高度可解释**：因为模型收敛于提炼出的算法核心，而非晦涩的启发式拼凑。 3. **价值观对齐**：通过学习道德的底层“价值流形”，而非仅仅模仿社会可接受的文本。 归根结底，这将AI的发展从单纯的暴力规模化转向基于教学法的模型，通过强迫AI学习“如何思考”而非仅仅“重复什么”，从而有望解决现代大语言模型的局限性。
```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录以类人方式弹射的神经网络 (gwern.net)由 telotortium 在 1 小时前发布，6 点积分 | 隐藏 | 往期 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
HateArena – 一款免费且开源的竞技场射击游戏 (github.com/hatearena)
14 分，death_eternal 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
vonunov 11 分钟前 | 下一条 [–]
哦，真不错。从演示来看，它似乎在侧身跑（strafe-running）时保留了更快的移动速度。还有边缘跳跃（以及大概是蹲跳），还是说用的是其他机制？ 回复
Multiplayer 14 分钟前 | 上一条 [–]
名字很棒！回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
“阈限主义”（Liminalism）是一场新兴的互联网艺术运动，其核心在于“阈限空间”的审美——即空旷的商场或走廊等平凡、过渡性或废弃的场所，这些空间常令人产生一种诡异的怀旧感、错位感和存在主义焦虑。这些数字化的“现成艺术”图像通常不见人影，通过“后室”（Backrooms）模因等现象广为流传，引起了经历后工业异化和数字时代碎片化的一代人的共鸣。
尽管这一运动具有鲜明的当代色彩，但它与20世纪艺术有着深厚的渊源。其超现实且令人迷失的构图呼应了乔治·德·基里科（Giorgio de Chirico）和勒内·马格利特（René Magritte）的作品；而其对孤立、阴郁建筑的关注，则直接承袭自爱德华·霍普（Edward Hopper）、格兰特·伍德（Grant Wood）和安德鲁·怀斯（Andrew Wyeth）的美国现实主义。
作为一场草根运动，“阈限主义”标志着艺术话语权正从传统机构转向由大众策划的数字社区。这些空间是现代“鬼魂学”（hauntology）——即被困在空洞当下之感——的一种视觉呈现。通过捕捉那些看似处于“中间地带”的场所，“阈限主义”为我们时代的焦虑提供了一面深刻的镜子，映射出一个日益显得虚拟、空虚且断裂的世界。
对不起。
Symbolica 2.0：面向 Python 和 Rust 的可编程符号 Symbolica 2.0: Programmable Symbols for Python and Rust
18 小时前
Symbolica 2.0 现已发布，该版本显著增强了其用于 Python 和 Rust 的高性能符号计算框架。此次更新重点推出了“可编程符号”，允许用户直接在框架内定义自定义的数学行为，例如简化、微分和求值。
**主要改进包括：**
* **可编程钩子 (Programmable Hooks)：** 用户现在可以安装自定义逻辑，用于归一化、打印、级数展开（包括奇点）和数值评估。
* **增强的 Rust API：** 简化且更符合工程习惯的 API，具备更好的运算符重载、用于复杂配置的新构建器模式，以及更直观的“预导入”(prelude)。
* **高级求值器：** 框架现已支持 JIT 编译、高精度“双浮点”算术，以及扩充后的特殊函数库（如贝塞尔函数、黎曼 zeta 函数和多重对数函数）。
* **输出与易用性：** 新增对 LaTeX、Typst 以及彩色 HTML/Notebook 输出的支持，提升了大型嵌套表达式的可读性。
* **性能：** 通过对模式匹配、项排序和多项式算法的深度优化，用户在实际应用场景中可获得 2 倍至 10,000 倍的性能提升。
Symbolica 2.0 对业余爱好者和非商业单核使用保持免费，并提供商业许可模式以支持持续开发。
```Hacker News新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Symbolica 2.0：Python 和 Rust 的可编程符号 (symbolica.io)13 点，由 mmastrac 在 2 小时前发布 | 隐藏 | 往期 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
奥列格·洛谢夫（Oleg Losev）是一位杰出的苏联技术人员，也是半导体技术的先驱，他的思想领先于时代几十年。20世纪20年代，他发现了发光二极管（LED）的原理，并发明了固态无线电放大器“Crystodyne”。尽管他的工作具有革命性，但洛谢夫却面临着体制上的障碍：他因沙皇军官之子的背景而无法在学术上晋升，也缺乏西方同行所拥有的资源与认可。 由于被当时的社会忽视，洛谢夫虽发表了数十篇论文，但在官僚眼中始终是个“无名小卒”。他在列宁格勒保卫战期间死于饥荒，年仅38岁。他留下了一份失传的手稿，其中很可能在贝尔实验室最终发明晶体管的前几年，就已描述了晶体管的原理。 洛谢夫的一生诠释了科学天才与历史认可之间的悲剧性鸿沟。虽然他的发现——LED和负阻效应——为现代半导体工业奠定了基础，但他缺乏获得认可所需的渠道、资本和历史时机。学术界花了80多年的时间才正式承认他的贡献，这凸显了创新的定义往往不仅仅取决于理念本身的质量。
这段 Hacker News 讨论聚焦于一项历史主张：一位俄罗斯发明家比美国早 25 年研发出了半导体技术。
评论者认为，“先驱”与“奠基者”的区别往往不仅取决于天才，更取决于对资本、材料和时间的掌控。此外，参与者强调，一个繁荣的产业需要能够促进研究、创业和移民的社会与经济环境。
虽然美国历来是打造这种沃土的黄金标准，但用户担心当前的社会环境正变得日益抵触这些原则。讨论最后将美国模式与中国模式进行了对比，后者利用大规模的国家补贴和庞大的国内人口，在不依赖移民的情况下取得了技术上的成功。
**Tako VM** 是一个强大的自托管解决方案，用于安全地执行不受信任的 Python 代码。与需要外部基础设施的基础沙箱工具不同，Tako VM 提供了一个用于安全隔离执行的一体化平台。
主要功能包括：
* **内置基础设施：** 包含集成的任务队列、工作池以及用于执行历史记录的 PostgreSQL 数据库，无需 Redis 或 Celery。
* **增强安全性：** 使用 Docker 容器，并支持可选的 gVisor 沙箱、seccomp 过滤以及默认的网络隔离。
* **操作控制：** 支持自动重试、幂等性以及重放过去的任务，方便无缝调试。
* **开发者友好：** 专为企业使用而设计，支持自托管和离线运行，提供可预测的零单次执行成本模式。
入门简单：通过 `pip` 安装，运行设置命令，然后启动服务器，即可立即通过 API 执行代码。对于需要完整且即用型环境来执行 AI 生成或不受信任代码的组织，Tako VM 提供了一个全面的替代方案。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
展示 HN: TakoVM – 企业级隔离模型与工具执行引擎 (github.com/las7)
9 分 | sakuraiben 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们
搜索:
**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网络服务中疑似存在的系统性路由或基础设施问题。
据报道，Valve 的 P2P 网络服务已瘫痪超过两个月，Hacker News 上的用户正就其广泛影响展开讨论。该问题最初被认为是以色列和中东地区的区域性连接故障，但进一步调查显示这是一个全球性问题。
用户已将根本原因追溯至三月份发布的 Steam 更新。技术讨论中提到了一种针对受影响游戏的已知解决方法，即手动将 `steamwebrtc.dll` 文件复制到游戏的本地二进制文件夹中。尽管一些用户推测区域性问题可能源于深度包检测（DPI），但广大社区目前正致力于协作排查并记录这些持续存在的网络故障。
Biohub 发布了一款突破性的蛋白质生物学“世界模型”，为全球科学界提供了一个用于蛋白质预测、设计和发现的开源引擎。该生态系统包含三个核心组件：
* **ESMC**：一个功能强大的语言模型，通过对 28 亿条蛋白质序列进行训练，内化了生命进化树中蛋白质折叠与功能的基本规则。
* **ESMFold2**：一种先进的设计工具，可将这些序列表示转化为精确的三维结构。实验证明，它能在几天内而非几年内，设计出针对癌症和免疫学靶点的高亲和力蛋白质结合物，并已通过实验室验证。
* **ESM Atlas**：一个庞大且可导航的数据库，包含 68 亿条蛋白质序列和 11 亿个预测结构，使研究人员能够探索未知的生物学领域并发现进化关系。
通过对生命进化记录的训练，这些工具使研究人员能够从经验驱动、耗时的实验室筛选转向快速、计算引导的设计。Biohub 已将这些资源免费开放，旨在加速个性化药物的开发，并为全球研究人员提供一个共同的基础，以揭示疾病的机制。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
Biohub 发布了一个蛋白质生物学的世界模型 (biohub.org)
11 分，gmays 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：