Aux Name Enhancement

General
46

just thought of another mascot - the Auxtopus.

4 Likes
47

(Not to be confused with GitHub’s octocat.)

1 Like
48

That might lead to too much confusion and/or to irrelevant search results, as auxiliary languages are a category of languages and that term for them is sufficiently often abbreviated as “auxlang” or “aux lang” when discussing such languages or that category.

2 Likes
49

A few ideas:

  • FreshOS
  • LakeOS
  • LenticOS (inhabits still-water lakes)
  • XolotOS (aztec god of fire and lightning, source of the axolotl name)

Also, maybe we can make an axolotl emoji, like the nix parrot.

2 Likes
50

This is intriguing to me because aux cables were invented for phone switchboards, and I can vividly picture an “Auxtopus” sitting at one using all of its arms to operate it. Also, switchboards are a pretty good visual analogy for Nix’s declarative configuration capabilities. On top of that, being an underwater creature makes it a perfect companion for an Auxolotl.

4 Likes
51

@jacab has made some excellent points. Here is what I propose we do:

Right now we do not commit to names for the projects. Instead, we use placeholder names that are the literal thing that they are naming. For example, Aux OS. These names are only intended to normalize any language between SIGs right now when we want to talk about specific projects.

Then, we use the remaining time up until Phase 2 to plan out and decide on a naming strategy for our different projects.

9 Likes
52

My rationale here is that there are times we want to talk about “some kind of aux os”, but haven’t given it a definitive name yet. So things end up being picked at random like how the templates repo references FreshwaterOS: GitHub - auxolotl/templates: Nix templates for quickly bootstrapping a system with Auxpkgs

This way we can at least have consistency in the “it is an aux thing that is an os” while not having to choose a name yet.

1 Like
53

I wholeheartedly agree. The eventual names of each project will naturally be figured out as they are realized–so there’s no rush there.

2 Likes
54

Possibly late to the party, but auxolotl bring to mind so (https://www.axo.dev/ and their axolotl mascot). They’re a company that focuses on software release and distribution, mainly in rust.

Not a big clash, but I can imagine a remote future where the rust rewrite of auxolotl adds something from axo as a dependency, and that would be hilarious.

2 Likes
55

Okay agreed. But can we agree/converge on Auxolotl as the one umbrella search-term name?

I can already find what I want by googling “Auxolotl github” the public kinda needs a name to search for right now to find/join this project.

3 Likes
56

Yes, absolutely. Auxolotl seems to be the best so far.

6 Likes
57

Can we buy auxolotl.com while we can?

58

Looks like someone just recently grabbed auxolotl.org, hopefully that was @jakehamilton :sweat:

59

doesn’t seem like it, it has an adsense tracking code in it.

60

thats by default i think on namecheap when you run their nameservers and stuff

1 Like
61

ah. tbh i need to switch away from namecheap for my stuff, i’m considering porkbun or something similar. all of my home-hosted stuff runs behind cloudflare anyways.

1 Like
62

Ah man, I thought we were getting trolled so I just bought auxolotl.com. I’ll transfer it to the org whenever that get setup/whoever we decide is in charge of that

1 Like
63

that is the Infrastructure Team’s Problem :tm:

64

lol, I tried as well just now

65

How about auxolotl.lol or auxolotl.systems? :smile:

1 Like