Show more

Unexpected zero-failing-tests situation this early in the morning. Feel like doing a victory lap.

Dreamed about set theory.

Except with a bunch of 'advisory' axioms.

Like, if you take a set outside and it gets rained on, make sure to dry it thoroughly before defining any sets of which it is a member or they'll both get mildewed.

arg, looks like Mastodon 2.6 has added a content security policy which stops MathJax working. I don't have time to fix it now, but rest assured I'm aware

I want this so I can write things like
\[ \overset{\in}{\mathbb{R}} \times \overset{\in}{\mathbb{R}} \geq 0 \]

I would like it if there was a 'member of' symbol which doesn't need to name the element in question.
That is, something like x ∈ ℝ but without the 'x'.

Something like '∈ℝ' would be confusing when mixed with the current convention. Maybe a symbol above the set, like \(\hat{\mathbb{R}}\)?

What symbols other than ∈ could I use?

Puzzle-ino (the smallest measurable quantity of puzzlement):

Raab
Abbott
McCabe
Cruddas
Freeman
Coffey
Rees-Mogg

Allan
Cummins
Benn
Blackman-Woods
Heappey

Barron
Amess
Abbott

Antoniazzi

Intuitive illustrations of possible control flows of a computer program. From Herman Goldstine and John von Neumann, _Planning and Coding of Problems for an Electronic Computing Instrument_, Part II, Volume 1 (1947).

New Tools for Self-Construction: b3s23life.blogspot.com/2018/11

Self-constructing spaceships in Conway's Game of Life are getting smaller, more visually clear (not just looking like a line) and more varied. And there's a hint of a "metacell" that can simulate Life or other cellular automata, with empty space as its off state, so you could start any simulation with finitely many live cells. The key to all this is new software to find glider salvos that build constellations of still lifes.

@christianp (Last one, I promise) An even 10-digit number whose digits are all distinct is divisible by 6.

@christianp The answer turns out to be “yes”. It hadn't been clear from your description that the verification appears only on links in the 4×2 table of miscellaneous information.

@christianp Does it have to be an `a` element? Can I put a `<link rel="me" ...> ` in the `<head>` element? If the verification succeeds, what should I expect to see?

to have a 'verified' link on your profile, you need to do the following:

* on the page you're linking to, add a link to your mathstodon profile with a rel="me" attribute, e.g. `<a href="mathstodon.xyz/@christianp" rel="me">me on mathstodon.xyz</a>`
* Edit your profile here, and add the link. If it's already there, you still need to go to the edit profile page and click "save changes" to trigger the verification
* that should be it!

Show more
Mathstodon

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.