Top New Best Ask Show Jobs

rwosync

1,596 karma · joined July 10, 2013

submissions comments

From Zero to QED: An informal introduction to formality with Lean 4

sdiehl.github.io·145 pts·rwosync·

Program Synthesis: The λ in the Machine

stephendiehl.com·3 pts·rwosync·

The Future of AI Maths May Be Deeply Weird

stephendiehl.com·4 pts·rwosync·

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

stephendiehl.com·5 pts·rwosync·

Remote MCP Servers

stephendiehl.com·2 pts·rwosync·

The Kardashev-Marx Scale

stephendiehl.com·3 pts·rwosync·

Bitcoin's Identity Crisis

ft.com·3 pts·rwosync·

Synthetic Reasoning Traces from Knowledge Graphs

extrasensoryai.github.io·5 pts·rwosync·

Letter in Support of Responsible Fintech Policy

concerned.tech·5 pts·rwosync·

The Tinkerbell Griftopia

stephendiehl.com·191 pts·rwosync·

Tether reserves backed by 2.9% cash

ft.com·209 pts·rwosync·

Tether’s First Breakdown of Reserves

amycastor.com·5 pts·rwosync·

Bitcoin boom: what rising prices mean for the network’s energy consumption

cell.com·3 pts·rwosync·

How Bitcoin Is Indistinguishable from Malevolent AI

indi.ca·6 pts·rwosync·

Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve

bloomberg.com·4 pts·rwosync·

Exotic Programming Ideas: Module Systems

stephendiehl.com·157 pts·rwosync·

Bulletproofs – Short zero-knowledge arguments of knowledge

github.com·185 pts·rwosync·

MonadFix and the Lazy and Strict State Monad

purelyfunctional.org·2 pts·rwosync·

Reasoning About Program Behavior Algebraically [pdf]

dev.stephendiehl.com·113 pts·rwosync·

Nanocoin: A Cryptocurrency in Haskell

github.com·3 pts·rwosync·

Dependently Typed Ethereum Contracts in Idris [pdf]

publications.lib.chalmers.se·4 pts·rwosync·

Four months with Haskell

lexi-lambda.github.io·249 pts·rwosync·

Monads to Machine Code

stephendiehl.com·9 pts·rwosync·

Shem: A Haskell-Derived Compile-to-JavaScript Lisp

github.com·117 pts·rwosync·

In Search of Tomorrow: On the Future of Eve IDE [video]

youtube.com·113 pts·rwosync·

Strongly Typed Publish/Subscribe Over Websockets via Singleton Types

skillsmatter.com·6 pts·rwosync·

Revenge of the Types

lucumr.pocoo.org·193 pts·rwosync·

What I Wish I Knew When Learning Haskell 2.0

stephendiehl.com·11 pts·rwosync·

Reverse Engineering Machines with the Yoneda Lemma (2006)

blog.sigfpe.com·7 pts·rwosync·

JSON validation combinators

ro-che.info·3 pts·rwosync·

Page 1 of 2Next →