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

the real long-term solution to many technical issues in infosec is "redesigning computers from ground up", but fortunately that's very easy compared to the other, less technical kind of problems where the solution is to somehow convince people to stop clicking on the button labelled "install ransomware on the whole network" every day

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
Show older
Functional Café

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