\> statistical learning theory does not adequately model the macro-behavior of very large models.
Might you please elaborate on this? I recognize that "artificial neural networks are lossy de/compression algorithms" does not enumerate the nuances of these structures, but am curious whether anything in particular is both interesting and missing from SLT.
Late binding of metadata is critical to my notetaking, and the primary advantage of digital over physical media. I am curious whether any technology like the Nuwa pen will be able to provide a transparent bridge between the two.
If a person could unequivocally understand themselves without understanding their past, then the trivial understanding of mere knowledge of the past should have no impact on their current self-understanding capabilities. Thus, a person with ongoing amnesia, unable to form memories which extend beyond a day's context window, would have no disadvantage in terms of self-understanding.
The first order theories of the real numbers using addition and multiplication are decidable [0], while FO theories of the integers under the same operations are not.
The Curry-Howard Correspondence is more of an observation than a theorem, but insofar as it describes the general concept of relating logics and programming languages, what is the CHC for logic programming languages? If strikes me that LP directly instantiates and manipulates logical expressions, in a "self-dual" sense; or, is it that the various "proof procedures" of the logic side map to "proof search" algorithms on the computing side?
YeGoblynQueene, would you be amenable to discussing certain questions of logic programming via e-mail? I am reading about Jean-Yves Girard's "Stellar Resolution" model of computation, and would greatly appreciate a knowledgeable counterpart in the investigation.
Indeed, the United States is abnormal in the statistical sense, and superlative in the moral sense. Free men fear not to bear arms, and so this status befits us.
It makes no objective sense at all, and merely reflects hypersensitive German policy regarding civilian ownership of anything resembling the means of force application.
Pay successful bounty submissions on a faster than net 180 time frame. A friend was interested in the rather extensive Expensify bug bounty programme [0], but the red tape involved created far too long a turnaround time between claiming a ticket and receiving compensation.
Liquid petrochemicals will continue to be used in any application dominated by power-to-weight ratio considerations.
> Pairing lithium and ambient oxygen can theoretically lead to electrochemical cells with the highest possible specific energy. Indeed, the theoretical specific energy of a non-aqueous Li–air battery, in the charged state with Li2O2 product and excluding the oxygen mass, is ~40.1 MJ/kg = 11.14 kWh/kg of lithium. This is comparable to the theoretical specific energy of gasoline, ~46.8 MJ/kg.
However, electric motors will also continue to improve, and are already the choice when a flat torque curve dominates the design space. Thus, the convergence of these trends (battery performance asymptotically approaching that of gasoline + improved motors and motor control) is the Series Electric Hybrid, with an ICE or fuel cell generator powering an electric power train, with a battery buffer to keep load on the generator constant. This will allow extreme optimization of the generator, so that it perpetually operates at peak efficiency.
Collecting old books is one of the highest "adventure to effort" ratio endeavors, the closest one can approach to breaking the Dixie Flatline out of the Sense/Net Pyramid; it will be interesting once digital archaeology extends to resurrecting "old LLMs".
Which scientific tradition ought one consult where this subject has been foregrounded?