每日HackerNews RSS

Libdeflate 13 级是一种特意设计的、不切实际的压缩级别,专为“一次压缩,多次分发”的场景而生。尽管它完全兼容标准的 DEFLATE 解码器,但通过加强对最佳匹配、块边界和哈夫曼表的搜索,显著提升了压缩率。 与已经高度优化的 12 级相比,13 级在 Silesia 基准测试集上额外减少了 0.134% 的体积。这种微小的收益代价高昂:编码速度大约慢了 56.4 倍。为了在这种高强度约束下保持效率,该实现采用了延迟块大小提交、扩展匹配搜索和有界路径优化等复杂技术,同时严格遵循“零回归”的开发策略。 总之,13 级并非通用工具,而是针对高流量资产的专门优化,适用于那些节省每一字节都值得耗费大量编码时间的场景。该代码已作为拉取请求提交至 libdeflate 库的上游。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 极其缓慢的 13 级 Deflate 压缩 (korins.ky) 3 个积分,由 zX41ZdbW 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Hacker News 排名前 20 的文章将显示在翻页式出发显示牌上,翻页格中分别显示排名、分数和标题。每行显示格式为:排名 · 分数 · 标题。排名使用 HN 橙色,分数颜色随分值变化,标题经过裁剪以适应显示。每页包含一个空白引导行、十条新闻、一个间隔行和一个小页脚。顶部的琥珀色行显示当前第 1 名的文章。顶部功能:⚙ 打开设置(页面计时及用于脚本驱动显示牌的令牌),♪ 开关翻页声,⛶ 进入全屏模式。拥有此显示牌?点击任意行即可将其覆盖为您自己的文字。Quickish 云函数会按计划获取 Hacker News 首页并广播到所有打开的显示牌。这是对 Quickish 翻页板的重制。明白了。

一位开发者创建了一个“Hacker News 翻页显示板”(Hacker News Flip Board)——一种对标志性车站机械翻牌显示屏的数字复刻——旨在展示其新的托管平台 **Quickish**。 受社交媒体上流行的“翻牌显示”视觉效果启发,该项目作为一次“内部试用”实验,旨在展示用户如何轻松构建、修改并托管自己的交互式应用。Hacker News 版本利用该网站的 Firebase API,通过 Quickish 的服务器功能获取并实时显示更新。 开发者强调,该项目旨在成为一个有趣且易于上手的工具:任何人只需使用谷歌账号即可免费创建自己的版本。感兴趣的用户可以查看在线演示、阅读详细的技术博客文章,或在 Quickish 平台上对该项目进行二次创作。

这是一份 PDF 文件的二进制数据片段,无法被直接翻译为可读的中文内容。

抱歉。
唵 Om 2 小时前

科技界正在悼念传奇记者兼投资人奥姆·马利克(Om Malik)。他长期受心脏病困扰,于2026年6月24日不幸去世。 马利克是数字媒体领域的变革性人物。他曾是其网站《GigaOm》上一位高产、节奏极快的博主,后来转型为一位深思熟虑的散文家,比起24小时不间断的新闻周期,他更看重内容的深度。在苹果公司的活动中,他总是一位平静而稳定的存在。他以敏锐的洞察力、慷慨的职业风范以及善于发掘他人闪光点的独特能力而广受敬佩。 在职业生涯之外,马利克拥有广泛的爱好,从摄影、名表到对纽约洋基队终身且深沉的热爱——这份热爱源于他早年作为移民在布朗克斯打拼的岁月。无论是推销行李箱,还是分析复杂的科技议题,马利克都以其孜孜不倦的动力和“拒绝让未来仅仅是随之而来”的态度而闻名。尽管在生命的最后几个月里健康状况急剧恶化,他依然坚持创作出色的作品,直至生命尽头。他是一位深不可测且备受珍视的朋友,也是一个独特的声音,他的存在与影响力在科技新闻界留下了不可磨灭的印记。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Om (daringfireball.net) 14 分,由 throw0101 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 jnaina 0 分钟前 [–] 写得太好了。我们会怀念 Om 的。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

**DBOSify** 是 Temporal Python SDK 的直接替代方案,它使用 PostgreSQL 数据库取代了外部的 Temporal 服务器。通过利用 DBOS Transact,开发者仅需使用 Postgres 作为基础设施,即可构建包含活动(activities)、信号(signals)和重试(retries)在内的持久化工作流。 主要功能包括: * **易于使用:** 只需将 `temporalio` 的导入替换为 `dbosify` 并连接到 Postgres 实例即可。 * **持久性:** 工作流会在 Postgres 中进行检查点保存,确保可靠的状态管理、自动重试和故障恢复。非确定性操作和计时器会被保存为持久化步骤。 * **运维简单:** 无需复杂的 Temporal 服务器集群。但请注意,它与 Temporal **不兼容**;它专为仅使用 Python 的应用程序设计,旨在用 DBOS 等效组件替换整个 Temporal 堆栈(包括 UI 和 CLI)。 * **验证:** 该库通过移植的 Temporal 单元测试、示例应用程序验证以及签名一致性测试来确保兼容性。 对于希望获得类 Temporal 工作流持久性,同时又不想承担管理外部独立 Temporal 基础设施开销的开发者来说,DBOSify 是理想的选择。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: DBOSify – 基于 Postgres 构建的 Temporal 直接替换方案 (github.com/dbos-inc) 7 分,由 KraftyOne 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 hhhhha 2 分钟前 | 下一条 [–] 嗨…… 回复 KraftyOne 1 小时前 | 上一条 [–] 嗨 HN,我是 Peter,DBOSify 的创建者。很高兴在此回答大家的任何问题! 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

