Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
Actors 🔗Coyote 提供了两大编程模型，其中一个就是 Asynchronous Actors. Actor 模型 有几个特征： 创建 Actor 以及向 actor 发送消息是非阻塞的； Actor 对消息的处理是顺序的，因此处理逻辑
自 Linux 2.6.27 开始，可以通过文件 /proc/[pid]/syscall 得知进程号为pid 的进程正在做什么系统调用。比如： $ sudo cat /proc/$$/syscall 61 0xffffffff 0x7ffddd4c4000 0xa 0x0 0x0 0x7 0x7ffddd4c3fe8 0x7ff09ab37dba 这里，第一个字段是系统调用号。后面一次
因为要学 coyote，又不想用 Windows，于是在本机 Xubuntu 20.04 上装了一个 .Net Core，没想到体验还挺不错。我在 Fedora 33 以及 Windows 2012 R2 虚拟机里测试了也可以
这几天在学 coyote，做个笔记。 入口 🔗测试入口函数必须 带有属性[Microsoft.Coyote.SystematicTesting.Te
在 Z5、Z6、EOS R6、A7m3 里纠结了一阵子之后，选了大法。 Z5/Z6 🔗Z5 非常理想，很适合我这种只拍照不拍视频的需求，但是当前的价格相对小贵。