RAPx(Rust 分析平台与扩展)是一个可扩展、模块化的静态分析框架,旨在提升 Rust 在标准 `rustc` 编译器之外的安全性、稳健性和性能。该框架分为用于程序分析算法的核心层和用于特定任务的应用层,支持错误检测、别名分析、调用图生成及优化检测。 其核心特性之一是基于契约的验证流水线,允许开发者通过安全不变量对函数和结构体进行标注。利用基于 Z3 的 SMT 求解器,RAPx 可执行路径敏感分析,以证明内存对齐、非空性及初始化等安全属性,从而确保 `unsafe` 代码块不存在未定义行为。该平台包含标准库的安全契约库,并允许用户通过宏定义自定义谓词。 RAPx 需要使用 nightly Rust 工具链,可通过 `cargo` 获取。它直接集成于 Cargo 工作流中,提供对验证模式和目标过滤的细粒度控制。尽管目前仍处于积极开发阶段,但该平台已成功验证了复杂的现实场景中的 `unsafe` 抽象,成为专注于高可信 Rust 代码的开发者的有力工具。详细文档请参阅《RAPx-Book》。

抱歉。

当有人向你提问时,他们寻求的是你独特的视角、判断和专业知识,而不是来自聊天机器人的通用且未经润色的回复。依赖人工智能生成并直接复制粘贴的回答是适得其反的;接收者很可能也拥有同样的工具,完全可以在几秒钟内自行生成同样的内容。 相反,应将人工智能视为起草伙伴,而非你个人声音的替代品。阅读模型的输出,提取相关要点,并根据你自己的见解进行重写。保持回复简洁;通常,三句深思熟虑的话比一大段人工智能生成的文字更有价值。如果你觉得模型输出的某一部分很有用,可以引用它并解释为什么它很重要。 归根结底,如果你没有什么有意义的内容可以贡献,承认自己没有明确意见,总好过将人工智能生成的内容伪装成你自己的观点。优先考虑你的人为投入,以确保你的沟通保持真实且切实有效。

这篇 Hacker News 帖子讨论了颇具争议的“AI 垃圾内容”(AI-slop)做法——即直接复制粘贴大模型生成的原始文本并用于专业沟通。 批评者认为,直接粘贴 AI 输出通常显得粗鲁且懒惰,将理解的负担转移给了接收者,并表现出缺乏诚意。许多人建议,在处理专业邮件和 Slack 消息时,个人应“用自己的方式书写”,以保持真实性、展现批判性思维并确保个人成长。 相反,一些用户则为这种做法辩护,认为这是提供完整背景、总结复杂问题或克服语言障碍的有效方式。一位辩护者认为,即使 AI 的输出很“枯燥”,也比沟通不足要好。 这场讨论带有一种讽刺意味:许多评论者注意到,该讨论的源网站(dontpastetheai.com)本身似乎也是由 AI 生成的。参与者普遍认为,虽然 AI 是起草或优化语法的强大工具,但它绝不应取代人的责任。共识是,有意义的沟通需要人工监管,而盲目转发 AI 生成的文本通常被视为数字版的“自己去谷歌搜”(LMGTFY)。

西班牙警员及工会Jupol报告称,北非飞地休达的性侵犯和轮奸案激增,据称肇事者为非法入境的摩洛哥移民。执法部门表示,袭击者在移民临时停留中心(CETI)周围的崎岖山坡上几乎不受惩处地活动,妇女和少女频繁成为目标。 尽管警方警告称这些事件具有系统性,且因受害者恐惧而存在瞒报现象,但政府官员仍坚称移民处于安全和受控的环境中。这种认知差异引发了当地居民的强烈不满,他们形容每天都生活在恐惧之中,甚至迫使一些家庭彻底离开该市。 此前,大量移民涌入导致当地基础设施不堪重负,卫生状况恶化并引发安全担忧。虽然一些活动人士将当地人的恐惧斥为仇外心理,但居民和警方认为,国家已抛弃了当地民众,任由妇女和儿童独自面对逍遥法外的暴力犯罪者。这场危机凸显了国家层面的融合叙事与公民在当地经历的动荡现实之间日益加剧的紧张关系。

