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
mathematics is just spicy counting.
the approximation property was never an option
@anarchiv I'm curious which edition you prefer (if any), Normaal or Heidevolk?
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]
- 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:
