|
|
@@ -62,6 +62,7 @@ ___
|
|
|
- [Vim Awesome](https://vimawesome.com/)
|
|
|
- [Cognitive Load Theory just killed Active Recall](https://blog.alexanderfyoung.com/cognitive-load-theory-just-killed-active-recall/)
|
|
|
- [Using VIM to Write LaTeX in 2021 ](https://newptcai.gitlab.io/blog/vim-and-latex/)
|
|
|
+- [Why Mathematical Proof Is a Social Compact](https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/)
|
|
|
|
|
|
## [Mathematics and Theoretical Computer Science](mathematics.md)
|
|
|
- [OEIS: The Online Encyclopedia of Integer Sequences](https://oeis.org/)
|
