WhileyDave :ferris: WhileyDave@hachyderm.io
Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys. Opinions are my own and not those of my employer.
Sam Wilson @sam_wilson@activity.moobi.monster
lover of buzzwords • EF researcher