[epgui]

Yeah, I hear that, but there are so many deeper things to learn, and it's totally possible to continue learning these things while building real things and making good money (not necessarily in any job, but there are jobs out there that give you more or less autonomy and latitude).

Proof languages, dependent types, other category theory -inspired abstractions... For example I've been really enjoying reading this journal lately: https://www.cambridge.org/core/journals/journal-of-functiona...