Viewing profile — jpt4

> a big blindspot for western science Which scientific tradition ought one consult where this subject has been foregrounded?

> fe Interesting, I have never encountered this initialism in the wild, to my recollection: https://en.wiktionary.org/wiki/f.e.#English

\> 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 a…

If that analogy is remotely accurate, it strikes me as a strictly negative value proposition for the tool.

No, it needn't be.

Local archiving tool I've been testing: webchiver.com

Have violations of this license been successfully countered?

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 …

Can a person with amnesia understand themselves?

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 …

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. [0] https://e…

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 …

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 computati…

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.

Which is to say, language is a tool for rigorization.

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…

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 …

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 …

Thank you, this is a good resource.

> Communication is about being understood. > The subtext of "Academic content is usually in text, not video" is "I don't trust this because it's in video, not text". Now if you say…

At minimum, this does not capture that I _am_ challenging the Original Commenter ("prima facie suspect") to more rigorously defend his position, but doing so respectfully. "One sal…

My reply is an attempt to address the original comment with precision. To diagram its intended meaning: > alternative theories of consciousness "Any body of academic thought" [I ac…

Any body of academic thought whose paradigmatic communication medium is video rather than text is prima facie suspect. Might you please link a written statement of the salient posi…

> Every definition and theorem in mathlib and this project have been checked by Lean’s trusted kernel, which computationally verifies that the proofs we have constructed are indeed…