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
to make things a bit easier to verify: to calculate new digits of #DavidsNumber, you must post on a fediverse instance that federates with types.pl, and a post is considered to be "before" another post if types.pl's post id for that post is lower than for the other post. if types.pl ever dies then i get to choose another instance
@elb if you look at the hashtag it's already been calculated to 0.79793141592653589793238462643384206938682867419999999999999991
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.