String theory is like crypto: it tackles hard problems that don't make sense from first principles, yet produces interesting techniques that might turn out useful for something else later.
@blakelockbrown This reformulation preserves the NP-completeness of the original 3-SAT, so any polynomial-time solvable transformation would imply P = NP, contradicting the exponential time requirements shown in theorems 5.1 and 6.1.
@narcelio Hahaha acabei de provar que é diferente mesmo, fica tranquilo. Agora to tentando finalizar a equivalencia com Yang-Mills pra publicar o artigo já resolvendo os dois problemas juntos.
It also works for swapping different denominations of Cashu tokens from different mints (ie. BTC x USD) or any other asset that can be transfered using Schnorr signatures (ie. taproot UTXOs), as long as one of the signatures can be retrieved by the other party.
@StackingSaunter@joaothallis2@caarlos0@GoReleaser unordered and deletion events, specially when there are relationships between the models (products belong to stalls that belongs to venues). I'm looking into RxJs/RxNostr and Apple Sauce to do it.
@StackingSaunter@joaothallis2@caarlos0@GoReleaser I am, but we need to refactor most of it. The idea is to have a single local event store and use it to project all read models from scratch when there is any change. Right now we are using the relays as the event store, caching the state of all read models and struggling with+
@durden1913@eubernardobraga@BtcChicoFatal Como você provavelmente vai usar um app mobile (Primal, Damus, Amethyst, etc), você já vai ter que confiar nele pra armazenar localmente sua chave privada. Se já vai confiar, pode usar ele mesmo pra gerar as chaves.