人工智能的兴起正在从根本上改变数学,在领域内既引发了兴奋,也带来了生存焦虑。数学的发展历程向来依赖于人类缓慢的直觉、艰苦的钻研以及创造性的证明过程,但如今它正面临一个由人工智能自主生成研究并以空前速度实现证明形式化的未来。 这种转变在数学界造成了分歧。一些专家,如菲尔兹奖得主陶哲轩,拥抱“大数学”的未来,即人工智能作为解决大规模问题的协作伙伴。而另一些人则担心人类要素的丧失,即通过对复杂概念进行长时间审慎钻研所获得的深层智力满足感和个人成长。人们还担忧这可能引发精英主义,削弱年轻一代的基础直觉,并使数学演变成一个“黑箱”,让数学家沦为人工智能生成结论的策展人。 归根结底,人工智能的出现迫使数学家重新审视其学科的目的。尽管人工智能可以简化技术性工作,但共识依然是:人类对美、逻辑一致性以及深层理解的追求,在数学发现中仍是至关重要且不可替代的。

这篇 Hacker News 讨论帖探讨了一篇关于人工智能在数学领域角色演变的 IEEE 文章。讨论聚焦于人工智能究竟是会成为单纯的工具、合作伙伴,还是一个自主的“预言家”。 讨论的主要观点包括: * **理解的本质:** 参与者争论如果人工智能产生人类无法理解的证明,那么它是否还有用,并指出“理解”历来是数学的首要任务。 * **可靠性:** 评论者强调了深度专业知识的必要性(并引用了数学家陶哲轩的观点)来验证人工智能的输出,表明对于外行来说,人工智能目前还不是一个可靠的捷径。 * **生产力提升:** 尽管一些用户对人工智能能在多大程度上加速复杂的数学工作持怀疑态度,但其他人对潜在的巨大时间节省仍保持好奇。 总体而言,社区认为人工智能与数学的交叉是一个深刻但复杂的转变,这可能很快会迫使人们重新定义数学发现本身。

请启用 JavaScript 和 Cookie 以继续。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么动能随速度的增加是呈平方增长,而不是线性增长?(2011) (physics.stackexchange.com) 9 分,发布者:ProxyTracer,1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

请启用 JavaScript 并关闭广告拦截器

美国政府已解除对部分国内公司使用“Mythos 5”人工智能模型的禁令,这一举措在 Hacker News 上引发了激烈讨论。 用户对于政府监管人工智能访问权限的权力各执一词。一些人认为此类限制需要国会的明确授权,而另一些人则指出,监管机构在现有授权下管理化学品和枪支等产品早有先例。争议的核心在于所使用的法律框架——特别是将武器出口管制应用于软件和数学模型,一些批评者认为这是越权行为,威胁到了言论和知识自由。 关于“Mythos 5”与更趋向大众市场的“Fable 5”模型之间的区别,技术层面的猜测也从未停止。尽管政府放宽了对 Mythos 的限制,但用户仍困惑于为何“更安全”的 Fable 模型依然受到限制。许多评论者对此表示怀疑,他们认为该声明发布的时间点与 OpenAI 的最新发布会相重合,这证明了监管偏袒和政治腐败,而非透明的治理。

为了利用现代硬件同时处理多个数据点的能力(SIMD/SIMT),编译器通常会将标量循环“降低”(lower)为显式的并行结构。本文将探索一个 180 行的 Python 编译器,用以演示这种转换过程。 该编译器将标准的 `for` 循环替换为 `vector_for` 代码块,将迭代过程分组为多个“通道”(lanes)。为了确保正确性,编译器使用一套分类系统来区分“统一值”(Uniform,跨通道共享)和“可变值”(Varying,每个通道独有)。 降低过程决定了数据的访问方式: * **连续访问**:对相邻内存使用 `masked_load`/`store`(掩码加载/存储),并通过布尔掩码处理边界,以禁用越界通道。 * **非连续访问**:使用 `gather`(聚集)操作,允许每个通道从独立地址加载数据。 通过将分组执行显式化,这一中间编译步骤为后续阶段生成架构特定的 SIMD 指令提供了必要的结构。这种转换对于性能至关重要,它使简单的标量代码能够有效利用现代 CPU 和 GPU 的并行计算能力。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 数据并行内核的微型编译器 (healeycodes.com) 由 healeycodes 在 1 小时前发布,获得 7 积分 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

``` 发布 登录 注册 发布 Techmeme @Techmeme 快讯:美国已解除对 Mythos 5 的封锁,允许 Anthropic 将其向 100 多家美国机构开放;消息人士称,关于 Fable 5 的谈判仍在进行中 (Semafor) (访问 Techmeme 官网获取链接及完整背景!) 下午 10:40 · 2026年6月26日 4.5K 次浏览 115 转发 54 引用 1414 点赞 阅读 1 条回复 初次使用 X? 立即注册以获取您的专属时间线! 使用 Google 账号注册 使用 Apple 账号注册 创建账户 注册即表示您同意服务条款和隐私政策,包括 Cookie 使用。 相关用户 Techmeme @Techmeme 关注 实时热搜 条款 · 隐私 · Cookie · 无障碍 · 广告信息 · 更多 © 2026 X Corp. 不要错过正在发生的事情 X 用户总是最先知晓。 登录 注册 ```

更多

联系我们 contact @ memedata.com