Skip to main content

Juan Belieni

Hi! My name is Juan and I am a MSc student in Applied Maths at FGV EMAp in Rio de Janeiro, Brazil 🇧🇷. Here I will (try) to post about topics that I like and that I am studying, like machine learning, AI safety, computer science, Linux, programming and math. I am also a member of the LANAIS team.

GitHub
LinkedIn
Google Scholar
[juanbelieni] @ [gmail.com]

Recent posts

Rendering footnotes inside HTML in Hugo

·223 words

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

·2245 words
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.

Taking daily notes in plain text

·280 words

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

·2122 words
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.

Creating a script to specify command aliases

·484 words

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.

Recent events

CNMAC 2024

·23 words

CNMAC 2024 was a Brazilian conference on applied mathematics where I presented a poster about Graph Neural Networks titled “SRGNN: Simple Recurrent GNN”.