a) Why calculus for y-combinator.
b) What happens when subdivide attention and add to many atomic locks.
c) result of separating logic from imagination -> logical type face issues.
Reply on news.ycombinator.com