Hacker News 中文摘要

加拿大总理马克·卡尼宣布与中国建立"战略伙伴关系"，将允许每年4.9万辆中国电动汽车以6.1%的低关税进入加拿大市场，此举标志着加拿大摆脱了美国对华电动汽车的高关税政策。作为交换，中国同意将加拿大油菜籽关税从85%降至15%。该协议将为中国比亚迪等平价电动车品牌打开加拿大市场，预计五年内半数进口电动车售价将低于3.5万美元。

Let's Encrypt推出有效期仅160小时的短期证书和IP地址证书，以提高安全性。短期证书通过更频繁的验证减少依赖不可靠的吊销机制，缩短私钥泄露后的风险期。用户可选择启用短期证书，但暂不作为默认选项。未来几年默认证书有效期将从90天逐步缩短至45天。IP地址证书则支持服务器通过IP地址验证TLS连接。

日本有4美元的健康午餐，而美国因分区法规限制无法实现。日本餐馆通过小面积经营降低成本，而美国餐馆被视为奢侈品。尽管日本物价和工资与美国相近，但灵活的商业模式使其能提供廉价餐饮。

Astro Technology公司（Astro网页框架的开发者）宣布加入Cloudflare。Astro框架用户量逐年翻倍，即将发布Astro 6版本。加入Cloudflare后，Astro将保持开源和MIT许可，继续支持多平台部署，现有开发团队将全职在Cloudflare继续维护该项目，确保框架路线图不受影响。

米开朗基罗12或13岁时创作的第一幅画作被发现，展现了这位文艺复兴大师早年的艺术天赋。

eBPF.party是一个通过浏览器实践学习eBPF技术的平台，提供从入门到进阶的系列教程，包括编写、编译和运行eBPF程序，内容涵盖进程上下文、系统调用追踪、状态跟踪和内核探针等核心概念。

"Just the Browser"是一个开源项目，旨在通过配置文件和脚本移除浏览器中的AI功能、遥测数据、广告内容等非必要组件，还原纯粹的浏览体验。支持Chrome、Edge和Firefox等主流浏览器，提供一键安装脚本和手动配置指南，所有资源均可在GitHub获取。

这篇文章是计算机科学教授Phillip Rogaway在离散数学课程最后一讲的讲稿，反思了计算机科学家在文明和环境危机中的责任。作者认为当前人类面临崩溃边缘，而计算机科学家既可能缓解也可能加剧这一威胁。他放弃了常规教学内容，选择引导学生思考学科的社会影响，呼吁同行正视这一紧迫问题，而非继续"一切照旧"的逃避态度。

文章探讨了生命游戏(Game of Life)中静止结构能否通过滑翔机碰撞产生的问题。研究发现并非所有静止结构都能通过这种方式合成，并指出2022年已发现某些结构必须自宇宙初始就存在。目前不可合成的静止结构最小记录是154个细胞，而作者团队通过合作项目将所有23细胞严格静止结构的合成方案全部完成，将下限从22提升到了23。

作者吐槽了Prolog语言的几个痛点：缺乏标准化的字符串处理，不同实现间的字符串操作不兼容；为《程序员逻辑》新版本添加相关内容时，重新体验到了这些不便。虽然Prolog有其优势，但这些设计缺陷令人困扰。