@jessfraz welcome to mathstodon! In addition to MathJax, we have automatic TeX-to-unicode if you type macros outside delimiters, e.g. π ≈ ²²/₇
A big list of unlikely or surprising Turing-complete systems: https://www.gwern.net/Turing-complete, via https://www.metafilter.com/183095/On-having-sufficient-complexity-to-allow-for-arbitrary-computation
My favorite: SVG is Turing-complete because it can be used to (slowly) simulate Rule 110 (and one hopes the weird boundary conditions needed to make Rule 110 Turing complete): https://github.com/tom-p-reichel/svg-is-turing-complete
@bmreiniger it's three because on a Fano plane each point lies on three lines. In the projective plane, there'd be as many colours as pictures on a single card (is it 7?)
@bmreiniger sorry, misread your post!
Just published a new thing to thingiverse: the Seven Triples puzzle
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
None by Gradwohl, Ronen and Naor, M. and Pinkas, Benny and Rothblum, G.
In collections: Easily explained, Protocols and strategies, About proof
@pkra XSLT is a brilliant tool with awful syntax. It's worth knowing about, but so awkward to use.
@halcy I'm more surprised that cigarette vending machines are still legal!
@kat you're right, non-negative k would do
@jennytrustad yep, and I agree wholeheartedly
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.