Graphics and cheat sheets, each capturing one aspect of C++: algorithms/containers/STL, language basics, libraries, best practices, terminology (信息图表和备忘录).

Documentation for the Kani Rust Verifier

Read the post on "Announcing MirageOS 4.0.0" from our blog.

Update 12/31/2019 : I have also written a guest post on this topic for PL Perspectives, with fewer details but more applications. Update 7...

Martin Brænne @martinboehme Rosica Dejanovska @scentini Gábor Horváth @Xazax-hun Dmitri Gribenko @gribozavr Luca Versari @veluca93 Summary We are designing, implementing, and evaluating an attribute-based annotation scheme for C++ that describes object…

Enter in code and inputs, GPT-3 will compute you the output!

In my last post I introduced an Emacs Lisp VM I was writing in Rust. My stated goal at the time was to complete a garbage collector. I think Rust has some really interesting properties that will make building garbage collectors easier and safer. Many of the…

Conceptually a Range is a simple concept: it’s just a pair of two iterators - to the beginning and to the end of a sequence (or a sentinel in some cases). Yet, such an abstraction can radically change the way you write algorithms. In this blog post, I’ll…

Concurrent operations can be grouped relatively neatly into categories based on their cost

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 so…

Version 12.1 of the GNU Compiler Collection (GCC) is expected to be released in April 2022. Like every major GCC release, this version will bring many additions, improvements, bug fixes, and new

Infographics: operation cost in cycles (from <1 cycle for ADD/XOR/... to up to a million for a thread context switch)