Show newer

Sad news from UNC Chapel Hill Computer Science — Fred P. Brooks, the founder and long-time chair of the department (and a major influence on my professional outlook) passed away a few hours ago.

types.pl

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