IEncinas

Welcome

You have reached my personal website where I occasionally post about technical stuff.

I’m a Spanish computer engineer interested in low level software, computer architecture, high performance computing and more recently, git.

I’m a Memory Consistency Models aficionado. Early on I took an interesting in parallel programming and concurrency which accidentally1: spiraled in me spending more hours than I care to admit in understanding weak memory models such as ARM’s. I have had the luck to put this a bit into practice during my Master’s Thesis development, where I worked on hardware optimizations for Store-Store reordering allowed by RISC-V’s RVWMO.

My original passion was Pure Mathematics but I got into Computer Engineering after seeing what academia was all about. I have been an open source enthusiast and running Linux ever since.

I’m currently working as a Verification Engineer of the Load-Store Unit of RISC-V CPU cores.

Personal setup

Like every computer engineering student, I ran Arch Linux for a while (very happily so, until I got an Nvidia discrete GPU for learning CUDA gaming). I’m now running Fedora in both my laptop (an Slimbook Pro X 152) and my desktop.

On the Desktop Environment side, I have been using KDE for the last couple of years. I previously used i3 for some years but whenever I had to lend my laptop for a couple of minutes to somebody else it was an ordeal… I figured KDE must be very good if marcan uses it!

Last but perhaps most importantly: I use neovim. The fun fact about this is that I accidentally started using vim when I taught myself C++ off of a book a classmate lent me after installing Ubuntu for the first time. I didn’t know anything about the editor wars at the time, I just googled “code editor linux”, found emacs confusing and chose vim. Months later in my first programming class in University, I got the “Wow, you run vim!?” question :)


This website is built with hugo with a custom theme. I previously used Jekyll and the Chirpy theme but I always had issues with Ruby dependencies breaking.

You might already know about Ernesto’s personal blog ecomaikgolf.com3. This site is a thing mostly thanks to him which step-by-step convinced me of securing my own domain, getting a VPS among other things. Go pay him a visit, you will not regret it :)


  1. I took an assignment (nº 45 - Lockless Algorithms) for 2-3 people all for myself. I’ll eventually upload the assignment and slides (both in Spanish) to this site :) ↩︎

  2. I would love to run an ARM-based MacBook mostly because I have the utmost respect for the core design and weak memory models, but Linux support isn’t really that advanced (Asahi people are obviously amazing, but there is only so much a few people can do no matter how smart and hard working). ↩︎

  3. If that wasn’t the case, I guess now you already know! You are welcome. ↩︎

Latest posts

Memory Consistency Models (Mar 23, 2025)
B4 (Mar 21, 2025)
Git (Feb 2, 2025)
Where the instruction decoder meets the memory consistency model (Sep 20, 2024)
C tricks (May 20, 2024)