Samuel Breese

writeups projects contact cv fun log keys feed


I am a computer programmer. My academic interests include concatenative languages (and systems of concatenative combinators), type theory, category theory, constructive logic, functional programming, foundations of mathematics, algebraic number theory, the legal structure of ancient Ireland, quantitative finance, and the history of European folk religion.

I have a bachelor's degree in computer science from Rensselaer Polytechnic Institute in Troy, NY. In Spring 2019 I started working for Galois as an intern.

I do not make written posts under this name or any other name anywhere but here and GitHub. Please assume anyone attempting to impersonate me has malicious intent.

Work Environment

I (at least attempt to) exclusively use free software as defined by the Free Software Foundation. Currently, I run NixOS on my main development machine, a Lenovo ThinkPad T430. In the past, I have enjoyed using Gentoo, , Sabotage, and the Guix System. I use a heavily customized GNU Emacs as my window manager, text editor, mail reader, feed reader, IRC client, and multimedia platform (via mpv). Most of my personal data is managed using the excellent git-annex.


I develop hobby projects mostly in C, Haskell, and Coq. I also write a good amount of C++ and Python, although not by choice. In the past, I have worked extensively with Common Lisp, R5RS Scheme, and Clojure. I maintain working familiarity with many other languages, and I am broadly interested in language design and theory.

Author: Samuel Breese

Created: 2019-08-21 Wed 14:55