Luis Enrique Muñoz Martín
lemunozm
Passionate about functional programming and dependent types.
Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
centrifuge.io Madrid
Jure Zakotnik
jzakotnik
Technology Architect, Innovation Guy, Script Kiddie, Blockchain Enthusiast, Awesomeness Enabler
Frankfurt am Main
Historical Source
historicalsource
A collection of historical source files, for education and perusal.
Hassan Naseri
HassanNaseri
I am a technology architect working in the areas of AI, quantum computing, mathematical and probabilistic programming. I have a PhD in Signal Processing.
Accenture London
Dominik Wagenknecht
LeDominik
This is a personal account / playground so nothing to see here. My work as an architect at @Accenture is keeping me quite busy.
@Accenture Vienna, Austria