[-] aio@awful.systems 10 points 1 month ago

the computational cost of operating over a matrix is always going to be convex relative to its size

This makes no sense - "convex" doesn't mean fast-growing. For instance a constant function is convex.

[-] aio@awful.systems 3 points 1 month ago

My university sends me checks occasionally, like when they overcharged the premium on my dental insurance. No idea why they can't just do an electronic transfer like for my stipend.

[-] aio@awful.systems 18 points 2 months ago
[-] aio@awful.systems 10 points 2 months ago

Yudkowskian Probability Theory

what a throwback

[-] aio@awful.systems 12 points 2 months ago

okay but if they hadn't done that we wouldn't have gotten this work of art

[-] aio@awful.systems 13 points 3 months ago

why tf can't she say the word "racist"? like is it supposed to be a dogwhistle insinuating similarity between "racist" and "leftist"??

[-] aio@awful.systems 47 points 3 months ago

I don't want to come and help "balance out" someone who thinks that using they/them pronouns is worse than committing genocide.

Does anyone really think this, or are you just using hyperbole?

Not hyperbole. Hanania, Manifest promoted speaker, wrote "Why Do I Hate Pronouns More Than Genocide?" in May 2022.

I just can't, it's like that one scene from Austin Powers.

[-] aio@awful.systems 11 points 3 months ago

Isn't it like not real money? Or have they changed that

[-] aio@awful.systems 5 points 3 months ago

and here i just assumed the name was original to ffxiv

[-] aio@awful.systems 3 points 7 months ago* (last edited 7 months ago)

The article is very poorly written, but here's an explanation of what they're saying. An "inductive Turing machine" is a Turing machine which is allowed to run forever, but for each cell of the output tape there eventually comes a time after which it never modifies that cell again. We consider the machine's output to be the sequence of eventual limiting values of the cells. Such a machine is strictly more powerful than Turing machines in that it can compute more functions than just recursive ones. In fact it's an easy exercise to show that a function is computable by such a machine iff it is "limit computable", meaning it is the pointwise limit of a sequence of recursive functions. Limit computable functions have been well studied in mainstream computer science, whereas "inductive Turing machines" seem to mostly be used by people who want to have weird pointless arguments about the Church-Turing thesis.

aio

joined 7 months ago