Tragically most of those names have gone (e.g. https://matrix.org/docs/projects/server/transform) - and in the case of Neo, have gone many times over: https://matrix.org/docs/projects/client/neo, https://matrix.org/docs/projects/client/nio, https://matrix.org/docs/projects/sdk/matrix-nio, etc :D

that's no reason why it could not be again reused

Name collision in general is not good, but also in this specific case they've had issues being confused with the game company called Riot, so I can't imagine they would want to go with an already-used name again if they could help it.

Neo would be. Eh. Weird.

There are decent terms in the screenplay of the Matrix movie to draw from.

Despite nobody being able to spell most of them, the ship names would be good. Nebuchadnezzar, Logos, Icarus etc.[0]

There’s also other terms such as “construct” (the local Matrix instance /site before you enter the real matrix)

[0]: https://matrix.fandom.com/wiki/List_of_hovercraft

Most of them have gone already - e.g. https://github.com/matrix-org/go-neb was the first ever Matrix Bot, and https://github.com/matrix-construct/construct is a C++ homeserver...

Well, poop.

Only 2 problems in computer science I guess.

Naming things, cache invalidation and off-by-one errors?

bingo

I would love to be able to say "I use Nebuchadnezzar to navigate Matrix".

I use neo as the hostname of my Matrix server.

What about phone-related names: "Protocol 8110" "Model 1500" "Project Landline" etc.

Could use some linear algebra terms. Pivot? Eigen? Nullspace? Kernel? Determinant? Trace?

I think Kernel is already taken