Matrix E2E Encryption 指南与疑惑
最近在研究 Matrix ，遇到了很多问题，这篇文章想讲讲我配置 end to end encryption（下称 E2E Encryption） 时遇到的问...
猫猫速查 Bash！
shebange.g.
“最好的设计工具？” Figma使用体验
Warning: 本篇含有大量图片，流量慎入。 因为这学期有门课程需要设计UI，所以我“从零”开始了我的UI设计历程。在开课之前就在想该用什么工具，市面上左不过 Sketch，Adobe XD 和 Figma 三个。我又...
Fucking install guide: How to install Adga in Win10
噢，我的上帝啊，世界上怎么会有这么多劝退新人的教程呢！ 我在配置 Haskell 环境的时候，遇到了超多的问题（对我这种萌新来说，是绝对的折磨）。在配置 Agda 的时候获得了极大的帮助，得以简单的安装完成，但配置方法与官方文档上的教程存在不少出入（官方教程老麻烦了），所以...
近日感想
最近一直都没有更新博客，主要是课业繁忙的缘故。（但是一直在发Twitter……）正好积了几个月的想法，慢慢絮叨一些。
新的开始
大概是在一年前萌生了开博客的想法，不过那个时候我还什么都不懂，光是看到在阿里云购买域名需要去公安局备案就把我难到了。我一向是个不怎么喜欢办理各种业务的人，不管是申请港澳通行证、开通网银、更改银行卡预留电话，都是拖延了很久都不一定会做的。（办理港澳通行证这件事我拖了一年半到现在还没做）