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