Many are mentioning digital timestamps. There's a pretty universal physical one, too -- a postmark. So enclose your message and a newspaper front page in an envelope addressed to yourself and sealed in a trustable way,…
Related: does anyone know if, by using these languages (Coq and OCaml), they've kept the door open to computer-assisted tax sensitivity analysis? E.g., I'm interested in outputting some kind of 2-dimensional or…
Many are mentioning digital timestamps. There's a pretty universal physical one, too -- a postmark. So enclose your message and a newspaper front page in an envelope addressed to yourself and sealed in a trustable way,…
Related: does anyone know if, by using these languages (Coq and OCaml), they've kept the door open to computer-assisted tax sensitivity analysis? E.g., I'm interested in outputting some kind of 2-dimensional or…