HN Explorer

generationP

↗ HN profile [ 103 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Kevin Buzzard: Mechanizing Modern Mathematics Interview (typetheoryforall.com)
    4 points 2
  2. ArXiv Down for 4 Hours

    https://twitter.com/arxiv/status/1192508633092898816 Not the first time that it happens, but what's new is that there are almost no mirrors around anymore. Last year this worked: https://lanl.arxiv.org/ . Now? Empty…

    2 points 0