otini @otini@functional.cafe

Example use
(see https://sile-typesetter.org/examples/packages.html)

Today, I created the first files of my thesis TeX source. 😳

stolen from https://mobile.twitter.com/lexi_lambda/status/1399422133135200265

Shame on me, I posted this on Twitter a while ago, but forgot to do it here:
The pre-print of our paper “No Crash, No Exploit: Automated Verification of Embedded Kernels” is now available! https://otini.chnik.fr/papers/RTAS21-No-crash-no-exploit.pdf
And so is the artifact, which automatically verifies 96 variants of an x86 kernel, analyzing only their executables.

I’ve been obsessing over why integral subscript and superscripts look ugly in #SILE and not in LuaTeX, although I respect the OpenType standard.

Then I found a paragraph in LuaTeX’s manual that basically says “Yeah their placement should use the font kerning parameters, but not all fonts implement that so we just tweak the positioning parameters in a non-standard way to make integrals look nice.”

😭

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