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)

🐦🔗: https://twitter.com/PenelopeB/status/1126862246448115712

**lthms** · May 05, 2019, 11:51

lthms boosted

**冻葱Tewi | DCTewi** @dctewi@niu.moe · May 05, 2019, 11:51

May 05, 2019, 11:51

冻葱Tewi | DCTewi @dctewi@niu.moe

How to create an open-source project

twitter: @ haoel

d2d9b421431cf1c5.mp4

**lthms** @lthms@mastodon.social · May 09, 2019, 21:50

**lthms** @lthms@mastodon.social · May 09, 2019, 21:50

May 09, 2019, 21:50

lthms @lthms@mastodon.social

Building #Coq project with #dune 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: https://github.com/ANSSI-FR/FreeSpec/pull/29

**lthms** · May 09, 2019, 05:00

lthms boosted

**Alan 🎲** @brab@framapiaf.org · May 09, 2019, 05:00

May 09, 2019, 05:00

Alan 🎲 @brab@framapiaf.org

Pire review
#ironème

**lthms** · May 03, 2019, 19:18

lthms boosted

**lyxia** @lyxia@niu.moe · May 03, 2019, 19:18

May 03, 2019, 19:18

lyxia @lyxia@niu.moe

#Formalization of Reynolds's parametricity #theorem in #Coq

https://blog.poisson.chat/posts/2019-04-03-system-f-in-coq.html

**lthms** @lthms@mastodon.social · May 02, 2019, 18:22

**lthms** @lthms@mastodon.social · May 02, 2019, 18:22

May 02, 2019, 18:22

lthms @lthms@mastodon.social

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

**lthms** · May 02, 2019, 13:22

lthms boosted

**dthompson** @dthompson@toot.cat · May 02, 2019, 13:22

May 02, 2019, 13:22

dthompson @dthompson@toot.cat

GNU Guix 1.0 is out!

https://www.gnu.org/software/guix/blog/2019/gnu-guix-1.0.0-released/

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** · May 01, 2019, 16:31

lthms boosted

**fake 3D dankwraith** @dankwraith@monads.online · May 01, 2019, 16:31

May 01, 2019, 16:31

fake 3D dankwraith @dankwraith@monads.online

2f790569419377c7.png

**lthms** · May 02, 2019, 17:24

lthms boosted

**vascorsd** @vascorsd@mastodon.social · May 02, 2019, 17:24

May 02, 2019, 17:24

vascorsd @vascorsd@mastodon.social

GNU Guix 1.0.0 released - https://www.gnu.org/software/guix/blog/2019/gnu-guix-1.0.0-released/

#guix #fp #linux

**lthms** · Apr 30, 2019, 13:44

lthms boosted

**avocado goblin** @a_breakin_glass@cybre.space · Apr 30, 2019, 13:44

Apr 30, 2019, 13:44

avocado goblin @a_breakin_glass@cybre.space

@lthms oh, caml

**lthms** @lthms@mastodon.social · Apr 30, 2019, 13:41

**lthms** @lthms@mastodon.social · Apr 30, 2019, 13:41

Apr 30, 2019, 13:41

lthms @lthms@mastodon.social

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

It’s a bit confusing, right?
https://opam.ocaml.org/packages/ocaml/ocaml.4.09.0/#

**lthms** · Apr 30, 2019, 05:51

lthms boosted

**♡☆.｡.:Pipey Babey!!.｡.:☆♡** @CakeCups@berries.space · Apr 30, 2019, 05:51

Apr 30, 2019, 05:51

♡☆.｡.:Pipey Babey!!.｡.:☆♡ @CakeCups@berries.space

still going 2 be inactive but hhhghhhhhhhhhhhhhh art wip

f539079784aa8dd4.png

**lthms** · Apr 28, 2019, 17:57

lthms boosted

**Verified fun** @fun@witches.live · Apr 28, 2019, 17:57

Apr 28, 2019, 17:57

Verified fun @fun@witches.live

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.