contact me
The best way to contact me, especially if you’re a recruiter or hiring manager, is going to be over at LinkedIn.
If you’re old fashioned or you’d like to comment on one of my blog posts, send me an email here.
Additionally, please send me an email if you’d like a copy of my official resume.
If you’d like to browse my projects on your own time, please check out my Github here.
projects
Bam! Here’s a collection of projects that I’m proud to have worked on in the past. This list should not be considered exhaustive OR exclusive — I’m always cooking something up. This is just the cream of the crop:
- Rosin (2024 - Present)
- Source code: https://github.com/DataKinds/tree-rewriter
- A rewriting language supporting tree and multiset rewriting rules. Written in Haskell. The language is defined via comprehensive test suite (ala test262 for JavaScript) along with a set of property-based tests for ensuring runtime validity.
- Cherchord (2019 - Present)
- Source code: https://github.com/DataKinds/cherchord
- A Haskell CLI application to search for and display chords for any string instrument. Accepts custom definitions for string instruments to support any arbitrary fretboard.
- ilo-pi-sitelen-pona (2022)
- Source code: https://github.com/DataKinds/ilo-pi-sitelen-pona / https://github.com/DataKinds/ucsur-sitelen-pona
- Hosted live at https://datakinds.github.io/ilo-pi-sitelen-pona/.
- A tool to convert text written in the conlang toki pona to a form of writing known as “sitelen pona”.
- This tool has seen wide adoption within the toki pona community.
- Sandpile Panic (2024 - Present)
- Latest instructions hosted at https://datakinds.github.io/assets/Sandpile_Panic_0.1.0.pdf
- BoardGameGeek listing: https://boardgamegeek.com/boardgame/428257/sandpile-panic
- A free board game released to the public based around the abelian sandpile model from the study of dynamical systems. Playable with a checkers set (or any board paired with pieces that stack).
- sixty-five-oh-two (2019 - Present)
- Source code: https://hackage.haskell.org/package/sixty-five-oh-two
- A library to write bytecode for the 65(C)02 microprocessors, embedded with type safety in the Haskell language.
- That’s No Moon (2018 - 2019)
- Source code: https://github.com/TristanBomb/thats-no-moon
- A local spaceship dueling game made by a team of two, written in Lua, using the LÖVE framework.
- Charm (2017 - Present)
- Source code: https://github.com/DataKinds/charm
- Some blog posts: https://datakinds.github.io/2018/04/19/a-charming-proposal, https://datakinds.github.io/2019/03/23/a-rundown-on-the-charm-type-system
- A type-safe, stack-based concatenative langauge based on Joy and Forth. Served as a very fun testbed for writing my first typechecker and interactive debugger. Came with an automatic documentation generator as well. It still takes up a lot of space in my mind as it inspires my future work on other languages.
- mandelbrot-explorer (2016)
- Source code: https://github.com/DataKinds/mandelbrot-explorer
- A real-time renderer for escape time fractals. My first foray into GLSL and graphics programming, this application allows you to zoom into a Mandelbrot fractal while a second window renders the corresponding Julia fractal for your centerpoint. Written in C++ and GLSL.