Jay McCarthy
Jay McCarthy
Good point! https://en.wikipedia.org/wiki/Robustness_principle --- I think you should accept `uint64[00001]` but never generate it =)
Yes. Any Coq file will do. It happens with the first samples on this page --- https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html#lab19 The versions of Emacs and Coq and PG are just the defaults on...
The same machine (my laptop) As far as I know, algod only gives me access to querying pending transactions, and only if I know their id, not looking up arbitrary...
Thanks @winder. I know that you can query pending transactions and that you can query transactions if you know their id; however, in my case "Bob"'s node doesn't know about...
Thanks @brianolson ; it looks to me that it directly reads the blocks in sequence looking for the events of interest, which would be /v2/blocks today. The api docs don't...
I interpret this story as being mostly about the debugging process, e.g. the stack trace and so on. I believe that the more important use of this will be for...
Unrelatedly, something that I thought was meant by #2520 was an on-chain method of calling such functions in a cheaper way. I believe that I pay a fee and make...
> * An application can be deleted while it has outstanding boxes. In this situation, its MBR is un-recoverable from the deleted app account. (Just as an app account's balance...
I agree with you on the third paragraph a lot. That's my point about the rekey-ing thing. Right now, I could rekey the application account and deal with the ASAs...
Yea, we need this too