Wanted: examples of good PL research posters
OK, PL Mastodon, do your thing: My students will be making posters for the POPL SRC, and I'd like to share some examples of *good PL research posters* with them. Who has examples I could point them to? They don't have to be SRC posters specifically, but that's the context here, so something SRC-suitable would be great.
I see the New York Times Guild is going on strike tomorrow and #puzzle nerds are realizing they can't play Wordle (assuming they don't want to cross the picket line to play with puzzles). I'll post links to my daily morning routine puzzles which don't involve the NYT. Yes, each of these gives you a snippet of text you can copy-paste into your socials for bragging purposes.
Cell Tower: https://www.andrewt.net/puzzles/cell-tower/
My blog post w/descriptions: https://lahosken.san-francisco.ca.us/new/2022/12/07/i-see-new-york-times-guild-is-going-on-strike-to/
Entering the US public domain in 2023: Fritz Lang's silent film science-fiction classic *Metropolis*.
More info behind window 6 of our advent-style countdown calendar for works entering the #publicdomain on Jan 1st: https://publicdomainreview.org/features/entering-the-public-domain/2023/ #PDin2023 #film #metropolis
This modified version of the famous ‘turn #chatGPT into a pretend Linux system’ prompt is also my prototype for a product that will sell millions.
@soaproot I think intent matters, and if a question is coming from an honest place then it's a good question. That said, from an outside perspective some questions seem hard to distinguish from random LLM output...
I actually think it would be fun to throw in a GPT question and have a speaker try to make sense of it and respond. Maybe throwing some curveballs would trigger legitimately interesting discussion.
How would you use Hoare logic to verify an API migration did not introduce new behaviors? If the API spec allows multiple implementation choices, you need to reason about relational liveness over nondeterministic executions, but relational Hoare logics don't support this kind of reasoning... until now!
Check out my APLAS talk "RHLE: Modular Deductive Verification of Relational ∀∃ Properties" Monday at 1:30p.
📄 Preprint: https://arxiv.org/pdf/2002.02904.pdf
This week, LastPass, and its parent company GoTo, both published blog posts about their recent data breach: http://tcrn.ch/3ucMvBx
But if you search for GoTo's blog post in Google, you won't find it, because GoTo hid its breach notice from search engines using "noindex" code.
Pong is 50 years old today.
Little known fact: Pong has no code. Pong doesn't even have a microprocessor. Al Alcorn hardwired the game with transistor-to-transistor logic. (See Henry Lowood: https://ieeexplore.ieee.org/document/5223982)
Hi, we're a group called PhilTel aiming to install free-to-use #payphones in #Philadelphia. We are having an install party at @iffybooks on December 17th where we will install our first phone (more info here, https://iffybooks.net/event/philtel-free-payphone/)!
We will also be distributing a zine that explains the project and some of the interesting things you can do with the phone.
For more info, check out https://philtel.org
As an app-only walled garden, Hive Social is not a part of the World Wide Web in any meaningful sense. Anyone letting it get their hooks into them is making a familiar and terrible mistake. We've been here before. Don't let it happen again. https://www.jwz.org/blog/2016/03/instagram-hates-the-internet/ https://twitter.com/jwz/status/1595530261533319168
Most of SPLASH 2022 is less than one week away, but the virtual talks at OOPSLA are happening *tomorrow* (or today, depending on your timezone)! Join us at V-OOPSLA and watch some exciting talks from your home/office! https://2022.splashcon.org/track/splash-2022-v-oopsla#program
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.