Anne C. A. Baanen @Vierkantor@mastodon.vierkantor.com
- Accept-language
- nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, Python, Haskell, Befunge, C, C++, assembly;q=0.4, Lisp;q=0.2, FORTH;q=0.2, *;q=0.1
- Content-Type
- programming; maths; daily life; weird
- X-Powered-By
- English Breakfast tea with a splash of milk
Admin
legally certified as they who must become Master & (intuitionistic) maths / programming & pronouns: they/them (or best offer) & trains, crows and sheep & as seen in children's magazine
Joined Jul 2019
Pinned toot
mathematics is just spicy counting.
the approximation property was never an option
Anne C. A. Baanen
boosted
Behold! Spider-Dog-Worm Theory! Thanks to my comrade and colleague @NormalPopsicle for assistance making it, and the original idea in the first place.
terf ideology, "cancel culture" rant
so the Dutch state media just made one of their top articles about JK Rowling's petition against "cancel culture". implying she's being "cancelled" due to making a joke about the awkward phrasing in 'people who menstruate', and not, like, all the hurtful stuff that people are tired of seeing.
shomething, shomething, trashcan of ideology schniff *adjust shirt*
Anne C. A. Baanen
boosted
emoji were invented to stop the emoticon+parenthesis spelling debate
the nice thing about people who do formal logic is that they tend to know exactly why regulations must not be written or executed in formal logic
Anne C. A. Baanen
boosted
Welcome to The Fediverse!
Please, scream inside your heart
What is it called when Motörhead make a song about gender dysphoria?
transition metal
Anne C. A. Baanen
boosted
Mathematicians Analyze "The Witness" Game
"One of the most unusual things about The Witness' puzzles is some are Sigma_2-complete, Demaine notes. For those who are a bit unsure what that means - which I certainly was! - Sigma_2-completeness refers to a point in the polynomial hierarchy, which features a variety of different levels of problem-solving complexities.
NP-completeness involves solving problems using brute force; Sigma_2-completeness is a step up from that; and PSPACE-completeness is more complex yet again, having to do with polynomial time (the amount of time it takes for a computer to solve a problem) and time complexity (the computational complexity of the amount of time it takes a computer to run a specific algorithm)."
One of the papers discussed (PDF): https://erikdemaine.org/papers/Witness_FUN2018/paper.pdf
the type with h-level 0 and its (h-level -1)-valued function
the Unique and their Property, or in the Mathematician's translation, the Singleton and its Predicate
Anne C. A. Baanen
boosted
this is taxonomist for "this is an in-joke"
_Whakamoke guacamole_ Hormiga & Scharff, 2020 https://wsc.nmbe.ch/species/58112/Whakamoke_guacamole
posted because "the unique and their property" is a combination i haven't seen before and i think very much in the spirit of the Spook Book
what are the Ego/Unique/Einzige/Guy's pronouns?
(as in The Ego/Unique/Einzige/Guy and [...] Own/Property/Eigenthum/Stuff)
Fun fact: Apollo 11 landed on the Moon on a Mo(o)nday, July 21st 1969
My favourite Wikipedia notes are now [clarification needed][long and non-grammatical sentence whose meaning cannot be deduced][22]
concept: Vrije Universiteit, but it's dedicated to the Germanic goddess of love, beauty and fertility Vrije
Of course everyone hated that name because the U already stands for university. So now it's just the Vrije Universiteit Amsterdam in English and in Dutch.
Doesn't stop people thinking it's the University of Vrije.
- Accept-language
- nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, Python, Haskell, Befunge, C, C++, assembly;q=0.4, Lisp;q=0.2, FORTH;q=0.2, *;q=0.1
- Content-Type
- programming; maths; daily life; weird
- X-Powered-By
- English Breakfast tea with a splash of milk
Admin
legally certified as they who must become Master & (intuitionistic) maths / programming & pronouns: they/them (or best offer) & trains, crows and sheep & as seen in children's magazine
Joined Jul 2019
Anne C. A. Baanen's choices:
