每日HackerNews RSS

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 语义。

```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 的高性能符号计算框架。此次更新重点推出了“可编程符号”,允许用户直接在框架内定义自定义的数学行为,例如简化、微分和求值。 **主要改进包括:** * **可编程钩子 (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 | 联系 搜索:

更多

联系我们 contact @ memedata.com