I'm a cybersecurity consultant and software developer from Italy 🇮🇹.
I like building things close to the metal, from network software and security tooling to programming languages, compilers and virtual machines.
Orbit is my current long-term project. I'm building the language, its runtime, and the surrounding tooling from the ground up, exploring the entire path from source code to execution.
Some of the areas I'm currently working on:
- 🧠 Compiler architecture & intermediate representation
- 🔀 SSA, CFGs and control-flow transformations
- ⚡ Register allocation & liveness analysis
- 🖥️ Register-based virtual machine
- 🧵 Concurrency,
async/awaitand channels - 🧩 Runtime architecture & standard library
- 📐 Language design and semantics
Before Orbit, I created Argon, an interpreted multi-paradigm programming language, my first project of this kind. It taught me a lot, but many things didn't work as well as I wanted, and fixing them properly would have meant a massive rewrite. So I decided to redesign everything from scratch: new features, a register-based VM for better performance, and a more solid foundation overall. Much of Orbit's language design is rooted in Argon, and a good portion of its code was directly adapted from it.
Low-level software, networking, cybersecurity, programming languages, compilers, virtual machines.
I enjoy understanding how things work underneath the abstractions, and occasionally replacing the abstraction with one I built myself.
