dandanua

36 ms·

481.
by dandanua 5y ago
> the value now depends on that stronger theory The value of every BB(n) is well-defined in ZFC. It can't change if we consider a stronger (and consistent) theory than ZFC. Proving that BB(n) equals to a concrete integer is a differ
482.
by dandanua 5y ago
That's what I'm talking about, you can't say that BB(748) is uncomputable.
483.
by dandanua 5y ago
No, "not computable" is a property of functions that can accept infinite number of inputs. We can't say that a particular function value is uncomputable, there is no such definition. BB is uncomputable as a function. Yet, we
484.
by dandanua 5y ago
That reddit comment is very nice, though a little bit misleading at the end. > I can define this finite integer with only 7 characters, BB(748), but it can't be computed at all! is not true. The correct value of BB(748) can't b
485.
by dandanua 5y ago
> i think we, humans, will soon be left in the dust behind Plot twist – climate change deniers are bots of the future Skynet
486.
by dandanua 5y ago
It's just math. In my view, CS theory is about computations as a whole. That is – formalisations, languages, algorithms, structures, and design principles.
487.
by dandanua 5y ago
In 99% of cases, people who pretend they are solving the "global money problem", in fact, are solving their personal money problem.
488.
by dandanua 5y ago
This is a very selective take from all those Russia-Ukraine relationships. It's clear now that Russia just wants to destroy Ukrainian independence and its culture. And it's using any possible leverage to achieve this.
489.
by dandanua 5y ago
Waste will not be a problem after Mars colonization. /s
490.
by dandanua 5y ago
Twitter founder is the best example right now. Those people are omnivorous.
491.
by dandanua 5y ago
https://quoteinvestigator.com/2017/11/30/salary/
492.
by dandanua 5y ago
There is no consensus on this topic because a lot of people just want to "get rich quick" ignoring the question of the source of richness.
493.
by dandanua 5y ago
Firefox bookmarks tagging is a killer feature for me. I even bookmark some local files through it. Too bad it doesn't work on mobile.
494.
by dandanua 5y ago
> hero-worship of scientists is very silly About what they should think when developing a weapon of ultimate mass destruction? Rainbow unicorns? You can't be a pacifist and simultaneously fight for "peace", that's non
495.
by dandanua 5y ago
They just showed that QQ(4)>32mil, the exact value is still not known. And that function L is a "champion" only in comparison to other functions checked by them. Proving the exact value of QQ(4) could be impossible in standard
496.
by dandanua 5y ago
> happiness was never an end in itself It's even worse than that. From an evolutionary point of view happiness is a dead end . There is no reason to evolve if you are happy.
497.
by dandanua 5y ago
Yes, today it's much harder to transfer files in a local network without using cloud (or external coordinator), for some reason.
498.
by dandanua 5y ago
I'm talking about keys that have certificates issued by authorized centers. Those keys have legal power. Also obtaining a certificate costs a fee.
499.
by dandanua 5y ago
The verification is local (through javascript, nowadays). But you can't know this if you're not a hacker that can check it. It's widespread in Ukraine, and I assumed it's similar in other countries. I mean hackers could
500.
by dandanua 5y ago
This is awesome and should be more widespread. I always feel embarrassed when I see government systems that use digital signatures infrastructure. Usually, a government website has their own web application through which you input your priv
501.
by dandanua 5y ago
Any sane man understands this, but crypto people are too steeped in lies. They're detached from reality, just like their beloved crypto money. Even if a perfect decentralized database will be invented, the violence, that enforces the r
502.
by dandanua 5y ago
With Zuck's values and principles, the Metaverse will be a prototype of AI controlled virtual ghetto.
503.
by dandanua 5y ago
> Spork is a part of the Atek Cloud mission to self-host our lives. We're channeling the deep magics of the Hypercore Protocol. Atek and Spork were built by the same people behind Beaker Browser The guys behind Hypercore Protocol an
504.
by dandanua 5y ago
Cleverness has a strange meaning nowadays
505.
by dandanua 5y ago
It's more like anti-promotion for this https://news.ycombinator.com/item?id=28830708
506.
by dandanua 5y ago
A video from the reports https://www.youtube.com/watch?v=nwHxuhVA_8o
507.
by dandanua 5y ago
Recognized by whom? You have to be a specialist in the area to see what's good and promising, and what is not. But if the area is populated with bad actors that push their own agenda – your voice will be suppressed. The idea that, even
508.
by dandanua 5y ago
I think his experience fits nicely the job of running "counterfeit US Dollar"
509.
by dandanua 5y ago
It's not politically motivated, it's "existentially" motivated. Especially when world leaders ridicule the problem and dismantle efforts to fight it [1]. [1] https://www.bbc.com/news/world-us-canada-
510.
by dandanua 5y ago
I wrote a simple addon that avoids just that https://github.com/dandanua/copy-true-link The code doesn't prevent event propagation, instead it copies the link before propagation happens. I guess this way is more r

More ›