Welcome to the personal website of Brett Gilio. I am a hobbyist programmer and researcher in formal methods, constructive mathematics, type theory, category theory, and intuitionist logic. I am also passionate about software freedom, functional programming, determinisitc software, type safety, and enthusiastically opposing framework-driven programming.
In addition to mathematics and computer science, I have formal education or extensive personal study in both analytic and continental philosophy, as well as political philosophy, biological sciences, musicology, music theory, history and philosophy of science, and performance art.
My blog will feature a wide-variety of topics, from my personal computing habits, ruminating thoughts on mathematics and computer science, as well as the occassional post from the other topics I have mentioned above.
Below you will find various ways of contacting me, and viewing my code:
If you want to verify my commits, or send me an encrypted message:
- gnupg key
- E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87
I accept donations from kind patrons:
- 2020-07-27 — Introduction, and How I Do My Computing