Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
自 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 非常理想，很适合我这种只拍照不拍视频的需求，但是当前的价格相对小贵。
器材店半日游。 自从卖掉 80D 后，手头就只剩下老婆的 rx100v 了。上次在万象城的索尼店， 拿着 Sony A73，老婆一眼很毒的指出：“这屏幕太差了，不能买、不能买！