David Justo
banner
davidjustodavid.bsky.social
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.
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
vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged)
October 22, 2025 at 12:47 AM
Days since Peruvian president impeachment: 0
As of today, number of presidents since 2016: 9
Tomorrow: 10?
October 10, 2025 at 12:59 AM
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...
Search Jobs | Microsoft Careers
jobs.careers.microsoft.com
September 3, 2025 at 12:58 AM
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
August 26, 2025 at 4:19 PM
my power only grows from here.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.
August 19, 2025 at 10:48 PM
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?
August 6, 2025 at 7:25 PM
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 :)
August 3, 2025 at 6:21 AM
these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc.
July 22, 2025 at 12:49 AM
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...
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
Ah, LNK1377: the containing library is corrupt.

Ah yes, ah yes. We meet again.
(cries)
June 4, 2025 at 12:17 AM
Im not religious, but it's pretty cool that the new pope is also a peruvian national.

Peruvian food 2nite it is
May 9, 2025 at 2:24 AM
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
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...
March 3, 2025 at 5:53 PM
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...
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
the whole thing!
February 28, 2025 at 2:11 AM
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...
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
hell yeah
February 12, 2025 at 5:46 AM
garlic chilli noodles night, tonight, and every night.
so easy.
so tasty.
so spicy.
the perfect meal
January 8, 2025 at 2:39 AM
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...
Fragmentation in academic leadership
Academia is under attack: is it ready?
medium.com
December 22, 2024 at 6:49 PM
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