infinite negative utility

Infinite Negative Utility

Hi, I'm Getty Ritter. I'm a kind of programmer-artist-writer-dilettante, and this is my mostly-tech-focused web site.

Right now I live in Portland, Oregon, and work at Galois, Inc as a computer scientist and engineer. My background is primarily in computer science, with a focus on programming language theory and proof theory, and in linguistics, with a focus on historical linguistics.

I also write prose—mostly short stories and drabbles—and create art in the form of paintings, sketches, ink drawings, and pixel art. I'm an experimental cook, amateur mixologist, and not a particularly good homebrewer. I speak half a dozen languages poorly and none well. Past hobbies that I'd like to get back to some day include blacksmithing, creating and maintaing bonsai, and conlang creation—but who has time?