Avatar

Sky | Autistic | NB

@cross-closeted-for-positivity

She/They. The world is toxic, so I'm trying to be positive regardless.
Avatar

Is there a reason presupposition couldn't be a family of constants pres_τ : t -> (τ -> τ), where (pres_τ)φχ gets interpreted as χ iff [φ]=True and #_τ if [φ]=False? It seems to capture the traditional notion of presupposition. Actually, you probably don't need it to be a constant, right? You could just express in in lambda calculus?

How does lambda calculus handle conditionals again?

Avatar

Ok, to be clear, here's what I'm asking: I'm working in simply typed lambda calculus with three base types, t (for truth values), e (for entities), and s (for worlds), although the latter two aren't relevant. Terms of type t get interpreted as either True, False, or #; I also have two propositional constants T and F such that [T]=True and [F]=False. If I want to write a lambda function function f : t -> τ for some type τ such that [fφ] = a if φ is true and [fφ] = b if φ is false, how would I do that? Is it possible?

I think this has halting-problem-like issues. Maybe define something like g(h) to have no normal form iff h has a normal form, obtained by evaluating f at the statement "h has a normal form" (assuming this is something you can express using your truth values?), then consider g(g), which has a normal form iff it doesn't.

I don't think I know enough about this system to be confident that this really is an issue, the fact that expansion of lambda terms doesn't need to terminate is probably a concern here.

If the whole world is doing a rock-paper-scissors championship it would take only 33 wins to be a champion, because 2 to the power of 33 is more than 8 billion

but what if both people pick the same shape? then you have rematches to consider

i did the maths, each "game" lasts an average of 1.5 rounds (for the maths nerds it's a geometric distribution for either person to win, r=2/3, so E(X)=1/r=1.5)

so. while it takes 32.8 games to win, it'll take on average 49.2 rounds to win! still, less than 50.

philsbigduck-deactivated2021120

i know the world war 3 memes are really funny, but it can also be scary and anxiety provoking

i just want to pop in and tell you that you are okay

you are here, you are present, you are you, and everything is okay
you aren’t weird for being scared about something others see as a joke, we all have different perspectives

it’s okay if you need to take a break from the internet for your mental health.

This is really quite a big deal. A tremendous amount of modern research ends up being sold to journals which require unreasonable payments to access it and only pay the original authors a pittance. It’s nice to see an agency like NASA deliberately widebanding its findings.

Avatar

Not sure if people fully realize just how big of a deal this is. THIS is how science is advanced. Not through biased corporate research, business secrets, marketing, paywalls and patent wars. But through open, uncensored and unrestricted public access to knowledge.

Avatar
question-the-status-quo

^ There’s the direct link to all the studies.

Avatar

NASA IS GOOD, NASA IS GREAT

Avatar
aripuppy
Avatar
osunism

NASA is the hero we don’t deserve.

This deserves every reblog.

Avatar
crewdlydrawn

In the face of institutions being silenced, this is doubly huge.

I love seeing that, for once, there are more reblogs than likes

Keep passing on this info, guys. Good job

What is stimming?

This is going to be a long post.

Stimming is a slang term in the autistic community derived from the medical term self-stimulation, although the term can be used for a wide variety of self-soothing behaviours as well. The term is used widely in the autistic community and can refer to more obvious stims like hand-clapping or more subtle ones like muscle clenching. 

Autistic people may stim either deliberately or automatically. Sometimes you’re not even aware that you’re doing it. Some stims might even feel like they happen to a person rather than are done by them, such as when they’re associated with zoning out or if the impulse is very difficult to suppress (if this is the case, it might even feel akin to OCD).

Some stims are very pleasing to engage in but other stims may be unwanted by the autistic person for a variety of reasons. For example, they may be harmful or perceived to be socially inappropriate. Unwanted stims can include jaw clenching, tooth grinding, hair pulling, skin picking, finger biting, and others. Sometimes these urges are there and can be avoided by switching to another stim, but other times they can cause problems for an autistic person.

Some autistic people are proud of their stims, and may even feel sorry for non-autistic people for not being able to enjoy the sensory experience of stimming as much as autistic people do. However, due to social stigma, other autistic may feel embarrassed or ashamed of their urge to stim and may suppress it or only do it in private. 

Stimming, in general, is life-enhancing. Many autistic people consider it essential to their mental health. Stims can provide an escape and act as a coping mechanism. 

Stimming can include any of the senses:

  • Sight: Visual stims might include zoning out while watching shadows of light on a wall, looking into a light source, rapidly blinking, and so on. 
  • Sound: Auditory stims can include listening to sounds, making sounds, or repeating them (such as repeating phrases or words over and over).
  • Taste: Eating spicy foods can be an enjoyable stim for some, or eating food with specific textures or colours.
  • Smell: This might include smelling “smelly” things like essential oils, or smelling different items like the sleeve of a jumper you are wearing, and so on.
  • Touch: Touch is a very common stim as it can be very subtle, such as tapping your fingers on your leg or holding your own hands, or touching things around you.
  • Temperature: Feeling hot and cold things, or making yourself either hot or cold.
  • Proprioception: This is the sense of self-movement and can involve running, rocking, pacing, spinning, jumping up and down, or dancing (even when there is no music!).
  • Pain: Pain can feel pleasurable to someone regardless of whether they are on the spectrum or not. The difference is context, quality, and amount. Examples of pain as a benign stim include gently biting your lip, pinching your skin with your fingernails, hair pulling, or eating a very spicy chilli pepper. 
  • Balance: Standing on one leg, spinning, walking on tiptoes are all examples of balance stims.
  • Vibration: Humming can cause one’s lips to vibrate, electric massagers can vibrate muscles, and so on.
  • Various internal stimuli: some autistic people might allow themselves to feel hungry or thirsty, or hold their breath.

There is also the sense of time, but I think you’d have to be another kind of being altogether to use that as a stim… that’d be, like, The Highest Level Autistic: Able to Stim With the Concept of Time.

Anyway, I digress. 

Non-autistic people “stim” as well, but not to the intensity as autistic people do. If you are reading this and thinking, “Well, everybody does that…” you’re partially right. Non-autistic people should be able to relate to some stims but won’t necessarily be able to relate to how important they are to autistic people. This is partially evidenced by non-autistic people telling autistic people to “just stop it”. Autistic people need to stim.  

I'M DOING AN EXPERIMENT

To prove something to a friend, please

REBLOG IF YOU THINK ASEXUALS BELONG IN LGBTQ+ SPACES

LIKE IF YOU THINK ASEXUALS DON’T BELONG IN LGBTQ+ SPACES

Avatar
spacexualkids

:)

