/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 homotopytypetheory.org
HoTT 2023 | Homotopy Type Theory
| | www.cmu.edu
Office of Board of Trustees - Leadership - Carnegie Mellon University
2.7 parsecs away

Travel
| | A listing of staff members for the Office of the Board of Trustees.
| | bickson.blogspot.com
Large Scale Machine Learning and Other Animals: Israeli Machine Vision Conference is Coming up Soon: Oct 26, 2021
3.5 parsecs away

Travel
| | The Israeli Machine Vision Conference is coming up next month on October 26. One of the interesting papers reported there will be the tran...
| | bit-player.org
[No title]
2.7 parsecs away

Travel
| |
| | www.lambdabytes.io
- Jonathan Thaler @ lambda::bytes
23.0 parsecs away

Travel
| Website of Jonathan Thaler @ lambda::bytes