jpt4

6 ms·

1.
by jpt4 4mo ago
> a big blindspot for western science Which scientific tradition ought one consult where this subject has been foregrounded?
2.
by jpt4 11mo ago
> fe Interesting, I have never encountered this initialism in the wild, to my recollection: https://en.wiktionary.org/wiki/f.e.#English
3.
by jpt4 1y ago
\> 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 n
4.
by jpt4 2y ago
If that analogy is remotely accurate, it strikes me as a strictly negative value proposition for the tool.
5.
by jpt4 2y ago
No, it needn't be.
6.
by jpt4 2y ago
Local archiving tool I've been testing: webchiver.com
7.
by jpt4 2y ago
Have violations of this license been successfully countered?
8.
by jpt4 2y ago
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.
9.
by jpt4 2y ago
Can a person with amnesia understand themselves?
10.
by jpt4 2y ago
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
11.
by jpt4 2y ago
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://en.wikipedia.org/wiki/Decidability_of_fi
12.
by jpt4 2y ago
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 d
13.
by jpt4 2y ago
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 knowledgea
14.
by jpt4 2y ago
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.
15.
by jpt4 2y ago
It makes no objective sense at all, and merely reflects hypersensitive German policy regarding civilian ownership of anything resembling the means of force application.
16.
by jpt4 2y ago
Which is to say, language is a tool for rigorization.
17.
by jpt4 2y ago
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 t
18.
by jpt4 2y ago
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
19.
by jpt4 2y ago
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 exten
20.
by jpt4 2y ago
Thank you, this is a good resource.
21.
by jpt4 2y ago
> 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 that is not clear, sure
22.
by jpt4 2y ago
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 salient" written source is a carefully chos
23.
by jpt4 2y ago
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 accede the scientific legitimacy of the domain of
24.
by jpt4 2y ago
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 position(s) of any one of these gentlemen?
25.
by jpt4 2y ago
> 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 correct. From a foundational perspective, it is also imp
26.
by jpt4 2y ago
I would be interested in discussing your project further, for use on my e-bike.
27.
by jpt4 2y ago
The Gundam Hypothesis of the future of warfare: > The main use of the Minovsky particle was in combat and communication. When the Minovsky particle is spread in large numbers in the open air or in open space, the particles disrupt low-fr
28.
by jpt4 2y ago
Thank you.
29.
by jpt4 2y ago
"Hopping drones", with movement akin to the hunting method of robins [0], will be used as a kind of living minefield in military operations. When anti-air is absent/suppressed, they will engage in high energy aerial maneuvers
30.
by jpt4 2y ago
To which early heresy does this refer?

More ›