Hacker News Reader

SICP spends many pages on this.

right, actually one of the topics were i stopped on my first readings.

https://mitpress.mit.edu/sites/default/files/sicp/full-text/...

Contextualizing this with Hoare's work on pre and post conditions helped me to understand this chapter. Predication is fundamental to advanced computer science.

Reply on news.ycombinator.com