I wanted to make a quick addendum to my last post| jtobin.io
Fast Haskell, Redux| jtobin.io
Retvrning to X| jtobin.io
Faster Signatures on secp256k1| jtobin.io
I’ve released a library supporting BIP340 Schnorr signatures| jtobin.io
New HMAC-DRBG and SHA-2 Libraries| jtobin.io
I have a little library called sampling floating around for| jtobin.io
More Recursive Stochastic Processes| jtobin.io
Here’s a short one.| jtobin.io
To the.. uh, ‘layperson’, pre- and postpromorphisms are probably well into the| jtobin.io
Time Traveling Recursion Schemes| jtobin.io
Practical Recursion Schemes| jtobin.io
Kelvin Versioning| jtobin.io
Email for l33t h4x0rz| jtobin.io
Basic Hoonery| jtobin.io
A Nock Interpreter| jtobin.io
Crushing ISAAC| jtobin.io
Transforming to CPS| jtobin.io
Embedded DSLs for Bayesian Modelling and Inference: a Retrospective| jtobin.io
Fubini and Applicatives| jtobin.io
Byzantine Generals and Nakamoto Consensus| jtobin.io
Recursive Stochastic Processes| jtobin.io
The Applicative Structure of the Giry Monad| jtobin.io
Implementing the Giry Monad| jtobin.io
Foundations of the Giry Monad| jtobin.io
Comonadic Markov Chain Monte Carlo| jtobin.io
A Simple Embedded Probabilistic Programming Language| jtobin.io
Randomness in Haskell| jtobin.io
On Measurability| jtobin.io
Making a Market| jtobin.io
flat-mcmc Update and v1.0.0 Release| jtobin.io
Encoding Statistical Independence, Statically| jtobin.io
Monadic Recursion Schemes| jtobin.io
Sorting Slower with Style| jtobin.io
Yo Dawg We Heard You Like Derivatives| jtobin.io
A Tour of Some Useful Recursive Types| jtobin.io
Sorting with Style| jtobin.io
Markov Chains à la Carte| jtobin.io
Automasymbolic Differentiation| jtobin.io
Sharing in Haskell EDSLs| jtobin.io
Basic EC2 Management with Ansible| jtobin.io