Hello, world!
I'm a developer who believes in strong types and weak opinions. I spend my days wrestling with compilers, negotiating with APIs, and occasionally winning arguments with my linter.
My toolkit includes Rust (for when I need my code to outlive me), Python (for when I need it done yesterday), and TypeScript (because any sufficiently large JavaScript project becomes one). I also write Ada (for when failure is not an option) and Prolog (for when I want the computer to do the thinking). Sometimes I dabble in formal methods, because who doesn't enjoy proving their code correct before debugging it?
Currently exploring the space between theory and practice, where the abstractions are leaky and the edge cases are plenty. Sometimes I train neural networks to do things I could've solved with a regex, but at 100x the computational cost.
You can reach me at dev [at] younes [dot] io
.