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.
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
Old but might save time to some: Haskell for OCaml programmers
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.
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
If you are interested by #MirageOS and #OCaml, my blog is re-re-up: https://blog.osau.re/articles/blog_requiem.html
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
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.
Top-ten underused Greek letter variables on arXiv: https://www.gwern.net/Variables, via https://news.ycombinator.com/item?id=29364650
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.