Core-Lightning 开发者 ddustin 指出,近期 Coldcard 出现的安全漏洞源于开发者的疏忽以及严重的监管缺失。 对提交历史的调查显示,两次关键更新仅以单个字符(“runs” 和 “x”)作为提交信息,却在没有适当文档记录的情况下修改了数千行代码。问题的起因是开发人员在尝试自定义硬件随机数生成器 (RNG) 时遇到了“重复符号”的编译器错误。该开发人员没有从根本上解决逻辑问题,而是通过禁用硬件 RNG (`MICROPY_HW_ENABLE_RNG = 0`) 来强行消除错误,这导致系统无意中被迫依赖于一个脆弱、不安全的后备生成器 (Yasmarang),而非预期的硬件安全机制。 这一错误因缺乏对 Python 应用层如何与基于 C 语言的固件进行交互的理解而进一步恶化。该开发人员以为自己覆盖了正确的函数,但钱包生成所采用的代码路径绕过了这些覆盖,导致资金暴露在风险之中。 归根结底,此次事件凸显了依赖 MicroPython 等高级抽象来规避基础 C 语言知识的危险性。作者强调,比特币开发者有道德义务去理解自己发布的代码,透明地记录变更,并绝不屏蔽关键的编译器警告。

这篇 Hacker News 的讨论围绕着一篇题为“当 random.bytes() 运行却不起作用时”(btcpp.dev)的技术文章展开。评论主要集中在找出所述漏洞的根本原因。 讨论的要点包括: * **错误归因:** 用户们讨论该漏洞是源于恶意、无能还是仅仅因为缺乏经验。一位评论者指出,根据汉隆剃刀定律,这些缺陷更像是作者缺乏微控制器使用经验所致,而非出于恶意。 * **语言选择:** 有人批评在此类任务中使用 C 语言,并建议使用 Rust 等现代替代方案,或是 Lean 等形式化验证语言,认为它们会更安全、更有效。 * **背景:** 参与者指出,该漏洞出现的时间早于当前大语言模型辅助编程的兴起,这进一步表明人为错误才是罪魁祸首,而非 AI 生成的代码。 总的来说,该讨论帖起到了事后分析的作用,在对作者意图的推测与对底层实现选择的技术批判之间取得了平衡。

随着 2.8 万亿参数 Kimi K3 等超大规模开源模型的涌现,硬件领域面临着严峻挑战。由于这些模型体量巨大且内存需求极高,很难在标准的 NVIDIA B200 配置上运行。 Wafer 最近的测试表明,AMD 的 MI355X 是一种极具成本效益的替代方案。MI355X 拥有 288GB 的 HBM 内存,能够高效部署 Kimi K3,且在性价比上优于 NVIDIA 的 B200 和 B300 芯片。虽然 MI355X 初期面临一些软件障碍(如缺少内核及框架不匹配等),但这些问题通过相对简单的优化即可解决,无需进行大规模的定制化开发。 值得注意的是,Wafer 通过修复预填充(prefill)内核不匹配问题,显著提升了“首字生成时间”(TTFT),证明 AMD 在性能上的差距正在迅速缩小。凭借这些工程优化,MI355X 证明了其能够有效支持最先进的模型,向 CUDA 生态系统长期以来的主导地位发起了挑战。随着软件支持的不断成熟,MI355X 有望成为大规模人工智能基础设施中强有力的竞争者。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在 MI355X 上运行 Kimi K3,性价比优于 B300 (wafer.ai) 67 点,由 ilreb 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请提供您需要翻译的内容。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 一个 Uiua 类型系统 (2025) (uiua.org) 9 分,由 xyzsparetimexyz 发布于 5 小时前 | 隐藏 | 往日 | 收藏 | 1 条评论 帮助 nee_oo_ru 5 小时前 [–] 让学习体验变得如此直观和互动,使得从一开始就接触这门语言的过程变得格外令人满足。 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 Kobuk 的毁灭者——来自测试工程狂野、未见世界的故事 (wwnorton.com) 10 分,由 ripe 发布于 4 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 SOLAR_FIELDS 1 小时前 | 下一条 [–] SDET(软件测试开发工程师)就是那种你永远无法在账面上证明其合理性,但如果你允许它存在,且 SDET 能力出色的话,它能带来数百倍回报的事情。 回复 ripe 4 小时前 | 上一条 [–] 作者:Alex Davies 对我们所使用的东西(绝大多数)为何能正常工作的一次探索,也是对那些确保这一切得以实现的无名工程师们的致敬。 当制造商为汽车提供 1 万英里的保修,或者在露营冷藏箱上贴上“防熊”标签时,我们如何得知这些承诺的可信度…… 回复 考虑申请 YC 2026 年秋季班!申请截止日期为 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本项目展示了一个开源 Python 脚本,旨在为 Fusion 360 等 CAD 软件生成参数化摆线减速机。 该项目的开发经历了多次迭代。最初的微型化尝试(1:9 速比)因 3D 打印精度无法满足严苛的公差要求而失败。后续设计增加了占地面积以提供更大的间隙,最终成功完成了“版本 3”。这款功能性 90mm 减速机专为 NEMA 17 步进电机设计,输出扭矩为 1.28 N·m,效率达 66%。 所提供的 Python 脚本利用精确的参数方程来定义转子几何形状、外壳销和偏心距。用户可以自定义销数量 ($N$)、节圆半径 ($R$) 和偏心距 ($E$) 等变量。文档包含了优化策略,例如使用 MR128 轴承替代外壳销,或使用金属包裹的输出销来提高刚度和机械效率。对于希望通过增材制造实现高扭矩、紧凑型摆线驱动装置的用户而言,本项目是一项极佳的资源。

