æʃliŋ, loaf of autismo @aescling@cat.family

@onfy @vaporeon_ oh i just meant, “what the fuck”

@vaporeon_ @onfy ah

An internal Apple music video released in 1994 during the brief period when Apple allowed other companies to clone the Mac.

• Filmed at Apple's corporate headquarters (1 Infinite Loop)
• Performed by "Dave Garr & The Licensees" (all Apple employees)
• A parody of the song "I Think We're Alone Now"

@onfy @vaporeon_ what

@vaporeon_ …i can’t tell if that video is real or just a joke but that instrumental is straight from Katy Perry — Last Friday Night

@vaporeon_ @onfy did you read the description from the youtube video

@vaporeon_ which one?

@The_T @amy So-crates

i have terrible taste in rap beats lol

@The_T @wallhackio it’s okay, people always talk about diabetics as if they fucked up their own lives anyway because nobody acknowledges the type 1s

besides, what i understand, it is more complicated than “you fucked up your life” anyway. like sure some things increase your risk but some people just won’t develop type 2 from that behavior anyway

@The_T @wallhackio roman numeral I, fur 1

@coriander @wallhackio @Lady (anyway i thought about it a little more i’m definitely into it)

@The_T @wallhackio well shit!! i’m type I diabetic!!

@The_T @wallhackio if that’s because you ate the other half that’s valid af

mornyawn, and also, hey @clock

@vaporeon_ (i say "pure lambda calculus" but i'm using if statements and purrimitive types. you COULD actually do this in Pure Lambda Calculus but it would be a bit obnoxious)

@vaporeon_ it enables recursion-like behavior in with just lambda abstraction and application:

# (fun f n -> if n == 0 then 1 else n * f f (n - 1))
  (fun f n -> if n == 0 then 1 else n * f f (n - 1))
  6;;
- : int = 720

@vaporeon_ yeah the purroblem is that the function takes an argument that is of the same type as the function itself. if it were pawsible to (safely) type it it would be a recursive type!

@vaporeon_ potentially fun question: why did i have to use a void pointer fur the type of the furst argument to fac?

@vaporeon_ the fact that printf template strings allow quines to happen is more or less the same idea as this hack to do general recursion without explicit recursion

#include <stdio.h>

int fac(void *f, int n) {
    int (*g)(void *, int) = f;

    if (n == 0) {
        return 1;
    }
    return n * g(f, n - 1);
}

int main(void) {
    printf("6! == %d\n", fac(&fac, 6));
}

a technique that is generalizable, btw. (not that you would ever need to use the Y combinator in any purractical situation)