“最好的设计工具?” Figma使用体验

Warning: 本篇含有大量图片,流量慎入。 因为这学期有门课程需要设计UI,所以我“从零”开始了我的UI设计历程。在开课之前就在想该用什么工具,市面上左不过 Sketch,Adobe XD 和 Figma 三个。我又...

Link

Fucking install guide: How to install Adga in Win10

噢,我的上帝啊,世界上怎么会有这么多劝退新人的教程呢! 我在配置 Haskell 环境的时候,遇到了超多的问题(对我这种萌新来说,是绝对的折磨)。在配置 Agda 的时候获得了极大的帮助,得以简单的安装完成,但配置方法与官方文档上的教程存在不少出入(官方教程老麻烦了),所以...

Link

近日感想

最近一直都没有更新博客,主要是课业繁忙的缘故。(但是一直在发Twitter……)正好积了几个月的想法,慢慢絮叨一些。

Link

新的开始

大概是在一年前萌生了开博客的想法,不过那个时候我还什么都不懂,光是看到在阿里云购买域名需要去公安局备案就把我难到了。我一向是个不怎么喜欢办理各种业务的人,不管是申请港澳通行证、开通网银、更改银行卡预留电话,都是拖延了很久都不一定会做的。(办理港澳通行证这件事我拖了一年半到现在还没做)

Link