--- Log opened Fri Jul 26 00:00:23 2013 04:15 < midnightmagic> hah! FMS does WoT too. 04:15 < midnightmagic> Everything WoT. 09:23 < amiller> FMS? 09:24 < jgarzik> PMS? 09:25 < amiller> RMS. 09:25 < amiller> hah! FMS does WoT too. 09:25 < amiller> Everything WoT. 09:26 < gmaxwell> presumably freenet's messageboard stuff 11:10 < nanotube> freenet messaging system, iirc 18:58 < gmaxwell> petertodd: I suppose SCIP does make constructing oracles easier: 18:58 < gmaxwell> you build an oracle that takes in some hash of a SCIP program, the program, some input X, and the proof. 18:59 < gmaxwell> if the proof passes, you do what the instructions in X say. 18:59 < gmaxwell> But the instructions can be really trivial imperative commands, the oracle doesn't need to be turing complete. 18:59 < petertodd> yup 19:09 < petertodd> did you see the thread on oracles on bitcointalk btw? 23:12 < amiller> is there a new thread on oracles 23:12 < amiller> there's a big gap between an SCIP program and an oracle 23:12 < amiller> an SCIP program is just a program it can be publicly verifiable 23:12 < amiller> but people also use "oracle" to mean things that are unverifiable, like whether your grandson is dead yet 23:13 < amiller> i'm really pissed at the munging of these in the pop culture (mostly i just mean TD) --- Log closed Sat Jul 27 00:00:26 2013