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.
Stefan @stefan@onlyfriends.cloud
Network Guy. Supreme Leader.
Good morning enthusiast.
Top 0.1% content creator, here.
:peeporun:
🇪🇺 🇦🇹 Vienna, District Eight
Giles Paterson @giles@social.gilespaterson.com
My personal home in the fediverse.
Micheal :devterm: @micheal@social.ecliptik.com
Husband and father working in cloud ☁️ operations by day and hacking on keyboards ⌨️, Raspberry Pis :raspberrypi:, *nix-like operating sysytems :freebsd: :openbsd: :debian: :linux: by night.