TL;DR; We are changing std::sort in LLVM’s libcxx. That’s a long story of what it took us to get there and all possible consequences, bugs you might encounter with examples from open source. We provide some benchmarks, perspective, why we did this in the first place and what it cost us with exciting ideas from Hyrum’s Law to reinforcement learning. All changes went into open source and thus I can
GitHub Next | SpecLang
When we as software developers instruct computers to do something, we use a programming language like Rust, TypeScript or CSS. Theoretically, the precision of formal languages allows us to predict exactly what behavior we'll get. But this comes at the expense of needing to explicitly specify every detail we want. On the other hand, if we are instructing a fellow human being, we usually leave out m
How Anime Fans Stumbled upon a Mathematical Proof
When a fan of a cult anime series wanted to watch its episodes in every possible order, they asked a question that had perplexed combinatorial mathematicians for years Fans of a classic anime series sought to work out how long it would take to the watch a 14-episode series in every possible order as efficiently as possible. Math solutions can be found in surprising places, including the dark realm
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Changing std::sort at Google’s Scale and Beyond