lthms @lthms@mastodon.social

Fun fact: FreeSpec is the name I gave to a Coq framework of mine[1], but also the name of a plant my girlfriend offered me when my paper about it has been accepted by FM2018[2].

[1] https://github.com/ANSSI-FR/FreeSpec
[2] https://hal.inria.fr/hal-01799712

My #gamedev hobbyist project has its own logo, thanks to Redily.

(you can have a look at her youtube channel if you wish: https://www.youtube.com/channel/UC21SVyVzuRRjYbpdLc9sNKA)

Okay, so it will be an exhausting week after all. My deadline is saturday, so I guess I will see you then.

Have a good time you all. :)

Tonight is the night.

I want to play Dead Cells all day long tbh

Welcome @songbird!

Again, Dead Cells <3

@cwebber Thanks for taking the time to write your blogpost about privileges, it was a very interesting read

Dead Cells is awesome.

– Tu en es où dans ton chapitre 3 ?
– J’ai fait tout ce que je voulais faire dessus aujourd’hui, il est tout à toi :)
– Cool, je fais chauffer le moteur de mon bulldozer ;)
– Il est classé dans le patrimoine de mon estime de moi, tu n’as pas le droit de le détruire !

For once, let #ff

– @sir@cmpwn.com builds, with other volunteers, https://sr.ht and I rediscovered git email workflow thanks to him. Many thanks
– @MartinShadok always has an interesting anecdote to tell, about Coq, about Esperanto, about French administrations
– @otini shares its thought about NixOS, about other interesting things