Hacker News new | ask | show | jobs
by cardigan 2565 days ago
The interview goes into how this ties into formal reasoning towards the latter half.