52421452022年9月,美国信息技术与创新基金会(ITIF)发布题为《保持美国高性能计算在E(百亿亿次级计算)时代的领先地位》(Sustaining U.S. High-Performance ...
回答有关分布式系统的几个核心问题
本文是作者在 FLOPS 2022 会议上的演讲,重点分享了使用Liquid Haskell语言集成验证系统来构建可靠的分布式系统的有趣的探索经历。早上好,FLOPS!我是 Lindsey Kuper...