Follow

fourth toot is abadi and plotkin -- haha take that machine learning algorithm consuming my toots

arxiv.org/abs/2007.08926

@isweet I unfortunately can't guarantee nobody's scraping your toots and feeding them into a machine learning algorithm but I can certainly try to avoid it

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.