pd3v
pd3v
↱code ⟷ sound ↲
:: Sounding with <zeroone>, <line> and <gen> on twitter and mastodon
Lisboa
Robert Kornacki
robkorn
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
dcSpark
Vittorio Minacori
vittominacori
Software Engineer. Blockchain & Web3. Author of ERC-1363.
Doing stuff at @noncept.
@noncept Italy
BGPCoin
bgpcoin
BGPCoin is a Proof-of-Work / Proof-of-Stake currency that can be used by Internet Service Providers, Telcos and other providers to settle exchange fees.