## 海尔布伦问题 在单位面积区域内放置 \(n\) 个点，使任意三个点所确定的三角形中面积最小者达到最大可能值，记为 \(A(n)\)。本站收集三类经典容器——正方形、三角形和最优凸区域——中的最佳已知配置。每个条目均包含精确坐标、对称性和全等分析、已发表证明的参考文献，以及浏览器内的有理数运算验证器。 ## 最新纪录 最近十项改进。新纪录也通过 Atom feed 发布。 ## 最佳已知值 数值截断至小数点后 8 位；▲ 表示已证明为最优的条目。
每日HackerNews RSS
希尔布伦问题 The Heilbronn Problem
15 小时前
一场关于新交互网站的 Hacker News 讨论。该网站展示海尔布隆问题：在单位正方形内放置 \(n\) 个点，使这些点所构成的最小三角形面积尽可能大。评论者指出，简单的上界约为 \(1/n\)，而现有构造只能达到约 \((\log n)/n^2\)，两者差距巨大。Komlós、Pintz 和 Szemerédi 于 1981 年证明了一个接近 \(n^{-8/7}\) 的上界；此后几十年一直未能有所改进，直到近期 Cohen、Zakharov、Pohoata 等人的工作将上界推进到 \(n^{-7/6}\)。
讨论还把海尔布隆问题与关联几何联系起来，包括涉及多边形和点线配置的推广形式。这些问题 seeks? Need Chinese: 这些形式试图保证几何对象之间存在某种“近似关联”，并推动了三角形问题最佳已知界的改进。
该网站的创建者邀请业余数学家通过网站的 GitHub 仓库提交更好的计算结果。由于计算能力的限制，目前展示的纪录只到约 35 至 36 个点；这并非严格设定发表门槛的条件。一些来自海尔布隆的人也分享了一段与 HN 有关的怀旧往事；讨论接近尾声时，还出现了一段与 Magic Soap 有关的题外交流。
格拉苏蒂垃圾钟——用垃圾制成的30分钟摆钟 Show HN: Glashütte Trash Clock – A 30-minute pendulum clock made from trash
16 小时前
《格拉苏蒂垃圾钟》是一座可正常运行的机械钟，主要由废弃材料制成。它创作于2026年NOMOS在萨克森州格拉苏蒂举办的艺术家驻留项目。作者的祖先曾从事钟表制作，因此该项目从这一背景出发，以即兴组合的零件探索传统钟表工艺。
钟体采用一根约一米长的秒摆，驱动回形针齿式擒纵机构；油漆罐作为配重，可为机芯提供约30分钟的动力。纸板摩擦轮对传动机构进行减速，使钟能够显示分钟。另一套独立配重的机构会在十二点敲响玻璃瓶改制的锣。停摆前不久，安装在脚手架上的“现在是或永不”轮盘会开始旋转，成为一个带有玩笑意味的随机复杂功能。
视频分析显示，每次滴答的平均间隔为1.004秒，误差不超过0.4%。该项目还幽默地引入了GTC（格拉苏蒂垃圾钟时间）——一套由这座钟自身定义的全球参考时标，并解释了GMT、TAI、UTC、地球自转速度的变化，以及计划于2035年取消闰秒的设想。
Hacker News 上的一则讨论介绍了“格拉许特废料钟”：这是一台完全用纸板、扎带、胶带、卷尺和回形针等废弃材料制成、能够运行30分钟的摆钟。它诞生于精密制表业重镇格拉许特，同时还是 GTC 这一戏仿世界通用时间标准的基准。
大多数评论者称赞了它的巧思、趣味手工艺和可互动的回形针机关，同时认为它体现了“先动手做，原理以后再说”的精神。讨论还涉及格拉许特的制表传统以及当地的矿业历史。
另一场更深入的技术争论围绕计划在2035年前取消闰秒展开。评论者讨论了闰秒给软件开发带来的困难，以及一些机构为何采用“平滑闰秒”的处理方式。建议包括让不同时区逐渐偏离原子时间，并大约每几千年调整一次；也可以逐步重新定义民用秒。另一些人则强调，闰秒对平太阳时的追踪本来就不够准确，而精确的天文时间本身也需要额外校正。
Strata 是一个免费的开源系统，可在一台游戏电脑上完整运行号称拥有 1250 亿参数的 Qwen3.8-Flash-Next 模型。它支持 Windows 或 Linux，兼容 NVIDIA 或 AMD 显卡；硬件要求包括至少 12 GB 显存、32 GB 以上内存，以及大约 80 GB 的可用 SSD 存储空间。通过让 GPU、CPU、内存和 SSD 协同处理模型任务，它可以在本地提供服务器级 AI 性能，且无需将数据发送到其他地方。
根据硬件配置、量化方式和模型大小，基准测试速度约为每秒 44～94 个输出 token。较小的量化版本速度更快，而质量更高的版本需要更多内存。编程专用版本可装入 32 GB 内存，但在中文及其他 CJK 文本上的表现相对较差。
安装过程很简单：下载 Strata，在 Windows 上运行 `START-HERE.bat`，或在 Linux 上运行 `./setup.sh`；选择推荐选项，然后等待约 70 GB 的模型下载完成。本地网页应用将在 `127.0.0.1:8080` 打开，提供聊天、系统监控、图像支持，以及兼容 OpenAI 和 Anthropic 的 API，可供编程代理和其他应用使用。
首次启动时，系统可能会将 35～55 GB 数据加载到内存中，导致电脑暂时卡顿。它支持多块 GPU、远程访问、API 密钥和并行请求。
一名 Hacker News 用户展示了如何在消费级硬件上本地运行 Qwen 3.8 Flash Next（125B），推理栈采用 Strata/FreeToken。作者使用的硬件包括 RTX 4090、128GB DDR5 内存和 Ryzen 7950X3D，报告称生成速度约为每秒 124 个 token。
commenters 认为，该模型的质量可与 Qwen 3.8 27B 相当甚至更好，并接近更高档位的模型。不过他们也指出，采用 MoE 卸载后，生成速度并不能完整反映实际性能。据称，其量化版代码模型可装入 32GB 内存，并保留完整模型 SWE-bench Verified 得分的 91%。长上下文下的提示词处理性能仍是未知问题，讨论中还附有社区基准测试链接。
拒绝敏感是对感知到的批评、排斥 排斥或失败所产生的强烈反应。威廉·多德森（William Dodson）提出了“拒绝敏感障碍”（RSD）一词，用来描述一种严重且常伴有身体疼痛的反应，这种反应尤其与 ADHD 相关，但 RSD 并非正式诊断。 对于天赋儿童和双重特殊儿童，ADHD、孤独症、感觉处理敏感、情绪高反应性，以及身份与表现之间的强烈融合，都可能加剧拒绝敏感。针对某项作业的反馈，可能会让他们感觉自己的价值受到了评判。他们的反应可能包括羞耻、愤怒、情绪关闭、易怒、完美主义、黏人、社交疲惫，或把朋友间的小小“冒犯”视为严重排斥。这些孩子也可能很少遇到强度和兴趣与自己相匹配 的同龄人，因此一段友情可能会显得异常重要。 有帮助的做法包括：将表现与自我价值分开；在提出批评前先说明批评的背景；接纳孩子的高警觉反应，但不纵容相应行为；以及识别触发事件、孩子的理解、身体反应 应和随之做出的选择。让孩子有机会修复小错误，直接指导他们区分“轻微冒犯”与“真正排斥”，组建基于共同兴趣的同伴群体，并示范如何健康地修复冲突，都有助于增强其心理韧性。 如果出现严重回避、拒学、身体不适、抑郁或自伤，应寻求专业支持。
一则 Hacker News 讨论批评了一篇关于天赋儿童和双重特殊儿童拒绝敏感性的文章。评论者质疑文中缺乏证据支持的“机制”、临床化表述以及适用性，并指出“拒绝敏感失调”并非正式诊断，可能与 ADHD、自闭症、情绪失调、焦虑或完美主义存在重叠。作者是一名教育工作者，而非临床医生；文章似乎还与她的教育产品及 Substack 订阅内容有关。几名用户怀疑文章有 AI 参与；她否认由 AI 代写，但有人声称曾使用 AI 协助，此事后来又存在争议。
另一场较长的副线讨论考察了前沿模型是否会挑战已被否定的全语言阅读法。其中一个模型在明确接受相关指示后，仍为这种方法撰写了措辞漂亮的辩护文章，由此引发了争论：这究竟体现了模型的迎合性、普通的指令遵循能力，还是提示能力有限。
另一场冗长讨论则围绕“天赋儿童”是否是一种有用的教育分类展开，还是一个容易造成误导、带有历史包袱的标签。参与者对 IQ、环境影响，以及天赋项目是否确实能提供有价值的支持各持己见。个人经历涉及拒绝敏感性、自闭症、ADHD、学校中的困扰、应对策略，以及显著的个体差异。
迈克尔·尼尔森（Michael Nielsen）在《思维作为技术》一文中指出，具有变革性的计算机界面不只是自动化已有任务：它们会引入新的“认知元素”，拓展人们思考、推理和创造的方式。他童年时发现的 MacPaint——拥有直接绘制的画布、选择工具、缩放和撤销功能——成为了技术被内化为思维媒介的经典案例。
尼尔森将这一点与语言、地图、艺术和其他认知技术进行比较，并指出，专家往往会使用私密的视觉表征，而传统教育和媒体往往忽视这些表征。由此可以得出两条界面设计准则：
1. **将隐藏的表征具体化**，使难以触及的心智模型变得可交互。
2. **将深层原理具体化**，把基础的科学或数学理念转化为可探索的对象和操作。
能量曲面和抛体运动原型展示了这类界面如何揭示关系、支持快速发现，以及如何让对界面的掌握与对学科本身的掌握变得不可分割。
更广泛的目标是“智能增强”：扩展人类的思维，而不只是把问题解决外包出去。由于新的认知可能性无法被完全预测，设计者必须大胆探索，并提出更好的问题。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
工作
|
提交
登录
把思维当作一种技术（2016）
（
cognitivemedium.com
）
13 分
作者：tobr
15 小时前
|
隐藏
|
往期
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系我们
搜索：
**摘要（200 词以内）：**
SCM 是一款本地优先的 macOS 应用，可通过自然语言搜索个人照片和视频库。它支持语义文件搜索、带时间码的视频场景级检索、文本 OCR 高亮，以及精确的 Whisper 对话搜索。同时提供中日韩语言查询、截图识别、邮件检测、保存的搜索标签页，以及可选的本地大语言模型对话和引用来源。
用户可通过对话框、拖放或监控文件夹导入媒体。SCM 会统一文件类型，使用 SHA-256 哈希进行不受重命名影响的去重，重试异常文件，缓存视频场景方案，并支持嵌入快照和模型变更后的后台重新嵌入。应用提供四种视觉模型、Tesseract 语言包，以及 Whisper tiny/base 模型。
照片、视频、索引、转录文本、缩略图和推理过程均保留在 Mac 上，无需账号、云服务、遥测或上传。模型权重只需下载一次，之后可离线使用。项目使用 Bun、Vite、React、Electron、ONNX Runtime、Tesseract、Whisper 和 ffmpeg。文档涵盖 Homebrew 安装、开发与打包命令、测试、基准测试，以及签名或未签名的 DMG/ZIP 构建。数据默认保存在 `~/Library/Application Support/scm`。
Hacker News 上的一则讨论介绍了 **SCM**：这是一款免费、开源的 macOS 工具，支持使用自然语言对所有照片和视频帧进行语义搜索。它通过 JavaScript/ONNX/WASM worker 调用 CLIP/SigLIP、Whisper 和 Tesseract。尽管评论者推荐速度更快、准确度更高的 Apple Vision 框架，创作者仍选择了这套便携且完全基于 JavaScript 的技术栈；未来也可能推出原生 Swift/MLX 版本。
讨论的主要焦点是 AI 生成的软件，也就是所谓的“vibe-coded”（凭感觉编程）。批评者认为，仅依赖常用模型的建议往往会忽略特定领域中的最佳实践，从而生成效率低下或存在缺陷的代码。 supporters 则反驳称，快速构建的原型仍然可能很有价值，尤其是在社区反馈能够推动快速迭代的情况下。
对于大型视频库，主要瓶颈在于视频帧的采样频率：短暂出现的内容可能被遗漏，而处理 12,000 个视频可能需要数天。有人建议加入场景检测、关键帧、低分辨率代理文件和转码流程等改进。用户还比较了 SCM、Immich 和 Apple Photos，指出缩略图库占用大量存储空间的问题，并提到版权只保护代码，而不保护功能，因此产品容易遭遇“Sherlocking”式的功能抄袭。
20世纪60和70年代，Transcience 公司的广告承诺给人们“一碗快乐”：冻干卵放入盐水中后，就会孵化出卤虫幼体，也就是所谓的“海猴”。 匹兹堡大学的研究人员后来利用这种微小的自主游动生物研究湍流。通常，二维湍流中的能量会从小尺度涡流向大尺度涡流级联，但研究团队发现，在恰到好处的角度放置一个小障碍物，就能扰乱并逆转这一能量流。 这项工作建立在刘易斯·弗莱·理查森、安德烈·柯尔莫哥洛夫、罗伯特·克雷希南和乔治·巴切勒等人的理论之上，并展示了自主活动的生物如何影响流体动力学。研究由工程师 Lei Fang 和研究员 Xinyu Si 领导，结果表明，生物运动可能有助于生物在天然水道中混合各种物质。其影响或许还能扩展到更大尺度的三维湍流系统，并有望应用于污染控制、流体工程和药物递送。
# Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
海猴向科学家展示如何改写湍流的一条规则
（quantamagazine.org）
10 分
由 ibobev 提交
17 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
cma
12 小时前
[–]
要是这项研究能帮助解决纳维－斯托克斯方程的奇性问题，那就太棒了。不过，理性主义者／有效利他主义者中负责最大化海猴福利的部门，可能得陷入危机了。研究实验室环境中的海猴，这样只需较弱的人工智能就能解决我们最难的问题；还是应该用完整的海猴配饰目录来最大化它们的幸福感？
回复
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系我们
搜索：
Headstart 是一种用于 rustc/Cargo 的原型优化，可让依赖 crate 在其依赖项完成函数体检查之前就开始类型检查。当 crate 的接口有效后，rustc 会提前生成 `.rmeta` 文件；Cargo 会使用这份元数据启动依赖 crate 的编译，同时继续并发检查原 crate 的函数体。 运行 `cargo check` 时，依赖 crate 可以直接使用提前生成的元数据完成检查。运行 `cargo build` 时，依赖 crate 会先完成分析，然后暂停并释放任务槽位，直到完整元数据可用后再进行代码生成。依赖项中的错误仍会导致构建失败，并产生等效的诊断信息和退出状态，但执行时机、进度消息及 JSON 输出顺序可能有所不同。其代价包括丢弃下游工作、延迟报告错误以及增加峰值内存占用。 在 16 核机器上，使用默认前端进行全新构建时，`check` 的加速最高可达 54%，`build` 最高可达 42%；并行前端可获得最高 25% 的加速。在核心数较少的机器上，收益会减小或没有明显提升。 该仓库提供 rustc 和 Cargo 的补丁系列、设计与基准测试文档、冒烟测试、错误测试、增量测试、元数据切换测试、rustc-perf 验证，以及用于真实项目基准测试的脚本。使用 `scripts/setup.sh` 构建打过补丁的工具后，可通过 `-Zheadstart`、`CARGO_UNSTABLE_HEADSTART=true` 或相应的 unstable 配置项来运行 Cargo。
一个原型通过仅检查公共函数签名就生成 crate 元数据，使 Rust 构建速度最高可提升一倍。这样，依赖该 crate 的其他 crate 可以提前开始工作，同时完整的类型检查仍在并行进行。Rustc 和 Cargo 的相关改动使用实验性参数 `-Zearly-metadata` 和 `-Zheadstart`，用于暂停、恢复执行，并在之后替换临时元数据。
这是在 Rust 现有构建流水线基础上的扩展，并非充当缓存。实际收益取决于构建依赖图；如果可用核心资源不足，或依赖关系中包含大量互不相关的 crate，提升可能十分有限。推测性编译还带来了一些问题，例如原始 crate 最终检查失败时，如何处理下游已经开展的工作。
该实现主要由大语言模型生成，被认为不适合直接提交到上游，但可以由开发者手动重新实现。评论者认为，大语言模型适合用于探索原型和编译器政策方案，只要不将其生成的代码原样提交。类似的早期生成元数据工作可以追溯到 2019 年，但要得到更广泛的应用，仍需解决设计选择和错误处理等问题。
**gpuvis** 根据 **MIT 许可证**发布，版权所有 © 2019 Valve Corporation。在保留适用的版权声明和许可证声明的前提下，可以使用、修改、合并、发布、分发、再许可或销售本软件。
本软件按“原样”提供，不附带任何明示或默示担保；Valve 对由此产生的相关索赔或损害不承担责任。
第三方组件保留各自的许可证：
- Simple DirectMedia Layer（SDL）：zlib 许可证
- gl3w 和 stb 库：公有领域
- Dear ImGui 和 imgui_freetype：MIT 许可证
- Proggy 字体：MIT 许可证
- Roboto、Roboto Condensed 和 Droid Sans：Apache 许可证 2.0
- trace-cmd：GNU GPL v2
- miniz、noc_file_dialog.h、UCM CMake 宏和 SMHasher：MIT 许可证
- ya_getopt 和 {fmt}：BSD 2-Clause 许可证
- RapidJSON：MIT 许可证
- stlini：自定义电子邮件作者与署名许可证
用户必须遵守每项适用许可证中特定的署名、声明和分发要求。
The Hacker News 的帖子介绍了 **gpuvis**。这是一款由前 Valve 工程师 Mike Sartain 开发的开源 GPU 跟踪可视化工具。它可以将 Linux 的 ftrace/perf GPU 事件转换为时间线，为 GPU 调度提供有用的内核侧可见性，尤其适合调试 Mesa、amdgpu 和 i915。
讨论中提到，该项目的维护似乎基本停留在 2021 年，并且部分致谢链接已经失效，但其事件解析功能仍然有用。 commenters 推荐使用 **Perfetto** 作为更现代的替代方案，或将其作为系统级跟踪的补充工具。还有一段关于截图 URL 问题的简短讨论，以及对项目维护状况的批评，不过后来部分撤回了这些批评。
VGHF 数字档案馆收录的杂志已突破 5000 本。接下来将推出什么？ VGHF Digital Archive passes 5000 magazines. Here's what's next
19 小时前
电子游戏历史基金会（VGHF）免费开放的数字档案库自推出以来规模不断扩大，馆藏杂志从最初的 1,500 种增加到 5,000 多种，总计近 60 万页，涵盖 1981 至 2026 年的内容。社区扫描项目贡献了约三分之二的馆藏。目前，该档案库为游戏历史研究提供了大量资料，并已被维基百科引用 500 多次。
VGHF 也开始扩展英文以外的资料。其日语资料试点收藏包括《Neo Geo Freak》1995 至 2000 年的完整内容，并提供先进的日语光学字符识别（OCR）、重要文章的英文索引、语言筛选、从右至左排版，以及对无空格日语文本的搜索支持。VGHF 并不打算用机器翻译全部 10,000 页内容，而是依靠日语流利的志愿者筛选和识别关键内容。
该基金会计划在未来几年再增加 70,000 页国际资料，并寻求与收藏者、各类机构以及日语使用者建立合作关系。
《The Hacker News》的讨论聚焦于电子游戏历史基金会（VGHF）的数字档案，目前收藏了五千多本杂志。用户希望能够批量下载这些资料，用于保存，并担心网站关停、服务衰退或“服务质量逐渐恶化”。不过，一位评论者认为 VGHF 资金充足，网站很可能会长期运营。
该档案不提供直接下载似乎是出于有意限制，因此有人建议改用 Retromags、Out-of-Print Archive 或 Internet Archive 等来源；另一位评论者则开玩笑称，答案是“武器化爬取”。一些用户还反馈无法正常查看文档，并表示希望了解 VGHF 的扫描流程。
分享者还介绍了一个法语档案，其中收录了两万三千多本计算机杂志。最令人难忘的评论，是一位用户怀旧地回忆《ZZAP!64》《Sinclair User》和《Your Sinclair》等杂志如何塑造了他们的童年，帮助他们学习语言、感受幽默，并在互联网出现之前认识这个世界。