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 assembly programs using formal methods. I also like tea, type systems and logic.
Joined Dec 2017
TeX, publishing, futures, blathering
@typochon Argh, now I *have* to listen to it for the 23,547th time
Musical craving: Hallelujah, but the Shrek version, then the Sense8 version
otini
boosted
Plus qu'une semaine avant Pas Sage En Seine #PSES2019, le festival avec du numérique mais pas que, pour les curieux et les curieuses. C'est à Choisy-le-Roi, en Île-de-France. Si le RER C le veut bien, venez ! https://www.passageenseine.fr/
@ColinTheMathmo I understand, being constantly under the threat of Twitter restricting access to its API is not great.
hot beverage
otini
boosted
TeX, publishing, futures, blathering
TeX, publishing, futures, blathering
@ColinTheMathmo The Python wrapper around Twitter's API can do precisely that quite easily. The inconvenient being that to use Twitter's API, you need to have a Twitter account to get the proper tokens. But without that, all you can do is unsatisfying web scraping I'm afraid.
otini
boosted
@loke Very cool. Is it written in Lisp?
@philipwhite Oh, even better! Thanks!
#VimTips Today I learned that instead of typing
:source ~/.path/to/vimrc
I can type
:so $MYVIMRC
saving many keystrokes!
@loke Ohh, nice! I hadn't realized. Do you use Unicode math fonts too?
@abs I want to try out TikZiT one of these days, it could probably help me make diagrams when they don't need to be programmatically created (i.e. most of the time): https://tikzit.github.io/
@loke Yes, I am trying to contribute to math support in the SILE typesetter.
otini
boosted
password generators are shit because they have to rely on the random number generators in your computers and software that the NSA obviously controls
the most secure password generator is putting a cat on your keyboard because nobody knows what the hell those devils think, not even the NSA
the most secure password generator is putting a cat on your keyboard because nobody knows what the hell those devils think, not even the NSA
@oranadoz Je suis en général très jaloux des anglophones. J'ai l'impression (peut-être fausse) qu'ils arrivent à exprimer des choses souvent de façon beaucoup plus concise que nous.
- 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 assembly programs using formal methods. I also like tea, type systems and logic.
Joined Dec 2017
