axiom @axiom@mathstodon.xyz

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

WE'VE FIGURED IT OUT

@lynnesbian a “tech roll” is a special case of the mechanic known as “teching”, or officially as a “fall break”. a tech is performed by tapping the shield button just before hitting a wall or the floor in either the “tumbling” or “reeling” states. teching cancels nearly all of the lag a player would experience from the hit and loses all the momentum they would otherwise bounce with. if a tech is performed on the ground and the player is holding either left or right on the stick, the character will perform a tech roll, hitting the ground and immediately rolling in the direction that was held. this provides the same number of i-frames as a standard tech, but can be used to make tech-chasing more difficult. however, it also locks you out of performing another action for slightly longer than a standard tech does.

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

Jordy’s Identity

2^{0 π} - 1 = 0

Beautiful, elegant, relates four of the most important numbers in mathematics. It brings a tear to the eye. Scans of mathematician’s brains show that when looking at this equation, the parts of the brain associated with numbers and like 50 other unrelated things lights up. Truly remarkable.

"Master, what is the buddha nature?"

"The sound of one dummy thick cheek clapping."

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: https://www.amnesty.org/en/latest/news/2018/09/china-up-to-one-million-detained/
https://www.theguardian.com/world/2018/dec/07/uighur-leaders-warn-chinas-actions-could-be-precursors-to-genocide
https://www.washingtonpost.com/opinions/global-opinions/china-cant-prettify-the-human-rights-catastrophe-in-xinjiang/2019/03/24/4c844f62-45ca-11e9-90f0-0ccfeec87a61_story.html
https://www.france24.com/en/20190510-reporters-plus-surviving-china-uighur-camps-repression

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.

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

Today's blog, Abusing Safebrowse to build a list of credentials: https://lolware.net/2019/05/12/abusing-safebrowse.html

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 http://cerberus.cl.cam.ac.uk/ #formalmethods #C

Blocking nomoresha.me for this in their rules:

I vow to respect and hug TERFs.

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: http://arxiv.org/abs/math/0405454
PDF: http://arxiv.org/pdf/math/0405454v1
Entry: http://read.somethingorotherwhatever.com/entry/Arthan2004