trixthethird
No user record in our sample, but trixthethird 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 trixthethird has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
I think you are right. I just read this article linked in the OP: https://www.quantamagazine.org/an-easy-sounding-problem-yiel...
This applies to any computable problem though, no? At minimum the verifier has to read the witness. If we ignore PCPs and such. The point here is that the witness grows very fast in terms of vector dimensionality and/or…
I think they proved it grows with Ackermann function.
Linear time in the length of the sequence, yes. But is the sequence length linear in dimension size, or number of moves given? Thats what is interesting.
How does it compare to org-roam? Seems like colab and web-serving is the main diff?