8020 on Nostr: Is this where something like comes in?Is this where something like https://tinygrad.org/#tinybox comes in?