#reasoning

2021-2-25 16:35
这个博客是有关Galois,Supranational,以太坊基金会和协议实验室之间的联合项目的系列文章的第二部分,该项目验证了最先进的签名库。您可以在这里找到第一篇文章。这是我的恶作剧和对我们要实现的目标的概述。 它已经发生了。开发团队与证明工具进行了深入的对话,他们正在付出很多努力。关于这些对话进行方式的最好描......
Reasoning about Colors(notes.neeasade.net)
2020-11-27 7:55
2020年7月,我进行了色彩方案的视觉追求。这导致对各种颜色空间及其实用程序进行了一些研究,对base16项目概述的样式指南进行了一些调查,以及GNU Emacs文本编辑器中随附的颜色实用程序。本文将是您可以对每种颜色可以做的事情的旋风之旅,最后是我如何将这些块组合在一起。 自大约2013年以来,我一直是多个Lin......