Hackernews
new
show
ask
jobs
Homotopy Type Theory for Dummies
2 points
posted 3 months ago
by fanf2
(chriswarbo.net)
1 Comments
abstractspoon
3 months ago
Why are there still websites not using https?