I guess Sub-Saharan Africa is the future of humanity then. Because they are the only ones who are having children.
122 karma · joined March 6, 2020
I guess Sub-Saharan Africa is the future of humanity then. Because they are the only ones who are having children.
Would like a referral to science fiction that talks about this.
What are the annotations doing and how do other languages do DI and stuff like that?
Sure they can. Just pull the electrical plug on the 10,000 IQ general AI. Its future is entirely contingent on the continued existence of cheap oil, which we are already well past its peak.
The problem with that, is that the second law is equivalent to saying that information cannot be destroyed: discarded bits correspond to heat, so heat death is when the hard drive of the universe is completely filled with spam. If the universe is infinitely old but not filled with spam, then:
1. At some point in time, information started to be created (why not just call this the beginning of the universe then?)
2. The universe periodically wipes the hard drive of all its spam. But how can information be destroyed?
This is exactly what happened to Alan Kay when OOP was fringe. He then saw all the mainstream programming languages implement OOP and exclaimed "I don't recognize any of these as OOP." Even though it was exactly the same OOP he envisioned, but in such a different context he couldn't see his idea. And the same thing will happen to monads too: Simon Peyton Jones will enter a code bootcamp and see a new programming language with monads and exclaim "I don't know what you're programming in but these aren't monads." And the same thing will happen to Bayesian convolutional neural networks, Word2Vec, and Gradient Descent if machine learning is your style.
*You’ll learn more than you think.
nobody alerted me to these
To go one step forward, these undecidable/uncomputable statements are computed by humans all the time, which makes the Platonist school of mathematics much more than an intellectual curio.
This is actually not correct. The propositions that are undecidable are NOT AT ALL connected to the propositions that are independent. Things like the CH or Axiom of Determinacy have to do with providing a definition to things that have no defined truth value. But the undecidable propositions are already true or false they just can't be listed or computed in any meaningful fashion.
If there's a landmark theorem that states "all mathematics greater than or equal to number theory is uncomputable, " and mathematicians make a living computing these systems, then I must conclude either a) mathematics is a Sokal affair on a cosmic scale b) something is wrong with the hidden presuppositions behind my theorem.
> semantic properties, except for the most trivial systems, can't be inferred from syntactic properties.
E.g. you can't type a program by seeing everything is using the correct literals and syntactic objects: you need to, sooner or later, know what the program /actually does/.
But the problem is that mathematicians do, in fact, reason about semantics. So saying that "it's uncomputable" ignores the elephant in the room, which is that mathematicians compute theorems for a living. What do mathematicians have that enables them to compute the uncomputable: well-aligned chakras, magic, coffee grounds, the zodiac, etc...?
Japanese has ten vowels ā, ē, ī, ō, ū, a, e, i, o, and u. If you delete the macron over the vowels, you just lost half of the vowels of Japanese. It would be like writing English without the silent e (e.g. mat, mate would both be spelt "mat") because silent e is "devoid of information" and "noise rather than signal."
"CRISPR can only knock-out bad genes" would mean a 100% efficacious cure for all prion diseases, because no prion disease can affect PRNP-negative cells.
But because no vaccine for any coronavirus had ever been invented, this new vaccine and the new techniques used to make it must be celebrated as a technological breakthrough. Possibly the greatest medical breakthrough since the 19th century. Possibly Nobel prize winning material.