rwosync

Joined 13 years ago

Karma

1,596

Submissions

57

Member since

Jul 10

View on Hacker News

Recent submissions

From Zero to QED: An informal introduction to formality with Lean 4 sdiehl.github.io

145 rwosync 10 months ago 21 comments

Program Synthesis: The λ in the Machine stephendiehl.com

3 rwosync 1 year ago 0 comments

The Future of AI Maths May Be Deeply Weird stephendiehl.com

4 rwosync 1 year ago 0 comments

Interfacing MCP with Combinatorial, Convex, and SMT Solvers stephendiehl.com

5 rwosync 1 year ago 0 comments

Remote MCP Servers stephendiehl.com

2 rwosync 1 year ago 1 comments

The Kardashev-Marx Scale stephendiehl.com

3 rwosync 1 year ago 0 comments

Bitcoin's Identity Crisis ft.com

3 rwosync 1 year ago 0 comments

Synthetic Reasoning Traces from Knowledge Graphs extrasensoryai.github.io

5 rwosync 2 years ago 1 comments

Letter in Support of Responsible Fintech Policy concerned.tech

5 rwosync 4 years ago 0 comments

The Tinkerbell Griftopia stephendiehl.com

191 rwosync 5 years ago 237 comments

Tether reserves backed by 2.9% cash ft.com

209 rwosync 5 years ago 177 comments

Tether’s First Breakdown of Reserves amycastor.com

5 rwosync 5 years ago 1 comments

Bitcoin boom: what rising prices mean for the network’s energy consumption cell.com

3 rwosync 5 years ago 0 comments

How Bitcoin Is Indistinguishable from Malevolent AI indi.ca

6 rwosync 5 years ago 0 comments

Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve bloomberg.com

4 rwosync 5 years ago 0 comments