Here is a post in the form of a LaTeX code snippet. On the dangers of using plain TeX 1% Let us define a header 2%% Starting with some fonts 3\font\xmplbx = cmbx10 scaled \magstephalf 4%% Here you define the font named \xmplbx by calling the actual font 5%% named cmbx10 and you say that is going to be scaled...how much 6%% is the scale, you may ask? 7%% \magstep is for magnification, and you magnify by 1. Read more...

Problem: Consider an array A of length m with only non-negative integer entries, then take the sum of the entries of A and denote it by s. And find the smallest number p that is a multiple of m and is greater or equal than s. This was a teeny tiny part of a timed coding question that I blew because I decided to, as any good mathematician would do, overthink it. Read more...

I have prepared a talk which I intend to be my “sure, I can give a talk” if anyone asks me at any point. The name is “Markov processes and their friends” and you can find the first version of it at the end of the Academic profile. Or here: Notes The backboard prep notes Those notes are the version one of the talk, presented in the Pure PGR Seminar in Leeds. Read more...

TL;DR This is a know your tools entry, although I absolutely don’t know my tools as you will see if you read. The following “one-liner” will change any wiki style link with a date string formatted as “Feb 22nd, 2024” to “2024-02-22”, god’s intended way to write a date. Please forgive the search and replace gore of the second sed. 1sed -E 's;([a-zA-Z]{3})\s([0-9]{1,})(st|nd|rd|th),\s([0-9]{4});\4-\1-\2;' "$1" | 2 sed -E 's/-Jan-/-01-/;s/-Feb-/-02-/;s/-Mar-/-03-/;s/-Apr-/-04-/;s/-May-/-05-/;s/-Jun-/-05-/;s/-Jul-/-07-/;s/-Aug-/-08-/;s/-Sep-/-09-/;s/-Oct-/-10-/;s/-Nov-/-11-/;s/-Dec-/-12-/' | 3 sed -E 's;-([0-9])\];-0\1];' > "$1". Read more...

Currently I am in a character development arc, in particular dealing with moving because the building management in my building is awful and has just left a leak to make my flat unfit for habitation, and because of that I have learned that one has to be very wary about the company or person which manages the building where you live. And in this search it seems like people who provide reviews for these kind of things have a very strong opinion either positive or negative. Read more...

Important disclaimer: For your own benefit you should never run random commands you find on the internet, this is why whenever I tell you to run a command, immediately after I will let you know exactly what it does. Feel free to check the documentation of the command to be sure I am not lying to you. This is a follow up of the quick entry I made previously on how to put metadata on your LaTeX generated documents. Read more...

Today I wanted to homogenize the naming on my totally legally downloaded (😉) collection of maths books, just to (unsurprisingly) see just how messed up the metadata of files you get online is. And well, I will fix that for my files but it takes some time, and I will gift you the method I came up with to do so, once I finish. But for now, and since I was of course also guilty of not adding metadata to my documents before today, this is just a reminder of how to add metadata to documents typesetted with LaTeX. Read more...

If you work or study on mathematics related fields and have a website, you might often want to share your knowledge with the world. Of course, doing it is rather easy with many website creation tools, and there are also many tutorials to do it with any tool you can think of. So, I want to tell you how to do it using the static site generator Hugo and the JavaScript library KaTeX. Read more...

Hace poco decidí mantener mis notas de todo lo posible usando el plugin para vim/neovim vimwiki pero terminé usando Obsidian. Todo comenzó cuando por el inicio de febrero EL DAVID me recordó que Joplin existe, lo que derivó en una conversación sobre toma de notas y sISteMas dE gEStIón De COnOcIMiEnTo (PKM por Personal Knowledge Management) y salió a relucir Obsidian. Sobre lo cual EL DAVID dijo: El pedo es que es de paga y no pienso pagar por un explorador de archivos glorificado. Read more...

Después de un montón de tiempo intentando varias maneras de manejar mi sitio web, he caído en la cuenta de que en mi afán de tener una configuración mínima y con pocas dependencias no he logrado nada, lo cual se traduce también en mi productividad y demás cosas en las que no voy a ahondar. Por lo tanto decidí deployear un sitio de WordPress en Vultr, y comenzar a realmente compartir lo que hago porque si no nunca voy a estar contento con la forma en que tengo las cosas. Read more...