~lthms

Paris · France

https://lthms.xyz

Formal methods researcher.

~lthms/lthms.xyz

Last active 19 days ago

Recent activity

Introducing this blog mailing list 19 days 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