Semantic Domain

I just saw a poster for the QTCat workshop, which is a workshop for queer and trans people in category theory, which is being held this Aug...

I’ve been implementing a new language, and one of the things I have been doing is implementing a language server for the first time. ...

...it's Rocq, and no longer Coq!

One of the key skills for any academic researcher is reading other peoples' papers. The trouble is that our peers write papers faster th...

The Ackermann-Péter function is defined as: A : ℕ × ℕ → ℕ A ( 0 , n) = n + 1 A (m + 1 , 0 ) = A (m, 1 ) A (m + 1 , n + 1 ) =...

One of the weirder (and wronger) bits of "folk wisdom" surrounding the PhD is that no one reads PhD dissertations. If you look onl...

My birthday just passed, and to relax I wrote a parser combinator library. Over the last few years, I have worked quite a bit with Ni...