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/
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.
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.
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
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!
https://framablog.org/2021/01/06/peertube-v3-its-a-live-a-liiiiive
Illus CC-By @davidrevoy
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.01.05.html
L'élamite casse le mythe, par Xavier Monthéard.
Nouveau billet de @TypoDiplo après un (trop) long sommeil.
https://blog.mondediplo.net/l-elamite-casse-le-mythe
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 ?
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 [ https://news.ycombinator.com/item?id=25600338 ]
Glasgow Haskell Compiler 9.0, supporting linear types
Link: https://discourse.haskell.org/t/glasgow-haskell-compiler-9-0-1-rc1-now-available/1706
Discussion: https://news.ycombinator.com/item?id=25582746
Mon dieu, les livres édités par l'Atelier Perrousseaux ont l'air magnifiques. https://www.adverbum.fr/home-perrousseaux.html
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.