nyrikki

47 ms·

511.
by nyrikki 2y ago
The insane stability of the Linux ABI is partially what makes containers useful. The fact that containers can reliably depend on the ABI contract, thus placing almost any clib they wish they want inside the container is fairly unique. That
512.
by nyrikki 2y ago
Mimicry is not mastery. A correct answer is not necessarily imply understanding. Code reviews and incident reports should prove that true.
513.
by nyrikki 2y ago
MySQL semisynchronous is similar to a Cassandra consistency level of 1. That is typically a lens that helps. As block devices aren't ACID, their challenges are greater. But note the following from the MySQL docs, similar problems exist
514.
by nyrikki 2y ago
Document updates are atomic, with replica sets. Reads will be eventually consistent. Professionals consider weigh the tradeoffs consistency vs partion tolerance, availability, synchronous vs asynchronous communication implications etc... No
515.
by nyrikki 2y ago
Fighting with autocorrect, 'json' type is a blob with a path search in front. https://www.postgresql.org/docs/current/datatype-json.html > JSON data is subject to the same concurrency-control consider
516.
by nyrikki 2y ago
Document-oriented databases are a subclass of the key-value store. Postgres jason types are blobs in an RDBMS, and jsonb is to be avoided in almost all cases. I am not a MongoDB cheerleader and I am a huge fan of Postgres when SQL is appro
517.
by nyrikki 2y ago
Latency kills...and Ethernet uses exponential backoff.
518.
by nyrikki 2y ago
On a unrelated note, does anyone know the origins of the one way vs two way door analogy? In this post it is attributed to Jeff Bezos quotes, but it was popular in the Pacific North West before his rise.
519.
by nyrikki 2y ago
Note from the open review of that paper. > As discussed in the paper and pointed out by the reviewer, the growing memory module is non-differentiable, and so it cannot be trained directly by SGD. We acknowledge this observation. Two stac
520.
by nyrikki 2y ago
Things constructivist mathematics cannot do: 1) Prove Addition of natural numbers. 2) Prove two real numbers are equal. RNNs are only TC with infinite precision and unlimited resources, once you have finite precision they are very limited.
521.
by nyrikki 2y ago
Do a google search with 'before:2020' on that code, that is recall from pre-training, not 'calculating'
522.
by nyrikki 2y ago
Nit, it predicts that it is the token '4'. Token frequency in pre-training corpus and the way tokenization is implemented impacts arithmetic proficiency for LLMs. OpenAI calls this out in the GPT4 technical report.
523.
by nyrikki 2y ago
Why won't it hit the same limits of frame problem or qualification problem? Expert systems failed in part because of the inability to learn, while HVAC is ladder logic, that I honestly haven't spent much time in, LLMs are inductiv
524.
by nyrikki 2y ago
Doesn't the frame and qualification problem discredit the latter? FWIW, most physics professionals I know, who aren't just popular personalities are not in the scientific realism camps. They realize that all models are wrong and t
525.
by nyrikki 2y ago
Some of it, like random IOPS, spindle bias etc...was well known. Well among implementers, vendors were mostly locked into the vertical scaling model. I ran a SGI cluster running CXFS in 2000 as an example, and by the time EBS launched, I wa
526.
by nyrikki 2y ago
The end user is mostly irrelevant. Lots of great songs were produced with rompler synths, and many of the killer electric guitars sounds people want to emulate were from people buying gear they could afford. The minimoog is probably one of
527.
by nyrikki 2y ago
If you look at the proofs that Google solved, the fast one was similar to problems in Knuth, thus common in the corpus and the other two were reducible to exhaustive search, especially with lean4 feedback. Which is why they took more time t
528.
by nyrikki 2y ago
While inactive blockdiag was small and nice for automatically annotating documentation. As you can see it hasn't been maintained for a few years. https://github.com/blockdiag/blockdiag Graphviz is great because do
529.
by nyrikki 2y ago
7/10 This is more about set shattering than 'smarts' LLMs are effectively DAGs, they literally have to unroll infinite possibilities in the absence of larger context into finite options. You can unroll and cyclic graph into a
530.
by nyrikki 2y ago
Banks earn revenue from interchange fees on debit and credit card transactions. Consumers don’t have any incentive to leave behind their current rewards programs. Merchants want to accept any payments they can and/or don't have le
531.
by nyrikki 2y ago
People forgot the Ashton-Tate merger, which destroyed Borland's internal culture and saddled it with products that were almost impossible to move to a WYSIWYG model. They were targeting both Windows and OS/2 for the GUI implementa
532.
by nyrikki 2y ago
Only because you have chosen to introduce configuration and maintenance complexity by using airflow as enterprise wide middleware. In a modern even based SOA, products like airflow are a sometimes food while pub/sub is the default. Per
533.
by nyrikki 2y ago
It sounds like you are tightly coupling to implementation and also expecting this to be the rightfully maligned ESB. Airflow, aws step functions, etc are complex event processors and shouldn't typically be used as wide as you are sugge
534.
by nyrikki 2y ago
The DAG constraints are a feature to prevent architectural erosion. Note that any feedforward neural network (e.g. anything using attention) is also a DAG. You can always encapsulate more complex logic in a single subroutine or even choose
535.
by nyrikki 2y ago
I would argue that today, geometric algebra/Clifford calculus and space time algebra are more intuitive and useful. Gibbs/Heavysides vectors were more popular at the time. At least for me.
536.
by nyrikki 2y ago
There was a recently published meta review on the subject of Schema Evolution that is probably far more practical. https://www.worldscientific.com/doi/10.1142/S297237012430001...
537.
by nyrikki 2y ago
LLMs are NLP, what you are talking about is NLU, which has been considered an AI-hard problem for a long time. I keep looking for discoveries that show any movement there. But LLMs are still basically pattern matching and finding. They can
538.
by nyrikki 2y ago
A couple of problems that is impossible to prove from the constructivism angle: 1) Addition of the natural numbers 2) equality of two real numbers When you restrict your tools to perceptron based feed forward networks with high parallelism
539.
by nyrikki 2y ago
Same reason the visual programming paradigm failed, tbe main problem is not the code. While writing simple functions may be mechanistic, being a developer is not. 'guess some missing answers' is why Waterfall, or any big upfront d
540.
by nyrikki 2y ago
Perceptrons are binary classifiers, that output 0 or 1, based on a threshold. While not practical to find or use, any feed forward network supervised is effectively a paramedic linear regression. Think of an Excel line graph, drawing lines

More ›