Software dev. Into engineering, formal verification & distributed systems. Langs: Rust, Python, TypeScript, C#, Ada, TLA+.
📧 dev [at] younes [dot] io
Working notes on code, hardware, and the people around them
Software dev. Into engineering, formal verification & distributed systems. Langs: Rust, Python, TypeScript, C#, Ada, TLA+.
📧 dev [at] younes [dot] io