apo :: Functor f  RCoAlgebra f a  a  Fix f
  peikos :: RCoAlgebra Blog Tea
  
  peikos_net = apo peikos Sencha
     ↦ Blog "Math" "Logic" "Programming" "Natural Language"

Teacher, student, programmer, scout leader, aikidoka.
Named for the Monty Python character.
Mostly harmless.

My name is Brian, and this is my blog. Welcome! I’m a lecturer at the Utrecht University of Applied Science, working for the institute of ICT. Here I teach courses in computer engineering and applied AI. I specialise in logic and functional programming, and I am also working to get my masters degree in AI.

On this site, I plan to write about what interests me: math, logic, (functional) programming, (natural) language, and probably more.

Just the facts

Name Brian van der Bijl (/ˈbɹaɪən vɑn dɛr bɛi̯l/)
Age 31
Nationality Dutch
Location Utrecht, Netherlands
Programming Haskell, Agda, Idris, Rust, Clojure, Ruby, Smalltalk, Prolog, LaTeX
Aikido 五級 (fifth kyu), 三心会 (Sanshinkai Aikido)
Colour Purple

About this Site

Site proudly generated by Hakyll. Styling adapted from the Tufte-jekyll theme by Clay Harmon via Bifunctor.com by RuneBlaze. Photo by Sebastiaan Bors.

— Brian van der Bijl