comparison to hyphenating a single word, at least for English. All
Последние новости。爱思助手下载最新版本对此有专业解读
# The Z80 experiment，推荐阅读服务器推荐获取更多信息
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
To the best of my understanding, Dustin and Nishad took Dario's words as a promise/commitment, but it is currently unclear to me whether Gwern took it as a commitment as well. I encourage you to look through the original thread (or chat to Gwern) to form an opinion.