James T Martin
james (at) jtmar (dot) me
Communities I participate in:
Programming Language Design
(I am a moderator)
Do Art Daily
(I am an occasional code contributor)
Stuff I'm working on:
: An x86_64 UEFI OS written from scratch in Rust.
: Formalizing calculus in Agda for my own education.
monoids in the category of endofunctors
: Category theory, recursion schemes, and dependent types, to satisfy my hasochistic urges.
Random stuff I like:
Saturday Morning Breakfast Cereal