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

@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)

@vaporeon_ i don’t have any experience writing quines so i don’t really have much to say besides “nice, that’s sick”

@vaporeon_ *gives you ​and Vaporeon treats*

@coriander delicious cookie

@wallhackio yes that is 100% definitely what i meant

he wiggles when he walks

me: is he saying “watch so pissy”?

@coriander @wallhackio @Lady idk if i like “panting like a dog” purr se but panting is definitely hot

like i’ve literally done this befur, i'm not learning anything aside from what i’ve furgotten. though thankfully i have furgotten enough fur some of the purroblems to be conceptually challenging