corpus.blog
41554 blogs · [ { "id": "01a08792-0b5e-7113-b452-29cdb124e63a", "title": "Runtime Analysis (ppad-fixed)", "url": "https://jtobin.io/runtime-analysis-fixed", "published_at": "2025-12-25T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb1bb3f62", "title": "Much Faster Signatures on secp256k1", "url": "https://jtobin.io/much-faster-signatures-on-secp256k1", "published_at": "2025-12-21T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb280bd0f", "title": "Reproducible Build Artifacts", "url": "https://jtobin.io/reproducible-build-artifacts", "published_at": "2025-11-27T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb2ed1af0", "title": "Revenge of the Builders", "url": "https://jtobin.io/revenge-of-the-builders", "published_at": "2025-01-16T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb36f6caf", "title": "Fast Haskell, Redux", "url": "https://jtobin.io/fast-haskell-redux", "published_at": "2025-01-15T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb3c81bad", "title": "Retvrning to X", "url": "https://jtobin.io/retvrning-to-x", "published_at": "2024-12-20T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb460df35", "title": "Faster Signatures on secp256k1", "url": "https://jtobin.io/faster-signatures-on-secp256k1", "published_at": "2024-11-24T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb4d22629", "title": "Signatures on secp256k1", "url": "https://jtobin.io/signatures-on-secp256k1", "published_at": "2024-10-18T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb5242dea", "title": "New HMAC-DRBG and SHA-2 Libraries", "url": "https://jtobin.io/first-ppad-libraries", "published_at": "2024-10-06T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb606bc7a", "title": "Reservoir Sampling", "url": "https://jtobin.io/reservoir-sampling", "published_at": "2024-09-21T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb6d09bd5", "title": "More Recursive Stochastic Processes", "url": "https://jtobin.io/more-recursive-stochastic-processes", "published_at": "2024-08-31T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb7958fa2", "title": "Kelvin Versioning", "url": "https://jtobin.io/kelvin-versioning", "published_at": "2020-02-24T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb7b11bef", "title": "Email for l33t h4x0rz", "url": "https://jtobin.io/email", "published_at": "2020-02-10T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb7d45ac5", "title": "Basic Hoonery", "url": "https://jtobin.io/basic-hoonery", "published_at": "2019-02-03T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb8465ada", "title": "A Nock Interpreter", "url": "https://jtobin.io/nock", "published_at": "2019-01-30T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb8fe29f9", "title": "Crushing ISAAC", "url": "https://jtobin.io/crushing-isaac", "published_at": "2018-10-06T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb90cc2ea", "title": "Transforming to CPS", "url": "https://jtobin.io/transforming-to-cps", "published_at": "2018-08-03T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb9c77bb8", "title": "Embedded DSLs for Bayesian Modelling and Inference: a Retrospective", "url": "https://jtobin.io/embedded-dsls-bayes", "published_at": "2018-07-01T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdb9d9439a", "title": "Fubini and Applicatives", "url": "https://jtobin.io/fubini", "published_at": "2018-06-26T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdba8b6e6b", "title": "Byzantine Generals and Nakamoto Consensus", "url": "https://jtobin.io/byzantine-generals-nakamoto-consensus", "published_at": "2018-01-21T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdba991295", "title": "Recursive Stochastic Processes", "url": "https://jtobin.io/recursive-stochastic-processes", "published_at": "2017-02-28T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbaa9cde2", "title": "The Applicative Structure of the Giry Monad", "url": "https://jtobin.io/giry-monad-applicative", "published_at": "2017-02-25T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbb4fc646", "title": "Implementing the Giry Monad", "url": "https://jtobin.io/giry-monad-implementation", "published_at": "2017-02-12T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbc2bcfe8", "title": "Foundations of the Giry Monad", "url": "https://jtobin.io/giry-monad-foundations", "published_at": "2017-02-09T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbc9cd091", "title": "Rotating Squares", "url": "https://jtobin.io/rotating-squares", "published_at": "2017-01-03T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbd3e09a6", "title": "Promorphisms, Pre and Post", "url": "https://jtobin.io/promorphisms-pre-post", "published_at": "2016-11-25T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbd59351d", "title": "Comonadic Markov Chain Monte Carlo", "url": "https://jtobin.io/comonadic-mcmc", "published_at": "2016-10-25T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbe219c11", "title": "A Simple Embedded Probabilistic Programming Language", "url": "https://jtobin.io/simple-probabilistic-programming", "published_at": "2016-10-16T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbe3c71f6", "title": "Randomness in Haskell", "url": "https://jtobin.io/randomness-in-haskell", "published_at": "2016-09-30T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbe950574", "title": "On Measurability", "url": "https://jtobin.io/on-measurability", "published_at": "2016-07-17T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbf47cce9", "title": "Making a Market", "url": "https://jtobin.io/making-a-market", "published_at": "2016-04-19T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbfafc2fa", "title": "flat-mcmc Update and v1.0.0 Release", "url": "https://jtobin.io/flat-mcmc-update", "published_at": "2016-04-06T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdbfe6ff24", "title": "Encoding Statistical Independence, Statically", "url": "https://jtobin.io/encoding-independence-statically", "published_at": "2016-02-15T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc08920c3", "title": "Time Traveling Recursion Schemes", "url": "https://jtobin.io/time-traveling-recursion", "published_at": "2016-02-08T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc0dcc4c9", "title": "Monadic Recursion Schemes", "url": "https://jtobin.io/monadic-recursion-schemes", "published_at": "2016-01-19T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc16d48c4", "title": "Sorting Slower with Style", "url": "https://jtobin.io/sorting-slower-with-style", "published_at": "2016-01-18T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc1c9ea4c", "title": "Yo Dawg We Heard You Like Derivatives", "url": "https://jtobin.io/ad-via-recursion-schemes", "published_at": "2016-01-07T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc2360428", "title": "A Tour of Some Useful Recursive Types", "url": "https://jtobin.io/tour-of-some-recursive-types", "published_at": "2015-12-08T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc2da592e", "title": "Sorting with Style", "url": "https://jtobin.io/sorting-with-style", "published_at": "2015-12-01T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc2dddacc", "title": "Markov Chains à la Carte", "url": "https://jtobin.io/markov-chains-a-la-carte", "published_at": "2015-10-13T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc35d9815", "title": "Practical Recursion Schemes", "url": "https://jtobin.io/practical-recursion-schemes", "published_at": "2015-09-05T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc4327146", "title": "Automasymbolic Differentiation", "url": "https://jtobin.io/automasymbolic-differentiation", "published_at": "2014-07-05T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc519212e", "title": "Sharing in Haskell EDSLs", "url": "https://jtobin.io/sharing-in-haskell-edsls", "published_at": "2014-05-29T20:00:00+00:00" }, { "id": "01a08792-0b5e-7113-b452-29cdc534f65f", "title": "Basic EC2 Management with Ansible", "url": "https://jtobin.io/basic-ec2-management-ansible", "published_at": "2013-12-20T20:00:00+00:00" } ] posts Claim your blog
Back to jtobin.io
Blog · corpus.blog/blogs/jtobin.io/posts

