每日HackerNews RSS

作者引入了借用自诗歌的“转折”(volta)这一概念,用来描述小说中那个能让读者从百无聊赖的忍受转变为不由自主、全身心投入的关键时刻。尽管阅读初期可能感觉像是一种苦差事,但“转折”是必然会出现的,它使坚持读完一本书变得意义非凡。 至关重要的是,“转折”具有极强的主观性;不同读者由于审美倾向的差异,体验到“转折”的时间点也不尽相同,无论是被角色的独白、情节的翻转,还是某种特定的文体技巧所触动。作者认为,许多学生放弃阅读并非因为能力不足,而是因为他们不知道这种“转折点”是小说阅读过程中标准的一部分。由于缺乏这种预期,他们往往会误以为开篇缓慢就意味着这本书不适合自己。 通过向学生传授关于“转折”的知识,我们可以培养他们的耐心与好奇心,将阅读从一项艰巨的任务转变为一种有益的、社交性的、甚至如同生活本身般的实践。它提醒我们,正如人与人之间的相处,持续的投入往往能带来更深层、更有意义的连接。

Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 每一部小说都是枯燥的——直到它不再枯燥 (publicbooks.org) 5 点积分 由 samclemens 1 小时前发布 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

王与吴最近的一篇预印本论文证明了长期悬而未决的球形哈德维格猜想(Spherical Hadwiger Conjecture)。这一成就标志着数学界的一个重要里程碑:利用人工智能(OpenAI Codex)来完善证明细节并优化形式化研究。这一进展凸显了数学行业在人工智能冲击下的脆弱性,而此前的劳动力模型早已将数学家列为受影响最大的职业之一。 作者反思纯数学是否应转型为类似于古典音乐的“音乐学院”模式,即将其作为一种文化事业加以保留,而非经济产出的主要来源。鉴于人工智能可能很快在证明复杂定理方面超越人类,作者认为人类数学家的价值在于我们能够解读、传播并结合现实背景去理解这些抽象结构的能力。 归根结底,人工智能的崛起要求我们重新审视激励和支持数学研究的方式。随着人类劳动与机器劳动之间的界限日益模糊,社会必须决定:当计算机能够更高效地完成技术性工作时,我们是否仍愿资助并重视那些定义了纯数学的人类叙事与文化工作。

这篇 Hacker News 帖子探讨了人工智能对数学领域的影响,并将其类比为音乐产业。 讨论的核心在于数学是否即将迎来一场“音乐学院化”的变革,即该职业是否会变得类似于古典音乐演奏。参与者辩论了这种转变的经济现实,指出当代音乐人——无论何种流派——都很少能仅靠演出维持生计,而是依赖于教学和辅助工作的“零工经济”。 该帖子还谈到了研究的未来,一位用户将人工智能生成的数学成果比作天文学,认为数学家可能会将重点转向验证人工智能发现的结果。总体而言,这次讨论反映了人们对人工智能驱动的世界中知识工作未来的广泛担忧,并指出尽管角色演变不可避免,但社会如何适应这些变化尚未达成共识。

联合国大会以压倒性多数通过了“修正地图”决议,共有164个国家投票赞成,6个国家弃权,仅有美国投下反对票。这项由多哥和非盟牵头的非约束性决议,主张以“等积地球”等面积投影地图取代传统的墨卡托投影。 几个世纪以来,为16世纪航海而设计的墨卡托投影一直是全球标准。然而,它因夸大极地附近区域、缩小赤道附近陆地(如非洲)的面积,而导致了严重的地理变形。支持者认为,这造成了一种具有误导性的、以欧洲为中心的全球重要性和规模感。该运动通过鼓励在教育和国际媒体中采用等面积投影,旨在提供更准确、公平的世界视觉呈现。 尽管该决议的起草者、非洲领导人等支持者将此次投票视为公平与去殖民化视角的胜利,但美国批评此举是将意识形态作为转移视线的手段,忽视了更为紧迫的国际问题。尽管该决议不具约束力,但它标志着全球机构在对待地图制图政治化问题上的重大转变。

抱歉。

