I am currently a Ph.D. student in computer science enrolled at Rensselaer Polytechnic Institute in Troy, NY. I have a bachelor's degree in computer science from the same institution.
I do not make written posts under this name or any other name on any site other than this one and GitHub. Please assume anyone attempting to impersonate me has malicious intent.
My interests at the moment include concatenative languages (and systems of concatenative combinators), dependent type systems, category theory, constructive logic, functional programming, procedural generation (particularly of audio), distributed and federated communication networks, the legal structure of ancient Ireland, Hermeticism, and cryptography.
I (at least attempt to) exclusively use free software as defined by the Free Software Foundation. Currently, I run a custom busybox/Linux installation on my main development machine. I do not use the X Window System, instead using a combination of FbTerm and tmux as a flexible terminal emulator. My preferred shell is mksh, the MirBSD Korn Shell. I use a heavily customized GNU Emacs as my text editor. I browse the web using ELinks, read news using newsboat, and access IRC using weechat. I use mpv for all other media consumption: wrapper scripts allow me to use it as video player, audio player, image viewer, and PDF reader. On the hardware side, I use a Lenovo Thinkpad T450.
I develop hobby projects mostly in C, Haskell, and Idris. I also write a good amount of C++ and Python, although not by choice. In the past, I have worked extensively in Common Lisp, Scheme (my preferred R5RS compiler being CHICKEN), and Clojure.
I develop a roguelike computer game called Gwir. The game attempts to create a beautiful and compelling experience exclusively focused on the terminal, extensively using Unicode glyphs and 256-color functionality when available.
I wrote and maintain an ultra-lite tabletop role playing game called Thomas Logion Seven that should be compatible with most OSR material. The material within is based heavily on Searchers of the Unknown by Nicolas Dessaux, Carcosa by Geoffrey McKinney, and many other forgotten OSR supplements I have read over the past several years. The system is intended to be extremely simple and easy to introduce to new players, but with enough spice to hold player interest and enough mechanical depth to run classic modules.
I avidly play and follow the Legacy, Vintage, Old School (Eternal Central rules, '93/'94, '95, and '96), and Competitive EDH formats of Magic: The Gathering. If you are a fan of the eternal formats and happen to be in the area of the Rensselaer campus, please contact me if you'd like to play some games. Material related to this is found here.