jtobin.io

jtobin.io

2025

Runtime Analysis (ppad-fixed)original ↗
25 Dec 2025
Much Faster Signatures on secp256k1original ↗
21 Dec 2025
Reproducible Build Artifactsoriginal ↗
27 Nov 2025
Revenge of the Buildersoriginal ↗
16 Jan 2025
Fast Haskell, Reduxoriginal ↗
15 Jan 2025

2024

Retvrning to Xoriginal ↗
20 Dec 2024
Faster Signatures on secp256k1original ↗
24 Nov 2024
Signatures on secp256k1original ↗
18 Oct 2024
New HMAC-DRBG and SHA-2 Librariesoriginal ↗
6 Oct 2024
Reservoir Samplingoriginal ↗
21 Sept 2024
More Recursive Stochastic Processesoriginal ↗
31 Aug 2024

2020

Kelvin Versioningoriginal ↗
24 Feb 2020
Email for l33t h4x0rzoriginal ↗
10 Feb 2020

2019

Basic Hooneryoriginal ↗
3 Feb 2019
A Nock Interpreteroriginal ↗
30 Jan 2019

2018

Crushing ISAACoriginal ↗
6 Oct 2018
Transforming to CPSoriginal ↗
3 Aug 2018
Embedded DSLs for Bayesian Modelling and Inference: a Retrospectiveoriginal ↗
1 Jul 2018
Fubini and Applicativesoriginal ↗
26 Jun 2018
Byzantine Generals and Nakamoto Consensusoriginal ↗
21 Jan 2018

2017

Recursive Stochastic Processesoriginal ↗
28 Feb 2017
The Applicative Structure of the Giry Monadoriginal ↗
25 Feb 2017
Implementing the Giry Monadoriginal ↗
12 Feb 2017
Foundations of the Giry Monadoriginal ↗
9 Feb 2017
Rotating Squaresoriginal ↗
3 Jan 2017

2016

Promorphisms, Pre and Postoriginal ↗
25 Nov 2016
Comonadic Markov Chain Monte Carlooriginal ↗
25 Oct 2016
A Simple Embedded Probabilistic Programming Languageoriginal ↗
16 Oct 2016
Randomness in Haskelloriginal ↗
30 Sept 2016
On Measurabilityoriginal ↗
17 Jul 2016
Making a Marketoriginal ↗
19 Apr 2016
flat-mcmc Update and v1.0.0 Releaseoriginal ↗
6 Apr 2016
Encoding Statistical Independence, Staticallyoriginal ↗
15 Feb 2016
Time Traveling Recursion Schemesoriginal ↗
8 Feb 2016
Monadic Recursion Schemesoriginal ↗
19 Jan 2016
Sorting Slower with Styleoriginal ↗
18 Jan 2016
Yo Dawg We Heard You Like Derivativesoriginal ↗
7 Jan 2016

2015

A Tour of Some Useful Recursive Typesoriginal ↗
8 Dec 2015
Sorting with Styleoriginal ↗
1 Dec 2015
Markov Chains à la Carteoriginal ↗
13 Oct 2015
Practical Recursion Schemesoriginal ↗
5 Sept 2015

2014

Automasymbolic Differentiationoriginal ↗
5 Jul 2014
Sharing in Haskell EDSLsoriginal ↗
29 May 2014

2013

Basic EC2 Management with Ansibleoriginal ↗
20 Dec 2013