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

@david Federation strikes ... from my server I only see the first couple of posts.

#DavidsNumber is 0.79793141592653589793238462643384206938682867419999999999999991117?

Ethan Blanton@elb@mastodon.sdf.org@ionchy @david Oh no, I messed it up!

#DavidsNumber is 0.7979117