mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#naming

2 posts2 participants1 post today

Does *anyone* actually like Moscow ML's insistence that structures live in files with identical names (e.g., `structure Foo_Fabricator` MUST live in the file `Foo_Fabricator.sml` and MUST have a signature with identical name `signature Foo_Fabricator` which itself lives in the file `Foo_Fabricator.sig`)?

I always thought it idiomatic Standard ML to use SCREAMING_SNAKE_CASE for signature names, which breaks Moscow ML's conventions (unless you put it in SCREAMING_SNAKE_CASE-sig.sml and compiled it as a toplevel unit...which kinda breaks the whole module-as-compilation-unit idea?).

And Moscow ML *hates* it when you include the signature and a structure within the *same* file, because that violates its hardcoded assumptions about the world.

And another thing...

Créer une marque, une enterprise, une activité, c'est un peu comme faire un pitchoune.
A un moment ou à un autre, il va falloir envisager de baptiser le petit, et donc de lui trouver un nom.
Or cela ne se fait pas sur un claquement de doigt, bien au contraire. C'est là qu'intervient l'art du naming.

LISEZ-MOI, LIKEZ-MOI, PRATAGEZ-MOI !
delphineneimon.com/naming/

#Naming #marketing #nom #entreprise #activité #personalbranding #branding #communication ##succès

Delphine NEIMON Conseil · Le naming : l’art stratégique de donner un nom à une marqueNommer sa marque constitue un véritable en jeu. Le naming permet justement de trouver un nom qui soit vraiment efficace.
Continued thread

Want american Democrats to ACTUALLY DO something already?

(Update: indivisible.org/ )

Consider Direct Action instead!
But as well as that, we *do* need a non-corrupt (yet! there's always time, ofc) replacement party that is ACTUALLY left-wing.

Tea Party and MAGA supporters did it. Don't follow their strategies completely, but DO LEARN FROM them.
We all deserve better -- even the Leopards Eating People's Faces party.

How many of them would have supported having their faces eaten if they KNEW it wasn't hyperbole or something?
Or if they took time to imagine and plan for the risks: their or loved ones' faces being eaten by leopards?

lgbtqia.space/@MxVerda/1139337

Now we just need a name and bunch of furries to advise how to protect our information technologies.

IndivisibleHomepage
#US#USA#UnitedStates
Replied in thread

@swacknificent @TCatInReality @StillIRise1963

Prompt and Push. No one more than anyone. Punch Fascists. Tolerate No Intolerance. Ideal Outcomes.

These all feel like mottos or mission statements more than names, but eh. Hopefully this inspires someone. -- oh my god:

NOT DEM.

Varied Mountain Climbers?
"Everyone climbs the mountain in their own way."
After the (I wanna say Hong Kong?) Protests,
back when Blizzard censored an eSports player for mentioning or holding a flag or something?

(Or maybe enlightened leftists, for a laugh based on enlightened centrists.)

#US#USA#UnitedStates

Mild repeated annoyance with #linuxmint (though I still use and love it): Every time I download updated software (i.e., not using APT) I see this.

Which fucking version? I end up searching which command to find this out on my computer, then I always have to do a SECOND search because, due to not living Ubuntu 24/7 I have no fucking clue which numerical version "Jammy" is.

Can we just agree to use ONE version system? Names or numbers, people. Pick! And if you can't do that, it doesn't seem too much to ask that you ALWAYS put both in any document ever. EVER.

Choosing the right download version costs me 5-10 minutes of my life every. damn. time.

#rant over.

#linux#mint#ubuntu