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
otini
boosted
L'approche Tagless Final, en Haskell https://peertube.fr/videos/watch/4e748a31-227a-41e1-b70a-d388c3fc4cb2
@PhieLaidMignon j'ai l'impression que c'est un renommage de ce qui s'appelait les « communities » avant, ça fait 3 ans que j'en utilise
(mais ça fait aussi 3 ans qu'on attend qu'il soit possible de changer l'admin d'une communauté >.<)
@alice Aah ok, so an imperfect isolation on Firefox's part. That makes more sense.
otini
boosted
Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?
otini
boosted
I’m sorry "Coq" is provoking such trouble. We’ve had the same thing for years with "bit", but never found the rightfulness to complain. I’m sure we can come to an agreement 😇
Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?
@brab pour l'instant oui
@brab Haha mes parents en ont acheté un récemment.
Lua should have optional type annotations that allow for partial type checking *and* runtime performance gains (by removing part of the type checks and type information). Why not?
Pandoc can convert TeX math to MathML? Didn't know about that one. Fun :p
https://pandoc.org/getting-started.html#step-7-command-line-options
@mnda I also just came across this: https://tidbits.com/2019/05/31/the-dark-side-of-dark-mode/
otini
boosted
my LaTeX \todo macro prints "Exercise to the reader" in a box
otini
boosted
Papers Without Code - http://www.paperswithoutcode.com/
@mnda Also, I have the impression that a low-contrast light palette is more readable than a low-contrast dark one. But that's just an impression, so not worth an in-depth study, of course.
@mnda I switched back to light backgrounds on my text editors and terminals after I read that dark mode seemed slightly less readable. Maybe this summary https://www.nngroup.com/articles/dark-mode/ but not sure.
otini
boosted
🌈 Quick Tip: Find out the number of your RSS subscribers from popular feed readers. #RSS
otini
boosted
math authoring
author: my work is fairly easy to understand.
also author:
otini
boosted
"Blogging vs. blog setups" by @rakhim
Yup, this hits close to home. Very much of this moment. 😅
#wordpress #ssg #webcomic #webcomics #comics #programminghumor
otini
boosted
Je cherche à conserver une archive de mes pouets. J’ai trouvé https://github.com/kensanata/mastodon-backup qui a l’air pas mal. Est-ce que vous avez d’autres suggestions ?
- 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:
