Sign in

David Justo

@davidjustodavid.bsky.social
445 followers 372 following 70 posts

PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.

PostsRepliesMedia
David Justo @davidjustodavid.bsky.social · 05/06/2026
need this energy in more programming languages
070
Reposted by David Justo
Jingbo Wang @jingbow.bsky.social · 29/03/2026
We 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.org
PLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026
The 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 Justo
Visual Studio @visualstudio.com · 13/03/2026
MSVC 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
spot art. text reads: C++ Performance Improvements in MSVC Build Tools v14.51 - C++ Team Blog
041
Reposted by David Justo
Lorin Hochstein @norootcause.surfingcomplexity.com · 16/02/2026
Whenever 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.blog
Poor Deming never stood a chance
This 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/2026
The 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 Justo
Brett Cannon @snarky.ca · 26/01/2026
apply.careers.microsoft.com/careers/job/... if you want to join me and the Python team from Vancouver, Canada
apply.careers.microsoft.com
Principal Software Engineer | Microsoft Careers
Developer 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 Justo
Kristopher Micinski @krismicinski.bsky.social · 07/01/2026
New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...
kmicinski.com
Why Study CS? Thoughts on LLM-assisted software engineering
Dear students of Computer Science,
52911
Reposted by David Justo
Haskell programming language @haskell.org · 02/01/2026
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.
2468
David Justo @davidjustodavid.bsky.social · 02/01/2026
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...
davidmrdavid.github.io
Habits for better work-life balance
For 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/2025
MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...
devblogs.microsoft.com
Introducing MSVC AddressSanitizer for ARM64 targets - C++ Team Blog
We 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 Justo
Python Software Foundation @python.org · 27/10/2025
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-... 🧵
python.org
The official home of the Python Programming Language
12363772727
David Justo @davidjustodavid.bsky.social · 22/10/2025
vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged)
130
David Justo @davidjustodavid.bsky.social · 10/10/2025
Days since Peruvian president impeachment: 0 As of today, number of presidents since 2016: 9 Tomorrow: 10?
120
Reposted by David Justo
Steve Syfuhs @syfuhs.net · 03/09/2025
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...
jobs.careers.microsoft.com
Search Jobs | Microsoft Careers
0239
David Justo @davidjustodavid.bsky.social · 19/08/2025
my 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/2025
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?
1812
David Justo @davidjustodavid.bsky.social · 03/08/2025
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 :)
010
David Justo @davidjustodavid.bsky.social · 22/07/2025
these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc.
110
Reposted by David Justo
Nicholas Nethercote @nnethercote.bsky.social · 18/07/2025
New blog post: I am a Rust compiler engineer looking for a new job nnethercote.github.io/2025/07/18/l...
nnethercote.github.io
I am a Rust compiler engineer looking for a new job
For 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 Justo
Kefimochi @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.com
Kate Efimova's Resume Public
Kate 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/2025
Ah, LNK1377: the containing library is corrupt. Ah yes, ah yes. We meet again. (cries)
000
David Justo @davidjustodavid.bsky.social · 09/05/2025
Im 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 Justo
Isil Dillig @idillig.bsky.social · 04/03/2025
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...
1197
Reposted by David Justo
Kefimochi @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 Justo
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025
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...
cse.engin.umich.edu
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
10658
David Justo @davidjustodavid.bsky.social · 28/02/2025
the whole thing!
240
Reposted by David Justo
ICFP Conference @icfp-conference.bsky.social · 11/02/2025
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...
conf.researchr.org
Call for Sponsorship - ICFP/SPLASH 2025
Welcome 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 · 12/02/2025
hell yeah
010
David Justo @davidjustodavid.bsky.social · 08/01/2025
garlic chilli noodles night, tonight, and every night. so easy. so tasty. so spicy. the perfect meal
030
Reposted by David Justo
Amy J. Ko @amyko.phd · 22/12/2024
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...
medium.com
Fragmentation in academic leadership
Academia is under attack: is it ready?
132
David Justo @davidjustodavid.bsky.social · 20/12/2024
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.
030
Reposted by David Justo
April aka cyberglot @cyberglot.bsky.social · 15/12/2024
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! 🙋🏽💞
43126
Reposted by David Justo
Raghav Malik @r4ghav.bsky.social · 05/12/2024
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...
raghav198.github.io
Raghav Malik
1295
Reposted by David Justo
Matt 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.com
Discrepancy between what's in GitHub and what's been published to PyPI for v8.3.41 · Issue #18027 · ultralytics/ultralytics
Bug 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
David Justo @davidjustodavid.bsky.social · 06/12/2024
Fighting CMake (losing)
160
David Justo @davidjustodavid.bsky.social · 24/11/2024
The vibes seem good here
020
Reposted by David Justo
David Moon @dm0ney.bsky.social · 06/11/2024
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 🙏
12120
David Justo @davidjustodavid.bsky.social · 10/05/2023
get in the robot
000
David Justo @davidjustodavid.bsky.social · 26/04/2023
I've been setting up my profile while riding the light rail and now I've missed my stop twice
030