## Trifold：简单、经济实惠的静态网站托管 Trifold 是一款命令行工具，旨在轻松部署静态网站（HTML、CSS、JS、图片），使用内容分发网络 (CDN)。它是一种经济高效的 Netlify 和 GitHub Pages 等服务的替代方案，旨在通过合理定价的付费服务实现稳定性。 Trifold 简化了诸如项目初始化、将文件同步到 CDN、配置带有 SSL 的自定义域名以及设置每月支出限制等任务。目前，它支持 bunny.net，这是一种 CDN，提供每月 0.01 美元/GB 的存储和带宽 – 即使流量很大，也使其非常经济实惠。 Trifold 的构建源于独立开发者和学生对可靠托管解决方案的需求，优先考虑易用性和可预测的成本。安装通过 `uvx trifold` 或标准 Python 包管理器简化。
每日HackerNews RSS
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Trifold 是一个工具，可以快速且廉价地使用 CDN 托管静态网站 (jpt.sh)
6 分，birdculture 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
本报告详细介绍了在Linux系统上使用Proton兼容层运行几款热门游戏的兼容性。**光环：士官长系列**和**光环：无限**（需要补丁）已确认可运行，包括**返校血战**、**神之浩劫**、**方舟：生存进化**和**腐烂国度**。**死神降临**通过Steam运行良好，但Epic Games Store版本在Linux上无法运行。
目前有几款游戏可以**运行**，但需要谨慎：**守望先锋**容易因更新而损坏，**黑色沙漠在线**和**糖豆人**需要特定的Proton版本（GE或实验版）。
然而，**堡垒之夜**、**战地2042**、**Apex英雄**、**Valorant**和**彩虹六号：围攻**目前被**拒绝**运行——这意味着它们无法工作。**绝地求生：大逃杀**被列为**损坏**状态。状态截至2025年4月1日，可能会发生变化。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
使用反作弊机制的游戏及其与GNU/Linux或Wine/Proton的兼容性 (areweanticheatyet.com)
9点 由 doener 2小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
请启用Cookie。 错误 1005 Ray ID：9a7193deea94fd3c • 2025-12-01 09:32:29 UTC 拒绝访问 发生了什么？ 该网站（gizmodo.com）的所有者禁止您的IP地址所在的自治系统编号（ASN 45102）访问此网站。 请参阅 https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 了解更多详情。 此页面是否有帮助？ 是 否 感谢您的反馈！ Cloudflare Ray ID：9a7193deea94fd3c • 您的IP： 点击显示 47.245.80.60 • 由Cloudflare提供性能和安全保障。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
火星探测到闪电 (gizmodo.com)
11 分，由 domofutu 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
大型语言模型（LLM）的最新进展显示出在数学推理方面的潜力，定量竞赛的性能也在迅速提高。然而，仅仅获得正确的*答案*并不能保证可靠的*推理*，这对于定理证明等复杂任务至关重要。本研究的重点是开发LLM中的“自我验证”数学推理能力。
研究团队训练了一个基于LLM的验证器来评估证明的严谨性，然后将该验证器用作奖励模型来训练一个证明生成器。该生成器被激励在最终确定解决方案*之前*识别并纠正其自身工作中的错误。为了持续改进验证器，他们扩展了验证计算量，以自动标记具有挑战性的证明，用于训练数据。
由此产生的模型DeepSeekMath-V2，展示了显著的定理证明能力，在IMO 2025、CMO 2024等具有挑战性的基准测试中取得了最高分，并在Putnam 2024中获得了接近完美的成绩。这些结果表明，自我验证是构建更强大、更具能力的数学人工智能系统的一种可行途径。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
DeepSeek 发布开放权重的数学模型，IMO 金牌表现 (huggingface.co)
31 分，由 victorbuilds 发表于 36 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
victorbuilds 2 分钟前 [–]
值得注意的是：他们使用 Apache 2.0 协议开源了权重，与 OpenAI 和 DeepMind 不同，后者的 IMO 金牌模型仍然是专有的。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
工程师将蚊子口器改造为3D打印喷嘴 (techxplore.com)
27点 由 T-A 4小时前 | 隐藏 | 过去 | 收藏 | 3评论
kragen 6分钟前 | 下一个 [–]
他们说蚊子口器的内径为20 μm，比商业替代品“精细100%”（大概意味着直径减半）。 没读过论文，我猜它无法处理210°熔融PLA。回复
backprop1989 27分钟前 | 上一个 [–]
称之为“死者打印机”既不祥又壮观。回复
metalman 27分钟前 | 父评论 [–]
希望这个名字能流行起来，因为它确实“不祥又壮观”，并且能让人们思考下一步会是什么。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
关于机器是否能“思考”的争论自计算机诞生之初就一直存在，图灵和冯·诺依曼等先驱也在努力探寻这个问题。近期大型语言模型（LLM），如ChatGPT等，的进步重新引发了这场讨论，它们类似人类的回复促使人们猜测其是否具有真正的智能。然而，验证意识仍然是不可能的，并且目前理解这些模型的复杂内部运作方式是无法解决的。 作者认为，尽管LLM具有令人印象深刻的能力，但本质上是“强化版的自动补全”——优化来预测下一个词，而缺乏真正的理解、逻辑或一致性。对修改后的谜语的错误回答证明了它们倾向于表面模式匹配。 然而，仅仅将LLM视为“自动补全”似乎是不够的。作者提出一个关键的区别：人类的思维是“自上而下”（从想法到符号），而LLM的运作是“自下而上”（从符号到想法）。这并没有降低它们的能力，而是表明了一种根本不同的*类型*的智能。最终，作者认为未来不是关于人工智能*取代*人类，而是关于协作——利用这些独特的“自下而上”思考者来增强我们自身的“自上而下”推理能力。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
思考模型会思考吗？(bytesauna.com)
8 分，作者 mapehe 34 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论
exe34 0 分钟前 | 下一个 [–]
思考/智能就像魔法，用丹尼特的类比来说。任何时候机器可以做到，它就变成了工程学。它只是一堆技巧。真正的思考/智能的范围是一个不断缩小的技巧集合，只有通过性交产生的碳基大脑才能做到。事实上，我惊讶于他们称试管婴儿是聪明的。他们有灵魂吗？回复
mapehe 34 分钟前 | 上一个 | 下一个 [–]
你好。这是我的公司博客，我用它来写任何让我感兴趣的东西。希望你喜欢本周的文章。回复
Jean-Papoulos 9 分钟前 | 上一个 [–]
https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headline...回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 三体问题与引力模拟 “三体问题”——预测三个引力相互作用物体的运动——是物理学中一个著名的未解难题，不像更简单的二体问题那样缺乏通用的解析解。该模拟器通过数值建模来解决这种复杂性，使用牛顿万有引力定律来计算物体之间的力。 该模拟器提供两种积分方法：速度Verlet，它擅长长期能量守恒和轨道稳定性；以及RK4，提供更高的短期精度。用户可以探索预设的稳定轨道，如“8”字编舞和拉格朗日构型，或创建自定义场景，并调整质量和初始条件。 主要功能包括实时3D可视化、用于分析的时间线以及“共享配置”选项。该模拟器显示总能量和能量漂移，以评估模拟精度；低漂移（低于1%）表示可靠的结果。负的总能量表示引力束缚的稳定系统。该工具允许交互式地探索混沌和稳定的引力动力学，从而深入了解这个复杂领域。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
N体模拟器 – 交互式三体问题和引力物理学 (trisolarchaos.com)
3点 由 speckx 1小时前 | 隐藏 | 过去 | 收藏 | 1评论
nhatcher 6分钟前 [–]
之前讨论过这里：https://news.ycombinator.com/item?id=45967079
(245和112评论)回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
🕹️ 有趣的游戏：玩激动人心的游戏，挑战你的思维，让你捧腹大笑。 🎨 色彩缤纷的故事：在游戏中学习：发现惊人的有趣知识，结识了不起的角色，探索充满惊喜的故事。 🎶 与朋友一起：邀请你的朋友一起派对。每一轮都是新的冒险，只有最勇敢的人才能获胜！
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
展示 HN: CurioQuest – 一个简单的网络小知识/趣味问答游戏 (curioquest.fun)
3 分，来自 mfa，1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
我一直在开发 CurioQuest，一个简单、清爽的知识问答/趣味事实游戏。它最初是一个为我的朋友和家人准备的小项目，他们鼓励我完善它并公开发布。
在添加下一批类别和问题之前，我很想听听真正的网络游戏爱好者的反馈！
这不是一个商业产品；它是一个充满爱意的劳动成果，仍在开发中。它还没有包含所有计划的类别，但内容已经相当丰富：超过 2600 个问题，7 个类别，每个类别 4 个难度级别，2 种语言（英语和葡萄牙语），PWA，因此您可以将其“安装”在手机或桌面上。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## NVMe2K：Windows 2000 NVMe 驱动程序摘要 NVMe2K 是一个实验性的 SCSI 迷你端口驱动程序，旨在为 Windows 2000 带来 NVMe 固态驱动器支持，目标平台包括 x86 和 Alpha AXP。它基于 ScsiPort 框架构建，允许 Windows 2000 识别和利用通过 PCI 总线（类代码 01-08-02）连接的 NVMe 设备。 该驱动程序是一个概念验证，提供基本功能，但存在限制：单个 I/O 队列、传统中断处理（INTx）、有限的并发传输以及不支持命名空间或电源管理。配置通过 INF 文件实现，调整队列深度和散布/收集列表大小等参数。调试支持通过 WinDbg 和 ScsiDebugPrint 进行。 NVMe2K 使用 Visual C++ 6.0 和 Windows 2000 DDK 开发，并采用 3-Clause BSD 许可。**它不提供任何担保，仅供实验使用，存在数据丢失或系统不稳定的风险。** 未来的开发方向包括多队列支持、MSI-X 中断和性能优化。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Windows 2000 的 NVMe 驱动程序，面向 x86 和 Alpha AXP 平台 (github.com/techomancer)
24 分，由 zdw 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## SmartTube 安全漏洞摘要
本月早些时候，流行的Android TV和Fire TV上的SmartTube YouTube应用程序遭遇了安全漏洞。用于构建应用程序的开发人员的计算机感染了恶意软件，导致恶意版本（特别是来自APKMirror的30.43和30.47版本）被意外发布。这可能是Google和Amazon强制卸载的原因，而非最初怀疑的数字签名泄露。
受感染的计算机已被擦除，现在提供了一个新版本（30.56 – 通过Downloader应用程序安装码28544用于稳定版，79015用于测试版），并带有新的数字签名。
虽然恶意软件的具体功能尚不清楚，但建议用户假设最坏的情况。**建议恢复出厂设置最近安装/更新了SmartTube版本的设备（尤其是在11月），并检查Google/YouTube帐户权限是否存在可疑活动。** 仅使用提供的代码安装最新版本，以确保干净的安装。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
SmartTube 被攻破 (aftvnews.com)
10 分，由 akersten 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：