Samuel Breese

writeups projects contact cv fun log keys feed

About

I am a computer programmer. On the side, I enjoy learning about mathematics, literature, and 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.

Work Environment

I (at least attempt to) exclusively use free software. 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.

Projects

I develop hobby projects mostly in C, Haskell, and Emacs Lisp. 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 programming language theory and design.

Web Presence

This site's infrastructure is deployed using NixOps. The site's content is described in Org mode, and is remotely written to the HTML and PDF files seen here using org-publish.

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.

Author: Samuel Breese

Created: 2019-09-11 Wed 14:06

Validate