Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.