2022-06-18 每日黑客新闻

2022 年 6 月 18 日在Hacker News上没有出现在任何以前的Hacker News Daily上的 10 篇评分最高的文章是：

• CreuSAT：用 Rust 编写并经过 Creusot 验证的正式验证 SAT 求解器
  （注释）
• 问 HN：有史以来最好的开发工具推介？
  （注释）
• 据报道，三箭资本面临破产
  （注释）
• Show HN：具有现实经济模型的中央银行模拟器游戏
  （注释）
• Apple 在其磁盘 I/O 限制代码中存在一个影响原始磁盘副本的错误
  （注释）
• Patreon 深入创作者的口袋
  （注释）
• 建筑就是生活
  （注释）
• 日本 NTT 将开始远程工作作为 3 万名员工的常态
  （注释）
• 美国能源部宣布住宅寒冷气候热泵技术取得突破
  （注释）
• 冷水淋浴
  （注释）

原文： https://www.daemonology.net/hn-daily/2022-06-18.html