这篇文章指出,美国与以色列针对伊朗的战争是一场灾难性的失败,不仅巩固了伊朗政府的地位,还耗尽了美国的资源并损害了美国的全球声望。这场冲突始于唐纳德·特朗普在2018年退出《伊核协议》(JCPOA),其特点被作者描述为“背信弃义”的外交手段。 作者认为,特朗普政府一再将谈判作为发动突然军事袭击的掩护,其中最显著的是2026年2月导致伊朗最高领袖身亡的袭击。此外,作者强调了特朗普在国际承诺上反复无常的记录——例如2026年6月的谅解备忘录以及与沙特阿拉伯的核协议——将其视为美国外交政策不稳定且不可靠的证据。 文章最终断言,这些行为摧毁了美国外交的可信度,助长了伊朗强硬派的气焰,并引发了全球范围内的深度不信任。通过将激进策略置于始终如一的善意接触之上,本届政府可以说使美国陷入了更加孤立的境地,削弱了其外交官发挥全球影响力的能力,并留下了一份作者警告称将在特朗普离任后长期存在的动荡遗产。

Hacker News 新帖 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录 ASRock BC-250:打造经济型 Steam 游戏机 (plug-world.com) 17 点,由 plug_world 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 jimmydoe 33 分钟前 [–] 想知道优化后的待机功耗如何 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

爱达荷州一家特斯拉充电站和 In-N-Out 汉堡店发生枪击事件,造成两人死亡,另有五人受伤。 据福克斯新闻报道,爱达荷州双瀑布城(Twin Falls)的一家 In-N-Out 汉堡店发生枪击案,造成多人死亡。警方称,在这一当局描述为“极其混乱”的枪击现场中,犯罪嫌疑人也已死亡。当局目前仍在确认受害者身份并在公布确切死亡人数前通知其家属。另有几人因受伤被送往医院。调查人员尚未确认嫌疑人身份或公布可能的作案动机。 现场视频显示,一名平民行使了宪法第二修正案赋予的权利,击退了枪手。 双瀑布城警察局长马修·希克斯(Matthew Hicks)在当地时间下午 5:45 的新闻发布会上表示,“对社区的威胁已经解除”。他证实枪手也已死亡。 *事件进展中……

新泽西州联邦众议员米基·谢里尔(Mikie Sherrill)近日披露,由于供应商IDEMIA的软件错误,导致2023年6月至2024年6月间,超过6600名非公民被错误登记为选民,其中近400人参与了投票。谢里尔将责任归咎于供应商及前任政府,但IDEMIA坚称,核实选民登记信息的最终责任在于州选举部门。 国土安全部近期的一份报告进一步加剧了这一问题的复杂性。报告估计,新泽西州有超过3.5万名非公民登记为选民,这一数字远高于该州所承认的6600人。此外,该州正引导这些受影响的人员寻求纳税人资助的法律援助(包括驱逐出境辩护服务),这引发了公众对于将公共资金用于参与投票的非公民的担忧。 谢里尔以隐私为由,拒绝向特朗普政府公布受影响人员的名单。随着该州准备更换供应商,州政府与联邦政府数据之间的差异,使得新泽西州选民名单不准确问题的全貌仍未得到解决。 *(注:原文错误地将米基·谢里尔称为新泽西州州长;她目前为美国联邦众议员。)*

包括中央军委和公安部在内的中国六个政府部门联合发布了一项全面禁令,禁止销售、组装和营销退役或报废的军事装备。该通知指出,此举旨在应对军事机密安全风险、防止仿制武器,并维护中国人民解放军的“正面形象”。 尽管当局将该禁令描述为一项安全措施,但军事学者和收藏家认为其背后有更深层的动机。专家认为,政府主要担忧的是防止外国实体分析中国硬件的质量和技术标准,他们指出这些装备往往已过时,或基于苏联时代的设计。此外,分析人士指出,该禁令旨在遏制军队不透明资产处置过程中的腐败,并防止向外国对手非法出售装备。 该规定禁止了大部分退役装备的私人交易,但允许由国有企业中国融通资产管理集团进行管理销售。通过严格控制军事部件的处置,中共意在强化其《反间谍法》,并加强对其军工能力的监管。

2026年8月5日,一枚废弃的SpaceX猎鹰9号火箭二级预计将以每小时约5437英里的速度撞击月球爱因斯坦环形山附近。得克萨斯大学奥斯汀分校由博士生William Jo领导的研究团队,利用高分辨率物理模拟对此次撞击进行了建模。 这块重达3900公斤的火箭残骸预计将撞出一个100英尺宽的陨石坑,并产生高达100公里的碎片云。由于撞击发生在月球的向阳面,科学家认为由此产生的喷射物云在最初的几分钟内可能从地球上可见,因为其亮度预计将远超黑暗天空的背景。 除了观察此类罕见事件的难得机会外,研究人员希望此次碰撞能为月球地质学提供宝贵数据。此外,随着国际航天机构和私营企业竞相建立永久性月球基地,这一事件也突显了人们对太空垃圾日益增长的担忧。

此网站需要启用 JavaScript。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 设计图标 (material.io) 7 分,由 Cider9986 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 xg15 16 分钟前 [–] 我觉得标题改为“为 Material Design 设计图标”会更好。这份指南在某些地方显得过于主观,并不能涵盖所有过去乃至当前的图标使用场景,但作为 Google Material Design 系统的一部分,这些准则是有其意义的。 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com