Viewing profile — shunyaekam

R is basicially a function from rationals to algorithms computing irrationals. L_R is decidable by a master algorithm running every y of x#y, e.g. 3.14# runs y_pi(|3.14|), so y run…

URL: https://shunyaekam.com/assets/papers/pvsnp.pdf Second attempt. Apologies for the 1st attempt, didn't check the definitions properly. Looking forward to useful criticism.

OP here. Cool. Thanks for the link!

OP here. Yeah, it's definitely about "culture". What I've been trying to express with usage of "God" is how primitive societies, lacking law enforcing institutions etc, tried to in…

OP here. You're absolutely right. Thank you. I'm reworking the essay. As I wrote in my top-level comment, what I really want to talk about is > Is there a canonical parametrization…

OP here. I'm reworking the essay quite a bit, e.g. removing the vector space stuff, and the clumsy usage of the word "God". I've been thinking about these things for so long while …

As an aside, I think YouTube Music is superior to Spotify in terms of music catalog. You get "everything on Spotify" (high quality audio) plus the YouTube videos (eg mixes that are…

The derivative of 1 with respect to x is zero, since the derivative of any constant function is zero. So you must be saying that the derivative of 1/f(x) with respect to x is zero …

The answer to this question is answered in the FA. Leibiz notation is confusing except in the most simple cases. For example: > Isn't fractional form useful, for example solving di…

What is special with the server? I was surprised you offered a community-hosted server. An OpenAPI spec should be enough, right?

What is the difference in inner dialogue in happy vs unhappy people? I guess the inner voice is what one strives to just observe and let be while meditating. After a good meditatio…

Therapy helps in overcoming pretentiousness, no doubt. This is an emotional problem, feelings of worthlessness, attaching one's sense of identity to how smart one is etc. It's a bi…

No, I'm saying that caring about VI vs Emacs is nothing else than high brow gatekeeping/in-group signaling.

Tangent: I've been programming for many years, and the old VI vs Emacs inside-marker/debate about which one "real" programmers use has been a constant for the entire duration. (Bec…

Yeah. Some examples of niche content would be interesting.

In this context, a resource.

I cannot give you a specific gene but I think my point still holds. Why would machines be interested in rivalry over resources or territory? Like a pond of water? Or women? We can …