Package manager for the C programming language. Contribute to clibs/clib development by creating an account on GitHub.

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