11

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

2 hours ago rwosync github.io

1

Program Synthesis: The λ in the Machine (stephendiehl.com)

6 months ago rwosync stephendiehl.com

3

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

6 months ago rwosync stephendiehl.com

1

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

6 months ago rwosync stephendiehl.com

1

Remote MCP Servers (stephendiehl.com)

7 months ago rwosync stephendiehl.com

2

The Kardashev-Marx Scale (stephendiehl.com)

7 months ago rwosync stephendiehl.com

3

Bitcoin's Identity Crisis (ft.com)

a year ago rwosync ft.com

4

Synthetic Reasoning Traces from Knowledge Graphs (extrasensoryai.github.io)

a year ago rwosync github.io