You can see his lecture in my post here and decide whether he has too many underpinnings for you - I would guess not: https://news.ycombinator.com/item?id=14591

You can see his lecture in my post here and decide whether he has too many underpinnings for you - I would guess not: https://news.ycombinator.com/item?id=14591520 https://news.ycombinator.com/item?id=14591520