Hold on - "the set of valid mathematical proofs" is definitely decidable, unless you're working in a higher order logic. Given a claimed proof I can take each claim and the way it was supposedly produced using prior claims and check that the production works
It is a countably infinite set tho
maybe it's time to go see if the belligerent internet atheists of yore had good polemics against the existence of the soul that could be lightly modified to address present AI disourse
powerful title
ooh, what are those labels? is that how I meet my inevitable demise?
Sure, but the first formulation was. If you take the dynamics at face-value then these puzzles have realistic answers at least in the same way as "You see a teacup rising off a floor at high velocity, where'd it come from?" does, and the pure GR version is less realistic in that sense
Gur dhnaghz syhpghngvba nafjre vf jung lbh'yy arrq vs lbh vagebqhpr Unjxvat enqvngvba vagb gur cvpgher naq yrg gur OU rincbengr n juvyr orsber lbh nqq gur nccyr. Rzvggrq orsber pbyyncfr vf ab ybatre n pbafvfgrag nafjre va gung pnfr, fb V svther gur nccyr zhfg or Unjxvat enqvngvba ragveryl.
"Applied to your carbon monoxide here"
Claude exhibiting carbon monoxide poisoning, apparently
you make top-tier short form content, do not forget it
@norvid-studies.bsky.social
Panic! On The Backline
rot13 of my proposed solution: Gur nccyr jnf rzvggrq ol gur fgne ng/whfg orsber pbyyncfr - guvf vf gurezbqlanzvpnyyl vzcynhfvoyr ohg gung'f whfg sbeprq ol gur jrveqyl pbafgehpgrq vavgvny pbaqvgvba
I'm not a super GR expert but I think the rough reason we can exclude someone falling in while shooting an apple outward is that if this had happened, our initial snapshot would have a very redshifted version of this guy on the EH already, but we chose the initial state with no such guy
No, not inside - just a little bit outside the event horizon
But which axis you choose to distinguish is free
Hm, I guess not actually
The possibility of doing this doesn't tell us the time is insignificant, it just tells us that "time" might be relativized, you might still have to have evolution along a distinguished axis
isn't this just the consciousness in a B-theory of time thing?
take a guy's life as he lived it in 3+1 and embed it in the space directions of 4+1 and ask if he's any less aware in there for it
How about a GR logic puzzle?
Take a black hole that formed a finite time ago and sat around a while. Take a spacelike snapshot of the situation and paste an apple into it close to the event horizon, with radial velocity outward. What past could have evolved to become this situation?
maybe i should take a moment to come up with something substantive to say because a wordplay delivery vehicle this transparent is a little embarrasing
s'pose the relevant difference is that with LLMs we know how to crank the campbell's up to a high standard
auspicious juxtaposition
www.youtube.com/watch?v=ucAy...
Should I interpret the factorio terms literally or as an illustrative example for the underlying mystery domain?
I'm struggling to comprehend this a little for lack of quantifiers
This is one particular matrix you're massaging? What's it/the problem represent?
I'm sure you wrote this down somewhere, but what do all these numbers indicate?
(Sorry if I've asked this before and forgot)
the kernel is smart
it knows the root cause of oom is user shenanigans, so it tries to prevent continued user interaction
> see the essay form itself as outmoded and decrepit
In high school I entirely lost the ability to write essays for this reason, which caused me a fair bit of trouble in my estonian and literature classes
by "lost" I mean I could not even force myself to write them anymore, it just didn't work
applying this to the linux kernel 😋
Suffering, being a force pushing you toward homeostasis, has an opposing force - so the opposite of suffering is its cause. The decrease of suffering is a different thing, having a colloquial name in the case of springs as well as in men, called "relaxation", return to equilibrium. Joy is ⊥.
verdict: not really
attempting to upload a higher quality version of the second video in the hope that both things are visible
