Explore >> Select a destination
|
You are here 
|
baatz.io | ||
| | | | |
without.boats
|
|
| | | | | ||
| | | | |
atilaoncode.blog
|
|
| | | | | TL;DR? https://github.com/atilaneves/fearless The first time I encountered a mutex in C++ I was puzzled. It made no sense to me at all that I was locking one to protect some data and the only way to indicate what data was protected by a certain mutex was a naming convention. It seemed to me like a... | |
| | | | |
www.ralfj.de
|
|
| | | | | Some weeks ago, I described Types as Contracts as an approach for how to go about defining Rust's aliasing-related undefined behavior. One key property of this approach is that it is execut... | |
| | | | |
www.kuniga.me
|
|
| | | NP-Incompleteness: | ||
