王与吴最近的一篇预印本论文证明了长期悬而未决的球形哈德维格猜想（Spherical Hadwiger Conjecture）。这一成就标志着数学界的一个重要里程碑：利用人工智能（OpenAI Codex）来完善证明细节并优化形式化研究。这一进展凸显了数学行业在人工智能冲击下的脆弱性，而此前的劳动力模型早已将数学家列为受影响最大的职业之一。 作者反思纯数学是否应转型为类似于古典音乐的“音乐学院”模式，即将其作为一种文化事业加以保留，而非经济产出的主要来源。鉴于人工智能可能很快在证明复杂定理方面超越人类，作者认为人类数学家的价值在于我们能够解读、传播并结合现实背景去理解这些抽象结构的能力。 归根结底，人工智能的崛起要求我们重新审视激励和支持数学研究的方式。随着人类劳动与机器劳动之间的界限日益模糊，社会必须决定：当计算机能够更高效地完成技术性工作时，我们是否仍愿资助并重视那些定义了纯数学的人类叙事与文化工作。
每日HackerNews RSS
对不起。
联合国大会以压倒性多数通过了“修正地图”决议，共有164个国家投票赞成，6个国家弃权，仅有美国投下反对票。这项由多哥和非盟牵头的非约束性决议，主张以“等积地球”等面积投影地图取代传统的墨卡托投影。 几个世纪以来，为16世纪航海而设计的墨卡托投影一直是全球标准。然而，它因夸大极地附近区域、缩小赤道附近陆地（如非洲）的面积，而导致了严重的地理变形。支持者认为，这造成了一种具有误导性的、以欧洲为中心的全球重要性和规模感。该运动通过鼓励在教育和国际媒体中采用等面积投影，旨在提供更准确、公平的世界视觉呈现。 尽管该决议的起草者、非洲领导人等支持者将此次投票视为公平与去殖民化视角的胜利，但美国批评此举是将意识形态作为转移视线的手段，忽视了更为紧迫的国际问题。尽管该决议不具约束力，但它标志着全球机构在对待地图制图政治化问题上的重大转变。
联合国最近批准了一项新的地图投影法，旨在更准确地呈现非洲的相对大小。此举使美国成为唯一投反对票的国家。美国批评该决议是“意识形态议程”，并称其转移了人们对更紧迫外交问题的关注。
Hacker News 上的讨论显示出舆论的分歧。一些用户认为美国的反应过度，认为关注地图准确性并非意识形态之争。另一些用户则强调地图投影固有的局限性，指出所有将球体平面的表示方法都必须在形状或面积准确性之间做出取舍。持怀疑态度的人指出，新地图并非客观上“更准确”，而只是改变了畸变模式，将陆地面积的大小置于形状完整性之上。此外，评论者还质疑了媒体对此事的报道，认为像 NPR 这样的媒体为了制造两极分化的叙事，忽视了外交复杂性或各种投影法（如“等积地球投影”或“墨卡托投影”）的技术优劣。归根结底，这场辩论凸显了地图测绘科学、政治象征意义以及我们视觉化世界时主观性之间的交织。
本文探讨了做市机制，重点分析了提供流动性所固有的挑战。做市商通过买卖价差获利，但也面临重大风险，主要是**库存风险**（持有未对冲资产）和**逆向选择**（与拥有优势信息的交易者进行交易）。
当做市商报出价格时，本质上是“亮出了底牌”。更快速、掌握信息优势的交易者往往利用延迟优势，在做市商调整报价前“抢单”。这种具有高度方向性的问题交易被称为**有毒流**。为了减少损失，做市商采取扩大价差、跨关联资产或交易所对冲，以及利用交易所提供的保护措施（如“撤单优先”协议）等策略。
作者强调，衡量成功与风险需要追踪**标记（markouts）**——即计算一笔交易相对于特定时间跨度内中间价的理论盈亏指标。通过分析这些标记，市场参与者可以识别信息流，并评估交易所的健康状况。作者还介绍了 *markouts.dev*，这是一款旨在跨平台追踪此类指标的工具，旨在证明较低的标记通常与更公平、更高效的交易环境相关。
抱歉。
Liquid Network 在发生一起安全事件后已暂停运营，约 4000 枚 BTC（约 3.2 亿美元）从 Liquid 联盟钱包中被提取。Blockstream 表示，尽管资金是通过 SideSwap 挂钩输出授权密钥（PAK）转移的，但实际上并没有密钥遭到泄露。
作为安全预防措施，桥接节点已被禁用，实际上暂停了 Liquid 侧链。虽然各交易所的 LBTC 充值和提现均已暂停，但其他基于 Liquid 的资产（如 USDT、DePix 和 RWA）未受影响。
Blockstream 目前正尝试通过链上消息联系相关方（被认定为“所谓的白帽黑客”）。联盟成员正在积极努力解决问题并恢复网络功能。建议用户通过提供的内存池（mempool）跟踪链接持续关注事态进展。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
这场 Hacker News 讨论聚焦于对美国普查局（U.S. Census Bureau）受到政治干预的担忧。用户们正在争论一份报告，该报告暗示该机构的方法论——特别是关于数据抑制和“噪声注入”——可能受到政治议程而非单纯技术需求的左右。
讨论观点极其两极分化。一些参与者认为，近期普查出现的错误和潜在的程序性变动，证明了现任政府试图操纵数据以迎合特定的政治叙事或扭曲众议院的席位分配。他们对当前的政府机构表现出极深的怀疑，并将此与其它国家民主体系的衰落进行类比。
相反，另一些评论者则强调普查数据质量本质上非常复杂，并列举了 2020 年人口普查所面临的独特挑战，例如新冠疫情以及特定人群中存在的政治不信任。这些用户批评原文是带有偏见的观点，而非客观分析，并为普查局的专业人员进行了辩护。归根结底，这篇讨论反映了人们对于机构信任度下降、财富过度集中对民主的影响，以及在高度党派化的环境下维持一套中立、准确的统计体系之困难等更广泛的焦虑。
Austin Z. Henley 记录了他将 Python 解释器实现限制在 1024 字节 C 代码内的技术挑战。Henley 摒弃了标准库和复杂工具，构建了一个递归下降解析器，能够处理算术运算、变量赋值、if/else 逻辑、while 和 for 循环以及函数定义等核心语言特性。
为了满足 1024 字节的严格限制，Henley 采用了大量的代码高尔夫（code-golfing）技巧。其中包括使用单字母变量名、利用全局变量、省略错误处理，以及使用 C89 特有的“技巧”，如隐式整数声明和基于 ASCII 的运算符。通过去除代码的可读格式，并用紧凑的位运算逻辑替代冗长的结构，他成功地将 4800 字节的逻辑压缩到了 1KB 以内。
最终的解释器支持基于缩进的代码块、递归，甚至基础的打印功能，足以执行 Python 风格的“FizzBuzz”程序。Henley 总结道，虽然这个项目在理解代码如何从硬件层面执行方面是一次迷人的实践，但“高尔夫”编程的繁琐过程令人疲惫，同时也让他对全功能语言实现中的抽象机制有了全新的认识。
Sol 是一款功能强大、免费且开源的 macOS 音乐播放器。它高度重视用户隐私，无需注册账户、不含遥测数据，亦无任何订阅费用。其所有功能均为开箱即用。 Sol 专为大型本地音乐库设计，能够处理数十万首曲目并实现即时搜索。它支持几乎所有音频格式，包括高分辨率 DSD 和 FLAC，并提供无缝隙播放和位深完美的音频输出。此外，它能将本地文件与云存储、网络共享以及如 Navidrome 等流媒体服务器无缝集成。 除播放功能外，Sol 还包含全面的功能集：强大的元数据编辑、智能播放列表、播客与网络电台支持、歌词同步，以及 AI 驱动的 DJ 模式。它具有极高的可扩展性，支持 AppleScript/快捷指令、Last.fm 记录功能，并提供用于自动化的本地控制 API。Sol 基于 Swift 6 构建并针对性能进行了优化，完全透明，用户既可以从源代码构建，也可以下载已签名的版本。该软件采用 GPL-3.0 协议授权，确保其永远属于社区且保持免费。
开发者 `_nqmv` 近期发布了 macOS 音乐播放器和点唱机应用“Sol”，这是一个免费且开源的项目。该应用旨在作为一款本地、无需联网的播放器，支持原生的位深和采样率。
这一发布在 Hacker News 上引发了关于软件开发中 AI 使用的争议。用户质疑该项目的真实性，批评者认为，依赖 AI 撰写产品描述和文档会产生“劣质”信号，可能掩盖了低质量的代码。一些用户对开发者声称这是长期倾注心血的项目而非“ AI 生成”表示怀疑，特别是指出了其界面设计大量借鉴了经典 iTunes 的风格。
`_nqmv` 对此进行了辩护，澄清自己是一名 Swift 程序员，使用 AI 主要为了润色英语文档并使沟通更加专业，因为英语并非其母语。尽管开发者承认 AI 辅助的文案会造成负面观感，但仍坚持该项目是耗费大量精力的原创成果。讨论帖还涉及了 Roon 和 Foobar 等现有播放器的不足，凸显了市场对高质量、本地化及开源音频解决方案的持续需求。
D2 正转型为一个由 Hack Club 财政支持的非营利性开源项目。随着母公司的关闭，D2 将放弃其营利模式，并继续致力于软件架构图绘制领域。 创始人 Alex 将继续参与项目，但会转向 AI 辅助开发工作流，旨在加速功能交付与性能优化。尽管项目转向 AI 驱动，但重点仍在于质量与深度，而非盲目增加功能。未来目标包括发布稳定的 1.0 版本、深化平台集成（如 GitHub 和 Notion），并将 D2 定位为 AI 生成图表的“类 HTML”标准源。 该项目将严格保持为客户端离线工具，避免引入基于服务器的功能或集成大语言模型（LLM）。D2 正在积极寻求维护者；欢迎有意贡献者咨询由项目捐款资助的付费贡献合同。此次转型还标志着此前闭源的组件（包括 D2 Studio IDE 和 TALA 布局算法）将作为免费的开源资源提供给社区。
抱歉。
报告漏洞是开源软件中一项至关重要却未被充分利用的贡献。许多用户因认为过程耗时或担心显得愚笨而犹豫是否报告问题。然而，报告漏洞是必不可少的，因为开发者无法预见每一种硬件配置或用户工作流程。 作者认为报告漏洞存在一个“最佳平衡点”：用户应投入最少的精力来创建一份有用且可复现的报告，而非试图提供完美的解决方案。有效的反馈是用户与开发者之间协作对话的过程，通常涉及反复试验。 虽然作者承认开发者没有义务修复所有问题，但也强调高质量的报告（从简单的复现步骤到完整的补丁）能显著提高问题得到解决的可能性。作者通过回顾一周排查新笔记本电脑故障的经历说明，即使是不完美的报告也能促成修复，前提是报告者需保持协助态度并积极回应。归根结底，尽管多年来软件质量已大幅提升，但通过报告漏洞进行积极的社区参与，仍是维持开源项目健康与长久发展的关键因素。
这段 Hacker News 讨论探讨了反馈软件缺陷时所面临的阻力。参与者认为，许多用户因为担心耗费时间或害怕显得无知，从而避免报告问题。
讨论中明确区分了开源项目与闭源项目的反馈差异。在开源项目中，问题追踪系统允许报告者参与缺陷的修复过程，这不仅提高了透明度，也提供了学习的机会。这种反馈循环能够随着时间推移提升报告的质量。
相反，向商业化的终端用户应用程序报告缺陷，往往感觉像是将信息投进了“黑洞”。用户很少能收到确认或进展更新，从而产生一种徒劳感。即便组织确实重视用户反馈，其处理过程对报告者而言通常也是不透明的，往往只能收到挫伤进一步参与积极性的通用自动回复。归根结底，缺乏透明度以及报告者与开发团队之间缺乏有效的沟通联系，极大地削弱了用户提交缺陷报告的动力。
我们对太阳系的认知已经发生了翻天覆地的变化，这正如我们对恐龙的看法从迟钝的野兽演变为充满活力的带羽毛生物一样。外太阳系的卫星曾被认为是荒凉、冰冷的躯壳，如今却被视为可能孕育着巨大地下海洋的“海洋世界”。 目前，木卫二（Europa）、土卫二（Enceladus）、土卫六（Titan）、土卫一（Mimas）、木卫四（Callisto）和木卫三（Ganymede）已被证实拥有液态水，而包括冥王星（Pluto）和海卫一（Triton）在内的许多其他天体也在候选名单之列。在“旅行者号”、“伽利略号”和“卡西尼号”等探测任务的推动下，这一认知转变表明地下海洋是天体中的普遍特征。 研究人员特别关注那些液态水与岩石地幔直接相互作用的天体，因为这种相互作用能促进生命所需的化学反应。木卫二和土卫二因其相对年轻、具备地热活动以及能提供获取海洋样本机会的表面羽流，成为了最主要的探测候选目标。随着我们超越以地球为中心的宜居视角，这些隐藏在无光环境下的海洋成为了我们搜寻地外生命最前沿的希望，将曾经被视为“太空南极”的地方，变成了可能蕴含丰富生物活性的天然实验室。
抱歉。