[_a_a_a_]

Ahem? "Spin is a widely used open-source software verification tool"

and it's been around a long time

"The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980, and has been available freely since 1991"

http://spinroot.com/

[9dev]

I wonder if we’re at a point where it doesn’t really make sense anymore to insist on unique names. Most of the good ones have been used by now; and this likely won’t get better as more time passes.

[slimsag]

It's a solved problem, and it's called trademark law / a wordmark.

[9dev]

Well it’s certainly not solved by trademark law for me, a lowly software engineer, trying to pick a rememberable name for my open source project that’ll maybe grow into something bigger someday.

[rubyfan]

If you’ve been through the process of naming something that is safe for trademark purposes then you might think we’re beyond unique names for things. We’re out of options.

[theamory]

Ha, naming is tough! At least it's not named Atlas :)

[notum]

Allow me to introduce you to Watergate, our new dam simulation platform.