前言 以前就有听说Manjaro大大简化了Arch繁琐的安装，而且排名也相当不错，但一直没有尝试。正好@某昨在群里提到，于是我就心血来潮的装了个试试。Manjaro是我第三次尝试（之前是Ubuntu和短暂的Deepin）将Linux作为一个独立系统（而非WSL、虚拟机）用于日常使用。经过一段时间的使 […]
按月归档:8 月, 2019
每周歌词(84) – 我们的LIVE 与你的LIFE
我还无法想像，那你我都成为大人 即使擦肩而过也无法认出彼此的未来 毕竟我们现在还形影不离啊 可叶间落光下，我虽试着将你呼唤 字眼却不经意间随风飘逝 那一瞬悲若泉涌 伴随眼前景色，满眶摇曳 那眼前景色摇曳，满眶 BGM 《SENTIMENTAL StepS》是LoveLive!企划偶像团体μ̵ […]
用了一段时间Agda的感想
最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是，Agda真的很好入门。Agda的语法和Haskel […]
Comments