undefined | Better HN

0 pointseiriklv9y ago0 comments

I'd like to go even more back to the fundamentals. Hopefully finishing SICP, building a JavaScript interpreter/compiler and other fun experiments to get a better understanding of the foundation that we're building everything on top of today.

0 comments

2 comments · 2 top-level

yaantc9y ago

Then "Software Foundations" may be of interest: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html

It covers the foundation of functional languages with the simply typed lambda calculus, and also the principles of formal specifications and proofs. It's suitable for self learning, but is a significant effort so you need to have a strong interest in these topics and be ok with a very formal approach to software.

eiriklvOP9y ago

Also - continue to learn more about why we do the things we do and how to leverage that for good things in business and life in general.

j / k navigate · click thread line to collapse