otini @otini@functional.cafe
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
Typography dilettante. PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.
Joined Dec 2017
Don't do `git push -f` when your supervisor might just decide to start editing your paper, fellas
otini
boosted
On the importance of thinking about ligature placement
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...
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
https://joinmobilizon.org/en/news#21-06-29
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 😅
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
AI research
otini
boosted
Comment un programmeur fonctionnel change une ampoule ?
Il prend une nouvelle ampoule et reconstruit le monde autour.
otini
boosted
Je regarde https://www.youtube.com/watch?v=HeQX2HjkcNo 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:
https://indepth.dev/posts/1132/dijkstra-was-right-recursion-should-not-be-difficult
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
Typography dilettante. PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.
Joined Dec 2017
otini's choices:
