#introduction Hi, all! I'm Jonathan Schuster, and I'm a software engineer/computer scientist doing my best to help bridge the gap between industry and academia. My career mission is to give software developers knowledge and tools to help them reason about their programs.
Currently I work on backend systems in Google's cloud organization and help educate Googlers about software design.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.