在办公室（2025.1.2）2024年是我在澳大利亚生活的第一整年。不敢说一切顺利，但总的身体健康（没进过医院）、各项手续完整（拿到了免费的医保卡，正确报税）。买了一台（国产） RISC-V笔记本（没怎么用）、两块FPGA开发板（还在学习阶段）、一个滑板（没太敢玩）、辫子纯银笛头的二手长笛（没怎么吹，还在保养、维修和调试阶段）。没在摄影设备商继续投入。满打满算就交了一个本地朋友。
工作方面，总共写了万多行形式化证明代码（翻来覆去地改了很多遍），基本上就证明出了一个重要的引理（修复了无类型） λ-演算里面有一个经典结果的错误证明），没有发表任何论文（正在写）。总共有四个学生在我的指导下通过女子现学的酒精定理证明（ITP）技术做毕业项目，目前完成项目（已毕业已毕业），另外两个还在做。总体来说我对这几个学生的水平都不是很满意。这里面有明显可能：1) 本校的生源水平也就这么回事。2)我所从事的研究领域比较困难，学习身材矮小，高素质的人才可遇不可求。3）我的教学水平一般（虽然花了大量时间）。我想实际情况应该是三者的成分都有吧。但不管怎样，给学校赚回了一些钱（此类项目课程是要收费的，跟其他课程一样贵）。
日常生活方面，我在家里、超市和学校之间的三点一线，没有过澳大利亚的其他城市的欢乐，甚至在本地（首都堪培拉）也几乎没有地方去过。除了参加系里在郊外组织的会议（搭同事的车），我自己坐车站只应邀约去过一次朋友家，以及去公交公司的指定地点领取象征车上的饭盒。相比之下我还是更怀念意大利的山山水，不过真的是没时间（也没心情）。幸好在澳洲可以买到意大利的生火腿和奶酪。
我还有不到两年的时间（通过发表论文）来证明自己的学术水平。有了更多的成果才能或者留在这里继续工作，或者去其他地方（比如回到欧洲）另找一个大学研究岗位。我可以不主动联系任何人，就只拼命地写、不停地写（代码和论文），直到把权力决定我职业前景的那些人写了爱情。现在看来，只有等第一篇论文发表成功、在学校里的地位勉强稳定下来，我的心情重新拾起了各种“旧爱”了。
剩下的就请看日常微博吧。