Boosted by stephen@social.calmabiding.me ("Stephen Castro-Starkey"):
vie@hachyderm.io ("☭. evie") wrote:
I'm a staff engineer experienced with Haskell, C#, and nix. In the past, I also worked with Rust, Javascript, Typescript, Scala, and a bunch of other languages. You can read more here https://eevie.ro/page/about
I enjoy managing my own infrastructure with nix and I enjoy learning type theory through playing with lean and more recently, Idris.
I am looking for any remote (contracting) work that won't force me to use LLMs. I care about the code I write, I care about the quality, learning and teaching, understanding the needs people have and writing software that meets those needs.
Boosts highly appreciated.