David Justo's Avatar

David Justo

@davidjustodavid

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.

437
Followers
359
Following
68
Posts
26.04.2023
Joined
Posts Following

Latest posts by David Justo @davidjustodavid

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 :)

23.02.2026 21:18 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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!

23.02.2026 21:15 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

100%
(*cries in code geass*)

23.02.2026 16:47 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
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…

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...

16.02.2026 19:48 πŸ‘ 26 πŸ” 9 πŸ’¬ 0 πŸ“Œ 2

The one weekend I'm out of town, we win the Superbowl.

We better celebrate all week long. Let's go Seahawks!! πŸ’šπŸ’™

09.02.2026 03:42 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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!!)

06.02.2026 01:03 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Such a good movie

31.01.2026 05:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

guilty

29.01.2026 16:15 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
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 ...

apply.careers.microsoft.com/careers/job/... if you want to join me and the Python team from Vancouver, Canada

26.01.2026 22:52 πŸ‘ 8 πŸ” 5 πŸ’¬ 1 πŸ“Œ 0

Bought the hardcover over the holidays, really want to play a one shot soon! The vibes are immaculate, and the memes solid

18.01.2026 22:33 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

12.01.2026 05:50 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

lmao, I'll have to check more of these guys out, this is amazing.

08.01.2026 16:28 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

07.01.2026 08:26 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Why Study CS? Thoughts on LLM-assisted software engineering Dear students of Computer Science,

New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...

07.01.2026 03:15 πŸ‘ 30 πŸ” 11 πŸ’¬ 5 πŸ“Œ 0

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"

06.01.2026 03:17 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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?).

06.01.2026 03:12 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

06.01.2026 01:01 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

"The blade chooses you"

02.01.2026 09:04 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

02.01.2026 08:02 πŸ‘ 47 πŸ” 9 πŸ’¬ 2 πŸ“Œ 0

yes, this is the way 🌠

02.01.2026 08:40 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
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...

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...

02.01.2026 08:29 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
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...

MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...

17.11.2025 23:34 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
The official home of the Python Programming Language

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-...
🧡

27.10.2025 14:47 πŸ‘ 6416 πŸ” 2756 πŸ’¬ 125 πŸ“Œ 452

vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged)

22.10.2025 00:47 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Days since Peruvian president impeachment: 0
As of today, number of presidents since 2016: 9
Tomorrow: 10?

10.10.2025 00:59 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Search Jobs | Microsoft Careers

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...

03.09.2025 00:58 πŸ‘ 23 πŸ” 9 πŸ’¬ 0 πŸ“Œ 0
Post image

my power only grows from here.
Hyped about being able to merge into llvm more easily. Now, onto improving the windows Asan docs.

19.08.2025 22:48 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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?

06.08.2025 19:25 πŸ‘ 8 πŸ” 12 πŸ’¬ 1 πŸ“Œ 0

This stuff is exhausting

05.08.2025 23:50 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0