Pinned toot

Pinned toot: I will soon be looking for job opportunities starting early 2022 :)

Oh waouh, c’est beau : une thèse sur les formats d’édition publiée sous de multiples formes :

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.

Show thread

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

otini boosted

Trying out today as an alternative to . I want to see how it compares with .

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

otini boosted

Je suis sur le point de passer chez o2switch pour l'hébergement du site et des emails familiaux. Vous avez des retours à son sujet ?

otini boosted

Improductive rant here: my main complaint about 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.

otini boosted

The City of Chicago uses a distinctive typeface in most of its visual communication. Today I learned it's called Big Shoulders and it's available under the OFL

otini boosted

PeerTube v3: it’s a live, a liiiiive !

🎉🎉🎉 PeerTube v3 is out today!!! 🎉🎉🎉

On the blog :
➡️ The stages of development
➡️ Peer to peer live streaming
➡️ A behind-the-scenes short film
➡️ What we imagine for the future!

Illus CC-By @davidrevoy

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” 😕

otini boosted
otini boosted

L'élamite casse le mythe, par Xavier Monthéard.
Nouveau billet de @TypoDiplo après un (trop) long sommeil.

otini boosted

Question #adminsys et #sauvegardes : comment gérer les permissions ? Je m'explique : je fais tourner plusieurs services sur une machine Unix, et chaque service utilise des fichiers appartenant à l'utilisateur associé. Je veux faire des sauvegardes de ça, locales (avec borg) et distantes (avec un rclone du dépôt borg vers un dépôt distant). Quel utilisateur lance borg ? et rclone ? Aujourd'hui je fais tout en root, mais je trouve ça maladroit. Comment faire mieux ?

otini boosted

A fascinating idea. Viewing your browser tabs as part of the filesystem, allowing you to use standard Unix filesystem tools to view and manipulate the tab contents. The Unix "everything is a file" concept is still a powerful one.

Via Hacker News [ ]

#Unix #Linux #WebBrowsers #Filesystems

otini boosted

“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.

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.

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!