rwosync

5 ms·

1.
From Zero to QED: An informal introduction to formality with Lean 4(sdiehl.github.io)
145 points by rwosync 9mo ago|21 comments
2.
Program Synthesis: The λ in the Machine(stephendiehl.com)
3 points by rwosync 1y ago|0 comments
3.
The Future of AI Maths May Be Deeply Weird(stephendiehl.com)
4 points by rwosync 1y ago|0 comments
4.
Interfacing MCP with Combinatorial, Convex, and SMT Solvers(stephendiehl.com)
5 points by rwosync 1y ago|0 comments
5.
Remote MCP Servers(stephendiehl.com)
2 points by rwosync 1y ago|1 comments
6.
The Kardashev-Marx Scale(stephendiehl.com)
3 points by rwosync 1y ago|0 comments
7.
Bitcoin's Identity Crisis(ft.com)
3 points by rwosync 2y ago|0 comments
8.
Synthetic Reasoning Traces from Knowledge Graphs(extrasensoryai.github.io)
5 points by rwosync 2y ago|1 comments
9.
Letter in Support of Responsible Fintech Policy(concerned.tech)
5 points by rwosync 4y ago|0 comments
10.
The Tinkerbell Griftopia(stephendiehl.com)
191 points by rwosync 5y ago|237 comments
11.
Tether reserves backed by 2.9% cash(ft.com)
209 points by rwosync 5y ago|177 comments
12.
Tether’s First Breakdown of Reserves(amycastor.com)
5 points by rwosync 5y ago|1 comments
13.
Bitcoin boom: what rising prices mean for the network’s energy consumption(cell.com)
3 points by rwosync 6y ago|0 comments
14.
How Bitcoin Is Indistinguishable from Malevolent AI(indi.ca)
6 points by rwosync 6y ago|0 comments
15.
Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve(bloomberg.com)
4 points by rwosync 6y ago|0 comments
16.
Exotic Programming Ideas: Module Systems(stephendiehl.com)
157 points by rwosync 6y ago|56 comments
17.
by rwosync 6y ago
It's pure vapourware, word is that they burnt through their runway hiring a team of overpriced Haskell consultants who just built a new programming language and didn't deliver a product.
18.
by rwosync 6y ago
> In a way that doesn't involve A16Z cynically mis-representing blockchain as some people's champion. That's precisely the game for these funds to keep that illusion up. They buy up a bunch of tokens in a presale discount,
19.
by rwosync 6y ago
We've gone from 'time to build' back to 'time to build speculative financial products with no utility' pretty fast.
20.
by rwosync 7y ago
There are likewise some inaccuracies in this post. Both OPs seems to agree on the fact that Libra has no transaction privacy and then pick nits about features not being there at this point in time : > Libra’s byzantine tolerance on a pe
21.
Bulletproofs – Short zero-knowledge arguments of knowledge(github.com)
185 points by rwosync 8y ago|60 comments
22.
MonadFix and the Lazy and Strict State Monad(purelyfunctional.org)
2 points by rwosync 9y ago|0 comments
23.
Reasoning About Program Behavior Algebraically [pdf](dev.stephendiehl.com)
113 points by rwosync 9y ago|12 comments
24.
Nanocoin: A Cryptocurrency in Haskell(github.com)
3 points by rwosync 9y ago|0 comments
25.
Dependently Typed Ethereum Contracts in Idris [pdf](publications.lib.chalmers.se)
4 points by rwosync 10y ago|0 comments
26.
Four months with Haskell(lexi-lambda.github.io)
249 points by rwosync 10y ago|117 comments
27.
by rwosync 11y ago
Like most things, the kernel of tomorrow's ideas is already here. On the scale of the next five years, these ideas will give rise to what the future of programming will look like: * Refinement types Liquid Haskell: https://u
28.
Monads to Machine Code(stephendiehl.com)
9 points by rwosync 11y ago|0 comments
29.
Shem: A Haskell-Derived Compile-to-JavaScript Lisp(github.com)
117 points by rwosync 11y ago|36 comments
30.
In Search of Tomorrow: On the Future of Eve IDE [video](youtube.com)
113 points by rwosync 11y ago|15 comments

More ›