启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
对不起。
## Lichess 与 Take Take Take 合作 拓展开源国际象棋 Lichess，一个免费且开源的国际象棋平台，正在与 Take Take Take (TTT) 合作，利用其基础设施作为 TTT 新游戏区域的基础。 此次合作被视为开源软件的胜利，因为 TTT 选择在 Lichess 的基础上构建，而不是创建一个竞争性的专有平台。 使用 TTT 应用程序的玩家可以轻松创建 Lichess 帐户，并直接在 Lichess 服务器上对弈，从而受益于 Lichess 现有的隐私、数据完整性和审核机制。 TTT 将通过财务支持和提高知名度为 Lichess 做出贡献，从而促进更具竞争力和创新性的国际象棋生态系统。 Lichess 保持完全的独立性及其核心价值观——保持免费、开源，并优先保护用户数据。 对于 TTT 可能转移玩家或损害 Lichess 自主性的担忧已得到解决； 该协议不会限制 Lichess 的决策，并且用户数据不会被出售。 最终，这项合作旨在发展国际象棋社区，并巩固 Lichess 作为免费在线国际象棋的基础设施。
小型发动机
Small Engines
2 天前
## 小型热机的挑战
内燃机以及热机通常是“以人为尺度”设计的——围绕着易于使用传统工具制造的尺寸。虽然大型发动机（如货轮上的发动机）通过燃烧更重的燃料实现更高的效率，但即使是涡轮机也依赖于可管理的尺寸范围内的组件。
然而，缩小这些发动机的尺寸带来了显著的障碍。由于不利的表面积与体积之比、微小燃料液滴的不稳定燃烧以及难以维持温度梯度，效率在较小尺度上急剧下降。现有设计无法很好地应用——5毫米的发动机面临90毫米的发动机不面临的挑战。
尽管存在这些困难，潜在的优势——轻量化、高能量密度的电源——仍然很有吸引力，尤其是在无人机等应用中。目前的研究正在探索非常规方法，超越传统活塞设计。想法包括热声发动机（使用声波驱动功率）、利用温差的微腔以及利用热电或蒸发效应的新型材料。
最终，构建真正*高效*的小型热机需要重新思考基本的物理学和材料科学，为爱好者和工程师开辟了一个引人入胜的前沿领域。
这个项目是一个基于WebGPU的物理原型，实现了一个刚体/软体求解器，灵感来源于Giles等人2025年的论文中详细描述的AVBD（增强顶点块下降）方法。它是一个实验性的概念验证，目前仅限于Chrome浏览器，不适用于生产环境。
该求解器紧密遵循论文中的算法1，包括碰撞检测（粗略阶段和精确阶段）、约束收集、用于并行处理的着色、以及迭代的原始/对偶更新以求解位置和速度。主要特性包括接触保持和摩擦力的热启动，以及用于提高效率的近似Hessian方法。
目前，该实现执行就地着色体求解，与论文中的双缓冲位置更新不同。未来的开发将侧重于提高稳定性、性能和可用性。该项目展示了先进的网络图形和开源实验。
对不起。
启用 JavaScript 和 Cookie 以继续。
Session，一款拥有170万月活跃用户的去中心化消息应用，由于资金不足面临关闭。Session技术基金会（STF）需要在90天内达到100万美元的年度资金目标，目前已筹集到6.5万美元，仅够维持90天基础设施维护。 4月9日，所有付费员工和开发者将离职，之后将以志愿者的身份继续工作，如果资金未能到位，最终关闭日期为2026年7月8日。尽管Session取得了成功，但它依赖于一支薪资较低的精简团队，但即使如此，也需要大量资金来维护安全基础设施和支付运营成本。 STF向捐赠者保证，未使用的资金将捐赠给电子前沿基金会。他们正在呼吁社区支持，并寻求进一步的帮助，邮箱地址为[email protected]。如果没有资金，Session的运营将停止。
## Session 消息应用面临关闭
Session，一款专注于隐私的端到端加密消息应用，宣布如果无法在90天内获得175万美元的资金，将停止运营。该消息在Hacker News上引发了关于其财务需求和商业模式的讨论。
用户质疑如此大笔资金的必要性，尤其是在最近收到Vitalik Buterin的30万美元捐款之后，并建议采取诸如缩减规模或利用人工智能降低成本等替代方案。人们对该应用的生存能力和缺乏明确的收入计划表示担忧。
讨论还集中在开发者薪资上，评论强调了地区差异和外包的可能性。一些用户指出Session最初是Signal的一个分支，并讨论了消息应用中隐私和匿名性的区别。最终，这场对话反映了人们对Session在没有重大财务支持的情况下长期可持续性的怀疑。
## 披萨传奇：重现90年代都市生活
14年来，披萨传奇的开发者，这款《披萨大亨》的开源重制版，一直在努力在现代硬件上重现游戏中令人惊讶的充满活力的城市街道——包括数十个移动的汽车精灵。这款原始游戏在25MHz的386 CPU上实现了这一点，这在现代复杂的寻路和碰撞检测方法下，似乎是不可能的壮举。
突破来自于研究原始游戏的汇编代码。关键是什么？简单。汽车不会*决定*去哪里；道路瓦片*告诉*它们。道路本质上是单向的，决定了移动方向。汽车每帧移动一个像素，瓦片逻辑（方向改变）只在1/16的时间内运行。
碰撞检测是一种廉价的、成对的检查，可以快速消除不可能发生的碰撞（例如，东向行驶与西向行驶的汽车），并依赖于短暂的“等待”状态来模拟交通拥堵。汽车在地图边缘生成和消失，创造了持续的流动。
开发者意识到之前的尝试过度设计了系统，应用了原始游戏有限范围不需要的现代概念。通过镜像原始游戏的优雅简洁，*披萨传奇*成功地重现了繁华都市的幻觉，证明了有时候，少即是多。
米勒曼学校的这份简短诊断探讨了德国哲学思想和自闭症相关的特征之间的重叠。它强调了共同的特征，如系统性思维、对精确性的需求以及对肤浅社交互动的排斥。 这份测验并非旨在明确地将某人归类为两者之一，而是为了引发自我反思。它表明，历史上伟大的哲学家，如康德和维特根斯坦，可能同时表现出这两组特征——一种深深的不愿接受表象。 最终，这份诊断旨在引发关于*为什么*某人会对这些特征产生共鸣的更深入的对话，并为那些有兴趣更深入探索的人提供进一步的哲学资源，如“哲学地图集”。它强调独立评分，承认这些特征并非相互排斥。
这些数据代表对各种笔记本电脑和Beelink迷你电脑的硬件检测，对组件进行2分制评分。许多设备都包含NVMe SSD控制器（通常得2/2分）、USB控制器和音频控制器，这些通常得分较高。 显卡解决方案差异很大，从集成Intel UHD/Iris Xe Graphics和AMD Radeon Vega系列到独立NVIDIA GeForce RTX 4050和AMD Radeon RX 6700系列GPU。无线连接也多种多样，许多设备使用Wi-Fi 6/6E（AX210芯片组），而旧型号则使用802.11ac。 值得注意的是，Framework笔记本电脑（13”和16”）在所有组件上都 consistently 获得高分，展示了现代硬件，如Wi-Fi 6E和Thunderbolt 4。 几款Lenovo ThinkPad（T14、T490、X270）也在其中，涵盖了不同的世代和硬件配置。较新的型号，如Lenovo ThinkBook G6和Beelink SER8，分别采用Raptor Lake和Hawk Point处理器。一些旧型号，如Latitude E4300，显示出较旧的组件，在某些方面得分较低。
树演算
Tree Calculus
2 天前
## 树演算：简明总结 树演算由巴里·杰开发，约翰内斯·巴德尔演示，是一个极简、直观的系统，基于单个运算符△，通过附加值来构建树。这些树*就是*程序和数据，代表具有叶子、茎和分叉的自然二叉树。 值得注意的是，这个简单的系统是图灵完备的，等价于组合逻辑（K和S算子可以在其中定义），并且允许以标准形式表示递归函数。一个关键特性是其自反性——程序可以分析自身，从而实现内省和程序分析作为函数（例如，一个计算自身大小的程序）。 实际应用包括简单的解释器、跨平台配置生成、程序序列化，以及潜在上更简单的方法来解决停机问题。其模块化允许轻松引导常见功能，表明强大的程序不需要庞大的代码库。树演算旨在通过其优雅的简洁性“民主化”函数和元理论。
对不起。