rwosync's submissions

1.		From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
		145 points by rwosync 3 months ago \| past \| 21 comments
2.		Program Synthesis: The λ in the Machine (stephendiehl.com)
		3 points by rwosync 9 months ago \| past
3.		The Future of AI Maths May Be Deeply Weird (stephendiehl.com)
		4 points by rwosync 10 months ago \| past
4.		Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com)
		5 points by rwosync 10 months ago \| past
5.		Remote MCP Servers (stephendiehl.com)
		2 points by rwosync 10 months ago \| past \| 1 comment
6.		The Kardashev-Marx Scale (stephendiehl.com)
		3 points by rwosync 11 months ago \| past
7.		Bitcoin's Identity Crisis (ft.com)
		3 points by rwosync on Nov 18, 2024 \| past
8.		Synthetic Reasoning Traces from Knowledge Graphs (extrasensoryai.github.io)
		5 points by rwosync on Oct 20, 2024 \| past \| 1 comment
9.		Letter in Support of Responsible Fintech Policy (concerned.tech)
		5 points by rwosync on June 7, 2022 \| past
10.		The Tinkerbell Griftopia (stephendiehl.com)
		191 points by rwosync on Nov 19, 2021 \| past \| 237 comments
11.		Tether reserves backed by 2.9% cash (ft.com)
		209 points by rwosync on May 14, 2021 \| past \| 177 comments
12.		Tether’s First Breakdown of Reserves (amycastor.com)
		5 points by rwosync on May 13, 2021 \| past \| 1 comment
13.		Bitcoin boom: what rising prices mean for the network’s energy consumption (cell.com)
		3 points by rwosync on March 10, 2021 \| past
14.		How Bitcoin Is Indistinguishable from Malevolent AI (indi.ca)
		6 points by rwosync on Feb 23, 2021 \| past
15.		Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve (bloomberg.com)
		4 points by rwosync on Feb 8, 2021 \| past
16.		Exotic Programming Ideas: Module Systems (stephendiehl.com)
		157 points by rwosync on Nov 13, 2020 \| past \| 56 comments
17.		Bulletproofs – Short zero-knowledge arguments of knowledge (github.com/adjoint-io)
		185 points by rwosync on July 11, 2018 \| past \| 60 comments
18.		MonadFix and the Lazy and Strict State Monad (purelyfunctional.org)
		2 points by rwosync on March 4, 2018 \| past
19.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		113 points by rwosync on Dec 24, 2017 \| past \| 12 comments
20.		Nanocoin: A Cryptocurrency in Haskell (github.com/tdietert)
		3 points by rwosync on Aug 30, 2017 \| past
21.		Dependently Typed Ethereum Contracts in Idris [pdf] (chalmers.se)
		4 points by rwosync on June 19, 2016 \| past
22.		Four months with Haskell (lexi-lambda.github.io)
		249 points by rwosync on June 13, 2016 \| past \| 117 comments
23.		Monads to Machine Code (stephendiehl.com)
		9 points by rwosync on Jan 4, 2016 \| past
24.		Shem: A Haskell-Derived Compile-to-JavaScript Lisp (github.com/xixixao)
		117 points by rwosync on Dec 14, 2015 \| past \| 36 comments
25.		In Search of Tomorrow: On the Future of Eve IDE [video] (youtube.com)
		113 points by rwosync on Dec 13, 2015 \| past \| 15 comments
26.		Strongly Typed Publish/Subscribe Over Websockets via Singleton Types (skillsmatter.com)
		6 points by rwosync on Oct 10, 2014 \| past
27.		Revenge of the Types (pocoo.org)
		193 points by rwosync on Aug 24, 2014 \| past \| 133 comments
28.		What I Wish I Knew When Learning Haskell 2.0 (stephendiehl.com)
		11 points by rwosync on April 23, 2014 \| past
29.		Reverse Engineering Machines with the Yoneda Lemma (2006) (sigfpe.com)
		7 points by rwosync on April 22, 2014 \| past
30.		JSON validation combinators (ro-che.info)
		3 points by rwosync on April 20, 2014 \| past
		More

HN For You