Submissions by rwosync

The Kardashev-Marx Scale

Bitcoin's Identity Crisis

Synthetic Reasoning Traces from Knowledge Graphs

Letter in Support of Responsible Fintech Policy

The Tinkerbell Griftopia

Tether reserves backed by 2.9% cash

Tether’s First Breakdown of Reserves

Bitcoin boom: what rising prices mean for the network’s energy consumption

How Bitcoin Is Indistinguishable from Malevolent AI

Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve

Exotic Programming Ideas: Module Systems

Bulletproofs – Short zero-knowledge arguments of knowledge

MonadFix and the Lazy and Strict State Monad

Reasoning About Program Behavior Algebraically [pdf]

Nanocoin: A Cryptocurrency in Haskell

Dependently Typed Ethereum Contracts in Idris [pdf]

Four months with Haskell

Monads to Machine Code

Shem: A Haskell-Derived Compile-to-JavaScript Lisp

In Search of Tomorrow: On the Future of Eve IDE [video]

Strongly Typed Publish/Subscribe Over Websockets via Singleton Types

Revenge of the Types