my gender is minecraft formatting code §k
@132ikl smh legacy format codes, you gotta use the json text components now
@evets doesnt roll off the tongue
@132ikl good point, "section k" is pretty smooth
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.