@11011110 getting @aperiodical to toot when we post is on my rainy day to-do list

@tpfto hi! That's a superb first toot

Finally joined this thing, so here is an old image I did of the Boy surface

@acciomath @gleech if that's the case, I'm not interested in setting anything up with them.

Welp, looks like a couple of hours of using Blender has killed my middle mouse button!

@gleech me personally: no. It seems from that post that if you want to verify your own account with keybase, you can do that without any intervention from me

I'm finally getting my head round . I've just this tiny teeny house

@christianp @JordiGH To me, this sort of goes back to the question of whether functions are valued which depend on other values (a la early mathematicians and most physicists) or machines which take and spit out values (computer scientists and most modern mathematicians). A lot of modern notation and terminology is an uneasy mix of the two, and I’d love to see some better way of reconciling them which preserves the benefits of both.

I just cleared 11G of preview cards from my instance. Why isnt' there a tootctl command for this? Are they supposed to be cleaned up automatically?

@JordiGH yes, for arbitrary expressions, for a certain kind of equivalence. What I'm saying is we don't have good language for talking about the different kinds of loosely-defined equivalence like your example

@11011110 proposed by a random Russian dude.

off on a tangent: did you know that the clear stuff (vitrious humor? aqueous? we forget which) in your eyeballs can scintillate when struck by charged particles, and make your eyes act like little cosmic ray detectors?
retinas are sensitive - it only takes about four photons to activate a rod cell in near-total darkness - and astronauts have talked about seeing blue flashes with their eyes closed all the time while in space, especially in higher orbits.

@JordiGH Implicit domain information from variable names is something I'm interested in at the moment! I believe it's a real thing and I'm on board with the $kr^2$ contingent.
In general, we don't have a ton of good language to identify when two expressions are the "same", whether up to substitution of variables, algebraic rearrangement, or some other transformation.

Kernel Density Estimation
mathisonian.github.io/kde/

Une chouette animation pour comprendre ce que KDE signifie
#visualization #statistic #math
shaarli.buron.coffee/?aR8-PQ

I've just updated mathstodon.xyz to Mastodon v2.8.0.
Release notes: github.com/tootsuite/mastodon/
It's got polls, an interface to manage your follow lists, and lets us change signups from open access to "ask for an invitation". We'll do that if spam becomes a problem again (it currently isn't)

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.