Do-it-yourself-science Wiki
While I was busy procrastinating, I produced http://38020.vs.webtropia.com/sciencewiki/index.php/Helium_balloon (the Wiki-Extension for the plot, not the data, that was lying around anyway). This could (if enough people are using it) become quite a useful collection of evidence of various simple sciency questions, and also ultimately motivate some more people to actually...
Quoting https://en.wikipedia.org/wiki/Kleene%27s_T_predicate:
In other words: If someone gives you an encoding of a program, an encoding of its input and a trace of its run, you can check with a primitive recursive function whether you have been lied to.