Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
这几天在学 coyote，做个笔记。 入口 🔗测试入口函数必须 带有属性[Microsoft.Coyote.SystematicTesting.Te
在 Z5、Z6、EOS R6、A7m3 里纠结了一阵子之后，选了大法。 Z5/Z6 🔗Z5 非常理想，很适合我这种只拍照不拍视频的需求，但是当前的价格相对小贵。
器材店半日游。 自从卖掉 80D 后，手头就只剩下老婆的 rx100v 了。上次在万象城的索尼店， 拿着 Sony A73，老婆一眼很毒的指出：“这屏幕太差了，不能买、不能买！
周四去南京出差，顺便见了一下大学同学们。 见到同学，真的很开心，大家甚至都还是毕业时候的面孔，连声音也似乎保持着当初的模样。遥远的过去一下又变
上周末发生了两件大事： 把 80D 给卖了，换了 4500 大洋，还算满意； 突然左边肩膀疼痛不能发力，一度悲凉得以为一脚踏入半身不遂（还好今天感觉已经完全回复了