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.
Recent Posts (RSS)
- 2020-10-18 — EmacsConf 2020 & My Submission
- 2020-10-06 — Paying for Free Software
- 2020-10-01 — Why You Should Care to Self Host
- 2020-09-18 — Reflections on IRC, and Pain with Telegram
Posts from other blogs I follow...
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
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
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 <firstname.lastname@example.org> 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: Sken.ai…brown121407
Generated with org-webring — v1.9.8-rc4