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: docs.google.com/document/d/1g5

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: docs.google.com/document/d/1g5

Are folks aware of any good resources that cover the basics of compiling recursive functions, both inefficiently and with the basic optimizations like tail call optimization? Just looking for an overview at a late undergrad or early grad level.

While I'm here, also, any resources on implementing recursive functions on a Turing Machine?

re: Musk / Twitter 

Can we build something that goes in the other direction? Like, we add a link to our Twitter on Mastodon, the it crawls various Mastodon instances and looks for people we follow on Twitter? The Muskito can't control this platform

Show thread

Also, this is how my weekend is going so far. First time with COVID

Musk / Twitter 

ICYMI, Twitter just banned the posting of Mastodon usernames and links, including in profiles. Debirdify is dead, basically.

Do folks ever assume a restricted version of UIP on only a specific type, without assuming UIP more generally? Is this consistent? When does this imply UIP more generally?

How do people keep houses below 70 degrees ever it's so cold

@TaliaRinger If you really want the old-school vibes, you can use cuckoo.social/ to view your mastodon feed which makes it look like google+

Let’s all give a raucous welcome to Twitter joke royalty @djg, without whom it would just not be the same

Personally still hedging though, don't have the heart to quit Twitter, just kind of using both for different things for now

Show thread

One thing I'm not sure about is what to do with the SIGPLAN-M social media. Is it weird to have an organizational account here in addition to my normal one? Can I just do that like I do on Twitter? I want to reach the PL community and I feel like at this point it'd be better to do that here than on Twitter

Show thread

In college I used to hang out on Google+ and unknowingly argue with Turning Award winners and post a bunch of nerdy things about compilers just so my Facebook friends would stop complaining about how much I post about computers and math all the time. Nostalgia, baby

Show thread

This place legit has like an oldschool Google+ vibe with researchers just being a bunch of nerds together. Kind of nice

No idea how much caffeine I just ingested to finish my SIGPLAN-M work for the week, but dear god I get to take an actual vacation now

I still think it's weird that I'm a professor

Show older
types.pl

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