nyrikki

43 ms·

451.
by nyrikki 2y ago
The known upper bound for transformers on the fly computation abilities is a complexity class called DLOGTIME-uniform TC^0. There is a lot to unpack there but if you take FO as being closed under conjunction (∧), negation (¬) and universal
452.
by nyrikki 2y ago
Problem here, almost none of the the Lend Lease shipments arrived until after the Battle of Kursk, and they weren't enough to prop up the USSR like you claim above. Had Hitler not gone forward with Operation Barbarossa, the entire outc
453.
by nyrikki 2y ago
This paper is not about C-Reduce as a whole but 3 new "domain-specific test-case reducers" that the authors added to the project. Most of the non-domain specific reductions in C-Reduce is simply brute force IIRC.
454.
by nyrikki 2y ago
Depends on how much of the work you do yourself. Math is like skiing or playing the guitar, you don't get better by watching others do it. Personally I find videos useful to augment books, but rarely a substitute for them. But I am ba
455.
by nyrikki 2y ago
Yes, but the binary projection does not according to the link. 345 and 435 would require two binary trees.
456.
by nyrikki 2y ago
But it _all_ triples? > I sketch how the stereographic projection of the Stern–Brocot tree forms an ordered binary tree of Pythagorean triples, which can be used to compute best approximations of turn angles of points on the circle and f
457.
by nyrikki 2y ago
2/3 of the fortune 100 companies used Expert Systems in their daily operations and knowledge bases survived. I don't know how that can be dismissed as nothing.
458.
by nyrikki 2y ago
Quite incorrect, even smaller colleges like in Greeley Colorado had Symbolics machines and there are threads of Expert Systems all throughout the industry. The industry as a whole was smaller though. The word sense disambiguation problem di
459.
by nyrikki 2y ago
For those not familiar with these old IBM machines that used decrementing of the index registers, this will help explain all the ??D instructions are there. https://bitsavers.org/pdf/ibm/704/24-6661-2_704_Manu
460.
by nyrikki 2y ago
Shakespeare in RP loses most of the raunchy jokes as an example of the above. My highschool English teacher was horrified when she figured out why us boys were laughing when reading her copy of the first folio, our hick accent ment we were
461.
by nyrikki 2y ago
While I am a huge lisp fan, oh...the irony of saying that python is struck in the 1990's when CONS, CAR and CDR are artifacts from the IBM 704 and Fortran :) While I do find it annoying that python used 'list' to mean 'd
462.
by nyrikki 2y ago
This will be a good introduction, but won't cover the cost and benefits of a statistical space IID etc.. https://youtu.be/q8gng_2gn70
463.
by nyrikki 2y ago
There are way too many personal definitions of what "Moore's Law" even is to have a discussion without deciding on a shared definition before hand. But Goodhart's law; "When a measure becomes a target, it ceases to
464.
by nyrikki 2y ago
This! Active tradeoff analysis and a structure that allows for honest reflection on current needs is the holy grail. Choices are rarely about what is best and are rather about finding the least worst option.
465.
by nyrikki 2y ago
Purely depends on the ability for a culture that values leaving options open in the future develops or not. Young companies tend to have systems that are small enough or with institutional knowledge to pivot when needed and tend to have sma
466.
by nyrikki 2y ago
You are using a different definition of strategic than the DoD uses, what you are describing is closer to tactical decisions. They are talking about typically Org wide scope, long-term direction . They aren't talking about planning hid
467.
by nyrikki 2y ago
Even Warren McCulloch and Walter Pitts were the two who originally modeled neurons with OR statements, realized it wasn't sufficient for a full replacement. Biological neurons have many features like active dendritic compartmentalizati
468.
by nyrikki 2y ago
Complete different set of tradeoffs. This is one of those situations where there is no good option, just the least worse option. SE had mostly servers, depends on package vendors being altruistic, and people mostly just disabled it when it
469.
by nyrikki 2y ago
It is not a DTC, despite the DB world using ATM's wrongly as an example for decades, follow their model for actually moving money and you would be sent to jail. "Accountants don't use erasers" The ledger is the source of
470.
by nyrikki 2y ago
When I was saying 'easier' if we chose to do logic inside a theory using the Curry-Howard correspondence then we find out that it is intuitionistic, and as you mentioned 'proofs' that means it may be important to you vs.
471.
by nyrikki 2y ago
I think your choice is more readable and maintainable, but did you consider call-with-current-continuation? It is easy to dismiss, but this may be a situation to learn where it is actually useful.
472.
by nyrikki 2y ago
>It is somewhat surprising that unification is cleaner and easier to implement in an loopy imperative mutational style than in a recursive functional pure style. Typically theorem proving / mathematical algorithms are much cleaner i
473.
by nyrikki 2y ago
Nit: It goes a bit deeper than that. Note this talk by another Pop Sci personality Robert Sapolsky, where he talks about the limitations of western reductionism. https://www.youtube.com/watch?v=_njf8jwEGRo Yet his latest bo
474.
by nyrikki 2y ago
Refilling the salt lake should be a goal to protect existing populations, that is not the same as creating new population centers that we have even greater challenges. Unfortunately curbing growth and shifting agriculture needs to other loc
475.
by nyrikki 2y ago
For ML it goes deeper, but unfortunately discussions about it devolve into an approximation of the Brouwer–Hilbert controversy. If you think about it from the VC dimensionality lens, in respect to learnability and set shattering is simply a
476.
by nyrikki 2y ago
I don't know if invoking the Salton Sea, which is probably the canonical example of the risks of creating endorheic lakes by introducing water into an endorheic basin is really a good argument. The Great Basin is North America's l
477.
by nyrikki 2y ago
As the Principia is pretty ugly and tortured at least for me let me offer: Naive set theory. Halmos, Paul R. http://people.whitman.edu/~guichard/260/halmos__naive_set_th... Note the first entry of "Ordered Pa
478.
by nyrikki 2y ago
Be careful with making assumptions from modern, formalized set theory and the naive set theory. The axiom schema of specification is added to avoid Russell's paradox. A set in the naive meaning is just a well-defined collection of obje
479.
by nyrikki 2y ago
Modern English lexicography is descriptive and not prescriptive. The OED is simply insufficient to show much more than a particular meaning was common among some cohort. ELIZA transcripts also use to pass as human even with experts in some
480.
by nyrikki 2y ago
There is a school of thought about management by intent that tries to address this, following the ideas born out of the Prussian army in the early 1800s. But many of our current problems are more directly related to Taylorism and an intenti

More ›