David Justo @davidjustodavid.bsky.social · 05/06/2026need this energy in more programming languages 070
Reposted by David JustoJingbo Wang @jingbow.bsky.social · 29/03/2026We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...pldi26.sigplan.orgPLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi... 0610
Reposted by David JustoVisual Studio @visualstudio.com · 13/03/2026MSVC Build Tools v14.51 is packed with real compiler wins. New SSA loop optimizer ✔️ Smarter SLP vectorizer ✔️ Major SROA upgrades ✔️ Faster AVX codegen, better memset/memcpy expansion, improved branch‑elim + loop unswitching ✔️ ...a serious performance release. Details: buff.ly/MQbi44P 041
Reposted by David JustoLorin Hochstein @norootcause.surfingcomplexity.com · 16/02/2026Whenever the topic of OKRs comes up, I think about Drucker vs Deming. Not a particularly topical thing to write about, but I think it's evergreen. surfingcomplexity.blog/2026/02/16/p...surfingcomplexity.blogPoor Deming never stood a chanceThis post is an elaboration of a shorter post I wrote about five years ago. The two management giants of the mid-twentieth century were Peter Drucker and W. Edwards Deming. Ironically, while Drucke… 0279
David Justo @davidjustodavid.bsky.social · 09/02/2026The one weekend I'm out of town, we win the Superbowl. We better celebrate all week long. Let's go Seahawks!! 💚💙 020
Reposted by David JustoBrett Cannon @snarky.ca · 26/01/2026apply.careers.microsoft.com/careers/job/... if you want to join me and the Python team from Vancouver, Canadaapply.careers.microsoft.comPrincipal Software Engineer | Microsoft CareersDeveloper Division in CoreAI believes that software development is rapidly evolving in the age of Artificial Intelligence. Lead the design and implementation of core features in Pylance, debugpy, and ... 195
Reposted by David JustoKristopher Micinski @krismicinski.bsky.social · 07/01/2026New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...kmicinski.comWhy Study CS? Thoughts on LLM-assisted software engineeringDear students of Computer Science, 52911
Reposted by David JustoHaskell programming language @haskell.org · 02/01/2026We'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. 2468
David Justo @davidjustodavid.bsky.social · 02/01/2026rare 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...davidmrdavid.github.ioHabits for better work-life balanceFor a time, I was struggling with working too much and too often. Sometimes it was self-directed, I’d stay online later because I enjoyed the feeling of being fully immersed in an interesting investig... 140
David Justo @davidjustodavid.bsky.social · 17/11/2025MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...devblogs.microsoft.comIntroducing MSVC AddressSanitizer for ARM64 targets - C++ Team BlogWe are pleased to announce AddressSanitizer (ASan) support for the Microsoft C++ (MSVC) Build Tools for ARM64 targets. ASan is a runtime memory error detector that identifies difficult-to-find bugs wi... 030
Reposted by David JustoPython Software Foundation @python.org · 27/10/2025TLDR; 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-... 🧵python.orgThe official home of the Python Programming Language 12363772727
David Justo @davidjustodavid.bsky.social · 22/10/2025vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged) 130
David Justo @davidjustodavid.bsky.social · 10/10/2025Days since Peruvian president impeachment: 0 As of today, number of presidents since 2016: 9 Tomorrow: 10? 120
Reposted by David JustoSteve Syfuhs @syfuhs.net · 03/09/2025My 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...jobs.careers.microsoft.comSearch Jobs | Microsoft Careers 0239
David Justo @davidjustodavid.bsky.social · 19/08/2025my power only grows from here. Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs. 040
Reposted by David Justo🇨🇦 Joey Eremondi @joeyeremondi.bsky.social · 06/08/2025Summer 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? 1812
David Justo @davidjustodavid.bsky.social · 03/08/2025ASan 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 :) 010
David Justo @davidjustodavid.bsky.social · 22/07/2025these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc. 110
Reposted by David JustoNicholas Nethercote @nnethercote.bsky.social · 18/07/2025New blog post: I am a Rust compiler engineer looking for a new job nnethercote.github.io/2025/07/18/l...nnethercote.github.ioI am a Rust compiler engineer looking for a new jobFor the past 3.75 years I have been fortunate to work on Futurewei’s Rust team, where I had enormous freedom to “make Rust better” however I see fit. It has been the highlight of my career and I am gr... 58543
Reposted by David JustoKefimochi @kefimochi.bsky.social · 11/06/2025✨ 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...docs.google.comKate Efimova's Resume PublicKate Efimova (925) 326-**** kate.efimova0@gmail.com Bay Area, CA LinkedIn GitHub Twitter Experience (5 yrs) Software Engineer II @Hint Healt... 7179121
David Justo @davidjustodavid.bsky.social · 04/06/2025Ah, LNK1377: the containing library is corrupt. Ah yes, ah yes. We meet again. (cries) 000
David Justo @davidjustodavid.bsky.social · 09/05/2025Im not religious, but it's pretty cool that the new pope is also a peruvian national. Peruvian food 2nite it is 030
Reposted by David JustoIsil Dillig @idillig.bsky.social · 04/03/2025For 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... 1197
Reposted by David JustoKefimochi @kefimochi.bsky.social · 03/03/2025✨ 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... 29432257
Reposted by David JustoCyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025I'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...cse.engin.umich.eduCyrus Omar receives 1938E AwardHe has been recognized for innovative teaching, mentorship, and dedication to undergraduate research. 10658
Reposted by David JustoICFP Conference @icfp-conference.bsky.social · 11/02/2025ICFP/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...conf.researchr.orgCall for Sponsorship - ICFP/SPLASH 2025Welcome to the website of the joint ICFP/SPLASH 2025 conference! For the first time, the two leading SIGPLAN venues—ICFP and SPLASH—will be co-located in Singapore in 2025: ICFP 2025: The ACM SI... 014
David Justo @davidjustodavid.bsky.social · 08/01/2025garlic chilli noodles night, tonight, and every night. so easy. so tasty. so spicy. the perfect meal 030
Reposted by David JustoAmy J. Ko @amyko.phd · 22/12/2024It'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...medium.comFragmentation in academic leadershipAcademia is under attack: is it ready? 132
David Justo @davidjustodavid.bsky.social · 20/12/2024I 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. 030
Reposted by David JustoApril aka cyberglot @cyberglot.bsky.social · 15/12/2024I 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! 🙋🏽💞 43126
Reposted by David JustoRaghav Malik @r4ghav.bsky.social · 05/12/2024Since 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...raghav198.github.ioRaghav Malik 1295
Reposted by David JustoMatt Keeter @mattkeeter.com · 06/12/2024(someone used a carefully crafted branch name to inject a crypto miner into a popular Python package: github.com/ultralytics/...)github.comDiscrepancy between what's in GitHub and what's been published to PyPI for v8.3.41 · Issue #18027 · ultralytics/ultralyticsBug Code in the published wheel 8.3.41 is not what's in GitHub and appears to invoke mining. Users of ultralytics who install 8.3.41 will unknowingly execute an xmrig miner. Examining the file util... 524355
Reposted by David JustoDavid Moon @dm0ney.bsky.social · 06/11/2024Hello 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 🙏 12120
David Justo @davidjustodavid.bsky.social · 26/04/2023I've been setting up my profile while riding the light rail and now I've missed my stop twice 030