• TypeScript dependent types and function bivariance https://reperiendi.wordpress.com/2021/01/27/2657/ 2 comments 27/1/2021
• How we recovered $300k of Bitcoin https://reperiendi.wordpress.com/2020/04/03/how-i-recovered-over-300k-of-bitcoin/ 198 comments 3/4/2020
• Category Theory for the Java Programmer (2007) http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/ 2 comments 31/12/2011
• Formal axiomatic divination http://reperiendi.wordpress.com/2010/09/01/formal-axiomatic-divination 4 comments 2/9/2010
• Category Theory for the Java Programmer http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/ 4 comments 22/6/2009

• Breaking zip encryption to recover over $300K in bitcoins https://reperiendi.wordpress.com/2020/04/03/how-i-recovered-over-300k-of-bitcoin/ 2 comments 3/4/2020 btc
• The continuation passing transform and the Yoneda embedding https://reperiendi.wordpress.com/2007/12/19/the-continuation-passing-transform-and-the-yoneda-embedding/ 3 comments 9/1/2019 programming
• Differentiating Data With Q http://reperiendi.wordpress.com/2014/08/05/q-jokers-and-clowns/ 9 comments 12/8/2014 haskell
• Category Theory for the Java Programmer http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/ 3 comments 2/7/2009 math
• Category Theory for the Java programmer http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/ 4 comments 22/6/2009 programming
• Monoids explained in simple words http://reperiendi.wordpress.com/2007/09/12/monoids/ 18 comments 25/4/2008 programming
• The continuation passing transform and the Yoneda embedding « reperiendi http://reperiendi.wordpress.com/2007/12/19/the-continuation-passing-transform-and-the-yoneda-embedding/ 8 comments 20/12/2007 programming