Category theory appears everywhere when I learn things, so I'd better learn it systematically. This article writes about what is Category and some examples.

Notes for the sixth HoTT course of HoTTEST Summer School 2022

Notes for the fifth HoTT course of HoTTEST Summer School 2022

Notes for the fourth HoTT course of HoTTEST Summer School 2022

Notes for the third HoTT course of HoTTEST Summer School 2022

Notes for the second HoTT course of HoTTEST Summer School 2022

Notes for the first HoTT course of HoTTEST Summer School 2022

This chapter introduces the most common finite state machines and the language class they can recognize - regular languages.

I'm stepping down from hexo to zola, this passage will tell you why.

I started trying to learn compiling principles since junior high school but I give up again and again, now I'm in the university and I finally get some basic idea of it.