matejcik
matejcik
The kind of guy who learns new tech stacks in his spare time. Enjoys refactoring code he didn't have to write. And "crypto" means "cryptography", ffs.
SatoshiLabs @trezor Prague, Czech Republic
Robert Kornacki
robkorn
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
dcSpark
Tomáš Janoušek
liskin
Software (free/open-source), cycling (road, gravel, urban, fixed, uni), beer (🇨🇿).
Not necessarily in that order. Current @xmonad maintainer.
London, UK
Stef Forrester
dak1n1
I write software relating to cloud infrastructure. #actuallyautistic, they/them.
@hashicorp WA, US
Jølly Good
good-lly
Building, coding, debugging, the unusual stuff @thinking-tools
---------------------------------------
All creatures & contributions welcome!
@thinking-tools , ex-@SentienHQ, ex-@trezor / @satoshilabs Prague, Bohemia
Jonas Chevalier
zimbatm
@numtide [@x1:~] $
Vladimír Volek
vladimirvolek
Besides chocolate, you’re my favorite.
@input-output-hk, ex @trezor, @cisco Prague
PreviousNext