Hello. My name is Bruce C. Miller (bm3719, bcmiller). I spent most of my career as a defense contractor for various DoD research and software engineering projects in the DC Metro area. I now reside in the great state of West Virginia, and occasionally do the same remotely.

My main interests are programming language theory, dynamic and statically typed functional programming languages, and provable correctness. I'm also interested in the intersection between these CS topics and certain subfields of abstract mathematics, such as category theory, type theory, and algebraic structures.

While not actively looking job, I'm still open to entertaining all options. Entrepreneurs, potential employers, bored websurfers, and recruiter bots may feel free to gaze upon my lightly-redacted résumé (last updated 2020-06-17).

Here's some of the additional content available on this site:

• My w3m bookmarks: w3m > whatever garbage web client you're using.
• A collection of interview questions I used to occasionally pull from. To be updated at some point.

And some personally-relevant content hosted elsewhere:

• My GitHub profile: Mostly hosts various small projects, dotfiles, and notes.
• l1j-en: My (and others') most popular open source project: An English language private server emulator for the Korean MMORPG Lineage, written in Java.
• My BitBucket profile: All repos here are private, for now.
• My Amazon Wish List: A shortest path solution for transferring wealth from you to both myself and Jeff Bezos.

This server is an Arch VPS running nginx, hosted on Vultr.

This is a static-HTML site generated from documents written in Org, and published via Org Mode's org-publish features. It's styled with a CSS file and a few JavaScript functions. These are all tied together with some thin Emacs Lisp.

I used to publicly host my Org GTD tracker files here, but I've converged all PII into them in order to get everything into org-agenda and deprecate the parallel usage of a paper planner, so can no longer post those out of respect for others' privacy. Instead, might add an additional page of just book reviews at some point.

I had (and sorta still have) some notions of making the main page of this site the web front end for my personal company. That remains as an unrealized potentiality, a state which has a certain intrinsic value of its own. For now, this server hosts this and other personal pages, mildly entertains or disgusts the occasional human subject, and serves as a target for gen-AI companies to poll every day just in case I happen to type a new sentence.