~brettgilio

Missouri, USA

https://brettgilio.com/

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.

~brettgilio/org-webring

Mailing list for development discussion and patches related to the org-webring project. For help sending patches to this list, please consult git-send-email.io.

Last active a day ago

~brettgilio/blog-discussion

Discussion related to my blog/website, including submitting responses.

Last active a month ago

~brettgilio/orcircd-devel

Mailing list for development discussion and patches related to orcircd and precis. For help sending patches to this list, please consult git-send-email.io.

Please prefix patches with the appropriate project name, for example: [PATCH orcircd].

🛑 Do not discuss security-related issues here. Email them to ~brettgilio/orcircd-security@lists.sr.ht.

Last active 2 months ago

~brettgilio/orcircd-discuss

Mailing list for end-user discussion and questions related to the orcircd project.

🛑 Do not discuss security-related issues here. Email them to ~brettgilio/orcircd-security@lists.sr.ht.

Last active 2 months ago

~brettgilio/orcircd-announce

Low-volume mailing list for announcements related to the orcircd project.

Last active 2 months ago