Welcome to my corner of the internet!
To introduce myself: I thirst for knowledge and the wisdom to wield it, as it were. I live for "Eureka!" moments. In practical terms, I am interested in many domains, including natural sciences, mathematics, computer science, deeptech innovation, climate technologies, software correctness, energy infrastructure, and finance.
Outside of my day job, I write a lot of open-source software. I believe computers should make my life easier, and therefore am immensely fond of purely functional programming. You can learn more about projects I maintain.
You can find more details about my credentials and my thoughts.
If you were looking to read more specifically about my scientific research, you can check out my publications, or head over to the Siwick research group website.
Do not hesitate to reach out!
Recent posts
I started a business, Powerweave. In this post, I explain what Powerweave is and why it is important to me.
Posted on 2024-04-05. Last updated on 2025-02-08.
I'm building a trading stop-loss system, and I have discovered that it forms a neat algebraic structure.
Posted on 2023-05-07. Last updated on 2025-02-08.
This post shows how to design efficient rolling statistics routine based on recurrence relations, as well as implementations in Haskell.
Posted on 2023-03-23. Last updated on 2025-02-08.
Data is often noisy, containing a meaningful signal component as well as undesired perturbations. Many filtering techniques can be used to filter away noise. In this post, we'll see how to use discrete wavelet transforms to de-noise data.
Posted on 2022-11-23. Last updated on 2025-02-08.
Chesterton's fence is a principle which says that we should understand why things are the way, before we try to push for change. Cryptocurrencies based on the blockchain haven't demonstrated that they understand the reason for centralization of the current payment networks.
Posted on 2022-08-02. Last updated on 2025-02-08.
Exploring the multiverse of possibilities all at once using monads
I'm working on a global optimization problem, trying to reduce the size of the solution set as much as possible. In this post, I'll show you how to build computations involving choices, such that we traverse the multiverse of possibilities all at once. This post gives an intuition behind the list monad in Haskell.
Posted on 2022-03-02. Last updated on 2025-02-08.
Can you make heterogeneous lists in Haskell? Sure — as long as your intent is clear
Haskell's type system might seem restrictive sometimes. For example, heterogeneous lists are not allowed. In this post, I show how to build heterogenous collections using existential quantification -- which requires us to be explicit about our intent.
Posted on 2021-09-26. Last updated on 2025-02-08.
…or you can find more in the archives.