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
Just published the final version of my PhD thesis on my website 🙂 https://otini.chnik.fr/#thesis
Great piece of writing about how the hell a debugger like GDB works:
https://blog.0x972.info/?d=2014/11/13/10/40/50-how-does-a-debugger-work
Personally I didn't know any of this.
otini
boosted
STOP SPEAKING FRENCH
- You are not supposed to use your nose when speaking
- Years of conjugating verbs yet no real-world use found for Passé simple
- Wanted to have complex grammar rules anyway for a laugh? We had a tool for that: It was called Latin
- "Nous allâmes au restaurant et fûtes très ravi mais le serveur voulut que je payasse avec carte" – Statements dreamed up by the utterly Deranged
otini
boosted
Les Saints de glace, c'est d'aujourd'hui à vendredi.
Il fait présentement 28.7°C.
C'est ok.
Old but might save time to some: Haskell for OCaml programmers
otini
boosted
build-once run-anywhere #OCaml: https://github.com/dinosaure/esperanto/
I see that the Angstrom parser combinator in #OCaml will give the number of bytes consumed in addition to the error. So I guess I can implement for myself the computation of the human-friendly (line, col) position in the input.
Parser combinators seem very satisfying, but I find surprisingly little info about how to implement basic error reporting with them (i.e. line and column number of the first error, for example).
otini
boosted
This is a little article about a small library used by #MirageOS, `optint`, which shows you plenty of tips in #OCaml: https://blog.osau.re/articles/optint.html
otini
boosted
If you are interested by #MirageOS and #OCaml, my blog is re-re-up: https://blog.osau.re/articles/blog_requiem.html
otini
boosted
E ink screen with HDMI input arrived! Took a bit of tinkering, but it seems to work!
otini
boosted
otini
boosted
je m'en occuperai pas ce soir mais :
j'ai un serveur distant sur lequel est installé plex.
Depuis mon ordinateur je peux donc regarder des vidéos qui sont sur mon serveur distant;
J'aimerai pouvoir regarder ces vidéos sur un rétroprojecteur qui supporte DLNA (et miracast) et je suis sous manjaro.
Vous pensez qu'il y a moyen que je puisse regarder directement les vidéos sur mon serveur sur mon rétroprojecteur ?
help & boost appreciated
otini
boosted
The default look of code typeset using the Latex package listings is one of the worst design choices ever. So many people keep this default of fixed width, too far spaced columns with a non-fixed-width font.
1. Do \lstset{columns=fullflexible}
2. Reduce intercolumn spacing
3. Optionally, use a nice-looking monospace font.
Also screen can show colors now, so consider using some nice contrasted colors like dark red here and there.
Thought I had understood the behavior of whitespace around `~` in TeX (namely, that it was ignored) but I was wrong. Code like:
some words~
\cite{ref}
typesets two spaces before the reference. I'm too lazy to go read the TeXbook again (Ch. 8) to try and figure out the exact rules 😣
otini
boosted
If I deny a messenger app access to my contacts, it should be obvious that the right thing to do is NOT to send a notification to everyone who has my number that I now have an account on that app, creep!
For me it's an inconvenience, for some it can be life-threatening.
otini
boosted
Top-ten underused Greek letter variables on arXiv: https://www.gwern.net/Variables, via https://news.ycombinator.com/item?id=29364650
- 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:
