/blog/2016/11/27/open-recursion-haskell.html 2016-11-27T00:00:00+00:00 /blog/2016/11/30/open-recursion-cpp.html 2016-11-30T00:00:00+00:00 /blog/2016/12/04/open-recursion-performance.html 2016-12-04T00:00:00+00:00 /blog/2016/12/20/fp-meetup-report.html 2016-12-20T00:00:00+00:00 /blog/2016/12/22/folding-merge-sort.html 2016-12-22T00:00:00+00:00 /blog/2016/12/26/accumulating-merge-sort.html 2016-12-26T00:00:00+00:00 /blog/2016/12/31/tdd-meetup-report.html 2016-12-31T00:00:00+00:00 /blog/2017/01/17/catamorph-dsl-intro.html 2017-01-17T00:00:00+00:00 /blog/2017/01/20/catamorph-dsl-deep-dive.html 2017-01-20T00:00:00+00:00 /blog/2017/01/23/catamorph-dsl-tradeoffs.html 2017-01-23T00:00:00+00:00 /blog/2017/01/26/catamorph-dsl-clojure.html 2017-01-26T00:00:00+00:00 /blog/2017/01/30/catamorph-dsl-cpp.html 2017-01-30T00:00:00+00:00 /blog/2017/02/03/code-quick-check-1.html 2017-02-03T00:00:00+00:00 /blog/2017/02/06/code-quick-check-2.html 2017-02-06T00:00:00+00:00 /blog/2017/02/10/code-quick-check-3.html 2017-02-10T00:00:00+00:00 /blog/2017/02/14/quick-check-experiments.html 2017-02-14T00:00:00+00:00 /blog/2017/02/17/quick-check-is-fun.html 2017-02-17T00:00:00+00:00 /blog/2017/02/27/building-clojure-game-1.html 2017-02-27T00:00:00+00:00 /blog/2017/03/03/building-clojure-game-2.html 2017-03-03T00:00:00+00:00 /blog/2017/03/10/building-clojure-game-3.html 2017-03-10T00:00:00+00:00 /blog/2017/03/31/paramorph-dsl-cpp.html 2017-03-31T00:00:00+00:00 /blog/2017/04/04/std-permuration-complexity.html 2017-04-04T00:00:00+00:00 /blog/2017/04/10/std-permuration-complexity-2.html 2017-04-10T00:00:00+00:00 /blog/2017/04/14/std-permuration-complexity-3.html 2017-04-14T00:00:00+00:00 /blog/2017/06/14/idris-improvements.html 2017-06-14T00:00:00+00:00 /blog/2017/07/01/idris-bowling-kata.html 2017-07-01T00:00:00+00:00 /blog/2017/07/06/hexagonal-architecture-free-monad.html 2017-07-06T00:00:00+00:00 /blog/2017/07/28/idris-transducers.html 2017-07-28T00:00:00+00:00 /blog/2017/08/04/idris-transducers-2.html 2017-08-04T00:00:00+00:00 /blog/2017/08/17/money-class-design.html 2017-08-17T00:00:00+00:00 /blog/2017/08/22/money-class-design-2.html 2017-08-22T00:00:00+00:00 /blog/2017/09/04/list-monad-np-complexity.html 2017-09-04T00:00:00+00:00 /blog/2017/09/13/monoids.html 2017-09-13T00:00:00+00:00 /blog/2017/09/20/transforming-data-into-types.html 2017-09-20T00:00:00+00:00 /blog/2017/10/12/dependent-type-deduction.html 2017-10-12T00:00:00+00:00 /blog/2017/11/02/idris-pipes.html 2017-11-02T00:00:00+00:00 /blog/2017/11/13/free-monads-intro.html 2017-11-13T00:00:00+00:00 /blog/2017/12/01/test-polymorphic-haskell.html 2017-12-01T00:00:00+00:00 /blog/2017/12/08/cps-free-monads.html 2017-12-08T00:00:00+00:00 /blog/2018/07/28/cost-of-ignoring-errors.html 2018-07-28T00:00:00+00:00 /blog/2018/09/13/distributed-agreement-on-random-order.html 2018-09-13T00:00:00+00:00 /blog/2019/01/11/pythagorean-triples-cpp.html 2019-01-11T00:00:00+00:00 /blog/2019/06/17/trip-report-cppp19.html 2019-06-17T00:00:00+00:00 /blog/2021/06/15/smart-watch-overestimation.html 2021-06-15T00:00:00+00:00 /blog/2021/07/29/covid-cases.html 2021-07-29T00:00:00+00:00 /blog/2022/05/24/cycling-drag-force.html 2022-05-24T00:00:00+00:00 /blog/2022/06/16/lm-joint-probability.html 2022-06-16T00:00:00+00:00 /blog/2022/06/19/perplexity.html 2022-06-19T00:00:00+00:00 /blog/2022/09/05/statistical-gender-bias.html 2022-09-05T00:00:00+00:00 /apps/ /archives/ /categories/ /blog/ / /talks/ /blog/page2/ /blog/page3/ /blog/page4/ /blog/page5/ /blog/page6/ /blog/page7/ /blog/page8/ /blog/page9/ /interval-training/ 2022-09-13T11:24:15+00:00 /tictactoe/ 2022-09-13T11:24:15+00:00 /tribolo/ 2022-09-13T11:24:15+00:00