Pinned toot
Pinned toot

My girlfriend, reviewing my state of the art chapter: Wait, what is a monad?

@maiwann Vraiment très chouette conférence ! C’était super intéressant.

lthms boosted
lthms boosted
lthms boosted

J'écris bien.
Je suis loyale.
J'allais le tourner autrement mais non, je suis contente de ce que j'ai posé comme analyse en régulation dans les 4 dernières années.

RT @PenelopeB@twitter.com

Dites-moi trois choses que vous trouvez positives/dont vous êtes content à propos de vous-même (vous avez le droit de vous la péter, allez-y)

🐦🔗: twitter.com/PenelopeB/status/1

lthms boosted

Building project with works pretty well already, can’t wait for compositional builds to land. And Proof General needs some rework to use the _build/ directory as far as I can tell. Fair warning: most of the resources you may find on the subject appear to concern the yet to be released Coq 8.10

See an example of a not so simple project here: github.com/ANSSI-FR/FreeSpec/p

lthms boosted
lthms boosted

I wanted to try or to manage my dev dependencies, but I really fear the burden to make my (heavily) configured Emacs work with this setup :/. For instance with

lthms boosted

GNU Guix 1.0 is out!

gnu.org/software/guix/blog/201

Proud to have been a part of the project since 2013. I haven't been active in awhile, but I have contributed a lot of packages, a Linux container implementation, a build system for programs written in Ruby, importer tools for PyPI and RubyGems, the 'guix environment' and 'guix publish' tools, and probably some small stuff I've forgotten.

lthms boosted
lthms boosted
lthms boosted

4.08 is not released yet, yet Opam says the latest version of Ocaml is 4.09.

It’s a bit confusing, right?
opam.ocaml.org/packages/ocaml/

lthms boosted
lthms boosted

Good news, everyone! We're killing God! I'm so proud of y'all right now. 💚 We just gotta be a good JRPG party and finish the job. 💚 We'll beat that boss fight in no time.

lthms boosted

my city had Procession of the Species today, which is this incredible parade celebrating all forms of life with costumes, dancing, and floats.

lthms boosted
lthms boosted
lthms boosted

If this post gets 50 boosts I'll be impressed at how easily you can get boosts on this damn thing.

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!