Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
因为要学 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，老婆一眼很毒的指出：“这屏幕太差了，不能买、不能买！
周四去南京出差，顺便见了一下大学同学们。 见到同学，真的很开心，大家甚至都还是毕业时候的面孔，连声音也似乎保持着当初的模样。遥远的过去一下又变