Sign in

David Justo

@davidjustodavid.bsky.social
446 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
David Justo @davidjustodavid.bsky.social · 25/03/2026
jaja, ese es otro David Justo :) pero esta interesante el articulo
001
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
David Justo @davidjustodavid.bsky.social · 23/02/2026
Other than that, I just wonder about the economics. Adding ads to a site trades some (hopefully minor) user annoyance with sustainability for the author, so it would need to be profitable enough to be worth it. Id be interested in a blog post covering how that worked out :)
110
David Justo @davidjustodavid.bsky.social · 23/02/2026
So long as it's text-only and not hurtful to the eyes, I think it's fine. I feel much more comfortable with ads that reflect a direct author to sponsor relationship than one mediated by an intermediary who is just serving me ads based on tracking me online. So I wouldn't mind it!
120
David Justo @davidjustodavid.bsky.social · 23/02/2026
100% (*cries in code geass*)
100
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
David Justo @davidjustodavid.bsky.social · 06/02/2026
Related aside -the oxide and friends episodes on the terraform debacle articulate very well how to think of the role of OSS in a business. I enjoyed those so much I missed a flight (and I was already at the airport, just distracted!!)
010
David Justo @davidjustodavid.bsky.social · 31/01/2026
Such a good movie
110
David Justo @davidjustodavid.bsky.social · 29/01/2026
guilty
010
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
David Justo @davidjustodavid.bsky.social · 18/01/2026
Bought the hardcover over the holidays, really want to play a one shot soon! The vibes are immaculate, and the memes solid
010
David Justo @davidjustodavid.bsky.social · 12/01/2026
Been thinking about a NAS too. Ive also been warned synologys recent stunts, but Im also interested in a system that will "just work" to get me started, so I'm personally leaning towards them still.
110
David Justo @davidjustodavid.bsky.social · 08/01/2026
lmao, I'll have to check more of these guys out, this is amazing.
000
David Justo @davidjustodavid.bsky.social · 07/01/2026
This is a superb article! I appreciate that it resists the temptation to engage with the more extreme aspects of the discourse, and the focus on the student audience, which I have to assume is stressed out with the market right now.
010
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
David Justo @davidjustodavid.bsky.social · 06/01/2026
Folks are here, but it's a slightly different crowd. PL twitter was pretty cool because (it felt like) everyone was there, whereas now we're a lot more spread out. I definitely recommend checking out mastodon once in a while, many old faces still chatting there! But bsky is my main "twitter"
030
David Justo @davidjustodavid.bsky.social · 06/01/2026
Yup. On occasion I log back onto mastodon and there does seem to be quite a bit of activity. I could just never get the mobile client to work right - it would fail to log new posts rather often, not sure if that was because I was relying on an indie server (which is great, but maybe overburdened?).
000
David Justo @davidjustodavid.bsky.social · 06/01/2026
I'll hop on to the self-plug - I work in C++ these days, was previously doing some program synthesis + vm language interop stuff. Been meaning to find PL folks on bluesky again, after the mass twitter exodus lol
020
David Justo @davidjustodavid.bsky.social · 02/01/2026
"The blade chooses you"
040
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
yes, this is the way 🌠
000
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
12363762727
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 · 06/08/2025
This stuff is exhausting
000
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 · 30/07/2025
Do they have an online store by any chance? This is super cool
100
David Justo @davidjustodavid.bsky.social · 30/07/2025
Holy shit
100
David Justo @davidjustodavid.bsky.social · 22/07/2025
Curious if there's any specific pain points you can share. Would be useful feedback.
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
David Justo @davidjustodavid.bsky.social · 21/07/2025
Thanks for clarifying. Understood, and agreed.
000
David Justo @davidjustodavid.bsky.social · 21/07/2025
Just trying to understand - what does "meaningful language" mean here?
100
David Justo @davidjustodavid.bsky.social · 21/07/2025
From there it's not too hard to see how these billion param models trained on the entire Internet would produce remarkable human like response, despite being, at its core, just an algorithm
110
David Justo @davidjustodavid.bsky.social · 21/07/2025
I think it helps a lot to be familiarized with more rudimentary NLP models (even as simple as "bag of words" models) and see that they perform remarkably well in small datasets.
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
David Justo @davidjustodavid.bsky.social · 17/07/2025
Have you seen their work in the automated reasoning group? It's not lean per se, but it's formal methods work so it's in the same ballpark. I'm a fan.
000
David Justo @davidjustodavid.bsky.social · 16/07/2025
Thank you for all your work!!
010
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 · 30/05/2025
Seattle fact - Best tsukemen at menya musashi fyi. That spicy curry tsukemen hits like a (good) truck
020