简短
2021-7-30 3:25
一个问题到底有多难？这是计算机科学家的基本任务，他们希望将问题分类为所谓的复杂性类别。这些是包含所有计算问题的组，这些问题需要的计算资源少于某个固定数量的计算资源——比如时间或内存。以具有大量数字的玩具为例，例如 123,456,789,001。有人可能会问：这个数是不是只能被 1 和它本身整除的质数？计算机科学家可......
2021-4-9 4:5
我现在一直在使用功能反应编程（Reflex-FRP）在Haskell中编写全堆栈Web应用程序3年。好奇心让我发现了在这个区域中不得不提供Haskell以外的FP语言。
Haskell的GHCJS（ESP。与方尖碑一起使用时）满足所有这些，但有一个痛苦点：GHCJ的未来（在一年内没有更新）和反射似乎掌握在一家小......
2021-1-1 9:3
2020年的Nim世界发生了很多事情：两个新的主要版本，两个新的内存管理策略（ARC和ORC），第一次Nim会议，等等。
Nim版本1.2.0于4月发布，其中包含大约600个新提交，这些提交尚未反向移植到我们的1.0.x版本中，此外还引入了ARC内存管理以及sugar模块中的几个有用的宏：
dup（将就地函数......
2020-12-19 23:49
有一种趋势是统一安全性和开发人员流程，这种趋势有多种名称，例如DevSecOps和“向左移动”。通常，安全团队似乎比开发人员团队更热衷于此，开发人员团队将安全性称为“烦人的琐事”或“令人厌烦的程序障碍”。如果开发人员不相信代码强化构想，那么有趣的事情可能会出错。
我最近在阅读2019年英国政府对华为的安全评估，该......
2020-6-2 13:25
我们正处于创新的黄金时代，在这个时代，数字技术正在改变人类生存的基础。或者说，技术乐观主义者可能会这么认为。
我们正处于一个令人沮丧的时代，在这个时代，创新已经放缓，生活水平几乎没有提高。这是一些持怀疑态度的经济学家所认为的。
事实是，这不是一场可以客观解决的辩论。室内管道、喷气式飞机旅行还是手机，哪个是更重要的创新......