Recent posts

ACT2022 conference notes: Linguistics

17 minute read

In the previous post, I introduced my submission to the 2022 Applied Category Theory conference (ACT2022). Now that the conference is over, I’d like to share...

Goodbye 2021, Hello 2022!

2 minute read

The last two months of 2021 have been all kinds of tough, but luckily we are now finally in 2022. Happy New Year, everyone! I hope whatever unhappiness of yo...

Classical Chinese and programming

12 minute read

I like writing about Classical Chinese, and I’m keen on formal languages too. So, every time I see the two concepts show up together, I know I have to write ...