~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

Last active 2 days ago

~brettgilio/blog-discussion

Last active 8 days ago

~brettgilio/orcircd-devel

Last active 30 days ago

~brettgilio/orcircd-discuss

Last active 30 days ago

~brettgilio/orcircd-announce

Last active a month ago
View more

Recent activity

[ANN] Version 1.9.7-rc3 2 days ago

From Brett Gilio to ~brettgilio/org-webring

Hello all,

Ahead of EmacsConf2020 we are now in the release candidate stage
for version 2.0.0!

This third release adds support for post summaries to be disabled (by
setting the variable to nil). Additionally, the planet functionality
received attention with correction to HTML/XML validation along with
some new CSS stylizations. Lastly, a previously unknown bug affecting
ox-hugo has been fixed allowing for Hugo users to have a better
experience using org-webring!

The second release candidate added support for variable truncation of
long syndicate names, preserving a more consistent UX/UI. It also

[ANN] Version 1.9.6-rc2 5 days ago

From Brett Gilio to ~brettgilio/org-webring

Hello all,

Ahead of EmacsConf2020 we are now in the release candidate stage for
version 2.0.0!

This second release candidate adds support for variable truncation of
long syndicate names, preserving a more consistent UX/UI. This also
fixes numerous problems with the webring/planet on iOS/Webkit-based
browsers. Additionally, autoloading has been implemented and testing.

The first release candidate added support for subtle CSS color
transitions on hover, granular post pinning (on the webring) and
filtering (on both the webring and the planet), and strict support for
RFC 2822 on date-time encoding (with better error messages).

[ANN] Version 1.9.5-rc1 6 days ago

From Brett Gilio to ~brettgilio/org-webring

Hello all,

Ahead of EmacsConf2020 we are now in the release candidate stage for
version 2.0.0!

This first release candidate adds support for subtle CSS color
transitions on hover, granular post pinning (on the webring) and
filtering (on both the webring and the planet), and strict support for
RFC 2822 on date-time encoding.

Additionally, error messages are now more elegant and descriptive.

Please consider testing this release, as every person testing and
reporting helps add to the success of this utility being demonstrated

Re: [PATCH] Dumb support for pinning. 8 days ago

From Brett Gilio to ~brettgilio/org-webring

Alexandru-Sergiu Marton <brown121407@posteo.ro> writes:

>
>
> 2 should be fixed by ccb47099b0f2e3956d0e771797a099e846dca834.
>
> https://git.sr.ht/~brettgilio/org-webring/commit/ccb47099b0f2e3956d0e771797a099e846dca834
>

Confirmed, and 1 is an odd issue but not a bug. Thanks!

-- 
Brett M. Gilio
brettg@gnu.org

Re: [PATCH] Dumb support for pinning. 8 days ago

From Brett Gilio to ~brettgilio/org-webring

Hi Sergiu,

Thank you for the patch. I have applied it to master, with some
revisions. There are a few things that need attention before I can
consider pinning "stable".

1. I tried using
http://guix.gnu.org/en/blog/2020/childhurds-and-substitutes/ as a pinned
URL. This did not work. I did not test if this is an ATOM-wide issue, or
if this is a Guix blog issue.

2. Somewhere along the line, <nil/> is getting inserted into the
non-pinned articles which is messing up the styling of those items. You
can check https://brettgilio.com/ for an example of this.

Talk @ EmacsConf2020 10 days ago

From Brett Gilio to ~brettgilio/org-webring

Dear all,

Awhile ago I submitted a proposal to give a lightning (~10 minute) talk
for EmacsConf2020, focusing around org-webring. I wanted to let you all
know that this proposal has been accepted! If you have any suggestions
for imperative things that should be touched on in the talk, please
let me know. Credit to all contributors will be given at the conclusion
of my presentation.

I will follow up to this email in a few days with my proposed outline.

The big thing I would really like to get accomplished before the talk is
pinning entries. If anybody wants to assist with this, please reach out.

Version 1.9 Available in GNU Guix 10 days ago

From Brett Gilio to ~brettgilio/org-webring

GNU Guix now provides Version 1.9 of org-webring. Thanks!

-- 
Brett M. Gilio
brettg@gnu.org
https://brettgilio.com/
E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87

Re: Why not Mozilla? 12 days ago

From Brett Gilio to ~brettgilio/blog-discussion

"Shreyas Ragavan" <sr@eml.cc> writes:

> I am just starting to try out: https://www.waterfox.net/
>
> There are other Firefox forks as well. I would prefer to have access to some add ons I guess. These projects appear to have active development. 

Looks to be free software. Thanks for sharing. Do you know if it has DRM
support available? I would like it if it DOES NOT.

Thanks

-- 
Brett M. Gilio
<brettg@gnu.org>

Re: Why not Mozilla? 12 days ago

From Brett Gilio to ~brettgilio/blog-discussion

Pedro Lucas Porcellis <porcellis@eletrotupi.com> writes:

> If it's worth, I've been using qutebrowser as my daily driver for a
> while now (+- 6 months) and I can't look back no more, it's not for
> hard/pro users like surf and it's very customizable, the only issues
> I've had so far are related to some of the default keybinds.
>

It was some years ago, but I remember enjoying qutebrowser. I can't
recall if I mentioned Nyxt which is written in Common Lisp (and is
extensible as in Emacs) https://github.com/atlas-engineer/nyxt

-- 
Brett M. Gilio