wut

gnu.org/software/bash/manual/h

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.

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

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! otini.chnik.fr/papers/RTAS21-N
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 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 , and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞

github.com/sile-typesetter/sil

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

Adding to 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. 😀​

The video (in French) and the slides (in English) of my talk “Automatically Proving Microkernel Security” at RESSI are available on my homepage 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 acknowledging the existence of Mastodon.

Show older

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