这个账号的推文有 1 条上过 NoFOMO 榜单，1 条冲进过前三。
5.5万 粉丝开源 1 在 X 上关注
Doug Colkitt称软件从业者若不规划转向形式化验证是不负责任的，应成为当前优先事项。
觉得我们漏了哪个一手信源，或者该关注什么话题？告诉我们。审核通过后，所有人的榜单都会覆盖到它。