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