nyrikki

56 ms·

871.
by nyrikki 3y ago
Their proof depends on arbitrary precision and they explicitly state that the finite case is not TC. But if you are talking about arbitrary precision floats, or the computable set of the reals it is equivalent. The computable reals are just
872.
by nyrikki 3y ago
Note that Magic: The Gathering is Turing Complete https://arxiv.org/abs/1904.09828 Something being Turing Complete just that means in principle it could be used to solve any computation problem. But this may require i
873.
by nyrikki 3y ago
AlphaZero works on chess, shogi and go and other perfect information games with discreet moves and board s. LLMs need pairwise linear input that is composed of independent and identically distributed data. Feed forward neural networks are e
874.
by nyrikki 3y ago
Policy related to shareholders makes existing companies avoid risk in negative ways due to short term income requirements. Established companies will error twords marginal but reliable increases in income through exploiting existing product
875.
by nyrikki 3y ago
While it may not be the _best_ this book is available from the author online. Elaine Rich's textbook "Automata, Computability and Complexity: Theory & Applications" https://www.cs.utexas.edu/~ear/cs34
876.
by nyrikki 3y ago
As an example: Schaefer's dichotomy theorem shows that, when possible, just make sure to use Horn clauses when possible. Takes a bit of thinking but is superior to huristics or SAT solvers if you can refactor to allow for it.
877.
by nyrikki 4y ago
ML is fundamentally pattern finding and matching. The fact that it is useful for finding patterns that may be different than humans tend to find is not an indication of understanding of the underlying data. It is no different than clusterin
878.
by nyrikki 4y ago
Superficially, some aspects of human learning are similar to PAC learning, but it is not equivalent. Gödel's incompleteness applies equally well to humans as machines, in writing down axioms and formula, not in general tasks. The Irony
879.
by nyrikki 4y ago
The Wada property is when you have 3+ disjoint sets that share the same boundary set, at least for the complete Wada property. In Newton's fractal, any circle you draw will either have a single root or all roots, no matter how small yo
880.
by nyrikki 4y ago
The newton method has the nasty Wada property arise, which is often glossed over as being the same as scale invariant noise in class but which is better thought of as a topological feature rather than scale invariant noise. It is indecompos
881.
by nyrikki 4y ago
Your links claim that: 'GPT-4 is not “AI” because AI means “AGI,”' Is a more strict term that hasn't typically applied to AI as an example of my above claim. As we lack general definitions, it isn't invalid but no AI is
882.
by nyrikki 4y ago
There is a bit of a political history between the symbolists and connectivist that complicates that, basically the Symbolic camp is looking for universal quantifers while the connectivist were researching existential or statistical quantife
883.
by nyrikki 4y ago
Claims about masculinity are often defined in opposition to ideas about femininity. The claim that woman cannot be courageous or independent thinkers is wrong. And as for societal ideals, specifically in response to a post showing that the
884.
by nyrikki 4y ago
“The less justified a man is in claiming excellence for his own self, the more ready is he to claim all excellence for his nation, his religion, his race or his holy cause.” - Eric Hoffer The True Believer
885.
by nyrikki 4y ago
No multiple sources have explained that 'alpha' implies competing with others and becoming top dog by winning a contest or battle. Here is another. https://wolf.org/headlines/44265/ You are offering a fa
886.
by nyrikki 4y ago
Why not go to the original myths author's explanation directly. https://davemech.org/wolf-news-and-information/ Wolf.org also has resources related to the topic and they no longer use the term.
887.
by nyrikki 4y ago
Plus the 'leaks' in the Linux process API is even worse as each container may run its own tiny-init Containers make the first point of the OP far worse by adding way more pid namespaces.
888.
by nyrikki 4y ago
Nothing is stopping you from using namespaces, and containers are just namespaces with cgroups etc But containers aren't jails, pid and uid remapping is just remapping. A huge problem container has to drop capabilities on the honor sys
889.
by nyrikki 4y ago
School bus drivers are safer than airline pilots per exposure hour, in fact they are safer than walking. The big problem with driver assistance products is the automation bias issue with human drivers. Mixed in with humans being really bad
890.
by nyrikki 4y ago
Not really surprising that general purpose language that is is targeted at general computing are good at general computing. Puppet was targeted at eventually consistent idempotent configuration changes, mostly as a restricted grammar for a
891.
by nyrikki 4y ago
The problem being that if you can reduce a problem to being well ordered on the naturals it is already in the computable set. Note how the limits on recursion as given by the original paper apply to the fibonacci sequence, but restricted to
892.
by nyrikki 4y ago
It was type 1 errors or “false positives” that popped into my head especially as a post just a few lines down had “false positives” in the title
893.
by nyrikki 4y ago
Physics models are models. All models are wrong, some are useful. I am not claiming that useful models need to be computable, in fact the problem with the MTP is that it induces cycles into something that needs to be recursively enumerable
894.
by nyrikki 4y ago
ChatGPT is state-of-the-art natural language processing (NLP) NOT NLU
895.
by nyrikki 4y ago
And deep learning models have no understanding of the underlying data because they are either classification or regression.
896.
by nyrikki 4y ago
A human with a piece of paper and a pen could do. AKA writing down an algorithm. Human reason isn't limited to written algorithms. The missing text problem from NLU is an example of a problem that is thought to be impossible for Turing
897.
by nyrikki 4y ago
No, you are most likely correct, I personally haven't found anything that even gives a reason to hope. But as reductionism and Laplacian Determinism are taught as cannon and not as the best option I sugar coated it. The Wada property a
898.
by nyrikki 4y ago
While I would be happy if these were from extra terrestrial beings,IMHO they most likely will be something like further examples of Strange non-chotic dynamic systems like RRc Lyrae star KIC 5520878 which is also exciting
899.
by nyrikki 4y ago
Natural selection is variation, differential reproduction, and heredity. A mostly mindless and mechanistic process of which fitness and mate selection is only a tiny part. Isolated populations have more of an impact than mate selection due
900.
by nyrikki 4y ago
They are talking about ML, which is statistical pattern matching and finding. Gödel ruined the fun of automated theorem testing a century ago unless we make significant discoveries in math. Type inference is an accessable example of SOTA au

More ›