Paris · France


Formal methods researcher, and FP enthusiast.


Last active 18 days ago


Last active 6 months ago
View more

Recent activity

Re: Melpa 18 days ago

From Thomas Letan to ~lthms/colorless-dev


I am happy to announce that, last week, `colorless-themes' has been
added to Melpa.


Besides, `nordless-theme' has been updated to use `colorless-themes',
so hopefully nordless-theme users shall see an overall improvement.


In the next few days, I aim to propose several PR to Melpa, in order
to add my other “mostly colorless themes.”

Re: Melpa 5 months ago

From Thomas Letan to ~lthms/colorless-dev


> are there any plans to publish this theme on Melpa and ideally on Melpa
> Stable?
I definitely wish to do so.
More precisely, I want to rename the nordless-theme.el package already
in Melpa into colorless-themes.el (as far as I understand, this is
possible thanks to the :old-names property).

I have cleaned up the package a bit. I will probably try to submit a PR
to Melpa this week-end.

Best regards,

Introducing this blog mailing list 6 months ago

From Thomas Letan to ~lthms/lthms.xyz

Starting today, I will systematically send an email to
[~lthms/lthms.xyz@lists.sr.ht] when I publish a new blogpost. Send a
first email to [~lthms/lthms.xyz+subscribe@lists.sr.ht] if you want to
subscribe to the mailing list, and another to
[~lthms/lthms.xyz+unsubscribe@lists.sr.ht], when you want to
unsubscribe. The objective is for readers to be able to react to my
posts more easily, without having to modify the way I handle this
website. As a bonus, you don’t need to create any account of any sort!

Finally, an archive of the mailing list can be found on [lists.sr.ht].

[~lthms/lthms.xyz@lists.sr.ht] mailto:~lthms/lthms.xyz@lists.sr.ht