Recent content on Alvaro Revuelta
It’s acceptable for some systems to fail occasionally, but others simply cannot afford to. Your Windows can crash , but the software controlling an airplane’s engine cannot. Not all systems are designed the same way. The more critical the system, the stricter the requirements and the more expensive it becomes. In this post, I will take a systems and software approach to understand:…
Last week, I had the chance to attend a one-day course on quantum computing at SCAYLE . While it was just a high-level introduction, it gave me a solid intuition about the fascinating world of quantum mechanics and computing. In this post, I’ll take things a step further by using a real quantum computer as a source of entropy to generate truly random numbers. With these numbers, I’ll create a…
We are constantly making decisions under uncertainty where information is limited and the outcome of the decision is not granted. You don’t know if your startup investment will go to zero. You don’t know if a given health treatment will save your life. You don’t know if you will win a hand in poker. Luckily, statistics help us to manage uncertainty. Metrics such as mean, median, mode or…
You may remember from high school what a polynomial is. If so, you may also remember how to multiply two of them. But what if I told you that the method you were taught is slow as F? In this post we will connect polynomials with the Fourier Transform and convolutions, and show you how to multiply polynomials with O ( n l o g n ) O(nlogn) O ( n l o g n ) complexity instead of O ( n 2 ) O(n^2) O ( n…
Just turned 30 years old and wanted to share my 30 lessons learned during this decade. Highly biased by my own experience, but hope they can help someone to navigate these years. 1. Do sport regularly: It took me a while to get into it. Exercise at least 3 days a week. Do not fall into having sport taking your life, spending hundreds of euros a month on protein shakes and shit. You don’t think the…
This article answers the following question: How likely is it that a given Ethereum staking pool controlling p of the stake proposes k consecutive blocks within an epoch. After The Merge (transition from Proof of Work to Proof of Stake ), this is of paramount importance since it opens up a new dimension for Maximal Extractable Value 1 . To begin with, these probabilities are analytically modeled…
I’m writing this post to announce the release of cONNXr , a project I have been working on since last year. It’s an ONNX backend written in pure C that allows running inference for machine learning models defined in .onnx . It has zero dependencies and it’s meant to work in any embedded device. After having a working proof of concept by the end of 2019, the project was forgotten…
During my thesis, I researched different techniques for estimating the orientation of an object in a three-dimensional space. Think of your head, you can tilt left/right, look up/down, or right/left. Well, the exact position of your head can be expressed mathematically and quaternions are one of the options. Quaternions were introduced by Hamilton (1843) and are used to represent the attitude of a…
Euler Angles were first introduced by Leonhard Euler. According to his theorem, any rotation can be described using three angles ( Φ , Θ , Ψ ) (\Phi, \Theta, \Psi) ( Φ , Θ , Ψ ) also referred as roll, pitch and yaw. They can be seen as head movements: saying “no” is the yaw, saying “yes” is the pitch, and leaning the head left or right is the roll. Note that the order that…