Samuel Breese

writeups projects contact cv lab fun log keys feed


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 work in the Worldwide Computing Laboratory. In Spring 2019 I started working for Galois as an intern.

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), type theory, category theory, constructive logic, functional programming, foundations of mathematics, distributed and federated communication networks, algebraic number theory, the legal structure of ancient Ireland, quantitative finance, and Hermeticism.

Work Environment

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 use a heavily customized GNU Emacs as my window manager, text editor, mail reader, feed reader, IRC client, and multimedia platform. On the hardware side, I use a modified Lenovo Thinkpad T450.


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-06-21 Fri 01:11