## Research

Notes about my work

## Teaching

Notes on my teaching philosophy and experience

## books

posts related to books

## lean-ualib

Introducing the Lean 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