Research

Notes about my work

Talks

Notes about my talks

Nobody told me

Teaching

Notes on my teaching philosophy and experience

books

posts related to books

agda-ualib

Introducing the Agda Universal Algebra Library

Python, Jython, and Sage

Math PhD Exams

Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis

Congruences of Partial Algebras

I don't always use recursion; but when I do, I don't always use recursion.

Conferences in Algebra

java on linux

The Palfy-Saxl Problem

3-SAT and partition lattices

Jane Street Test

pl

posts related to programming languages

Learn You an Agda

GroupSound

IEProps

Isotopy

Overalgebras

TypeFunc

Diaconescu's Theorem

about