presenting at an event colocated with ICFP before I'm 20 isn't a bad achievement

Show thread

"The Scheme and Functional Programming Workshop 2021 (Scheme 2021) program committee is delighted to inform you that your submission [...] has been accepted to appear in the conference."

🎉 🎉 🎉

[ \cos(\theta+\phi)=\cos(\theta)\cos(\phi)−\sin(\theta)\sin(\phi) ]

very none 

gays be like
(unquote (unquote (unquote (unquote (unquote (unquote ...

Show older
types.pl

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