David Justo @davidjustodavid.bsky.social · 05/06/2026need this energy in more programming languages 070
Reposted by David JustoJingbo Wang @jingbow.bsky.social · 29/03/2026We 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.orgPLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026The 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/2026jaja, ese es otro David Justo :) pero esta interesante el articulo 001
Reposted by David JustoVisual Studio @visualstudio.com · 13/03/2026MSVC 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 041
David Justo @davidjustodavid.bsky.social · 23/02/2026Other 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/2026So 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
Reposted by David JustoLorin Hochstein @norootcause.surfingcomplexity.com · 16/02/2026Whenever 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.blogPoor Deming never stood a chanceThis 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/2026The 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/2026Related 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
Reposted by David JustoBrett Cannon @snarky.ca · 26/01/2026apply.careers.microsoft.com/careers/job/... if you want to join me and the Python team from Vancouver, Canadaapply.careers.microsoft.comPrincipal Software Engineer | Microsoft CareersDeveloper 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/2026Bought 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/2026Been 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/2026lmao, I'll have to check more of these guys out, this is amazing. 000
David Justo @davidjustodavid.bsky.social · 07/01/2026This 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 JustoKristopher Micinski @krismicinski.bsky.social · 07/01/2026New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...kmicinski.comWhy Study CS? Thoughts on LLM-assisted software engineeringDear students of Computer Science, 52911
David Justo @davidjustodavid.bsky.social · 06/01/2026Folks 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/2026Yup. 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/2026I'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
Reposted by David JustoHaskell programming language @haskell.org · 02/01/2026We'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/2026rare 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.ioHabits for better work-life balanceFor 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/2025MSVC's ASan now in preview for arm64! -> devblogs.microsoft.com/cppblog/intr...devblogs.microsoft.comIntroducing MSVC AddressSanitizer for ARM64 targets - C++ Team BlogWe 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 JustoPython Software Foundation @python.org · 27/10/2025TLDR; 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.orgThe official home of the Python Programming Language 12363762727
David Justo @davidjustodavid.bsky.social · 22/10/2025vibe: instrumental heavy metal while debugging 80s cursed C (crying encouraged) 130
David Justo @davidjustodavid.bsky.social · 10/10/2025Days since Peruvian president impeachment: 0 As of today, number of presidents since 2016: 9 Tomorrow: 10? 120
Reposted by David JustoSteve Syfuhs @syfuhs.net · 03/09/2025My 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.comSearch Jobs | Microsoft Careers 0239
David Justo @davidjustodavid.bsky.social · 19/08/2025my 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/2025Summer 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/2025ASan 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/2025Do they have an online store by any chance? This is super cool 100
David Justo @davidjustodavid.bsky.social · 22/07/2025Curious if there's any specific pain points you can share. Would be useful feedback. 010
David Justo @davidjustodavid.bsky.social · 22/07/2025these challenges seem like a great fit for durable execution frameworks a la durable functions, temporal, etc. 110
David Justo @davidjustodavid.bsky.social · 21/07/2025Thanks for clarifying. Understood, and agreed. 000
David Justo @davidjustodavid.bsky.social · 21/07/2025Just trying to understand - what does "meaningful language" mean here? 100
David Justo @davidjustodavid.bsky.social · 21/07/2025From 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/2025I 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 JustoNicholas Nethercote @nnethercote.bsky.social · 18/07/2025New blog post: I am a Rust compiler engineer looking for a new job nnethercote.github.io/2025/07/18/l...nnethercote.github.ioI am a Rust compiler engineer looking for a new jobFor 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/2025Have 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
Reposted by David JustoKefimochi @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.comKate Efimova's Resume PublicKate 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/2025Ah, LNK1377: the containing library is corrupt. Ah yes, ah yes. We meet again. (cries) 000
David Justo @davidjustodavid.bsky.social · 30/05/2025Seattle fact - Best tsukemen at menya musashi fyi. That spicy curry tsukemen hits like a (good) truck 020