You are here |
theartofmachinery.com | ||
| | | |
discrete.gr
|
|
| | | | ||
| | | |
microkerneldude.org
|
|
| | | | There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime. | |
| | | |
www.adamconrad.dev
|
|
| | | | Follow along with Steven Skiena's Fall 2018 algorithm course applied to the JavaScript language. | |
| | | |
samwho.dev
|
|
| | A visual, interactive introduction to hash functions. |