39 lines
1.7 KiB
HTML
39 lines
1.7 KiB
HTML
---
|
|
layout: default
|
|
title: James T. Martin
|
|
permalink: /
|
|
---
|
|
<h1>James T Martin</h1>
|
|
|
|
<div id="resume"><a href="/resume">My resume.</a></div>
|
|
|
|
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:
|
|
|
|
<ul>
|
|
<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>
|
|
</ul>
|