Saturday 10 September 2016

Welcome to my blog

This is a continuation of my old blog, The Lab Lunch. My old posts remain there. The main topics I covered in that blog are:
I am moving my blog here both due to regular failures of my old installation and because I want to perhaps express some non-work-related opinions in the future.

1 comment:

Understanding the issue of equality in Homotopy Type Theory (HoTT) is easier if you are a programmer

We programmers know something that mathematicians don't really appreciate: equality is a tricky concept. Lets illustrate this with a str...