Talia Ringer @TaliaRinger@types.pl

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

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?

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

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

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?

Even worse for offices

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

Happy Thanksgiving. Have some kitties

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

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

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

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

ITP boba & board games today