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...
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 homotopy.io – 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 homotopy.io: 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: homotopy.io Abstract: Weak higher categories can be difficult to work with algebraically, wit…Mathematics and Computation
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
Generated with org-webring — v2.0.0