Prep for lecture in half an hour is going great, why do you ask?. $ make testability.pdf.make: 'testability.pdf' is up to date.$ rm testability.pdf.rm: cannot remove 'testability.pdf': No such file or directory.$ make testability.pdf.make: 'testability.pdf' is up to date.

RT @radamihalcea: Don’t choose PhD programs by rankings—they may not be a good fit for you (& everyone applies there!). Instead, focus on p….

RT @58bugeye: Dear MAGA, friends & family. RFK Jr. wants to immediately stop the development of new drugs for cancer, Alzheimers & other i….

RT @michaelharriot: The DoD linked Trump’s Defense Sec to extremists. 9 tribal security chiefs banned his Homeland Security chief from thei….

RT @DeanBaker13: I hate to put a lot of highly paid pundits out of business, but look at this f**king graph.

RT @BidensWins: BREAKING: The Republican National Convention just announced their keynote speaker for tonight. It’s Project 2025’s lead aut….

RT @brianros1: Kudos to the @PhillyInquirer editorial board for taking the media to the woodshed: "Apparently, it’s OK for Trump to spew no….

RT @jbendery: All three of the guys behind Project 2025 worked in the White House for Trump when he was president.

RT @csgordon: My PhD student is running a research study evaluating the quality of automatically-generated code comments. We're looking for….

My PhD student is running a research study evaluating the quality of automatically-generated code comments. We're looking for participants to judge a number of #Python #comments on several quality measures. For more info & to participate:

RT @lambda_calculus: Some shameful, cowardly, and unacceptable shit right here.

RT @roopshasamanta: My theory — Purdue CS denied me tenure because of its shallow, insecure view of scholarship, deep dysfunction and petti….

RT @JAldrichPL: This practice is unethical--it's pay to publish (and not even for open access). If a student is presenting they should pay….

Apparently Outlook has a timing-dependent bug where if you (i.e., me) look at your (i.e., my) notifications on Android, some emails disappear from your inbox? This definitely happened to at least 2 emails I got notifications for, so if you emailed me please try again and/or DM 🤦.

Realizing several hours later that the word "work" was somehow cut from "work with me" during editing 🤦.

feel free to get in touch with me (DM or email), and/or take a look at a recent paper

Notably, I'm not talking about using neural networks / large language models, but actual core theoretical linguistics studies of syntax and semantics. If you're intrigued and want to know more. .

side of things (already finding cases where existing work on English syntax and semantics need innovation to talk about software objects and properties we like for software). I'm starting from from the PL side of this, but also actively branching out into the linguistics.

I'm looking for a PhD student interested in connecting classic techniques from linguistic syntax and compositional semantics with software specifications. I really want to dig into *both* the specification side of this (useful tools) *and* the linguistics. .

Are you interested in doing a PhD, but can't figure out if you want to do linguistics or programming languages? Or you'd ideally do some combination thereof? Maybe you should come with me at their intersection:.

RT @grigori_fursin: @PLDI'23 is looking for artifact evaluation committee members - please help our colleagues with this great reproducibil….