Now i am become Rust, Destroyer of Unsafe code
Software developer based in Barcelona. I work on kernels, compilers, and others, mostly in Rust.
If you like what I do consider sponsoring (or on liberapay) me.
- homura: Rust ML inference framework built on MLIR
- edlang: Experimental statically-typed compiled language made with LLVM and Rust
- melior: Rustic MLIR bindings in Rust
- concrete: A programming language crafted for scalable, reliable systems
- ddnet: DDraceNetwork, a free cooperative platformer game
- ethrex: Minimalist, modular Ethereum protocol implementation in Rust (L1 & L2 execution client)
Latest entries from edgl.dev:
- 2026-03-10: New Programming Languages Have an AI Problem
- 2025-08-30: Creating an x86_64 kernel in Rust: Part 2
- 2025-08-28: Creating an x86_64 kernel in Rust: Part 1
- 2024-07-01: Rust Generic Function Size Trick
- 2023-11-27: Intro to LLVM and MLIR with Rust and Melior
Good Reads
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