Show newer
otini boosted

nourriture et orthographe 

huître avant s'écrivait sans h, qui a été rajouté pour distinguer ce mot du mot vitre, car les u s'écrivaient v :hhHHHAAAH:

pareil pour huile et ville

l'orthographe est une vaste blague épisode 53986

otini boosted

it‘s always „why combinator“ but no one ever asks how combinator

otini boosted
@turion haskell fans be like: haskell good for parallel because immutable
haskell rts be like: haha mutator and gc both mutating the mutable heap go brrr
otini boosted

I have to do a lot of manual cleaning of my Zotero references to uniformize field format, and it's quite frustrating.

Don't do `git push -f` when your supervisor might just decide to start editing your paper, fellas

otini boosted

Today, I created the first files of my thesis TeX source. 😳

otini boosted

We are writing the year 2149. All our machine overlords are running on #haskell. It is a day of great celebration, for we await - since over a century - the major release of a library our very lives depend on: base-5.0.0.0

otini boosted

Il y a COMPAS'21 la semaine prochaine! Je présenterai "FlexOS : Vers une Isolation Flexible du Noyau". On parlera compartimentage, noyau, spécialisation, sécurité, et un peu vérification formelle...

2021.compas-conference.fr/

otini boosted

Mobilizon v.1.2 is out 🎉
About our partnership with Koena Connect
An updated roadmap
👉 It's the last news about #Mobilizon project
joinmobilizon.org/en/news#21-0

otini boosted

À noter ce joli truc de C si vous voulez convertir des lettres majuscules en minuscule ou réciproquement :

x |= ' ' // conversion majuscule → minuscule
x &= ~' ' // conversion minuscule → majuscule

Ne vous attendez pas à ce que ça fonctionne sur de l’Unicode ou quoi que ce soit qui ne sont pas des lettres, par contre 😅​

Show thread
otini boosted
otini boosted
otini boosted
otini boosted

Comment un programmeur fonctionnel change une ampoule ? 

Il prend une nouvelle ampoule et reconstruit le monde autour.

otini boosted

Je regarde youtube.com/watch?v=HeQX2HjkcN et j’ai une pure question de curiosité. Est-ce que le nombre de Godel de sa proposition qui s’auto référençait a été calculé ?

Again lots of issues with encryption in Element/Matrix. (Messages that won't decrypt.) After almost a year without problems :(

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!