Yvan SRAKA <yvan@sraka.xyz>
- 🔑 GPG (A4FB3EAA6F452379) / SSH (yvan@X230)
- 🌐 GitHub / Mastodon / StackOverflow / Itch
I hold a master's degree in math and computer sciences applied to biology from Sorbonne University in Paris. Having discovered C++ programming as a child, I am actively involved in open-source communities. My previous commercial experience includes working in 3D Graphics and Runtime design with Rust, Nix, and Haskell. I have taught Systems Programming, Architecture, and DevOps to master’s students and have designed algorithm competitions and kids/teens coding workshops, where I assist them in building small video games. Currently residing in Belgium, I enjoy biking, hiking, climbing, and vegan cooking.
I am currently working as a Senior DevX Engineer at IOG, contributing to Rust, Nix, and Haskell upstream tooling. I designed the Rust/Haskell interoperability tools suite cargo-cabal and hs-bindgen, the Nix contracts library, and am maintaining the Cabal, devx and haskell.nix build infrastructures.
As a Nix(OS) enthusiast, you can explore my cherished Thinkpad X230 (and iMac M1) configuration. My ~ is managed by @rycee home-manager both on NixOS and macOS, relying on nix-darwin by @LnL7 to maintain a declarative setup.
Before transitioning to Wayland using Sway and @emersion tools, I was an xmonad user. Explore this custom macOS port using X11 by @puffnfresh and my xmonad.hs configuration borrowed from @andreivolt. You can also find my old dotfiles from the time I used Xorg with dwm and st from suckless.
My code editor is neovim and I use ZSH with Grml configuration. I daily use @zx2c4 pass on all my devices, having migrated from the Apple keychain data silo using this script.