otini @otini@functional.cafe

wut
This page is the least clear manual I've ever read

https://www.gnu.org/software/bash/manual/html_node/Redirections.html

For comparison

The default look of code typeset using the Latex package listings is one of the worst design choices ever. So many people keep this default of fixed width, too far spaced columns with a non-fixed-width font.

1. Do \lstset{columns=fullflexible}
2. Reduce intercolumn spacing
3. Optionally, use a nice-looking monospace font.

Also screen can show colors now, so consider using some nice contrasted colors like dark red here and there.

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.