这篇文章探讨了技术与用户之间不断变化的权力动态,并以汽车发展的早期历史作为主要例证。20世纪初,富有的车主依赖前马车夫来操作那些既不可靠又需要高强度维护的汽车。由于这些机械师掌握了车主所缺乏的专业知识,他们拥有巨大的社会和实际权力,往往对雇主表现出冷漠或不服从。 然而,随着汽车变得越来越可靠,车主们也学会了自己驾驶,司机的筹码便随之消失了。作者将其与现代社会进行了类比:曾经的技术打字员因精通复杂设备而掌握权力,但最终被个人电脑的普及所取代。 归根结底,作者认为技术专长是一种暂时的权力。知识是流动的,随着技能变得越来越普及,“专家”与“老板”之间的差距会逐渐拉平。在不断变化的技术格局中,唯一的真正脆弱点在于拒绝学习;那些害怕并回避掌握工具的人将始终处于被动依赖的状态,而那些能够适应变化的人则能保持自主。

在最近一场关于“司机问题”(The Chauffeur Problem)的 Hacker News 讨论中,一位评论者提出,廉价且本地化的人工超级智能(ASI)的普及,可能会从根本上改变知识界的论述。 该用户认为,广泛普及的 AI 将削弱那些自诩为“专家”的人所拥有的权威感。通过让“信任但要核实”的方法变得轻而易举,个人 AI 工具可以鼓励人们严格检查其论点的基础,而不是依赖未经证实的声明。作者指出,这种转变将促进一种更具知识性的文化,这种文化推崇基于证据的推理,而非精英式的摆姿态。此外,他们还提到,本地化 AI 或许能缓解虚假信息问题,因为核实信息的阻力将远低于生成虚假信息的成本。归根结底,这一观点倡导一种模式:技术领导力不应由专家光环来定义,而应由稳健、可验证的工程原则的实际应用来定义。

在过去的150年里,全球特大城市分布图发生了剧烈变革,重心已从西方主导转向以亚洲和非洲为主导的城市格局。 1950年,纽约、伦敦和巴黎等西方城市占据了全球人口最多15个城市中超过半数的席位。然而,20世纪后期,全球南方国家——尤其是拉美和亚洲——经历了快速城市化。到2025年,亚洲已占据全球前10大城市中的9席,其中雅加达位居世界首位。 针对2100年的预测显示,全球人口中心将持续重新分配。孟加拉国的达卡预计将以5500万人口成为全球人口最多的城市。尽管卡拉奇和新德里等亚洲枢纽地位依然稳固,但罗安达、达累斯萨拉姆和拉各斯等非洲城市正崛起为重要的人口大都市。反之,由于出生率下降,东京等历史性中心城市正面临人口显著减少。这些数据凸显了一个根本性的人口转向,标志着新兴经济体中特大城市的崛起,而西方城市中心正逐渐失去其往日的显赫地位。

作者建议在 Python 打包流程中实施可复现构建,以增强供应链安全,且无需增加分发者的负担。通过确保相同的源代码能够产生完全一致的分发文件(sdist/wheel),社区可以验证构建过程未被篡改,从而降低类似 SolarWinds 攻击事件的风险。 为实现这一目标,作者提出了三项要求: 1. **源码追踪**:在分发元数据中记录源代码位置。 2. **构建文档记录**:利用软件物料清单(SBOM)记录所使用的构建工具及环境。目前 wheel 格式已支持此功能,但 sdist 需采用新格式来容纳此类元数据。 3. **可复现性**:利用 `pyproject.toml` 中的 `[build-system]` 标准,使第三方工具能够自动化并验证构建过程。 该愿景包含一套“可信验证者”系统,用于向 PyPI 报告成功的复现结果。这将允许用户通过索引级别的指标来验证包的完整性。最终目标是让可复现构建成为一种低门槛、可选择的“SLSA 1 级”成就,而非强制性要求,从而通过社区主导的验证来营造一个更安全的生态系统。

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 在 PyPI 上实现可复现构建还缺什么 (snarky.ca) 4 分 | Ravencentric | 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

安德鲁·科里布科(Andrew Korybko)认为,耗资 250 亿美元的尼日利亚-摩洛哥天然气管道是西方为确保能源独立并巩固其在西非影响力而精心策划的地缘政治举措。虽然该项目承诺为西非国家经济共同体(ECOWAS)带来经济增长和更廉价的能源,但科里布科认为,这些利益实际上是“特洛伊木马”,旨在将尼日利亚打造为西方支持的区域军事代理人。 他指出,该项目的长期目标是将西非纳入“全球西方”阵营,并可能利用增强后的西共体来抗衡萨赫勒国家联盟。通过将身为金砖国家正式伙伴的尼日利亚与欧盟和美国的利益紧密捆绑,西方旨在使其能源供应免受俄罗斯影响,同时实现该地区的军事化。科里布科总结道,中俄联盟若想阻止该管道建设,在现实中难以做到,否则会被视为阻碍发展。他建议,中俄应转而致力于加强萨赫勒国家联盟,并试图将尼日利亚重新拉回其地缘政治轨道,尽管他承认这依然是一项艰巨的外交挑战。

