I have seen more Waymo (Waymos?) in Pittsburgh in the past week than I have ever seen anywhere. 🚙
Ian McCormack
@icmccorm.com
PhD Candidate in Software Engineering @CMU Studying Rust interop 🦀 borrowsanitizer.com
'Interop is the New Rewrite: Design Axioms for Rust's Next Frontier' by Tyler Mandry at RustWeek 2026! www.youtube.com/watch?v=1NnC... @tmandry.dev #rustlang #RustWeek
Interop is the New Rewrite: Design Axioms for Rust's Next Frontier (Tyler Mandry at RustWeek)
Interop is the New Rewrite: Design Axioms for Rust's Next Frontier by Tyler Mandry. Demand for Rust has grown rapidly, making it a standard choice for new projects that need reliable and efficient…
youtube.com
Any good recs for BBQ near Pittsburgh? I feel like there aren’t as many places as there are in Minneapolis, where I grew up. We had Famous Dave’s / Old Southern everywhere.
crates.io must make it easy to audit and trust the dependencies millions of Rust developers rely on. In the team's latest development update, Rust Foundation Software Engineer @tobias.bieniek.cloud (on behalf of the crates.io team) covers 6 months of changes: blog.rust-lang.org/2026/07/13/c...
crates.io: development update | Rust Blog
Empowering everyone to build reliable and efficient software.
blog.rust-lang.org
Ooh this is gonna be interesting
🔦 #rustconf 2026 Speaker Spotlight: "BorrowSanitizer: Securing Rust Across Foreign Function Boundaries" presented by Ian McCormack (PhD Candidate, Carnegie Mellon University) ➡️ Find this session on our schedule: sched.co/2KHtb 🎟️ Book your spot today! bit.ly/4tLbAkd
🔦 #rustconf 2026 Speaker Spotlight: "BorrowSanitizer: Securing Rust Across Foreign Function Boundaries" presented by Ian McCormack (PhD Candidate, Carnegie Mellon University) ➡️ Find this session on our schedule: sched.co/2KHtb 🎟️ Book your spot today! bit.ly/4tLbAkd
🦀 BIG NEWS, Rustaceans! Tickets are on sale and our speakers & schedule are live for #rustconf 2026! 📅 September 8–11 | Montreal + Online A thread on what to expect... rustconf.com/register?utm...
Thinking about joining us IRL in Montreal for #rustconf26? Here are some resources to help you prep: 🏨 Visa + travel info(+discount codes!) → rustconf.com/venue-travel/ 💼 Convince Your Boss template → rustconf.com/convince-your-boss/ Tickets and schedule available soon! #rustconf
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 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.
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 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'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…
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.