27/11/2020 (Things I learned)

- Proof theory: syntactic, model theory: semantic

- understand APS's stackexchange question on incompleteness theorem

- wrote a piton3 program that computes its own hash without file I/O

- Did metamath from console! (doing emacs yesterday felt great too)

- formal verification has ALOTTT more to it than i thought.. All i

knew were the big names, so much of it are small names.

- Playing from console approx doubles my battery life! 1hr -> 2hr lol