请启用 JavaScript 并关闭所有广告拦截器。

路透社近期报道了一名前 Meta 高管的证词,指控马克·扎克伯格将平台增长置于儿童安全之上,此消息在 Hacker News 上引发了热烈讨论。 用户在回应这则新闻时对该公司的道德操守表示了深深的怀疑,其中一名评论者认为扎克伯格的行为足以因“反人类罪”接受审判。另一位参与者则指出,在他们看来,Meta 的决策始终反映出“金钱至上”的观念。 除了企业争议之外,一些用户还分享了减轻 Meta 平台影响的个人策略,例如对 Instagram 设定严格的每日使用时长限制。一位用户推荐了莎拉·韦恩-威廉姆斯(Sarah Wynn-Williams)所著的《粗心大意的人》(Careless People),认为该书批判性地审视了公司的内部文化,同时也承认公司领导层在商业行为上可能持有截然不同的说辞。

**sectorforth** 是一个极简的 16 位 x86 Forth 实现,旨在放入 512 字节的引导扇区内。受 1996 年 Usenet 讨论的启发,该项目仅提供 15 个基础构建块(包括 8 个原语、5 个状态变量和 2 个 I/O 操作),从而实现了极致的紧凑性。 尽管体积很小,sectorforth 仍包含一个冒号编译器,允许用户定义新词并从零开始构建复杂功能。它特意去除了自动数字转换功能,将该任务交给用该语言编写的更复杂的解释器来处理。 该系统使用 NASM 开发,专为裸机执行而设计,可通过 QEMU 轻松构建和测试。虽然它缺乏标准的“ok”提示符和稳健的错误处理,但它是理解线程代码和底层 Forth 实现的教学工具。它最适合已经熟悉 Forth 或对极简可引导软件架构感兴趣的人。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Sectorforth 是一个可装入 512 字节引导扇区的 16 位 x86 Forth 系统 (2020) (github.com/cesarblum) 17 分,由 sigalor 发布于 5 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 Saltloaf 20 分钟前 | 下一条 [-] 在 512 字节内实现八个原语和一个冒号编译器,很好地展示了如何从几乎零基础开始引导。从那里构建出来的示例是最好的部分。 回复 gabrielsroka 1 小时前 | 上一条 | 下一条 [-] 2020 回复 jxnsneb 59 分钟前 | 上一条 [-] 考虑到它大量使用了 BIOS 例程,而包括基础解释器在内的整个操作系统都能装入几个 KiB,这并不令人印象深刻。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

Windows 的历史充满了各种离奇且非本意的争议。作者讲述了 Windows 95 的原始包装上印有一个婴儿的全息图,结果引发了政府投诉,指控该婴儿“裸体”。尽管该婴儿只露出了腰部以上,微软仍被迫更换了全息图,改用一张穿着工装裤的婴儿图片,这使得原始的“裸体”版成了稀有的收藏品。 这种过度审查的趋势在 Windows XP 时期持续存在。该操作系统面临来自用户和政府的各种投诉,他们认为日常图形中存在“淫秽”意象。例如,“红月沙漠”壁纸被误认为是臀部,一个用户图标被指像希特勒,还有一个卡通形象被指控像某种淫秽的身体部位。最终,微软被迫修改了这些资源,这让作者不禁幽默地质疑起其受众和测试人员独特的解读方式及精神状态。这些事件凸显了公众认知的不可预测性,即便是最平庸的设计也可能被误解为带有冒犯性或潜意识信息。

``` Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Windows 引发了每个人的罗夏墨迹测试 (devblogs.microsoft.com/oldnewthing) 19 分,由 luu 在 46 分钟前提交 | 隐藏 | 往期 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

一份近期报告称 Asana 利用 OpenAI 的 Codex 在两周内完成了“五年的工程工作量”,这在 Hacker News 上引发了广泛质疑。 批评者认为,这一说法很可能是旨在向管理层推广人工智能应用的营销造假。许多评论者指出,最初的五年估算要么严重夸大,要么反映出极度无能,又或者这原本就是一项从未打算真正落实的低优先级任务。其他人则指出,该任务(从已弃用的测试框架 Enzyme 进行迁移)是繁琐且高度可自动化的技术债务的典型案例,而非革命性的产品开发。 这场讨论突显了一种日益增长的矛盾:尽管开发人员承认人工智能可以显著加速重复性的迁移任务,但他们仍对“公关驱动”的工程叙事保持警惕。许多人担心这些叙事会扭曲软件开发的现实,可能导致管理层产生不切实际的期望,削弱开发人员的自主权,并忽视确保系统在自动化变更后保持稳定所需的复杂“隐形”工作。归根结底,共识在于:虽然人工智能工具很有用,“五年”这个数字更多是营销指标,而非衡量工程生产力的可靠标准。

欧洲精英正面临一场生存危机,因为他们长期以来对美国军事保护、创新和消费市场的依赖正在瓦解。几十年来,欧盟在批评美国政治的同时,优先推行自由主义的全球化议程,并假定战后秩序将保持不变。随着这一秩序的转变,克里斯蒂娜·拉加德及其他官员承认,由于地缘政治的不稳定和经济韧性的缺失,欧洲的增长模式正在失效。 目前,该地区正陷于增长停滞、住房短缺以及大规模移民带来的经济压力之中,这与美国近期转向更严格的边境管控和市场驱动的复苏形成了鲜明对比。为了奋起直追,欧洲领导人正推动增加对科技初创企业的国家投资,并致力于资本市场一体化,以弥补高达1万亿美元的创新缺口。然而,作者认为,这些由纳税人出资的官僚干预措施不太可能成功。通过将中央计划和高税收置于自由市场原则之上,欧洲的建制派继续扼杀了生存所必需的企业家精神,这表明该地区的社会主义倾向体制在没有外部支持的情况下,从根本上无法实现繁荣。

最初的《微软 Windows 娱乐包》在发布时并未带有编号,因为该系列未来的走向尚不明确。值得注意的是,产品包装上并未列出游戏《俄罗斯方块》;取而代之的是,厂商通过一张亮红色的贴纸补加了该游戏,上面写着“现已包含 Windows 版俄罗斯方块!”。 这一不同寻常的营销策略源于授权方面的不确定性。微软在《俄罗斯方块》的谈判尚未最终敲定前就开始了包装盒的印刷工作。为了避免因协议破裂而不得不销毁预印包装所带来的高昂成本,他们删除了所有关于该游戏的提及。他们准备了“俄罗斯方块”贴纸作为备选方案,仅在获得授权许可后才将其贴在包装盒上。 随后的生产批次最终将《俄罗斯方块》的标志直接融入了包装设计中,并追溯性地将该合集命名为《微软娱乐包 1》,以与后续已经发布的各卷保持一致。如今,带有原始红色贴纸的版本被视为稀有的收藏品。

这篇 Hacker News 帖子讨论了关于最初版《微软娱乐包》(Microsoft Entertainment Pack)的一个有趣细节:包装上有一个醒目的贴纸,宣传其中包含《俄罗斯方块》(Tetris)。 用户推测该贴纸为何特意使用了“现已包含”(now)一词。有人认为这是一种心理营销策略,旨在让产品看起来像是“升级版”;另一些人则推测,贴纸是应对供应链物流的一种实用方案——无论《俄罗斯方块》的授权是否能在包装初次印刷前及时敲定,微软都可以照常出货。 讨论还涉及了人们对“老派”计算轶事的广泛兴趣,评论者们指出雷蒙德·陈(Raymond Chen)的博客《The Old New Thing》是了解此类技术和历史故事的主要资源。讨论还简要转向了制造业和印刷周期演变的问题,并指出 90 年代初的物流与当今快节奏的生产环境之间存在巨大差异。

“用 Rust 重写”(RIIR)运动已经从一个小众建议演变成了一项重大的行业趋势。尽管它常被戏谑,但诸如 Android 安全性提升,以及 `ripgrep` 和 `uutils` 等项目所获得的性能提升,都为针对关键且内存不安全代码库的转型提供了数据支持。 然而,作者警告不要将 RIIR 视为万能方案。重写是高风险且耗时的项目,不可避免地会引入新的漏洞和回归问题。二进制文件大小、团队技能差距以及互操作性等挑战依然是重大的障碍。Prisma 和 `curl/hyper` 集成等备受关注的项目表明,重写可能会因部署复杂性或缺乏社区推动力等原因而失败。 最成功的做法往往不是彻底的“推倒重来”。相反,作者建议采取渐进式采用策略——在现有系统中添加 Rust 组件,并进行严格测试,例如利用官方测试套件确保一致性。归根结底,Rust 在处理需要高性能和内存安全的系统级任务时表现最佳。当将其作为一种战略性工具而非默认选项来使用时,它能发挥巨大作用;这一点已在其成功集成到 Linux 和 Windows 内核中得到验证,并以此保障了数十亿台设备的安全。

这条 Hacker News 讨论帖探讨了一篇关于“用 Rust 重写”(RIIR)的 JetBrains 客座文章,引发了关于方法论、实用性以及人工智能使用的争议。 一位 GNU coreutils 的共同维护者批评了该文章的基准测试声明,指出其缺乏严谨的方法论。他证明了基于 Rust 的 `uutils` 在内存管理上可能不如 GNU `sort` 高效,由于其激进且未经优化的线程使用,经常触发内存溢出(OOM)终止程序。 其他评论者讨论了将服务用 Rust 重写的广泛趋势。虽然一些用户称赞了 RIIR 在显著提升性能和降低资源占用方面的优势,特别是在人工智能辅助小型项目时,但另一些人则表示怀疑。批评者认为,“逐行”重写往往未能利用 Rust 独特的类型系统和借用检查器。此外,多位参与者对原文似乎由人工智能大量生成表示不满,认为其缺乏技术写作应有的深度,并分享了他们对 IntelliJ 等工具在实际性能表现上遇到的困扰。

《星期日邮报》的一项民意调查显示,在英国全国范围内安置寻求庇护者的抽象支持与地方上的现实反对之间存在巨大分歧。虽然 51% 的受访者赞同在全国范围内均匀安置寻求庇护者,但只有 15% 的人支持在自己所在的社区安置,而 57% 的人明确表示反对。 政府以“公平”为由,正日益将农村地区和前军事基地作为安置移民的目标,以减少对酒店的依赖。然而,这些计划(通常涉及将大量单身男性安置在学校和居民区附近)引发了强烈抵制。林顿-奥兹(Linton-on-Ouse)和皮丁顿(Piddington)等村庄的居民表示感到“被背叛”,并对当地安全、基础设施压力以及社区特色的保持表示担忧。 批评者认为,该政策将大规模移民带来的社会摩擦转移到了最无力应对的农村社区,却未能解决小船偷渡带来的“吸引因素”。最终,该报告指出,尽管政界人士主张进行“公平”的分散安置,但这种做法往往会引发激烈的局部矛盾,并威胁到英格兰和威尔士各地高信任度、低密度社区的安全与认同。

美国的支付系统与中国(支付宝)和巴西(Pix)等国家的模式截然不同。虽然美国的银行卡网络收取的手续费明显更高(平均为 2.6%,而巴西仅为 0.22%),但这些费用是一种“捆绑”服务,涵盖了商家资助的消费信贷、奖励计划以及私有化的“拒付”争议处理系统。 在美国,欺诈和争议带来的负担很大程度上由商家承担,这种制度以牺牲零售商的利益为代价,优先保障消费者的权益与便利。相反,在中国和巴西,支付对商家而言通常更快且更便宜,但交易往往是不可撤销的。这使得信任负担从支付渠道转移到了消费者身上,消费者必须通过政府消费者保护机构或法律体系来解决争议。 归根结底,所有支付系统都承担着相似的经济负担——约占 GDP 的零点几个百分点——以覆盖信任、欺诈和风险成本。一个国家的支付架构只是决定了这些成本如何分配:美国体现的是一种以消费者为中心的模式,而中国和巴西则倾向于国家控制或公共基础设施,这使得个人用户需要承担更多的风险。

Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 美国、中国和巴西的支付系统是如何运作的?(andrewacomb.substack.com) 19 点,由 acombandrew 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 Brajeshwar 28 分钟前 [–] 你应该把印度的 UPI(统一支付接口)也包含进来。它很有趣,应该能加入到你的比较/参考中。 https://en.wikipedia.org/wiki/Unified_Payments_Interface 回复 ggm 0 分钟前 | 父评论 [–] 还有那个正在萌芽的泛欧盟支付提案,它很可能会因为“我的更好”这种竞争张力而夭折。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

在这篇叙述中,米兰·亚当斯(Milan Adams)详细描述了他因算法标记其账户存在“可疑活动”而突然被“断开银行服务”的痛苦经历。尽管亚当斯是守法公民,却因一系列合法的捐赠和订阅行为触动了银行内部保密的风险评估矩阵,从而导致其财务权限被封锁。 亚当斯描述了这一类似卡夫卡式(Kafkaesque)的遭遇:他试图与银行解决问题,但银行拒绝提供任何透明度,导致他无法支付房贷或维持家庭生计。虽然在聘请律师后他的账户最终得以恢复,但这番经历令他受到永久性的影响。 作者指出,现代金融基础设施已成为社会参与的把关人,不透明的算法可以根据个人的政治立场或所谓的“声誉情报”有效地将其排除在外。他警告称,在这种举证责任落在公民身上、且惩罚标准秘而不宣的体制下,社会正在形成一种恐惧和自我审查的氛围。最终,亚当斯认为,当经济准入权受到企业内部秘密协议的控制且带有附加条件时,真正的个人自由实际上已受到侵蚀。

本文探讨了将天数(“rata-die”)转换为星期几的高性能技术。这是一个看似简单,但实际优化起来却相当复杂的问题。虽然标准的模运算足以应对一般代码,但在高性能数据库或日期库中,其速度往往不够理想。 作者介绍了一系列利用位操作和梅森数特性($2^n - 1$)的超快速函数。通过使用专门的常数以及 x86 的 `LEA` 或 ARM 的 `MADD` 等特定硬件指令,这些算法能够以极低的延迟计算出星期几——有时仅需一次乘法运算后接一次移位即可完成。 主要内容包括: * **算法多样性:** 根据应用范围(受限范围 vs. 全范围)和目标平台(x86 vs. ARM)对方法进行了分类。 * **创新方法:** 作者引入了“Nundinal Map”,用位掩码替代了昂贵的乘法运算,并提供了计算计时模数(如 `x % 24` 或 `x % 60`)的新公式。 * **性能表现:** 新技术比传统的“双模”(double-mod)或 `rem_euclid` 方法快 3 到 6 倍。 * **优化策略:** 文章展示了通过精心选择常数和利用寄存器,可以将这些计算有效地“融合”到现有的处理器流水线中。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录计算星期几的更快方法 (benjoffe.com)8 分,由 gavide 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 balgg 15 分钟前 [–] 我的评论并非针对内容本身,而是……这正是我心目中互联网该有的样子。利用网络优势(可视化、交互性)的同时,依然保持结构化和简洁。我也非常喜欢整体的视觉风格,做得太棒了。/glaze回复benjoffe 15 分钟前 | 父评论 [–] 谢谢!我敢肯定,在这篇文章上花的时间比我开发算法本身的时间还要多。我通常不会投入这么多精力,但这次我觉得这些函数如果没有视觉辅助就太难理解了,而且如果没有函数浏览器,也很难进行自定义。然后我可能就有点过于追求细节了。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

虽然关于使用“π”还是“τ”的争论旨在简化圆相关的公式,但两者其实都是多余的。大多数软件经常进行一种冗余计算:用户将某个值乘以 π 或 τ 以将其转换为弧度,底层数学库随后又立即将其除以 π 以进行运算。 这种“弧度税”不仅计算效率低下,还会降低数值精度。作者主张用“转”(turn,以一整圆为 0 到 1 的刻度)来代替弧度。由于“转”基于简单的分数,它们在二进制中比无理数的弧度值更容易被精确表示。 过渡到“转”,或利用诸如 `sincospi` 这样接受半转的现有平台内置函数,完全消除了对 π 或 τ 常量的需求。通过转向基于“转”的系统,开发者可以消除冗余操作、提高精度并简化代码库。与其争论该使用哪个常量,最有效的解决方案是彻底摒弃它们,转而使用一种更直观、更高效的单位。

这篇 Hacker News 讨论探讨了一个具有启发性的观点,即以“圈”(turns,完整旋转一周为 1)作为角度单位优于弧度制。 支持者认为,使用“圈”可以简化计算,尤其是四分之一圈的计算,因为它消除了涉及 $\pi$ 的浮点运算。一些评论者表示,为了保持精度,他们已经在自己的代码库中倾向于将角度存储为“圈”。 然而,共识也指出了其中的重大权衡: * **数学上的不一致性:** 更改单位并不能消除 $\pi$,它只是将这个因子转移到了微积分运算(例如导数)和小角度近似中。 * **兼容性:** 由于三角函数是信号处理和物理学的基础,替换弧度制将需要对现有的科学标准进行大规模且具有破坏性的彻底改革。 * **概念争议:** 讨论还涉及到一个哲学层面的争论,即数字是否应该带有单位。虽然一些人认为在工程学中将角度标记为“度”或“弧度”对于清晰度是必要的,但另一些人(引用迈克尔·斯皮瓦克的话)则认为,单位是函数的属性,而非数字本身的属性。 归根结底,虽然“圈”被认为是在特定编程任务中一种便捷的工具,但它不太可能取代根深蒂固的弧度制。

美国航空业在疫情后实现了强劲复苏,2025年成为有记录以来最繁忙的一年,日均客运量达248万人次。尽管受通货膨胀和全球油价波动影响,近期机票价格大幅上涨,但市场需求依然保持韧性。 截至2026年8月,美国运输安全管理局(TSA)的日均安检量与去年创纪录的水平基本持平,显示该行业有望持平或超越2025年的表现。虽然机票价格自2025年7月以来已上涨超过25%,但与整体经济趋势相比,仍保持在相对可负担的水平。自2020年2月以来,美国整体消费者价格指数(CPI)上涨了超过28%,而机票价格仅上涨了16%。这表明尽管存在通胀压力,航空旅行对大多数消费者而言仍是一项可控的支出。

在这篇文章中,J.B. Shurk 认为西方政府正在系统性地瓦解结社自由这一基本权利。他指出,这种权利——即个人组织群体、分享思想和建立社区的天赋能力——是自由和民族自决的核心。 Shurk 列举了几种政府积极压制这一自由的方式。他强调了政府拒绝管控国家边界的行为,认为这削弱了既有民族国家的共同体认同与安全。此外,他指出政府正通过将其机构武器化、利用司法偏见,并与大型科技公司合作来压制异见。当局将那些反对大规模移民、学校灌输教育或限制性新冠政策的人贴上“极端分子”或“国家安全威胁”的标签,以此孤立并恐吓公民。 作者总结道,这些举措并非保护性措施,而是一场针对西方公民的有针对性的战争。通过阻碍人们在现实和数字空间中组织活动、开展宗教礼拜和进行辩论,西方政府正在背弃其保护本国人民的首要义务,最终侵蚀了自治与个人自由的根基。

2026年8月18日,华盛顿特区大都会警察局(MPD)第五分局的六名现任及前任警员因涉嫌大规模加班费欺诈案被签发逮捕令。被告人彼得·谢尔顿(Peter Sheldon)、弗兰茨·富尔彻(Frantz Fulcher)、托马斯·克尔梅内克(Thomas Krmenec)、伯纳黛特·理查森(Bernadette Richardson)、多丽·史密斯·克利尔(Dorrie Smith Cleere)和约翰尼·戴尔(Johnnie Dyer)被控犯有一级欺诈罪、盗窃罪、伪造罪及行使伪造文书罪。 检察官指控称,该团伙在2024年期间利用其行政职务之便,虚报了超过5600小时的工作时间,导致哥伦比亚特区纳税人损失441,137美元。其作案手段包括在休假、出国旅行或从事第二职业期间申领加班费,以及伪造主管签名。调查人员通过将考勤表与全球定位系统(GPS)、基站数据、随身执法记录仪视频以及车牌识别系统进行交叉比对,揭露了这一骗局。 美国联邦检察官珍妮·皮罗(Jeanine Pirro)与华盛顿特区总检察长布莱恩·L·施瓦尔布(Brian L. Schwalb)谴责这些行为背叛了公众信任,并强调没有人可以凌驾于法律之上。大都会警察局内部事务处在发现加班申报存在异常后启动了调查。随着起诉程序的推进,大多数被告已被拘留。

韩国总统李在明重申,他致力于在2030年前从美国手中收回韩国军队的战时作战指挥权(OPCON)。目前,战时指挥权仍由美国掌握,这是1950年至1953年朝鲜战争的遗留问题,该战争最终以停战协定而非正式和平条约结束。李在明认为,加强韩国的自主军事能力最终将巩固其与美国的盟友关系。 在寻求军事自主之际,特朗普总统近期下令“大幅削减”“乙支自由之盾”联合军事演习。特朗普称此举是出于他与朝鲜领导人金正恩的个人关系,尽管这一举措也符合李在明寻求与平壤进行直接外交的目标。虽然韩国官员继续强调美韩同盟的稳固,但军演的削减以及李在明对主权的推动,预示着地区安全动态可能发生转变。与此同时,朝鲜尚未对特朗普近期的示好作出正式承认或回应。

在《拟像与仿真》一书中,让·鲍德里亚概述了表征的三个历史阶段。第一阶段涉及对现实的忠实复制;第二阶段的符号则是不忠实的,暗示着一种无法完全捕捉的现实;第三阶段代表了“超真实”,即符号失去了与任何原始指涉物的联系,反而被误认为是现实本身。 鲍德里亚认为,我们已经进入了一个“地图”(表征)完全取代了“疆域”(现实世界)的时代。在这种状态下,真实的体验被景观和仿真所取代。这种转变导致了他所称的“历史的终结”,即对立面之间的界限趋于消解。在媒体和全球市场机制的影响下,社会变成了一个被动吸收图像的“沉默的大多数”。随着独特的现实被普遍化的仿真和均质化的媒体交流所取代,个人被边缘化,而真实与虚构之间的界限也随之被永久抹除。

抱歉。

亚马逊正在迅速扩大其 Prime Air 无人机送货服务,计划在今年年底前覆盖美国近 500 个城镇。继 2024 年获得美国联邦航空管理局(FAA)批准进行超视距飞行后,该项目已在全美 11 个州成功完成了数十万次配送。 亚马逊利用高度自动化的 MK30 无人机,旨在为郊区地区的轻型包裹提供 30 分钟送达服务。尽管亚马逊强调该服务高效且噪音较低,但同时也承认该项目仍处于“测试与学习”阶段。Prime 会员购买超过 50 美元的订单可免费使用该服务,金额较小或非会员订单则需支付费用。 尽管业务在扩张,但近期发生的无人机与起重机相撞及割断电缆等安全事故,使该服务持续面临监管审查。归根结底,亚马逊及其竞争对手沃尔玛并非将无人机配送视为传统物流的全面替代方案,而是将其作为一种战略工具,通过更快的配送速度来提高客户忠诚度。

arXivLabs 是一个允许合作者直接在我们的网站上开发和共享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观,并且仅与遵守这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增加价值的项目想法,请了解更多关于 arXivLabs 的信息。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 梯度下降神经网络训练的普遍性 (arxiv.org) 5 点积分,由 E-Reverance 于 59 分钟前发布 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助 准则 | 常见问题解答 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

随着 Drobo 公司倒闭,其仪表盘软件已无法在现代 macOS 系统上运行,作者便着手让其老旧的 Drobo 5D 设备继续发挥余热。在 Claude (Opus) 的协助下,作者对 Drobo 的通信协议进行了逆向工程,并开发了一款名为“ReDrobo”的自定义驱动程序和应用程序。 该项目涉及极高的学习门槛,作者需要在一台测试机器上绕过系统完整性保护 (SIP) 才能部署此驱动。尽管面临诸多技术障碍(包括授权问题、编译错误以及硬件特定的限制),两人最终成功读取了设备数据和状态。 最终推出的软件 *ReDrobo 1.0.0* 提供了一个实用的菜单栏工具,用于监控 Drobo 的健康状况和存储指标。虽然作者坦言整个过程基本是“放手式”开发,且需要关闭部分安全功能,但他们确实成功延长了硬件的使用寿命。目前源代码已上传至 GitHub,供其他希望在现代 macOS 版本上保留 Drobo 使用权的个人用户参考。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 迷失阵列的夺宝奇兵:为我被遗弃的 Drobo 编写 macOS 驱动的“氛围编程” (fetzu.ch) 6 分 | fetzu 发布于 45 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国国债规模已正式突破40万亿美元。这一惊人的里程碑距离突破30万亿美元仅过去了五年。借债速度正在急剧加快,仅在过去三个月内就增加了1万亿美元。这种增长是由巨额财政赤字、停滞不前的政治支出政策以及不断加剧的“厄运循环”所推动的——即创纪录的债务所带来的高利率增加了借贷需求,从而进一步推高了成本。 利息支出已成为联邦政府的第三大开支,仅次于社会保障和医疗保健,预计到2026年将超过社会保障支出。尽管财政部长斯科特·贝森特(Scott Bessent)近期采取了通过回购操作抑制长期国债收益率的干预措施,但专家警告称,这些手段只是推迟了不可避免的财政清算。 包括国会预算办公室(CBO)和惠誉在内的分析人士认为,随着结构性支出压力增加,且政治僵局阻碍了实质性改革,目前看不到赤字缩减的途径。由于缺乏削减支出或大幅提高生产力的明确计划,美国正面临不确定的未来。市场观察人士日益相信,唯有发生重大的金融市场动荡,才能迫使华盛顿超越政治作秀,转而解决美国债务不可持续的轨迹问题。

页面顶部 本网站由 Wix 创建。您也想创建一个吗?立即开始 Manabu Kosaka Art Works 首页 关于 个人简介 作品 作品,2017-2018 作品,2019-2020 作品,2021-2022 作品,2023-2024 作品,2025- 联系 更多 使用 Tab 键导航菜单项。Manabu Kosaka 手工纸雕塑 ​ 仅使用纸张将日常物品转化为精确的雕塑形式。 每件作品均纯手工制作,通过裁剪、组装和打磨纸张的过程,构建出高度细节化的物体。 每件作品均完全由手工使用纸张创作而成。 制作过程涉及在较长的时间内对微小组件进行裁剪、塑形和组装。 通过重复与精确的工艺,材料逐渐转化为坚实且细节丰富的物体。 作品名称:#256 [BCL 收音机] 年份:2022 材质:纸 尺寸:220 × 180 × 70 毫米(可变)页面底部

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Manabu Kosaka 的手工纸雕(wixsite.com) 5 分,发布者:surprisetalk,1 小时前 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com