rithmAlgo

4 ms·

1. 1.▲
   by rithmAlgo 6y ago

   Related for people into provers, there is a set of notes here https://cs.uwaterloo.ca/~plragde/842/handouts/notes.html to help you work through the Agda book https://plfa.github.io/ which is
2. 2.▲
   by rithmAlgo 6y ago

   I'm also interested in this, or any kind of data analysis or 'AI' challenge that isn't kaggle, kind of like competitive programming but for AI
3. 3.▲
   by rithmAlgo 6y ago

   Ancient classics like Sophocles, Ajax, Philoctetes, Antigone, Oedipus or the writings of Cicero, etc. Everything that happens today already happened thousands of years ago the only difference was they lived in a much less censored time back
4. 4.▲
   by rithmAlgo 6y ago

   MIT has a few courses open these days for sci comp and BLAS optimization https://mitmath.github.io/18337/ in Julia