Samuel Breese

blog projects writeups contact cv lab fun

About

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.

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 systems, category theory, constructive logic, functional programming, procedural generation (particularly of audio), distributed and federated communication networks, the legal structure of ancient Ireland, Hermeticism, and cryptography.

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 do not run X11, instead using a combination of FbTerm and tmux. I use a heavily customized GNU Emacs as my text editor. I fetch mail using OfflineIMAP, and manage it with mu. I use sfeed as my feed reader, and ii as my IRC client. Most other file access is done using mpv, which serves as media player, image viewer, and PDF reader. On the hardware side, I use a Lenovo Thinkpad T450.

Projects

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

Author: Samuel Breese

Created: 2018-08-28 Tue 01:47

Validate