You may have heard that Google laid off 12000 employees yesterday. I have created a Google Doc to crowdsource job openings and useful contacts for those 12000 employees. Please add anything you know of: https://docs.google.com/document/d/1g5kfdnOPNInmFPlwFS-7DBp7CsrlldzMIPMNk9nnaOQ/edit?usp=drivesdk
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.