codesuki

Although the math in the book is relatively basic I enjoyed it tremendously because it gives the historical development for everything and even describes the characters of different mathematicians, etc. The historical context helps so much with understanding.

Comment · 1 year ago

I like your point about feedback. That's how I describe my difficulties with proofs, too. There is no way of knowing a proof is right without knowing it's right. (Or maybe I am just missing the point)

I will look into Lean that is mentioned here.

Comment · 1 year ago

I really liked this book https://www.goodreads.com/en/book/show/2558730.Digital_Desig...

It teaches the basics and then how to build a MIPS processor.

I know that's only part of what nand 2 tetris aims for. But still good.

Comment · 1 year ago

A very well done interview. Discussing technical topics and trying to find common ground. Reading comments on Uncle Bob's Startup Trap article made me think HN users could maybe learn something from Prime.