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 done using emacs, atom or…
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
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…
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 done using emacs, atom or…
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
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…