Stories by haskellandchill

Number Theory for Programmers

Locus Solum: From the rules of logic to the logic of rules (2001) [pdf]

Theorem Proving and Algebra book (2006) [pdf]

Distilling Abstract Machines (2018) [pdf]

On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf]

Connection Graphs (1986) [pdf]

CoinFLEX Defends Controversial ‘GTX’ Venture with 3AC Founders

3AC, CoinFLEX co-founders looking to raise $25M for new crypto exchange

Why Elon Musk and Kara Swisher Are No Longer Speaking

Coding for Contact

Human Computers

Separation Logic

On Impossible Things Before Breakfast (post-mortem on Terra, pre-mortem on DeFi) [pdf]

Mapping the NFT revolution: market trends, trade networks, and visual features

Functional Algorithms, Verified

A 23.7M dollar Ethereum transaction fee post mortem

The Vanishing Legacy of Barack Obama

Binance crackdown: regulators tussle with ‘Wild West’ of crypto

Comments on the “Bitcoin Black Paper” (Why Bitcoin Is Worth 0)

Tether, stablecoins are among 'financial stability challenges', Rosengren says

1
2
3