WhileyDave :ferris: WhileyDave@hachyderm.io

Open on 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.

ArticlesSubscribersSubscriptions

Stefan @stefan@onlyfriends.cloud

Network Guy. Supreme Leader.
Good morning enthusiast.
Top 0.1% content creator, here.

:peeporun:

🇪🇺 🇦🇹 Vienna, District Eight

shachaf @shachaf@gts.y.la