Show newer
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 :(

Shift-Ctrl-T and Shift-Ctrl-N really are the most useful bindings in FIrefox

otini boosted
otini boosted

TeX vs semantics 

Without checking: Should these render differently?

\mathrm{log} \mathrm{Vol} (T)

vs

\mathrm{log Vol} (T)

vs

\mathrm{logVol} (T)

otini boosted

programming, recursion 

Now I may not like recursion very much, but I made a few researches about it during the writing of this thread and I found this article, which talks about how to reason about recursive code:
indepth.dev/posts/1132/dijkstr

Show thread
otini boosted

I have encountered more image descriptions on Mastodon in 24 hours than I have in Twitter in a couple of years. Seriously. I'm not exaggerating.
As a blind person, this means a lot to me. If you read this and you describe your images, thank you so, so, so much on behalf of all of us. If you don't, now you know you'll be helping random Internet strangers make sense of your posts by typing in a few more words than usual.

Drawing figures with TikZ is sooooo damn loooooooonggggggggg

Evince is a very nice PDF viewer, too bad its key bindings are, like, hardwired into the kernel (or at least they seem to be, given the difficulty to change them)

otini boosted
Show older
Functional Café

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