Hacker News new | ask | show | jobs
user: rwosync
created: 2013-07-10
karma: 1596

submissions:

From Zero to QED: An informal introduction to formality with Lean 4
145 points | 21 comments
Program Synthesis: The λ in the Machine
3 points | 0 comments
The Future of AI Maths May Be Deeply Weird
4 points | 0 comments
Interfacing MCP with Combinatorial, Convex, and SMT Solvers
5 points | 0 comments
Remote MCP Servers
2 points | 1 comments
The Kardashev-Marx Scale
3 points | 0 comments
Bitcoin's Identity Crisis
3 points | 0 comments
Synthetic Reasoning Traces from Knowledge Graphs
5 points | 1 comments
Letter in Support of Responsible Fintech Policy
5 points | 0 comments
The Tinkerbell Griftopia
191 points | 237 comments
Tether reserves backed by 2.9% cash
209 points | 177 comments
Tether’s First Breakdown of Reserves
5 points | 1 comments
Bitcoin boom: what rising prices mean for the network’s energy consumption
3 points | 0 comments
How Bitcoin Is Indistinguishable from Malevolent AI
6 points | 0 comments
Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve
4 points | 0 comments
Exotic Programming Ideas: Module Systems
157 points | 56 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Bulletproofs – Short zero-knowledge arguments of knowledge
185 points | 60 comments
MonadFix and the Lazy and Strict State Monad
2 points | 0 comments
Reasoning About Program Behavior Algebraically [pdf]
113 points | 12 comments
Nanocoin: A Cryptocurrency in Haskell
3 points | 0 comments
Dependently Typed Ethereum Contracts in Idris [pdf]
4 points | 0 comments
Four months with Haskell
249 points | 117 comments
0 points | 0 comments
Monads to Machine Code
9 points | 0 comments
Shem: A Haskell-Derived Compile-to-JavaScript Lisp
117 points | 36 comments
In Search of Tomorrow: On the Future of Eve IDE [video]
113 points | 15 comments