Trending
Ian McCormack's Avatar

Ian McCormack

@icmccorm.com

PhD Candidate in Software Engineering @CMU Studying Rust interop πŸ¦€ borrowsanitizer.com

41
Followers
68
Following
30
Posts
29.02.2024
Joined
Posts Following

Latest posts by Ian McCormack @icmccorm.com

Whatever happened to local drugstores? Rite-Aid went out of business and now there’s nowhere to go in Pittsburgh.

12.03.2026 14:24 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

29.01.2026 15:49 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

19.01.2026 22:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Every year I think I can handle the start-of-semester Trader Joes rush and every year I’m wrong.

18.01.2026 16:36 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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?

15.01.2026 16:01 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

15.01.2026 15:27 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

25.12.2025 19:58 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Ask not for whom the bells jingle

17.12.2025 15:31 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

11.12.2025 15:04 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I have a really cool winter capβ€”it’s sort of going to my head.

09.12.2025 16:15 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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 πŸ₯²

08.12.2025 02:35 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I wish people still wrote letters to each other.

04.12.2025 15:41 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
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."

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

25.11.2025 17:37 πŸ‘ 10 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

I’m convinced that the world would be marginally better if everyone could play on a weekly trivia team.

20.11.2025 02:36 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

There’s nothing in the world quite like a coffee shop with free refills. β˜•οΈ

18.11.2025 17:36 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Watching Game of Thrones is making me wish for that Mistborn adaptation Brandon Sanderson keeps talking about…

15.11.2025 18:06 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I can’t tell if it’s wonderful or terrible to figure out the reason for your segfault right as the day is ending.

14.11.2025 22:17 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

13.11.2025 15:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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…

06.11.2025 15:07 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
GitHub - BorrowSanitizer/bsan: Finding ownership bugs at scale. Finding ownership bugs at scale. Contribute to BorrowSanitizer/bsan development by creating an account on GitHub.

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

27.10.2025 00:01 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
[CfP] 2025 Workshop on Supporting Memory Safety in LLVM We’re happy to announce the workshop schedule! A special thanks to our review committee in selecting these talks: Arlie Davis (Microsoft) Aravind Kumar Machiry (Purdue) Oskar Wirga (Meta) Jie Zhou (...

To learn more, stop by the Workshop on Supporting Memory Safety in LLVM.

discourse.llvm.org/t/cfp-2025-w...

27.10.2025 00:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Emit Retags in Codegen - Rust Project Goals

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

26.10.2025 23:58 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

26.10.2025 23:54 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

16.10.2025 14:30 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

14.10.2025 01:53 πŸ‘ 4 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Working in C++ lately has me missing Rust’s traits and enums.

09.10.2025 14:35 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

02.10.2025 14:27 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

25.09.2025 14:22 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

04.09.2025 14:22 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

We have a similar situation with BorrowSanitizer; one crate can only be built as a staticlib, but otherwise everything else could go through cargo.

21.08.2025 06:54 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0