MonoidMusician
My programming and mathematics endeavours
I have many technical interests. In the programming side, I love the design of programming languages, from surface-level syntactic sugar to the deep semantics given by sophisticated type theories. On the mathematics side, I hop over from type theory to formal logic and foundations of mathematics, that’s where my true interests lie. But I also moonlight as a “standard” maths student – in topics such as algebraic number theory, combinatorial topology, real analysis.
I just really love exploring how people express themselves, especially in formal ways. So not only do I love thinking about programming languages and the language of mathematics, but I like linguistics in general, constructed languages and constructed scripts more specifically, as well as fonts and UIs and other sorts of visual expressions. And I often explore these interests through the lens of programming (and even logic)!
I am involved in the PureScript community, as a core team member and contributor to some libraries. I mostly just hang out and help answer questions in my free time though. (PureScript is a typed compile-to-JS language, similar to Haskell. They are both far more advanced than mainstream programming languages, with a very different style of thinking.)