September 17th, 2023
Being ambitious beyond my capability has made me quit things prematurely.
September 10th, 2023
Some Notes on the third course of the DeepLearning.ai Specialization
September 3rd, 2023
Some Notes on the second course of the DeepLearning.ai Specialization
January 13th, 2020
An exploration of how the backpropagation algorithm works
December 30th, 2019
Report from the tenth week of the "ultralearning" data science project
December 23rd, 2019
Report from the ninth week of the "ultralearning" data science project
December 16th, 2019
Report from the eighth week of the "ultralearning" data science project
December 9th, 2019
Report from the seventh week of the "ultralearning" data science project
December 1st, 2019
Report from the sixth week of the "ultralearning" data science project
November 27th, 2019
The notetaking app of my dreams
November 24th, 2019
Report from the fifth week of the "ultralearning" data science project
November 17th, 2019
Report from the fourth week of the "ultralearning" data science project
November 10th, 2019
Report from the third week of the "ultralearning" data science project
November 3rd, 2019
Report from the second week of the "ultralearning" data science project
October 27th, 2019
Report from the first week of "ultralearning" data science
October 20th, 2019
How I want to learn data science in my first ultralearning project
October 14th, 2019
My book summary of "Ultralearning"
August 25th, 2019
I used to beat myself up a lot. I don't do it anymore and my life is better.
January 27th, 2019
Taking a look at WebAssembly and writing a first function
June 24th, 2018
Some notes on the first fast ai lecture
May 21st, 2018
A short introduction on how to unit test TypeScript type operators with dtslint
March 29th, 2018
A small tool to make adopting TSLint and stricter rules easier
March 18th, 2018
Exploring TypeScript's new infer keyword which allows pattern matching on types
March 11th, 2018
A first look at TypeScript 2.8's conditional types and what you can do with them
March 4th, 2018
A look at the type-level proramming tricks used in typeful-redux
February 26th, 2018
A type-safe, low boilerplate redux wrapper for TypeScript
October 28th, 2017
With TypeScript 2.6's new strictFunctionTypes option the type definition of the redux connect function are actually type safe
January 5th, 2017
On the two levels of energy equilibrium I have noticed in many life areas
December 1st, 2016
Getting a detailed understanding of the react-redux connect function
November 16th, 2016
It's challenging to make a type safe react-redux connect function. I thought I had found a way, but was wrong...
November 7th, 2016
Personal propositions for having more effective meetings
July 19th, 2016
A brief overview how TT is processed to later stage intermediate languages.
March 15th, 2016
Looking at how Idris is desugared and elaborated to TT
January 17th, 2016
Trying out the Idris Parser on the GHCi REPL
January 10th, 2016
A short overview of the Idris compilation process, parsing and the high-level AST
January 13th, 2015
A fairly long summary and short review of Michael Nygard's book Release It
June 14th, 2014
A second look at the expression problem discussed in the previous post and ways of solving it in Haskell and Java
January 10th, 2014
Visitors are a complicated OO way of getting the advantages of sum types
December 21st, 2013
A summary of ownership related topics in Rust
October 24th, 2013
I try my hand at proving the soundness of insert on Red-Black trees in Coq
September 9th, 2013
An in-place quicksort implementation in Haskell
August 20th, 2013
Modify your zsh prompt so that it tells you when your remote branch has new commits
August 7th, 2013
An exploration of the central aspects of business programming with the objective to abstract them and focus programming around them.
July 31st, 2013
Dependent types are all the rage but getting started can be a bit intimidating. This post summarizes some resources to get started with dependent types and my plan on how to learn them.
July 19th, 2013
My summary of what I love about Haskell and why I think it is a language worth learning and using. Argumentative ammunition for discussions.
January 13th, 2012
How to get each job to have exclusive access to a host in Oracle Grid Engine
December 16th, 2011
Rocking lists in Python as if it was a functional language
October 21st, 2011
Programmatically generating functions in Clojure
October 12th, 2011
Lisp is powerful because its a programmable programming language
August 22nd, 2011
A totally pointless scale of programming skill