This is cross posted from the blog on the Discrete Analysis web page.

Approximately a year on from the announcement of Discrete Analysis, it seems a good moment to take stock and give a quick progress report, so here it is. 553 more words