The Rust compiler is proving a negative Rust’s claim to fame is that it allows low level access while still guaranteeing memory safety. In other words, the compiler is proving the non-existence o...

Incentives are everything Human beings are social animals that are inherently self interested. If you disagree, you’re just wrong. For all its faults, there’s a reason capitalism has become domin...

Measurements are always proxies There’s a common adage that once a metric becomes a target, it ceases to have any value as a measurement. That’s not what we’re here to discuss today but it share ...

You can find a lot of mistakes in the noise by looking for retractions At various points in my career, I’ve worked on things that are tented but end of being publicly disclosed to some degree due...

Getting the mechanics right can goad us into thinking we got the wider context and properties right Recently, this video from Kevin Fang came out: How Bad Leap Day Math Took Down Microsoft. You c...

It’s always fun to watch outsiders try to piece together the internal chaos you’re fully aware of. At time of writing, I’ve worked at Microsoft for about 6 years. In that time I’ve done a short s...

Depend on abstractions, not concretions. Myself and at least a few others have run into confusion learning to use Rust’s impl. For me, the confusion stemmed from not recognizing there are two dif...

There’s usually a disparity between the best reason and the “real” reason. We’re rewriting Azure IMDS from scratch as a part of investments into Azure Boost. As a part of that rewrite, we’re migr...

The exit states of a function shouldn’t be mysterious Here’s a question, does this C++ code leak memory? char* get_name(); // Implemented elsewhere // ... std::cout << get_name(); As ...

The Rust core community and maintainers wisely avoid unnecessary conflict to improve outreach and exaggerate differences to ensure people engage with them, but I suffer no such handicap! If you f...