Harry Goldstein

Harry Goldstein

@harrisongoldste.in

(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in

276 followers153 following50 posts

Harry Goldstein
@harrisongoldste.in

Have you been considering hosting a local PL meetup? Need a good place to start? Check out the PL Perspectives post that I wrote with Michael Greenberg and Noam Zilberstein! blog.sigplan.org/2025/09/16/think-globally-discuss-pl-locally/

blog.sigplan.orgThink Globally, Discuss PL LocallyIn-person meetings are hugely beneficial for academic research; they provide a venue to collaborate and connect, making our community more connected and facilitating the exchange of ideas. In addit…
Harry Goldstein
@harrisongoldste.in

I'm incredibly excited to announce that I've accepted a tenure-track position as an assistant professor at the University at Buffalo! The PL/SE group at UB is already really impressive, and I am honored to be part of its continued growth

Harry Goldstein
@harrisongoldste.in

I still have my Twitter account because I want to make sure folks can reach me for job market reasons, but I *cannot* wait to delete that account. The last few times I've logged in to check notifications I've seen videos of people getting injured on the main landing page? I don't need this

Harry Goldstein
@harrisongoldste.in

I feel a little bad about this, but at this point I think the only way to get remotely useful customer service from Xfinity (and maybe others) is to ask the AI bot to cancel your account. Within seconds it gives you a phone number for a human, and then those folks are usually very helpful!

Harry Goldstein
@harrisongoldste.in

I’m going to be at POPL next week, but only for two days (Wednesday and Thursday)! If you want to make sure we get a chance to chat, ping me here or via email so we can plan a time

Harry Goldstein
@harrisongoldste.in

Thanks so much to JFP for publishing my dissertation abstract, along with 9 others! This is a really valuable service for the community. Dissertations are a ton of work, and it’s nice to have a way to increase the chance that they’ll be read and used

Journal of Functional Programming@journal-of-fp.bsky.social

We're delighted to publish ten PhD abstracts in this round. Topics range from types to tests, from synthesis to software engineering, from datatypes to differentiation. Have a look!

cambridge.orgPhD Abstracts | Journal of Functional Programming | Cambridge CorePhD Abstracts - Volume 35
Harry Goldstein
@harrisongoldste.in

Does anyone have advice around putting ongoing work in job talks? I have some exciting stuff in the pipeline that I'd love to share with folks, but it seems hard to do that without poisoning potential reviewers

Harry Goldstein
@harrisongoldste.in

Can someone do a psychological study on what Rocq/Lean proofs do to users' brains? I've been doing some Lean proofs lately, and it focuses my attention in a way that almost nothing else does. And if I try to pull myself away in the middle, I find it very hard to context-switch

Harry Goldstein
@harrisongoldste.in

Also, I know people talk about mechanized proofs as being like a video game, but I've been going back and forth between proofs and playing Pikmin 4 (great game), and they really do feel shockingly similar psychologically

Harry Goldstein
@harrisongoldste.in

I know I already posted about Lean once today, but I had to share: apparently new Lean projects automatically have CI set up?? github.com/leanprover/l... Amazing. I know it isn't hard to set up yourself, but I almost never use CI on personal projects because it's just a little too much of a hassle

github.comGitHub - leanprover/lean-action: GitHub action for standard CI in Lean projectsGitHub action for standard CI in Lean projects. Contribute to leanprover/lean-action development by creating an account on GitHub.

You are up to date.