Stories by rwosync

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

Remote MCP Servers

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

1