David Justo
@davidjustodavid.bsky.social
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.
MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...
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...
devblogs.microsoft.com
November 17, 2025 at 11:34 PM
MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...
Reposted by David Justo
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-...
🧵
🧵
The official home of the Python Programming Language
www.python.org
October 27, 2025 at 2:47 PM
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)
October 22, 2025 at 12:47 AM
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?
As of today, number of presidents since 2016: 9
Tomorrow: 10?
October 10, 2025 at 12:59 AM
Days since Peruvian president impeachment: 0
As of today, number of presidents since 2016: 9
Tomorrow: 10?
As of today, number of presidents since 2016: 9
Tomorrow: 10?
Reposted by David Justo
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/global/en/jo...
Search Jobs | Microsoft Careers
jobs.careers.microsoft.com
September 3, 2025 at 12:58 AM
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/global/en/jo...
Reposted by David Justo
🔁reposts appreciated. Do you know any tgirls who have gone to a US consulate visa interview under the current admin?
I'm british n have an extension to stay in the US, but my H1B stamp is expiring in October, so if I want to be able to travel I will need to leave the US.
Worried won't get back in
I'm british n have an extension to stay in the US, but my H1B stamp is expiring in October, so if I want to be able to travel I will need to leave the US.
Worried won't get back in
August 26, 2025 at 4:19 PM
🔁reposts appreciated. Do you know any tgirls who have gone to a US consulate visa interview under the current admin?
I'm british n have an extension to stay in the US, but my H1B stamp is expiring in October, so if I want to be able to travel I will need to leave the US.
Worried won't get back in
I'm british n have an extension to stay in the US, but my H1B stamp is expiring in October, so if I want to be able to travel I will need to leave the US.
Worried won't get back in
my power only grows from here.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.
August 19, 2025 at 10:48 PM
my power only grows from here.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.
Reposted by David Justo
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?
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
August 6, 2025 at 7:25 PM
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?
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 :)
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 :)
August 3, 2025 at 6:21 AM
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 :)
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.
Some really good detail in this post on the limitations of agent architectures: utkarshkanwat.com/writing/bett...
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
I've built 12+ production AI agent systems across development, DevOps, and data operations. Here's why the current hype around autonomous agents is mathematically impossible and what actually works in...
utkarshkanwat.com
July 22, 2025 at 12:49 AM
these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc.
Reposted by David Justo
New blog post: I am a Rust compiler engineer looking for a new job
nnethercote.github.io/2025/07/18/l...
nnethercote.github.io/2025/07/18/l...
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...
nnethercote.github.io
July 18, 2025 at 4:33 AM
New blog post: I am a Rust compiler engineer looking for a new job
nnethercote.github.io/2025/07/18/l...
nnethercote.github.io/2025/07/18/l...
Reposted by David Justo
✨ 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 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...
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...
docs.google.com
June 11, 2025 at 6:28 PM
✨ 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 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)
Ah yes, ah yes. We meet again.
(cries)
June 4, 2025 at 12:17 AM
Ah, LNK1377: the containing library is corrupt.
Ah yes, ah yes. We meet again.
(cries)
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
Peruvian food 2nite it is
May 9, 2025 at 2:24 AM
Im not religious, but it's pretty cool that the new pope is also a peruvian national.
Peruvian food 2nite it is
Peruvian food 2nite it is
Reposted by David Justo
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...
March 4, 2025 at 5:00 PM
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...
Reposted by David Justo
✨ 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 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...
March 3, 2025 at 5:53 PM
✨ 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 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...
Reposted by David Justo
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/stories/cyru...
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
cse.engin.umich.edu
March 3, 2025 at 6:28 PM
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/stories/cyru...
the whole thing!
February 28, 2025 at 2:11 AM
the whole thing!
Reposted by David Justo
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/attending/ic...
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...
conf.researchr.org
February 11, 2025 at 9:43 PM
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/attending/ic...
garlic chilli noodles night, tonight, and every night.
so easy.
so tasty.
so spicy.
the perfect meal
so easy.
so tasty.
so spicy.
the perfect meal
January 8, 2025 at 2:39 AM
garlic chilli noodles night, tonight, and every night.
so easy.
so tasty.
so spicy.
the perfect meal
so easy.
so tasty.
so spicy.
the perfect meal
Reposted by David Justo
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/bits-and-beh...
Fragmentation in academic leadership
Academia is under attack: is it ready?
medium.com
December 22, 2024 at 6:49 PM
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/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.
December 20, 2024 at 12:09 AM
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.