Skip to content

Comment on There's more to mathematics than rigour and proofs (2007)parent

Comments

3. Write programs that you think are cool. But since you know more, you can write more cool programs

The integration phase goes much deeper. The first stage is about learning how to write programs. The second is about writing programs well. The third is to intuitively reason about how to solve problems well using well-written programs; you can still code, but it's no longer where the lifting is.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.