Whatever happened to local drugstores? Rite-Aid went out of business and now thereβs nowhere to go in Pittsburgh.
Whatever happened to local drugstores? Rite-Aid went out of business and now thereβs nowhere to go in Pittsburgh.
Iβm torn on short form content lately. One one hand, I can see how just disassociating and watching reels is unhealthy, but there are some topics, like recipes, that do really well in that space, and that give me great ideas that I can work with. I think I just miss Vine.
For some reason, every pair of Converse Iβve ever had has fallen apart within 6 months, but I canβt tell if thatβs just me or the quality of the shoe.
Every year I think I can handle the start-of-semester Trader Joes rush and every year Iβm wrong.
I feel like thereβs something worth studying hereβwhat makes it difficult to move from a paper to a PR? How can we make it easier to get these ideas into peoplesβ hands?
I see a lot of great ideas from academia for contributions to open source projects, but it feels like they stop short of being adopted in production, either due to out-of-date prototype versions or the inherent friction of getting something ready for a PR. Or maybe something else.
Iβve always felt that fantasy novel adaptations would be better as animated series than live action. Like a Stormlight Archive show in the style of the Mighty Nein, instead of something like GoT.
Ask not for whom the bells jingle
The worst part about living in an apartment is that thereβs no place to kindle a fire and cook something in a dutch oven.
I have a really cool winter capβitβs sort of going to my head.
I remember growing up, visiting the La Brea Tar Pits, and wanting to be a paleontologist so I could find fossils. Now, all I find are bugsβand not the prehistoric kind π₯²
I wish people still wrote letters to each other.
Me wearing my YouTube Professor outfit: bow tie, jacket, and purple shirt (my favorite color) in front of a gate and a wisteria tree. The original photo was edited with AI to insert a sign saying "Jonathan Aldrich, Director of the Master of Software Engineering Program at CMU, 11/25/2025."
I'm doing a live Reddit AMA today at 2pm ET! Come ask me about PL, SE, the Master of Software Engineering program I run, Open Access at ACM, my music education startup Noteful, or my silly YouTube video outfits!
www.reddit.com/r/IAmA/comme...
Iβm convinced that the world would be marginally better if everyone could play on a weekly trivia team.
Thereβs nothing in the world quite like a coffee shop with free refills. βοΈ
Watching Game of Thrones is making me wish for that Mistborn adaptation Brandon Sanderson keeps talking aboutβ¦
I canβt tell if itβs wonderful or terrible to figure out the reason for your segfault right as the day is ending.
My dryer is evil. It tore apart one sock, and its threads caught up on several other socks, creating a terrible vortex of torn socks. Itβs clearly out to get me.
Coming from Minnesota, itβs only just starting to feel like fall in Pittsburgh, but the leaves are already mostly gone! π π Wishing for colder weatherβ¦
If you canβt attend, but youβre interested in learning more, you can follow up with us on GitHub. All of our work is open source.
github.com/BorrowSaniti...
To learn more, stop by the Workshop on Supporting Memory Safety in LLVM.
discourse.llvm.org/t/cfp-2025-w...
We intend for this to become a production ready solution for real-world C and C++ applications that are migrating to Rust, and weβre coordinating with the Rust Project so that the changes we depend on can become part of the compiler. rust-lang.github.io/rust-project...
Just arrived in San Jose for this yearβs LLVM Developers Meeting! Tomorrow, Iβll be presenting our ongoing work on BorrowSanitizerβan LLVM instrumentation tool for finding Rust-specific forms of undefined behavior in multilanguage applications.
Most of the people I know who play pickleball these days are surprised that I used to play it in gym class during high schoolβwas that just a midwest/MN thing? I dunno.
#GradualVerification helps developers specify code one component at a time, checking statically where possible and dynamically where necessary.
Come see doubleheader talks on #GradualVerification in #IWACO at #SPLASH 2025 / @icfp-conference.bsky.social! 16:25-17:15 in Peony room 4412.
Working in C++ lately has me missing Rustβs traits and enums.
Digging into backtraces this weekβitβs surprising to me how varied and complicated it can be to produce something that I typically take for granted. Especially in a no_std library.
For BorrowSanitizer, we have a no_std requirement, but often times Iβve found that the only crates for solving certain problems rely on std, and that no_std solutions are less maintained. It makes me wonder if tooling would help identify areas where std is unnecessary.
Rust has been a better experience than C++ for me when using unfamiliar APIs. In a large C++ codebase, there are a bunch of unspoken idioms about how to use certain functions correctly that are not always documented. With Rust, these are enforced by the type system.
We have a similar situation with BorrowSanitizer; one crate can only be built as a staticlib, but otherwise everything else could go through cargo.