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.
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.