rwosync

1,596 karmajoined July 10, 2013On HN

Recent submissions

From Zero to QED: An informal introduction to formality with Lean 4 sdiehl.github.io
145rwosync9mo21 comments
Program Synthesis: The λ in the Machine stephendiehl.com
3rwosync1ydiscuss
The Future of AI Maths May Be Deeply Weird stephendiehl.com
4rwosync1ydiscuss
Interfacing MCP with Combinatorial, Convex, and SMT Solvers stephendiehl.com
5rwosync1ydiscuss
Remote MCP Servers stephendiehl.com
2rwosync1y1 comment
The Kardashev-Marx Scale stephendiehl.com
3rwosync1ydiscuss
Bitcoin's Identity Crisis ft.com
3rwosync1ydiscuss
Synthetic Reasoning Traces from Knowledge Graphs extrasensoryai.github.io
5rwosync1y1 comment
Letter in Support of Responsible Fintech Policy concerned.tech
5rwosync4ydiscuss
The Tinkerbell Griftopia stephendiehl.com
191rwosync4y237 comments
Tether reserves backed by 2.9% cash ft.com
209rwosync5y177 comments
Tether’s First Breakdown of Reserves amycastor.com
5rwosync5y1 comment
Bitcoin boom: what rising prices mean for the network’s energy consumption cell.com
3rwosync5ydiscuss
How Bitcoin Is Indistinguishable from Malevolent AI indi.ca
6rwosync5ydiscuss
Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve bloomberg.com
4rwosync5ydiscuss
Exotic Programming Ideas: Module Systems stephendiehl.com
157rwosync5y56 comments
Bulletproofs – Short zero-knowledge arguments of knowledge github.com/adjoint-io
185rwosync8y60 comments
MonadFix and the Lazy and Strict State Monad purelyfunctional.org
2rwosync8ydiscuss
Reasoning About Program Behavior Algebraically [pdf]dev.stephendiehl.com
113rwosync8y12 comments
Nanocoin: A Cryptocurrency in Haskell github.com/tdietert
3rwosync9ydiscuss
Dependently Typed Ethereum Contracts in Idris [pdf]publications.lib.chalmers.se
4rwosync10ydiscuss
Four months with Haskell lexi-lambda.github.io
249rwosync10y117 comments
Monads to Machine Code stephendiehl.com
9rwosync10ydiscuss
Shem: A Haskell-Derived Compile-to-JavaScript Lisp github.com/xixixao
117rwosync10y36 comments
In Search of Tomorrow: On the Future of Eve IDE [video]youtube.com
113rwosync10y15 comments
Strongly Typed Publish/Subscribe Over Websockets via Singleton Types skillsmatter.com
6rwosync11ydiscuss
Revenge of the Types lucumr.pocoo.org
193rwosync12y133 comments
What I Wish I Knew When Learning Haskell 2.0 stephendiehl.com
11rwosync12ydiscuss
Reverse Engineering Machines with the Yoneda Lemma (2006)blog.sigfpe.com
7rwosync12ydiscuss
JSON validation combinators ro-che.info
3rwosync12ydiscuss

All submissions and comments on Hacker News.