关于最近,以及…… Posted on 2021-07-07 Edited on 2023-01-28 Word count in article: 1.9k Reading time ≈ 2 mins. 小记。
《形式化方法》笔记 Posted on 2021-06-22 Word count in article: 41 Reading time ≈ 1 mins. Formal Specification Using Z by David Lightfoot
iOS 15、iPadOS 15、macOS Monterey 体验 Posted on 2021-06-09 Edited on 2023-01-28 Word count in article: 2.8k Reading time ≈ 3 mins. 创新还是挤牙膏,这是一个问题。
访问控制远程文件 Posted on 2021-05-30 Edited on 2023-01-28 Word count in article: 10k Reading time ≈ 9 mins. Primary Practice h62
疾病传播模拟 Posted on 2021-05-22 Edited on 2023-01-28 Word count in article: 2k Reading time ≈ 2 mins. Primary Practice h61