Show newer
otini boosted

Today, turned mathematical typesetting into a package of , and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞

github.com/sile-typesetter/sil

Today, turned mathematical typesetting into a package of , and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞

github.com/sile-typesetter/sil

otini boosted

I've just created a new #functional #programming community on #matrix. If you are into #haskell, #ocaml, #coq, #lisp, #idris etc you might want to visit #lambdapunk:acmelabs.space See you there! 😸

otini boosted

"Telling a programmer there's already a library to do X is like telling a songwriter there's already a song about love"

-- Pete Cordell

Everything is amazing in the Libertinus Math’s Greek alphabet. All these details.

Show thread

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

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 .

github.com/simoncozens/sile

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!

framablog.org/2021/01/06/peert

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.
blog.mondediplo.net/l-elamite-

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 ?

Show older
Functional Café

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