wut
This page is the least clear manual I've ever read
https://www.gnu.org/software/bash/manual/html_node/Redirections.html
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.
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.
Math font adventures
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 🤞
Adding to #SILE something you can’t live without: stretchy parentheses! (and all other vertically stretchable glyphs)
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/
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.