otini @otini@functional.cafe
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove safety properties on binary programs using abstract interpretation. I also like tea, type systems and logic.
Joined Dec 2017
It says here that #Oni2 has smooth scrolling support. Ok, now I'm interested.
https://github.com/onivim/oni2/issues/150
#Onivim2, a graphical, Vim-based editor, written in #ReasonML 😍
https://github.com/onivim/oni2
otini
boosted
Un joli nom de domaine, pour la messagerie sécurisée du gouvernement https://botsin.space/@DNSresolver/101946113561070147 #DNS #Matrix #Riot
otini
boosted
L’après Telegram : avec la messagerie Tchap, la France regagne sa souveraineté
Ce titre...
otini
boosted
Les gens qui utilisent #tor au quotidien, vous le faites avec ou sans bloqueur de pub ? La FAQ officielle déconseille mais c'est rapidement usant.
otini
boosted
Croisé sur le web :
« Victor Hugo vous remercie pour votre générosité en faveur de Notre Dame et vous invite a faire de même pour Les Misérables. »
Today, I started the day by a Wikipedia trip. I wanted to refresh my memory about Rice's theorem (all non-trivial semantic properties of programs are undecidable), which led me to asking myself “is there a link between logical and algorithmic undecidability, or are we just very bad at naming things?”
Turns out there is link if we assume that Church's thesis (all functions computable by humans (with infinite resources) are computable by Turing machines) is true.
That was a nice morning trip.
otini
boosted
otini
boosted
Si on prononce "Les falafels"" à l'envers, ça fait "les falafels".
otini
boosted
let's all just appreciate the example image on wikipedia's rabbit article
@typochon Also learned that there is a `comment` environment in the `verbatim` package.
@typochon When your language has a Turing-complete parser, I guess it could make sense that comments are not built-in.
😭
Multiline comments in LaTeX when?
otini
boosted
quick #introduction: I play stepmania (keyboard) and write haskell (also keyboard)
Anyone here tried #Melt? I really would like to write LaTeX in OCaml, but I don't know how robust it is. Can I make my slides with it? My thesis?
Killer question: does it handle the `[fragile]` commands in Beamer? 😛
otini
boosted
otini
boosted
Legendary computer scientist Katie Bouman with the hard drives containing the source code of her first “Hello World” React app.
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove safety properties on binary programs using abstract interpretation. I also like tea, type systems and logic.
Joined Dec 2017
