Skip to main content

Posts

2025


Rendering footnotes inside HTML in Hugo

While using Hugo, I’ve encountered this frustrating limitation when trying to add footnotes inside HTML elements, where they do not render properly. This problem is related to the default Markdown renderer, Goldmark, which doesn’t support this functionality, breaking what would otherwise be valid Markdown syntax. The fix is surprisingly straightforward. You just need to configure Hugo to use Pandoc instead of Goldmark as your Markdown renderer. Here’s how:

Exploratory analysis of multilingual SAE features

Recent research from Anthropic suggests that Sparse Autoencoder (SAE) features can be multilingual, activating for the same concept across multiple languages. However, if multilingual features are scarce and not as good as monolingual ones, SAEs could have their robustness undermined, leaving them vulnerable to failures and adversarial attacks in languages not well-represented by the model. In this post, I present findings from an exploratory analysis conducted to assess the degree of multilingualism in SAE features.

2024


Taking daily notes in plain text

Taking notes is the kind of task that should be simple. In fact, you just need a small notebook and a pen for this. However, sometimes all I got with me is my smartphone, so I would like to have some sort of solution that synced all my notes between the devices I use.

Peano numbers in Lean

In this post, I will define the natural numbers using the Peano axioms and prove that the set of natural numbers \(\N\) equipped with ordinary addition and multiplication is a commutative semiring.

2023


Creating a script to specify command aliases

For the most part of the programming projects I am working, I like to specify some aliases for common terminal commands. Them problem is… I have never been satisfied on how to specify such aliases. On JavaScript projects with Node, it is possible to user the package.json scripts property, but this approach is obviously language-specific and cannot be used on other types of projects.

My Linux setup for 2024

Throughout 2023, I did a lot of changes on my Linux setup, the major one being migrating most of my workflow into one more focused on terminal-based softwares. Here I will try to document what changes I’ve made and what I pretend to change in the next year.