Romain Ruetschi
@romac.me
Hi! I am Romain (or Romac).
At work, I strive to build correct and resilient distributed systems using Rust and formal methods.
At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
At work, I strive to build correct and resilient distributed systems using Rust and formal methods.
At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
I fondly remember giving a Rust workshop at EPFL with a friend back in November 2014, shortly after discovering the language. The workshop itself didn't go so well as I didn't understand all the subtleties and implications of borrow checking and other stuff, but it was still fun 😅 #rust #rustlang
November 23, 2024 at 12:29 PM