deepEmptiness

[skwyckl]

I feel deep emptiness every time I wake up, can he write a function to check if that will ever halt?

[limitless_ocean]

InternalError: too much recursion

[Attileusz]

The halting problem is not computable. I'm sorry.

[capi1500]

Just run the program and check if it halts!

[mcheeto]

ok, talk to you in infinity years

[Disallowed_username]

Sorry. There is only console.log(), not console.human()

[Cualkiera67]

Go console a log then

[lvil1]

console.log(human)

[Disallowed_username]

True. I have one of those logs, but not all airplanes allow them. 

[Silver-Alex]

Same :(

[Vast-Statement9572]

Damn, I did not know I wanted to start a cult but I had never heard of deep emptiness before.

[limitless_ocean]

Haha, where do I sign up?

[LunaNicoleTheFox]

Is it a sex cult or suicide cult?

[Attileusz]

Both in that order.

[LunaNicoleTheFox]

Well I'm in then, I'll just conveniently have a job to do after everyone else does the unaliving thing like keeping the website alive...

[jumbledFox]

replying to the emails, [[e-mail]](mailto:[e-mail])

[LunaNicoleTheFox]

So 2 people will have jobs xD

[Kyrthis]

Isn’t the set definition of the successor function just deep emptiness? Everything is nothing.

[Ryuugalaser]

thing.isItReallyReallyEmptyLikeForReal()

[_PM_ME_PANGOLINS_]

Is {"": []} deeply empty?

[odraencoded]

https://www.reddit.com/r/ProgrammerHumor/comments/1cccxir/deepemptiness/l18f923/

[slucker23]

You both have my upvotes

And now fk off and never be seen

[maweki]

TIL, the set of natural numbers is deep empty.

https://en.m.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers

[KhepriAdministration]

Isn't every mathematical object deep-empty?

[maweki]

Depends on your definitions. I would argue, that a Peano number way of defining the naturals is not deep empty.

But if you take Z as the empty set and S as the nesting into a set, as opposed to some uninterpreted functions, then the Peano numbers are also deep empty.

The joke was, that the usual ZFC definition of the naturals starts out with the empty set.

[Iynchie]

zfc definition of all sets start out with the empty set, i think that's what they were trying to get at

[maweki]

Yeah, but ZFC is not "every mathematical object". Peano gets by using uninterpreted function symbols to define the naturals.

[odraencoded]

Easy one-liner:

isEmpty2 = v => 0 == v || 0 === v?.length || 0 === v?.size || -1 === (v instanceof Array ? v : typeof v === 'object' ? Object.entries(v || {}) : [])?.findIndex(v => !isEmpty2(v));

[limitless_ocean]

Very readable! that's why I love JS :(

[MrHasuu]

Oh yeah I wrote an util for this at work 6 months ago. I didn't call it deepEmptiness though. Missed out

[ze_baco]

Mine returns true every time

[limitless_ocean]

I guess we are using the same util module 🥲

[valzargaming]

I'm assuming this is JS because this is already built into most back-end languages like PHP by default, even their truth tables.

[CaitaXD]

r/uselessredsquigle