2 ms·
Which is no doubt the source for the name Nagini in the Harry Potter books (the familiar of the big bad, Lord Voldemort; a magically-enhanced snake.)
by adw 8y ago
Which is no doubt the source for the name Nagini in the Harry Potter books (the familiar of the big bad, Lord Voldemort; a magically-enhanced snake.)
- marcoeilers 8y agoWe actually named it after the Harry Potter snake :) There was a wiki at some point that stated that Nagini was a hybrid between a Python and a Viper (Viper is the verification framework that we build on), so that's why.