From mboxrd@z Thu Jan  1 00:00:00 1970
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
In-reply-to: Your message of "Wed, 14 Sep 2011 13:42:53 PDT."
	<CAL4LZyh_uM7_gSC_7BCR8q2gFtJYHYHPo1pZ661q_FkrpiYkVw@mail.gmail.com>
References: <CAP6exYKf6RL6J8MU1E3vc4y_TarbYzowkeHdTrpZ1Q5ved9faQ@mail.gmail.com>
	<CAJJ04x5J+HO8VLT9-ANgc0NHjT-gmdOEaz78kJGE+c2U-Mb6ww@mail.gmail.com>
	<CA+N-5bb-tdG5AK_F5foE5zVGyEmTPjP44p7vObJW5AJzsYY_sw@mail.gmail.com>
	<CANPzgjTztV_1GRFZH-XY3uBkOYTx1jZQd+a1FVVDq18KPhLvUg@mail.gmail.com>
	<CAL4LZyh_uM7_gSC_7BCR8q2gFtJYHYHPo1pZ661q_FkrpiYkVw@mail.gmail.com>
Date: Wed, 14 Sep 2011 14:32:20 -0700
From: Bakul Shah <bakul@bitblocks.com>
Message-Id: <20110914213220.88FFAB827@mail.bitblocks.com>
Subject: Re: [9fans] NIX 64-bit kernel is available
Topicbox-Message-UUID: 1e737bae-ead7-11e9-9d60-3106f5b1d025

On Wed, 14 Sep 2011 13:42:53 PDT John Floren <john@jfloren.net>  wrote:
>
> We have discussed this. "Nixie" was a proposed new name, but for now
> we'd rather get the actual code and distribution right than worry
> about the name.

I like the name Nixie (& Nixie tubes (& Nixie tube watches!))
but isn't Nixie a trademark?

Make it really small and it can be Pixie. With readymade mascots.

A memorable name is a requirement these days -- you don't want
first 10^6 google hits for something else.