#machines
Specifying State Machines with Temporal Logic(wickstrom.tech)
2021-5-5 20:31QuickStrom使用线性时间逻辑（LTL）来指定Web应用程序。在解释它的工作原理时，我发现LTL的基础知识对新人来说是直观的。另一方面，它不明显地使用LTL指定真实系统。这就是为什么我以博客帖子的形式从过去一年分享一些学习和想法。
此帖子侧重于如何在状态机方面使用LTL指定系统。这是一个简短的概述，避免过多的......
State machines are wonderful tools(nullprogram.com)
2021-1-1 20:15我喜欢用状态机解决当前的问题。他们拒绝设计和实施，而且我对正确性充满信心。他们倾向于：
状态机也许是您听说过的关于大学的概念之一，但从未付诸实践。也许您经常使用它们。无论如何，您肯定会定期从常规表达式到交通信号灯碰到它们。
受一个难题的启发，我想到了这个确定性状态机来解码摩尔斯电码。它一次接受一个点（＆＃39......
2020-10-24 7:53
汉堡、薯条和麦乐鸡是麦当劳的主食。但这家连锁店也在其38,000多家门店中的大多数提供软冰淇淋。或者至少在理论上是这样。在现实中，冰激凌售货机臭名昭著地容易出故障，经常让任何试图满足午夜麦当劳渴望的人失望。
一位富有进取心的软件工程师拉希克·扎希德(Rashiq Zahid)认为，在你走之前最好知道冰激凌售货机是否坏......
Simulating Machines in Clojure(stopa.io)
2020-10-7 10:39
我的联合创始人乔和我最近完成了SiCp。这是一次令人费解的经历：您只需从3个概念开始，然后递归地构建代数方程解算器、电路仿真器、4个解释器和一个编译器。
在某种程度上，你会体验到一种发自内心的感觉：如果你被丢在森林里，…。您可以创建自己的计算机。对这种感觉贡献最大的项目是创造一个机器模拟器。
我们偏离了本书，用Clo......
2020-9-24 8:59
下载PDF摘要：我们考虑做出生命关键决策的黑盒人工智能系统的范例。我们提出了一个辩论机框架，它将主要人工智能系统与接受过独立培训以执行相同任务的次要人工智能系统配对。我们表明，在没有任何潜在系统设计或操作知识的情况下，两个系统之间的不一致足以在人类监督过度分歧的情况下任意提高整个决策管道的准确性。我们在两个应用中展示......
Virtual Machines for Multi-Tenancy in Varnish(medium.com)
2020-8-14 2:35关于做一些疯狂或新鲜的事情，我意识到的一件事是，除非你深入其中，否则你不会真正理解其中的可能性。例如，我很早就不知道这个项目是否会成功。或者，您将能够嵌入SQLite数据库并在边缘上以非常高的并发级别生成动态内容。
Varish目前使用VCL作为一种配置语言，用于编程Varish如何处理请求、响应、缓存和其他事情。
......