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.
Pretty solid explanation of the Yoneda lemma: http://blog.sigfpe.com/2006/11/yoneda-lemma.html
(I don't understand the lemma myself, but since I'm in a category theory class, I'll have to at some point)
I want to play Dead Cells all day long tbh
Welcome @songbird!
Some pachyderms I made for @Tusky :3
They're licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
You can get the SVGs from: https://github.com/tuskyapp/artwork
Again, Dead Cells <3
"sushi?" actually, the singular is: sushus
Unikernels — embedded development for the Web.
I'll never get over the fact that Hackers is called "Computer Pirates" in Brazil.
@cwebber Thanks for taking the time to write your blogpost about privileges, it was a very interesting read
Dead Cells is awesome.
a shepherd dog at work captured by a drone
Mastodon notification sound 10:00:00
– 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
PhD Student in Computer Science · FP Enthusiast · Beware, right now I write my manuscript and report my progress to my followers.
はちさい