Avatar
ladyofthegeneral

REBLOGGING SO HARD.

YOU BETTER FUCKING BELIEVE IM REBLOGGING WTF

Avatar
genderfluid-coyote-starrk

GET 👏🏼 RID 👏🏼 OF 👏🏼 ACE/AROPHOBIA 👏🏼

Avatar
sylveonagainstddlg

im gonna reblog this everytime i see it ,,

REBLOG THIS ALREADY!

Avatar
prsphny

I have never ignored a like button in my entire exsistance on this blue/teal whatever y'all colour it website tungle dot com!

Avatar
viisivarvaslaiskiainen

As an ace myself, the amount of likes on this post doesn’t go well with me.

Avatar
n0t-a-bad-dream

☝️My thoughts exactly. I don’t like it.

Avatar
insaneprotecter

guys please

It concerns me that ace people have such a tough time with this.

Avatar
what-is-chixies-next-album

Aces don’t deserve this shit.

Avatar
whats-under-cirava-patch

Aces deserve better???? Wow???

Avatar
whos-crying-on-konyyls-shoulder

>>aces are a part °f the lgbt+, and if y°u think °therwise my spicy kicks will fight>>

Avatar
pete-wentz-is-pretty

I’ll fight whoever thinks they shouldn’t be in their spaces !!

Unfollow me if you think they don’t belong in the LGBTQ+ coomunity.

Avatar
rainbow-beaniegirl

I’m gonna assume half the likes are just people who didn’t read the post fully

Avatar
dracoskullart

I’m going to assume all the likes are people who didn’t read the post fully.

Avatar
supremehusbands
Image

As of 7/30/2018 7:38 pm

hell yeah I think aces/aros belong in lgbt spaces

if you disagree unfollow me right here right now.

I swear i’ll send the dragon at you if you like this

Never reblogged so fast in my entire life

Avatar
axicette

As a asexual, im worries about the likes on this

Avatar
5002panda

if you even breathe on the like button i will find you

My asexual friend is reading this with me, we’re both insulted by the likes.

Wtf do you mean 28k people don’t believe that aces should belong in LGBTQ+ spaces

Me @ anyone who tries to exclude aces and aros:

I just read that being autistic is like having a computer in which one has to write (and be aware of) every line of code to make things work (i.e. like back in the day with ms dos), whereas being neurotypical comes with all these handy graphical user interfaces that only require to click some buttons, and I don’t think I’ve ever read a truest thing in my life.

Inclusive positivity blog train! Reblog if you’re an LGBTQIA+ positivity blog (including ones with specific focuses like sapphic blogs or trans blogs!) and are safe for:

  • trans people (including gnc trans people & nonbinary folks! tru/med dni)
  • ace/aro people
  • mspec (bi/pan/ply, etc) people
  • intersex people (those that wish to be included)
  • queer people
  • disabled & neurodivergent LGBTQ+ people
  • LGBTQ+ people of color
  • LGBTQ+ people of religious minority (muslim people, jewish people, etc)

Since us delightful autistic people and our ADHD cousins have the habit of doing math in weird ways, I wonder how many ways people have come up with to solve the same problem.

Like if I were to do the problem 26+78, I can think of only two ways to do it:

  • Take 4 from 78 to make 26 into 30, and now the problem is 30+74 which is easy because 30+70 is 100 and then you add the leftover 4 to get 104
  • Do 20+70 first to get 90, then take 4 from the leftover 8 and add it to the leftover 6 to make 10, add that 10 to the 90 to make 100, then add the leftover 4 to get 104

But I’m sure if you gave the problem to 100 people with autism and/or ADHD then you’d probably get more than two ways to do it.

26 and 78 are both a bit over multiples of 25 so you can simplify to 1*25 + 1 + 3*25 + 3. Then, 4*25 + 4 = 104.

Genuinely, why do I do things like this

Avatar
gravelymadgreyspecforpositivity

Wait, not everyone does this kind of thing?

Anyways, I would add 2 to 78 to make 80 and add 24 to get 104 (kinda the same deal as the subtract thing)

Or add 20+70 (from the 2 and 7 in the original number) and add that to 6+8 . Bam 104.

I've just realised another way (if you know your 26 times tables!)

26 * 3 = 78, so you can just do 26 * 4 which is 26 * 2 * 2 = 52 * 2 = 104.