HN Explorer

rwosync

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