每日HackerNews RSS
抱歉。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本网站必需的一部分内容无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器，或尝试使用其他浏览器。
在沉寂三年后，Bob 重新开始写作。自 2022 年起，他一直深耕于人工智能领域，并联合创办了一家名为 2Brains 的初创公司。尽管公司业务仍在进行中，但他决定恢复撰写专栏，因为写作对他而言是创意过程中不可或缺的一部分。 Bob 计划随心发布内容，只在有值得分享的见解时才会动笔。他的下一篇文章将对人工智能行业目前追求万亿规模的发展方向提出质疑，并介绍其团队已申请专利并开发出的一种替代性架构。他衷心感谢长期追随者的耐心等待，同时也欢迎读者的加入。
本文详细介绍了作者将 LZ4 压缩算法移植到四种不同处理器架构（Z80、Intel 8080、x86 (8086) 和 MOS 6502）的过程。 作者将此项目视为一项研究，旨在探讨如何使同一算法适应 8 位和 16 位系统之间迥异的性能限制。他指出，由于 Z80 具备高效的块拷贝能力，因此它特别适合运行 LZ4。8080 和 x86 的实现则是对 Z80 逻辑的直接扩展或优化，其中 8086 受益于其原生的“字符串”处理指令和额外的寄存器。 相比之下，6502 缺乏对指针友好的寄存器和 16 位运算功能，因此需要完全不同的实现思路，即依赖零页内存和自定义辅助函数来模拟其他处理器上的指针逻辑。 最终，本文既是为寻求节省卡带空间的业余游戏开发者提供的实用指南，也是对汇编语言编程比较的深度剖析。它突显了架构限制（如特定寄存器和指令的有无）如何决定了面对完全相同的功能需求时，必须采取不同的实现策略。
为了保护用户免受未来量子计算的威胁，苹果公司已将量子安全算法（ML-KEM 和 ML-DSA）集成到其基础加密库 *corecrypto* 中。鉴于这些复杂且新颖的算法需要极高的可靠性，苹果首创了一套严谨的自定义形式化验证流程，以确保其实现的数学正确性。
对于现代加密代码而言，传统的测试方法已不足够，因为细微的算术错误可能会危及安全性。苹果的方法是利用数学证明来验证其 C 语言和 ARM64 汇编实现与 FIPS 203 和 204 官方规范在功能上是等价的。通过使用 Isabelle、SAW 和 Cryptol 等工具，苹果已验证了超过 50,000 个证明步骤，成功识别并解决了传统测试无法发现的潜在漏洞。
目前，苹果正在发布这些实现方案及其形式化验证库和工具，以供独立专家评估。通过分享这些成果，苹果旨在提升关键软件的安全性，提供一种结合了手工调优性能优化与数学证明正确性的高保证模型。这种透明度鼓励全球研究社区对其工作进行审计，并为后量子时代的通信安全奠定更坚实的基础。
为了支持身处乌干达难民营的伦敦大学同学 Django，作者尝试捐赠一台闲置的 MacBook。这件看似简单的善举，却演变成了一场横跨 12 个国家、历时 42 天的艰辛旅程。
这一过程充满了障碍：国际航运对锂电池的限制、难民申请税号（TIN）时遭遇的官僚主义噩梦，以及海关难以预料的扣押。Django 经历了数日的长途跋涉、官员的敲诈勒索，以及物流上的混乱——笔记本电脑在经过多名匿名快递员转手后，最终在一家积满灰尘的当地五金店被找到。
算上运费、税款和代理费用，总支出高达约 426 澳元，几乎等同于设备本身的价值。尽管付出了巨大的体力、财力和情感代价，这项任务最终还是成功了。5 月 13 日，笔记本电脑终于送达 Django 手中，这对他的计算机科学学业至关重要。这段旅程是一个令人清醒的见证，揭示了难民在获取基本数字工具时所面临的巨大障碍，以及克服这些障碍所需的非凡毅力。
这场 Hacker News 讨论围绕一篇博文展开，内容涉及向乌干达的一名难民邮寄一台笔记本电脑所面临的巨大物流和官僚障碍。
讨论的主要结论包括：
* **官僚阻碍：** 参与者强调了向发展中国家邮寄物品的极端困难，并指出高额进口关税、腐败和复杂的清关流程往往成为阻碍发展的人为壁垒。
* **“西方”偏见：** 评论者辩论了邮寄实物与直接汇款孰优孰劣。许多人认为，寄送实物往往效率低下、成本高昂且容易被盗，因此向当地进口商或慈善机构捐款更为实际。
* **系统性现实：** 该贴文探讨了在这些环境下的“现实”管理方式——即为了确保货物送达，往往不得不绕过官方的官僚渠道，转而利用非正式系统或支付贿赂。
* **韧性与剥削：** 关于援助的道德复杂性存在大量讨论，内容涵盖了对受助者感恩之情的钦佩，以及对西方干预和殖民遗产如何继续影响非洲国家今日经济困境的批评。
此模组为 Minecraft 增加了完整功能的 Wayland 合成器！你可以在 Minecraft 世界内直接启动应用程序并打开窗口。支持窗口间的拖放数据操作，也可以将视频播放器固定在 HUD 上。一切由你决定。重要提示：本模组仅支持在 Linux 系统下运行！不支持 macOS 或 Windows。