In Amethyst I saw a dvm that popped up a charge for 10 sats to load. Seemed very smart contracty to me! For cool useful things like filtering all follows temporarily I'll fork it up.

Verifiable computations sounds cool but one good baby step would be for them to add more than 3-4 words describing what they do in the description. They're a mystery now.