💾 Archived View for gemlog.blue › users › jiaming › 1606493641.gmi captured on 2022-04-28 at 20:04:41. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
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