rwosync | Dark Hacker News

user:	rwosync
created:	July 10, 2013
karma:	1.6k

1.	From Zero to QED: An informal introduction to formality with Lean 4(sdiehl.github.io) 145 points by rwosync 201 days ago \| 21 comments
2.	Program Synthesis: The λ in the Machine(stephendiehl.com) 3 points by rwosync 1 year ago \| 0 comments
3.	The Future of AI Maths May Be Deeply Weird(stephendiehl.com) 4 points by rwosync 1 year ago \| 0 comments
4.	Interfacing MCP with Combinatorial, Convex, and SMT Solvers(stephendiehl.com) 5 points by rwosync 1 year ago \| 0 comments
5.	Remote MCP Servers(stephendiehl.com) 2 points by rwosync 1 year ago \| 1 comment
6.	The Kardashev-Marx Scale(stephendiehl.com) 3 points by rwosync 1 year ago \| 0 comments
7.	Bitcoin's Identity Crisis(ft.com) 3 points by rwosync 1 year ago \| 0 comments
8.	Synthetic Reasoning Traces from Knowledge Graphs(extrasensoryai.github.io) 5 points by rwosync 1 year ago \| 1 comment
9.	Letter in Support of Responsible Fintech Policy(concerned.tech) 5 points by rwosync 4 years ago \| 0 comments
10.	The Tinkerbell Griftopia(stephendiehl.com) 191 points by rwosync 4 years ago \| 237 comments
11.	Tether reserves backed by 2.9% cash(ft.com) 209 points by rwosync 5 years ago \| 177 comments
12.	Tether’s First Breakdown of Reserves(amycastor.com) 5 points by rwosync 5 years ago \| 1 comment
13.	Bitcoin boom: what rising prices mean for the network’s energy consumption(cell.com) 3 points by rwosync 5 years ago \| 0 comments
14.	How Bitcoin Is Indistinguishable from Malevolent AI(indi.ca) 6 points by rwosync 5 years ago \| 0 comments
15.	Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve(bloomberg.com) 4 points by rwosync 5 years ago \| 0 comments
16.	Exotic Programming Ideas: Module Systems(stephendiehl.com) 157 points by rwosync 5 years ago \| 56 comments
17.	Bulletproofs – Short zero-knowledge arguments of knowledge(github.com) 185 points by rwosync 7 years ago \| 60 comments
18.	MonadFix and the Lazy and Strict State Monad(purelyfunctional.org) 2 points by rwosync 8 years ago \| 0 comments
19.	Reasoning About Program Behavior Algebraically [pdf](dev.stephendiehl.com) 113 points by rwosync 8 years ago \| 12 comments
20.	Nanocoin: A Cryptocurrency in Haskell(github.com) 3 points by rwosync 8 years ago \| 0 comments
21.	Dependently Typed Ethereum Contracts in Idris [pdf](publications.lib.chalmers.se) 4 points by rwosync 10 years ago \| 0 comments
22.	Four months with Haskell(lexi-lambda.github.io) 249 points by rwosync 10 years ago \| 117 comments
23.	Monads to Machine Code(stephendiehl.com) 9 points by rwosync 10 years ago \| 0 comments
24.	Shem: A Haskell-Derived Compile-to-JavaScript Lisp(github.com) 117 points by rwosync 10 years ago \| 36 comments
25.	In Search of Tomorrow: On the Future of Eve IDE [video](youtube.com) 113 points by rwosync 10 years ago \| 15 comments