otini @otini@functional.cafe

Pinned toot: I will soon be looking for job opportunities starting early 2022 :) #OCaml #Haskell #OperatingSystems #Security #StaticAnalysis #Assembly

Oh waouh, c’est beau : une thèse sur les formats d’édition publiée sous de multiples formes : http://www.these.robindemourat.com/

#Typographie #édition

J'aime bien faire joujou avec la typographie et les polices mais être confronté au même bugs depuis six mois et n'avoir personne pour aider, c'est parfois décourageant.

My opinion about ligatures is undecided. They definitely are cool, and a nice thing to have, but the only ones who notice them are the ones knowing about the concept of ligature already.

“nrf” books by Gallimard are typeset without any ligature — not even ffi — and that kinda surprises me.

Adding to #SILE something you can’t live without: stretchy parentheses! (and all other vertically stretchable glyphs)

Improductive rant here: my main complaint about #OCaml is the need to write types both in the .ml and .mli, including module types (which are big). Is something better conceivable, though? No idea.

Is it just me, or are the modal logic operators not very pretty side by side in the Computer Modern font?

Also, there doesn’t seem to be a satisfying Unicode character for “box” and “diamond” 😕

“Rebuttal period: 2–5 January, 2021”

I… wanna work… like holiday doesn’t exist… like it doesn’t exiiiiist! 🎵
Weird choice, program committee.

Mon dieu, les livres édités par l'Atelier Perrousseaux ont l'air magnifiques. https://www.adverbum.fr/home-perrousseaux.html

#Typographie

For an exam, I have a list of students’ marks, do you know how to make a histogram of them with LibreOffice Calc? By histogram I mean how many students got 0, how many got 1, etc. and plot that.