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