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

A list of awesome C preprocessor stuff. Contribute to hirrolot/awesome-c-preprocessor development by creating an account on GitHub.

Golang online books, articles, tools, etc.

Go Generics are a long-awaited feature added in Go 1.18. This article covers how generics were implemented in Go and some surprising ways they can impact your code.

book by Gregor Kiczales

computer rendering term

C++20 is huge and filled with lots of large features. Just to mention a few: Modules, Coroutines, Concepts, Ranges, Calendar & Timezone, Formatting library.
But, as you know, that’s not all.
Depending on how we count, C++20 brought around 80 Library features…

A guide to developing the Rust compiler (rustc)

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - sarsko/CreuSAT

Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot

For exploring algebraic effects, safe shared mutability, and other novel features