tychota
Architect and Coach at BAM. Found of Lean, functional programming.
[ my public key: https://keybase.io/tychota; my proof: https://keybase.io/tychota/sigs/AU-RNOZJ1nFcREFQ2gnH53253X-_hrESXs_076g7EH0 ]
Recent submissions
All submissions and comments on Hacker News.