analytiqhub
No user record in our sample, but analytiqhub has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but analytiqhub has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Homotopy type theory is definitely the way to go. This 2016 talk from Vladimir Voevodsky is a good entrypoint for the general audience: https://www.youtube.com/watch?v=gOBqROtRoPA