本文探讨了做市机制,重点分析了提供流动性所固有的挑战。做市商通过买卖价差获利,但也面临重大风险,主要是**库存风险**(持有未对冲资产)和**逆向选择**(与拥有优势信息的交易者进行交易)。 当做市商报出价格时,本质上是“亮出了底牌”。更快速、掌握信息优势的交易者往往利用延迟优势,在做市商调整报价前“抢单”。这种具有高度方向性的问题交易被称为**有毒流**。为了减少损失,做市商采取扩大价差、跨关联资产或交易所对冲,以及利用交易所提供的保护措施(如“撤单优先”协议)等策略。 作者强调,衡量成功与风险需要追踪**标记(markouts)**——即计算一笔交易相对于特定时间跨度内中间价的理论盈亏指标。通过分析这些标记,市场参与者可以识别信息流,并评估交易所的健康状况。作者还介绍了 *markouts.dev*,这是一款旨在跨平台追踪此类指标的工具,旨在证明较低的标记通常与更公平、更高效的交易环境相关。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 逆向选择与标记 (machow.ski) 3 点,由 costco 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Liquid Network 在发生一起安全事件后已暂停运营,约 4000 枚 BTC(约 3.2 亿美元)从 Liquid 联盟钱包中被提取。Blockstream 表示,尽管资金是通过 SideSwap 挂钩输出授权密钥(PAK)转移的,但实际上并没有密钥遭到泄露。 作为安全预防措施,桥接节点已被禁用,实际上暂停了 Liquid 侧链。虽然各交易所的 LBTC 充值和提现均已暂停,但其他基于 Liquid 的资产(如 USDT、DePix 和 RWA)未受影响。 Blockstream 目前正尝试通过链上消息联系相关方(被认定为“所谓的白帽黑客”)。联盟成员正在积极努力解决问题并恢复网络功能。建议用户通过提供的内存池(mempool)跟踪链接持续关注事态进展。

Hacker News 新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 黑客从 Liquid Federation 钱包中提取了约 4000 BTC(约 3.2 亿美元)(twitter.com/liquid_btc) 12 分,由 felipelalli 发布于 50 分钟前 | 隐藏 | 往期 | 收藏 | 5 条评论 帮助 Daviey 1 分钟前 | 下一条 [-] https://xcancel.com/Liquid_BTC/status/2096696272447218108#mreply skinfaxi 10 分钟前 | 上一条 | 下一条 [-] 为什么他们说是白帽黑客? 回复 tom_ 5 分钟前 | 父评论 | 下一条 [-] 所谓“白帽黑客”。言下之意是这些人大概是自称如此,但这未必是事实。 回复 simonw 7 分钟前 | 父评论 | 上一条 [-] 大概是为了尽量减少用户群体中的大规模恐慌。 回复 mvdtnz 0 分钟前 | 根评论 | 父评论 | 下一条 [-] 他们为什么要在意是否引起恐慌?他们已经“暂停了侧链”。没人能针对这种恐慌采取行动。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

近期的一场 Hacker News 讨论引发了人们对美国普查局(U.S. Census Bureau)受到政治干预的担忧。讨论的起因是彼得森国际经济研究所(Peterson Institute for International Economics)发表的一篇文章,文中探讨了政治干预对国家统计系统完整性的影响。 评论区呈现出两极分化的观点。一位用户批评普查局在 2020 年人口普查中存在记录在案的错误,特别是严重的人口高估和低估问题,该用户质疑其领导层的能力,并为近期撤换高层人员的举措进行了辩护。对此,另一位用户回应称,行政失误与政治干预并非互斥的问题。他指出,尽管人事更迭有时能清除不称职的员工,但也可能因驱逐高素质专业人员而扰乱机构运作,并强调真正的担忧在于如何平衡这些结果。

Austin Z. Henley 记录了他将 Python 解释器实现限制在 1024 字节 C 代码内的技术挑战。Henley 摒弃了标准库和复杂工具,构建了一个递归下降解析器,能够处理算术运算、变量赋值、if/else 逻辑、while 和 for 循环以及函数定义等核心语言特性。 为了满足 1024 字节的严格限制,Henley 采用了大量的代码高尔夫(code-golfing)技巧。其中包括使用单字母变量名、利用全局变量、省略错误处理,以及使用 C89 特有的“技巧”,如隐式整数声明和基于 ASCII 的运算符。通过去除代码的可读格式,并用紧凑的位运算逻辑替代冗长的结构,他成功地将 4800 字节的逻辑压缩到了 1KB 以内。 最终的解释器支持基于缩进的代码块、递归,甚至基础的打印功能,足以执行 Python 风格的“FizzBuzz”程序。Henley 总结道,虽然这个项目在理解代码如何从硬件层面执行方面是一次迷人的实践,但“高尔夫”编程的繁琐过程令人疲惫,同时也让他对全功能语言实现中的抽象机制有了全新的认识。

``` Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 用 1024 字节编写一个 Python 解释器 (austinhenley.com) 13 分,azhenley 发布于 15 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论 TZubiri 7 分钟前 [–] 对 Python 的很多批评经常提到将空白字符作为词法作用域标记,而这种批评通常来自该语言的用户。作为解释器的实现者,你是否觉得将空白字符用于词法作用域会使编写词法分析器的工作变得复杂得多? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

Sol 是一款功能强大、免费且开源的 macOS 音乐播放器。它高度重视用户隐私,无需注册账户、不含遥测数据,亦无任何订阅费用。其所有功能均为开箱即用。 Sol 专为大型本地音乐库设计,能够处理数十万首曲目并实现即时搜索。它支持几乎所有音频格式,包括高分辨率 DSD 和 FLAC,并提供无缝隙播放和位深完美的音频输出。此外,它能将本地文件与云存储、网络共享以及如 Navidrome 等流媒体服务器无缝集成。 除播放功能外,Sol 还包含全面的功能集:强大的元数据编辑、智能播放列表、播客与网络电台支持、歌词同步,以及 AI 驱动的 DJ 模式。它具有极高的可扩展性,支持 AppleScript/快捷指令、Last.fm 记录功能,并提供用于自动化的本地控制 API。Sol 基于 Swift 6 构建并针对性能进行了优化,完全透明,用户既可以从源代码构建,也可以下载已签名的版本。该软件采用 GPL-3.0 协议授权,确保其永远属于社区且保持免费。

macOS 音乐播放器“Sol”的开发者在 Hacker News 上发布了该项目,并宣布其为免费开源软件。发布后,社区迅速表达了质疑,指责开发者发布的是“AI 垃圾内容”。 批评者认为,该项目的文档和营销文案显然由 AI 生成,他们将其视为软件缺乏真诚投入、仅靠“氛围感代码”堆砌的信号。尽管开发者辩称自己仅使用 AI 进行语言润色(因英语非其母语),并投入了大量的人力进行代码编写和设计,但反弹依然激烈。用户对存储库中的注释进行了细致审查,进一步助长了对开发者依靠 AI 来伪造专业度和设计的指责。 事态迅速升级:在经历了一场激烈的辩论,以及针对项目文档缺乏诚意的持续批评后,该开发者最终删除了整个 GitHub 存储库。

D2 正转型为一个由 Hack Club 财政支持的非营利性开源项目。随着母公司的关闭,D2 将放弃其营利模式,并继续致力于软件架构图绘制领域。 创始人 Alex 将继续参与项目,但会转向 AI 辅助开发工作流,旨在加速功能交付与性能优化。尽管项目转向 AI 驱动,但重点仍在于质量与深度,而非盲目增加功能。未来目标包括发布稳定的 1.0 版本、深化平台集成(如 GitHub 和 Notion),并将 D2 定位为 AI 生成图表的“类 HTML”标准源。 该项目将严格保持为客户端离线工具,避免引入基于服务器的功能或集成大语言模型(LLM)。D2 正在积极寻求维护者;欢迎有意贡献者咨询由项目捐款资助的付费贡献合同。此次转型还标志着此前闭源的组件(包括 D2 Studio IDE 和 TALA 布局算法)将作为免费的开源资源提供给社区。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 D2 是非营利组织 (d2lang.com) 11 个积分,由 alixanderwang 发布于 3 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 sea-gold 41 分钟前 [–] 那么 TALA[1] 会继续开发和/或开源吗? [1] https://github.com/terrastruct/TALA 回复 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

报告漏洞是开源软件中一项至关重要却未被充分利用的贡献。许多用户因认为过程耗时或担心显得愚笨而犹豫是否报告问题。然而,报告漏洞是必不可少的,因为开发者无法预见每一种硬件配置或用户工作流程。 作者认为报告漏洞存在一个“最佳平衡点”:用户应投入最少的精力来创建一份有用且可复现的报告,而非试图提供完美的解决方案。有效的反馈是用户与开发者之间协作对话的过程,通常涉及反复试验。 虽然作者承认开发者没有义务修复所有问题,但也强调高质量的报告(从简单的复现步骤到完整的补丁)能显著提高问题得到解决的可能性。作者通过回顾一周排查新笔记本电脑故障的经历说明,即使是不完美的报告也能促成修复,前提是报告者需保持协助态度并积极回应。归根结底,尽管多年来软件质量已大幅提升,但通过报告漏洞进行积极的社区参与,仍是维持开源项目健康与长久发展的关键因素。

对不起。

更多

联系我们 contact @ memedata.com