Rust systems engineer near Barcelona, Spain. Worked on Ethereum execution clients, compilers and more low level code.

Open to Rust roles.

Work

• ethrex - Ethereum execution client in Rust. Implemented EIP-7928 block-level access lists end to end: spec, peer exchange over eth/71, parallel execution and metrics. Shipped Glamsterdam and Hegotá fork support, tested on cross-client devnets. Most of my time went to performance on LEVM and the state layer: opcode dispatch, parallel merkleization, batched storage reads. Writeup
• cairo_native - Compiler from Cairo's Sierra IR to MLIR, for Starknet contracts. LambdaClass, 2022-2025.
• concrete - Systems language built on LLVM and MLIR.

Maintaining

• melior - Rustic MLIR bindings in Rust.

Side Projects

• edos: Hobby x86_64 operating system written from scratch in Rust, with an SMP kernel, its own filesystem, TCP/IP and USB stacks, and a window manager (edos.edgl.dev)
• blitz: Compiler backend for x86-64 that does optimization and instruction selection in a single e-graph
• edlang: Experimental statically-typed compiled language made with LLVM and Rust
• irvm: IR compiler target with a Rust-native API that lowers to LLVM IR
• rysk: RISC-V (RV64G) emulator
• homura: Rust ML inference framework built on MLIR
• paypal-rs: Async, strongly typed Rust wrapper for the PayPal API. Published crate with real users
• sitewriter: Rust library to generate sitemaps
• ddnet: DDraceNetwork, a free cooperative platformer game. Contributor

Blog

Latest entries from edgl.dev:

• 2026-08-10: Creating an x86_64 kernel in Rust: Part 4
• 2026-08-10: Creating an x86_64 kernel in Rust: Part 3
• 2026-05-23: How Block Access Lists are implemented in ethrex
• 2026-03-10: New Programming Languages Have an AI Problem
• 2025-08-30: Creating an x86_64 kernel in Rust: Part 2

To follow the path: look to the master, follow the master, walk with the master, see through the master, become the master.

The programmer, like the poet, works only slightly removed from pure thought-stuff. He builds his castles in the air, from air, creating by exertion of the imagination. Few media of creation are so flexible, so easy to polish and rework, so readily capable of realizing grand conceptual structures.... Yet the program construct, unlike the poet's words, is real in the sense that it moves and works, producing visible outputs separate from the construct itself.

—Fred Brooks, The Mythical Man-Month

• How To Become A Hacker by Eric Steven Raymond (hackers as in builders)
• Writing an OS in Rust by Philipp Oppermann
• Just for Fun. No, Really
• https://www.hardmo.de/article/2021-03-14-zst-proof-types.md
• AMD64 Architecture Programmer's Manual Volume 2: System Programming