My opinion on the amount of work required to unfuck the termination checker has rapidly gone from "it's a bug fix" to "it's msc thesis work" to "it's phd thesis work"

@ionchy i would love to do this but unfortunately [gestures at the establishment]

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.