homolo.gy

Here you can find all my previous posts:

August 23, 2019 Drawing a Game Boy title screen
March 9, 2018 Zhegalkin polynomials
November 13, 2017 Introduction to generating functions
August 2, 2017 The power of parametricity
April 24, 2017 Ludum Dare 38
April 16, 2017 Simulating Higher-Kinded Types, Part 1
October 5, 2016 Refining types
September 20, 2016 Fixed points of GADTs
August 10, 2016 Why HoTT matters
October 18, 2015 Theories and parsing
October 10, 2015 Nameless terms in imperative languages
October 8, 2015 Encoding unfolds
October 6, 2015 Computing domains
July 9, 2015 In search of a generalized fold
April 27, 2015 Reflection in Idris
March 28, 2015 Towards division
September 24, 2014 Theorem proving in Haskell
August 1, 2014 Costate comonad coalgebras
July 17, 2014 ATS on Homebrew
July 7, 2014 Church encoding
October 12, 2011 Visualizing higher-dimensional objects
October 11, 2011 Translating a Kuratowski paper
September 14, 2011 R is bijective to R²
September 22, 2010 Special triangles not so special?
September 10, 2010 Lucifer's substitution
September 7, 2010 Binary literals
August 30, 2010 First commit on devkitPro
August 29, 2010 Obfuscated RPN calculator
August 28, 2010 The uncertainty function H(X)
August 28, 2010 Some notes on the Atari 2600
August 28, 2010 First patch submitted to devkitPro