Sometimes modeling systems using TLA+, sometimes chasing purity with Haskell, sometimes reasoning logically with Prolog.
Often building with Rust's safety nets. Sometimes dispatching work fast with Julia. Frequently scripting connections with Python or TypeScript.
Call Stack:
[ ... frames above ... ]
[ experiment(pytorch) ]
[ build(c#, rust, py, ts) ]
[ model(tla+, prolog) ]
[ paradigm(haskell) ]
[ -> ??? ]
You can reach me at dev [at] younes [dot] io.