otini @otini@functional.cafe

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

https://github.com/sile-typesetter/sile/pull/1103

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

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

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

Reçu pour Noël. 😀​ #Typography

The video (in French) and the slides (in English) of my talk “Automatically Proving Microkernel Security” at RESSI are available on my homepage https://otini.chnik.fr/

Still Libertinus: the three alphabets

Greek letters in Libertinus Math and Garamond Math. Both beautiful in their own way.

Linux Libertine's psi is really a magnificent psi

Making my slides with the 16:9 aspect ratio, I feel so modern

Oh nice, the #AdventOfCode acknowledging the existence of Mastodon.

Seriously though

In Zotero, tags are case-sensitive.

A Mistake.

It’s becoming kinda frustrating to work completely alone on this project (math typesetting in SILE).

On the other hand, I understand that practically everyone will judge the task too big, for too little benefit

As usual, I will cowardly stop doing the Advent of Code as soon as I find myself unable to answer with a 5-line Haskell code

Les rendus des étudiants contiennent parfois des surprises (et du pessimisme).

I've tried out the new monadic operators in OCaml, it's not bad.

entire code https://gist.github.com/OlivierNicole/4e68b449a3df852b04125fe88343dbda

before/after using the `let*` operator:

Finally, proper integrals (SILE vs LuaLaTeX output). I had to write in C to get this 😭

Something's wrong with the `\Longrightarrow` symbol in TeX