Andrej Karpathy e5798ddb2f make the header link to root of the site as the case should always be ok cool

2021-11-21 14:03:17 -08:00

..

index.html

make the header link to root of the site as the case should always be ok cool

2021-11-21 14:03:17 -08:00