2020-02-06 15:34:02 -08:00
---
2020-08-30 15:26:18 -07:00
layout: default
2020-02-06 15:34:02 -08:00
title: James T. Martin
permalink: /
---
2020-08-27 15:43:40 -07:00
< h1 > James T Martin< / h1 >
2020-08-30 15:26:18 -07:00
Also me:
< ul class = "icon-list" >
< li > < img alt = "Email:" title = "Email" src = "/assets/image/email.svg" > james (at) jtmar (dot) me
< li > < img alt = "Discord:" title = "Discord" src = "/assets/image/discord.svg" > jamestmartin#7117
< li > < img alt = "GitHub:" title = "GitHub" src = "/assets/image/github.svg" > < a rel = "me" href = "https://github.com/jamestmartin" > jamestmartin< / a >
< / ul >
Communities I participate in:
{% comment %}The span tags are necessary for grouping elements due to `li` being `display: flex`.{% endcomment %}
< ul class = "icon-list" >
< li > < img alt = "" src = "/assets/image/lambda.png" > < span > < a href = "https://proglangdesign.net" > Programming Language Design< / a > (I am a moderator)< / span >
< li > < img alt = "" src = "/assets/image/dad.webp" > < span > < a href = "https://dad.gallery" > Do Art Daily< / a > (I am an occasional code contributor)< / span >
< / ul >
Stuff I'm working on:
2020-08-27 15:43:40 -07:00
< ul >
2020-08-30 15:26:18 -07:00
< li > < a href = "https://github.com/jamestmartin/bootproof" > bootproof< / a > : An x86_64 UEFI OS written from scratch in Rust.
< li > < a href = "https://github.com/jamestmartin/math" > math< / a > : Formalizing calculus in Agda for my own education.
< li > < a href = "https://github.com/jamestmartin/monoids-in-the-category-of-endofunctors" > monoids in the category of endofunctors< / a > : Category theory, recursion schemes, and dependent types, to satisfy my hasochistic urges.
< / ul >
Random stuff I like:
< ul class = "icon-list" >
< li > < img alt = "" src = "/assets/image/lapfox.webp" > < a href = "https://lapfoxtrax.com/" > Halley Labs< / a >
< li > < img alt = "" src = "/assets/image/smbc.webp" > < a href = "https://www.smbc-comics.com/" > Saturday Morning Breakfast Cereal< / a >
2020-08-27 15:43:40 -07:00
< / ul >