This is a follow up on my org beamer post, since I've changed the way I manage to export three variants of the same document. Recall what I want to do is to be able to export: pres: the slides with speaker notes (obviously), handout: a handout version (no animations, several slides per page), slides: the slides without speaker notes (so that students might be able to re-see the slides exactly as they were shown during the lecture, including animations).

In the beginning was FoilTeX… I started using LaTeX around 1995. For making slides1 I initially used FoilTeX, briefly switched to prosper around 2004 (I'm pretty sure I also tried powerdot at some point) before going back to FoilTeX, but with a custom myfoils.sty style file supposed to allow a lighter and more convenient markup: a slide environment, abbreviations for very common markup: \bi \ei \i for itemizes, \be \ee for enumerate, \bmp \emp for a minipage, \img for including a picture.

As explained in this post I wanted to patch a symbol in a binary file, and for that needed to echo a specific byte value (xEA) into a sed command appearing in a Makefile recipe. Now, you may be aware that the echo command lives in /bin/, but the shell also provide an echo shell builtin. Let's see how we can echo a byte with hex value EA in both cases:

Non ASCII characters in C identifiers According to cppreference.com unicode characters can appear in C identifiers, using the \u and \U escape notation. In practice, it seems they can also be used directly with UTF-8 encoding: For example, the following UTF-8 file is accepted both by gcc 13 and clang 14: #include <stdio.h> void taille_fenêtre(int dx, int dy) { fprintf(stderr, "::taille_fenêtre %i %i\n",dx, dy); } This file is compiled to an object file that will contain the (UTF-8 encoded) global symbol taille_fenêtre for the above function.

Technical notes about how this site is made.

Testing hugo's (mis)handling of org "plain URIs links"

A few ways to describe the computation of the factorial function in OCaml.

There's a unused Lenovo "tablet-PC" at home (tablet + keyboard dock). It's "running" Windows 10 (actually it's very slow, plus Windows regularly asks for upgrading, and then fails…) I never used it, but as everybody at home gave up on it, I decided to give it a try on Linux. Here're the specs: lenovo ideapad MIIX 300-10IBY Model name: 80NR CPU: Intel Atom Z3735F @ 1.33Ghz 64 bits RAM: 2Go So this is actually a x64 CPU.

Et quelques détails du protocole SMTP.