Proudly helping to avert the AI apocalypse by proposing student projects, thus enabling smart students to spend their brain cycles on building type systems instead of AI models.

(This toot brought to you by several students telling me they found one of my proposals by searching for anything that did not have "AI" or "machine learning" in the description.)