About this blog

Random blogs by me and 1024th. No schedule. Just notes.

It started from a chance that I TA’d a course on functional programming but had to learn it from scratch, and 1024th was very interested in it. We tend to update posts on things we’re both interested in. So the contents will be at the intersection of cryptography and programming languages. Also some natural languages perhaps.

1024th tended to call it 友人との数学談義 or 計算機科学の中を歩く. Too old-school! We finally settled on アンチノミー because we both believe that doing a PhD requires striking a balance between learning existing knowledge and creating new knowledge. I’m proud of this creative name! It’s inspired by a song with the same title by amazarashi.

Hope we will have fun!

About this theme

This theme is a port of the Hexo theme Typography to the Astro platform.