The one weekend I'm out of town, we win the Superbowl. We better celebrate all week long. Let's go Seahawks!! 💚💙

apply.careers.microsoft.com/careers/job/... if you want to join me and the Python team from Vancouver, Canada

New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...

We're not asking you to start learning Haskell. We're saying, when the time is right, you will look in the mirror and will already have started learning Haskell.

rare update: I wrote a small blog post on some habits I've incorporated over the past year for my work-life balance -> davidmrdavid.github.io/misc/2026/01...

MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged)

Days since Peruvian president impeachment: 0 As of today, number of presidents since 2016: 9 Tomorrow: 10?

My sibling team that owns the core passwordless systems in Windows is hiring an SDE II. Great team, interesting projects. jobs.careers.microsoft.com/global/en/jo...

my power only grows from here. Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.

Summer Undergraduate Internship - reposts welcome! Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

ASan is like malware that's good for you(r C/C++), don't let anyone tell you otherwise... Gave a small presentation today at the Seattle llvm meetup about some of the stuff I've been working on within msvc. Had fun and got to rock the win95 shirt, good vibes :)

these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc.

New blog post: I am a Rust compiler engineer looking for a new job nnethercote.github.io/2025/07/18/l...

✨ HIRE ME ✨ I'm a Full Stack software engineer with 5+ years of experience, looking for my next opportunity. My personal values include psychological safety, D&I, and direct communication. Please share for reach <3 docs.google.com/document/d/1...

Ah, LNK1377: the containing library is corrupt. Ah yes, ah yes. We meet again. (cries)

Im not religious, but it's pretty cool that the new pope is also a peruvian national. Peruvian food 2nite it is

For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...

✨ HIRE ME ✨ I'm a Full Stack software engineer with 5+ years of experience, looking for my next opportunity. My personal values include psychological safety, D&I, and direct communication. Please share for reach <3 docs.google.com/document/d/1...

I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job! cse.engin.umich.edu/stories/cyru...

the whole thing!

ICFP/SPLASH 2025 are seeking sponsors! This is a great opportunity to reach a broad audience, especially with the unique co-location of these two conferences this year. conf.researchr.org/attending/ic...

hell yeah

garlic chilli noodles night, tonight, and every night. so easy. so tasty. so spicy. the perfect meal

It's been three months of academic leadership. I had to write about it, so that it wouldn't linger during my week off. If you're doing administrative work, what's your experience been? medium.com/bits-and-beh...

I hate to admit this, but copilot has been really helpful to me in diving into the llvm codebase for the first time. You have to be extremely skeptical of the responses (obviously), but the answers broadly point me in the right direction, and that's already very helpful.

I got “redundanci’ed” from my $day-job and I’m looking for a new one starting in February. Ideally Rust, Haskell and/or compilers, dev tools. Let me know if you know something or someone! 🙋🏽💞

Since enough of PL twitter seems to have moved on here: Hi I'm Raghav; I'm a PhD candidate at Purdue and I'm on the faculty job market this year! My research lies at the intersection of PL and security; specifically, I like making privacy-preserving programs more efficient and...

(someone used a carefully crafted branch name to inject a crypto miner into a popular Python package: github.com/ultralytics/...)

Fighting CMake (losing)

The vibes seem good here

Hello folks! I'm seeking participants for a user study on a new code editor that completes your program text with syntactic obligations, which are virtual tokens that stand in for missing text. Details in thread. Reskeets appreciated 🙏

get in the robot

I've been setting up my profile while riding the light rail and now I've missed my stop twice