When talking about TLA+, I keep referring to “abstraction” as the most important thing to learn. And it is about the hardest to learn as well. But a contradiction has been bugging me. Aren’t CS people already supposed to be … Read more
API resources are the nouns of your API. Deciding how to name and model these nouns is arguably the hardest and most important part of designing an API. The resources you expose organize your users’ mental model of how your … Read more
Rust is built around the concept of “zero cost abstraction”. The idea is that you can write human-friendly high level code and the compiler will give you for free performance at least as good as any optimized low level code … Read more