Learn how to investigate and reduce the size of your container images.

Jakub Konka's weblog about programming, game theory, maths, and more.

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…