Index|Projects|Blogroll

Index

About

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:

email
brettg@gnu.org
sourcehut
~brettgilio
freenode
brettgilio
oftc
brettgilio
mastodon
@brettgilio@mstdn.social

If you want to verify my commits, or send me an encrypted message:

gnupg key
pubkey.asc
fingerprint
E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87

I accept donations from kind patrons:

Donate on Liberapay

Posts (RSS)