1From Zero to QED: An informal introduction to formality with Lean 4 (opens in new tab)(sdiehl.github.io)145rwosync6mo ago21Save
4Interfacing MCP with Combinatorial, Convex, and SMT Solvers (opens in new tab)(stephendiehl.com)5rwosync1y ago0Save
8Synthetic Reasoning Traces from Knowledge Graphs (opens in new tab)(extrasensoryai.github.io)5rwosync1y ago1Save
9Letter in Support of Responsible Fintech Policy (opens in new tab)(concerned.tech)5rwosync4y ago0Save
13Bitcoin boom: what rising prices mean for the network’s energy consumption (opens in new tab)(cell.com)3rwosync5y ago0Save
15Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve (opens in new tab)(bloomberg.com)4rwosync5y ago0Save
