Welcome to the personal website of Brett Gilio. I am a programmer and researcher in compiler construction, formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic 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.


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


Recent Posts (RSS)

View Older Posts

Posts from other blogs I follow...


GNU Guix 1.2.0 released

We are pleased to announce the release of GNU Guix version 1.2.0, right in time to celebrate the eighth anniversary of Guix!The release comes with ISO-9660 installation images, a virtual machine image, and with tarballs to install the package manager on top of your GNU/Linux distro, either from source or from binaries. Guix users can update by running guix pull.It’s been almost 7 months since the last release, during which 200 people contributed code and packages, and a number of people contributed to othe…

GNU Guix — Blog

Every proof assistant: introducing – a proof assistant for geometrical higher category theory

After a short pause, our next talk in the series will be given by Jamie Vicary, who will present a proof assistant in which the proofs are drawn! Introducing A proof assistant for geometrical higher category theory Time: Thursday, November 26, 2020 from 15:00 to 16:00 (Central European Time, UTC+1)Location: online at Zoom ID 989 0478 8985Speaker: Jamie Vicary (University of Cambridge)Proof assistant: Abstract: Weak higher categories can be difficult to work with algebraically, wit…

Mathematics and Computation

A few ways to make money in FOSS

I work on free and open-source software full time, and I make a comfortable living doing it. And I don’t half-ass it: 100% of my code is free and open-source. There’s no proprietary add-ons, no periodic code dumps, just 100% bona-fide free and open source software. Others have often sought my advice — how can they, too, make a living doing open source? Well, there’s more than one way to skin a cat. There are many varieties of software, each with different needs, and many kinds of people, each with differen…

Drew DeVault's blog

Sun, 29 Nov 2020 — 12:30
Generated with org-webring — v2.0.0