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.

Zippers for non-inductive types

Famous mathematician-philosoper Gian-Carlo Rota said that mathematical understanding is all about showing how things that seem different are...