I'm curious about his 'knowledge-based programming' concept.

Will be interesting to see where this new language goes.

Right now it's not yet public, so you'll need to opt in to receive updates if you want to know when it's released.