jpt4

Joined 13 years ago

Karma
316
Submissions
186
Member since
Sep 24
jpt4 at the Swiss, physics themed secure e-mail service.
View on Hacker News

Recent submissions

Comment · 5 months ago
> a big blindspot for western science

Which scientific tradition ought one consult where this subject has been foregrounded?

Comment · 1 year ago
Comment · 1 year 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 not enumerate the nuances of these structures, but am curious whether anything in particular is both interesting and missing from SLT.

Comment · 1 year ago
If that analogy is remotely accurate, it strikes me as a strictly negative value proposition for the tool.
Comment · 1 year ago
No, it needn't be.
Comment · 1 year ago
Local archiving tool I've been testing: webchiver.com
Comment · 2 years ago
Have violations of this license been successfully countered?
Comment · 2 years 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.
Comment · 2 years ago
Can a person with amnesia understand themselves?
Comment · 2 years 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 ongoing amnesia, unable to form memories which extend beyond a day's context window, would have no disadvantage in terms of self-understanding.
Comment · 2 years ago
Comment · 2 years 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 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?
Comment · 2 years 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 knowledgeable counterpart in the investigation.
Comment · 2 years 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.
Comment · 2 years 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.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton