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

Trackers

~brettgilio/org-webring

Last active 6 months ago

~brettgilio/orcircd

Last active 7 months ago

~brettgilio/ocaml-ident

Last active 7 months ago

~brettgilio/ocaml-precis

Last active 7 months ago

#14 Correct validation for Planet/Syndicates 6 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED FIXED

#13 Future-proofing 6 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#5 Get documentation from TEXINFO 6 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#12 Fetch arXiv documents 6 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED INVALID

#10 Add post pinning support 6 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED IMPLEMENTED

#268 Repository pinning 7 months ago

Ticket created by ~brettgilio on ~sircmpwn/sr.ht

It may be preferable for visual organization if hub.sr.ht, git.sr.ht, and hg.sr.ht had an option to pin up-to 3 repositories. Preference above all would be hub.sr.ht for projects with many repositories, where one specific git/hg source is considered the "main project".

Visual demarcation could be moving the repository to the top of the list, darkening the border around the listing, and adding a svg or unicode pin symbol.

#11 Add to MELPA 7 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#15 Implement support for RDF parsing 7 months ago

Ticket created by ~brettgilio on ~brettgilio/org-webring

Some RSS-style feeds such as https://export.arxiv.org/rss/math.CT requires special RDF parsing.

#3 generate CSS from defcustoms 7 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#14 Correct validation for Planet/Syndicates 7 months ago

Ticket created by ~brettgilio on ~brettgilio/org-webring