axiom boosted

The next time someone tries to use mathematical induction around you, just admonish them for making a slippery slope argument and move on

before they named it "Baba is You" it was called "True Facts about Keke"

axiom boosted
axiom boosted
axiom boosted

monorail teaches smash Show more

axiom boosted

When I find myself in times of trouble, Mother Mary comes to me.

Speaking words of wisdom,

monads are just monoids in the category of endofunctors

axiom boosted
axiom boosted

@christianp is there any way to disable the automatic subscript/superscript replacement? It makes it nearly impossible to type anything with carats or underscores.

axiom boosted

math, parody Show more

axiom boosted

"hacker" ""koan"" Show more

axiom boosted

Of course their internet blockage is hardly the biggest problem with China these days.
I was surprised to find that some of my usually-well-informed friends hadn't even heard of "the largest mass incarceration of the 21st century" and "precursors to genocide", China's concentration camps for its Uighurs (an ethnic group of 11M people in western China). So read and learn: amnesty.org/en/latest/news/201
theguardian.com/world/2018/dec
washingtonpost.com/opinions/gl
france24.com/en/20190510-repor

axiom boosted

YOU: so the A in RAID stands for "Array"?
US: Yes.
YOU: doesn't that mean saying "RAID array" is redundant?
US: Of course. That's what the R is for.

axiom boosted

China is now blocking all language editions of Wikipedia, expanding its previous block which applied only to the Mandarin edition: ooni.torproject.org/post/2019-, via boingboing.net/2019/05/13/repo

axiom boosted
axiom boosted

My former research group in Cambridge put a very nice tool online, Cerberus, with a web interface. "Cerberus is a tool for exploring the semantics of the C programming language". So whomever must program C may want to use and discover C semantics and undefined behaviour - find it at cerberus.cl.cam.ac.uk/ #formalmethods #C

axiom boosted

Instance Block Show more

axiom boosted

The Eudoxus Real Numbers
Article by Arthan, R. D.
In collection: Unusual arithmetic
This note describes a representation of the real numbers due to Schanuel. The representation lets us construct the real numbers from first principles. Like the well-known construction of the real numbers using Dedekind cuts, the idea is inspired by the ancient Greek...
URL: arxiv.org/abs/math/0405454
PDF: arxiv.org/pdf/math/0405454v1
Entry: read.somethingorotherwhatever.

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.