Show more
otini boosted

Méthodes Formelles: Mais quoi donc est-ce ? par Florent et Lesly. #pses2019
Démystifions les méthodes formelles et la vérification des programmes !

otini boosted

We did it! The 3rd milestone is reached! Thanks to the 1239 contributors! But it's not the end! You have till July 10th to to continue to finance #Mobilizon so that the V1 can be as you expect joinmobilizon.org/en/news#19-0

otini boosted

#JeChercheUnJob

Chers recruteurs, bonjour :-)

J'aimerais trouver un poste de développeur #Rust et/ou #Haskell, soit physiquement dans le Puy-de-Dôme, soit en #télétravail.

Étant informaticien depuis longtemps, notez que je compte bien progresser rapidement dans ces langages que je suis en train d'apprendre et qui sont pour moi à la limite de la perfection (oui oui, rien que ça).

Je ne place pas beaucoup d'espoirs dans ce pauvre toot, mais bah on sait jamais.
Merci.

No way to get the backtrace of an exception in without modifying the code to enclose the failing code in the `xpcall` function. That's the first time I see this limitation in a high-level language.

otini boosted

«It's written in an unusual programming language called OCaml, and in a fairly idiosyncratic dialect of it at that. ... we need expertise in obscure programming languages and strange programming customs.»
gist.github.com/rjhansen/67ab9
#OCaml

otini boosted

I should move on to extensible operators (like brackets, overset arrows, etc) but I'm laaaazy

otini boosted

Très intéressante vidéo de #LesDécodeurs.

Il est question de la légalité réelle des actes des forces de l'ordre dans les manifestations, des lois qui régissent le droit de les filmer...

youtube.com/watch?v=rkgxbcwp6o

Selon les enregistrements vidéos montrés à Aline Daillère, Juriste spécialiste de la police et des Droits de l'Homme, les Forces de l'Ordre ont rarement raisons de leur actes...

#ViolencesPolicières #MaisQueFaitLaPolice #GiletsJaunes #Loi #Manifestations

Did you know? MathML (math markup language) can encode both traditional mathematical notation (called the “presentation markup”) but also the mathematical meaning of that notation (called the “content markup”).

I can't see a difference now. SILE math prototype (left) vs LuaLaTeX (right).

otini boosted

me, standing outside: *sniffle* I love the *ACHOO* I love the out *cough* I love the outdoors.

otini boosted

Not so much people at #PSES2019 on my conf but many interested/interesting guys on #MirageOS - hope that they will have fun with our unikernel 👍

otini boosted

N'oubliez pas d'ajouter une colonne avec #PSES2019 dans votre interface Mastodon 👍

otini boosted
otini boosted

Allez j'arrive à Choisy avec un peu d'avance pour #PSES2019, ça va être BIEEEN

otini boosted
otini boosted

What do we want?

Lazy evaluation!

When do we want it?

Only when it is needed!!!!

otini boosted

Please allow me to introduce myself 🎶

I've been wanting to try a microblogging social network for a few months now and here I am!

I'm here to share and make discoveries on various artistic and spiritual fields.

For those curious about my alias, Zénon is the main character of the novel "L'Œuvre au Noir" by Marguerite Yourcenar (he's a Belgian alchemist in the 16th century). I'm currently trying to make a piece of music from this novel, but I don't know yet where all this will lead!

Me: So is `fractionNumeratorShiftUp` relative to the baseline or the fraction rule?

OpenType spec: `fractionNumeratorShiftUp`: Standard shift up applied to the numerator

Me: That's… not helping at all?!

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.