I’ve put one of the kickstarter spark cores to work setting the time on 6 Smart Nixie displays.
Here’s a g+ post with some pics: https://plus.google.com/u/0/116594109930028972427/posts/V4GR3AdyZii
The spark core fetches the time via NTP using SparkTime from https://github.com/bkobkobko/SparkCoreLibraries then sends the current time to the Smart Nixies via the Serial1 object (not usb known as Serial, btw).
Since the spark core is 3.3v and the smart nixie is 5v (basically its an arduino uno), i had to level shift the serial data line. For the level shifting i’m currently using : https://www.sparkfun.com/products/12009 (turns out i just need to level shift the TX line since the spark core only needs to send the time.)
Still to-do is to get the Spark Core and level shifter running off the 12v (which is needed for the Smart Nixies), and get a tidy package somehow piggybacked into/on the Smart Nixie case.
p.s. more info about Smart Nixie can be found here: http://switchmodedesign.com/ I have no connection other than backing the kickstarter for it, which is here: https://www.kickstarter.com/projects/popshields/smart-nixie-tube