Programming languages PhD. Software engineer at Google. Career goal: to give software developers knowledge and tools to help them reason about their programs.
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.
Programming languages PhD. Software engineer at Google. Career goal: to give software developers knowledge and tools to help them reason about their programs.
Joined Nov 2022
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.