Krister Walfridsson is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Krister Walfridsson @kristerw@octodon.social

I analyzed a surprising performance result mentioned in the “I Just Wanted a Random Integer!” CppCon 2016 talk
kristerw.blogspot.se/2017/05/i

Great talk about formalizing and verifying Linux-kernel memory ordering
youtube.com/watch?v=ULFytshTvI

Hmm. GCC compiles large C++ programs 10% faster if you increase its GC limit by passing --param ggc-min-heapsize=524288
gcc.gnu.org/ml/gcc/2017-04/msg