Every year I am setting "an educational guessing game based on a public API with a permissive licence" as a final year project and so far no one has tackled the interesting question of finding ways to automatically classify the difficulty of the generated questions. 😩
G. Allais
@gallais@mamot.fr
mastodon
4.5.9
Lecturer in CS
#Idris 2 dev, all my toots are proven correct
0
Followers
0
Following
Joined April 06, 2017
Posts
1
1
0
Not to toot my own horn but I systematically use the curl-based installer for agda-stdlib these days and it's so convenient. 🥰
https://github.com/agda/agda-stdlib/#automated-installation-currently-experimental
6
0
1
New rule: if you post a pro-AI message on the TYPES mailing list, you need to declare your conflicts of interest.
11
0
1
Come join us as an MSP lecturer in sunny Glasgow!
https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646
6
0
32