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...


Announcing the first online Guix Day Conference

The Guix hackers are very happy to announce the first online Guix Day Conference on Sunday November, 22nd. This conference is open to everyone and will be held entirely online. Want to speak? Submit your proposal!Important dates:November 6th: Deadline for talks proposal.November 14th: Deadline for releasing your pre-recorded talks.November 16th: Release of the schedule.November 22nd: Conference day!The agenda of the day is:pre-recorded talks with live question and answer sessionsbirds of a feather (BoF)…

GNU Guix — Blog

I'm handing over maintenance of wlroots and sway to Simon Ser

Over the past several months, I’ve been gradually weaning down my role in both projects, and as a contributor to Wayland in general. I feel that I’ve already accomplished everything I set out to do with Wayland — and more! I have been happily using sway as my daily driver for well over a year with no complaints or conspicuously absent features. For me, there’s little reason to stay involved. This will likely come as no surprise to many who’ve kept their ear to the ground in these communities. Simon has bee…

Drew DeVault's blog

GitHub driven advertising campaign

Almost once a month I get an email like this, trying to advertise whatever product that has a connection to a GitHub repository I starred: From: Sundar Krish <> Subject: Would love your thoughts To: Alexandru-Sergiu Marton Hey Alexandru, Saw you favorited the bandit repo on github! I’m a huge fan of it too and would love your advice. I’ve been working on a product that uses bandit and other open source scanners to provide security teams with aggregated dashboards (Website link:…


Sun, 25 Oct 2020 — 15:42
Generated with org-webring — v1.9.8-rc4