david's number is an irrational number that can be calculated to arbitrary precision as follows:
take the currently known decimal digits of david's number, then publish them as well as any more digits in a public place with a publicly verifiable timestamp (eg a fedi post. please don't use a blockchain) using the format: "#DavidsNumber is 0.7"
david's number is defined as whatever the most recent of these posts defines it as, provided that post used the correct previously calculated digits of david's number
@elb if you look at the hashtag it's already been calculated to 0.79793141592653589793238462643384206938682867419999999999999991
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko