harrisongoldste.in - Profile | ThreadSky | a Reddit-style client for Bluesky

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

43 posts 210 followers 132 following

Posts 11 Comments 32

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

submitted 36 days ago • 0 comments

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!

submitted 40 days ago • 1 comment

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

submitted 41 days ago • 0 comments

Penn’s annual PL REU is accepting applications for Summer 2025! penn-repl.github.io REPL is an awesome program. It’s fully funded (housing / travel / stipend) and you get to do research with an amazing group of people Deadline is March 15th—if you’re an undergrad that likes PL, you should apply!

submitted 42 days ago • 1 comment

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

submitted 44 days ago • 1 comment

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

submitted 46 days ago • 0 comments

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

submitted 52 days ago • 2 comments

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

submitted 75 days ago • 0 comments

Folks may have already seen on the bird site, but I was on the Haskell Interlude! t.co/uyilDdNV9T It was a ton of fun! If folks want to know more about anything we talked about let me know

submitted 77 days ago • 3 comments

Here's another short from my conversation on TheForkJoin! https://youtube.com/shorts/n69-xVE5Pqg?feature=share

submitted 575 days ago • 0 comments

Experimenting with short-form video, so I made a little follow up to my conversation last week on http://twitch.tv/theforkjoin. Stay tuned, I may post a few more clips from the conversation! https://youtube.com/shorts/2oDq31vzCkA

submitted 578 days ago • 0 comments