js8

6 ms·

61.
by js8 2mo ago
I don't think you understand what I mean by public social graph. What I mean is that anybody could publish or withdraw statements of two forms: - "I, owner of account A, certify that owner of account B is human." - "I, o
62.
by js8 2mo ago
I don't understand why people who don't like fake news and manipulation won't embrace the social graph as a public good. If enough people were willing to publicly certify that their fellow contacts are human, anybody could th
63.
by js8 2mo ago
They are not saying what the cause of the "downplay" is. It might be as simple as when scientists speaks publicly and present a consensus, they will stay on the safe side and give conservative estimates.
64.
by js8 2mo ago
There's a lot of reasoning in the training data.
65.
by js8 2mo ago
Leadership is same as coding. Leadership: Given task to produce something someone wants (B), get an expert (A->B) who knows how get it from something you have (A). If such expert doesn't exist, build a team of experts A->C and C-
66.
by js8 2mo ago
Why would you want something you don't comprehend? How can you be sure it empowers you? I think perfect rationality doesn't exist, because it is rational to reject something that you don't understand. So rationality of a give
67.
by js8 2mo ago
I feel like if they were skills under a reasonable definition, you should be able to name an expert in these skills, and how do we know they are an expert. But I think you can't. It seems to me, instead, one is better at googling/
68.
by js8 2mo ago
Talking to an LLM is not a skill, just like using Google is not a skill. Why? One, the companies like Google or Anthropic or OpenAI are working hard for it not to be a skill. That's the whole point. Second, these system are opaque, so
69.
by js8 2mo ago
Actually, project managers could learn a lot from computer science. For example, on scheduling - kanban is the way to go (that's what OS is doing), scrum is BS. Or on planning - planning has a cost which decreases the total throughput.
70.
by js8 2mo ago
Yes. In type theory, the term carrying a type is a metalogical notion. In triage calculus, you can define a typechecking program that operates on a quoted term and normalizes only if the term typechecks. This means in triage calculus (unlik
71.
by js8 2mo ago
Yes, maybe.. I read it like a decade ago though, the AI didn't exist then. Although my current interest in triage and lambda calculus is also fueled by AI.
72.
by js8 2mo ago
Yeah, but a similar thing works with programs (terms in normal forms in triage calculus). There is equality of terms and equivalence with respect to beta reduction. (I used equal to mean the latter, this is colloquial, so I should watch my
73.
by js8 2mo ago
I tried to read HoTT. First chapter on type theory is great and pretty easy to follow. The second chapter, I got completely lost. I don't remember why, maybe they fixed it since. But I find univalence axiom intriguing. I am interested
74.
by js8 2mo ago
I am not surprised. Contrary to popular belief, free markets nor capitalism do not resolve tragedy of the commons; they just hide it in (negative) externalities. The biggest example is probably the CO2 emissions and global warming, but also
75.
by js8 2mo ago
Haven't really played CP2077 so I can't tell, but I was always of the impression that CRPG works best for fantasy or apocalyptic (System Shock, Fallout) genres because the world is typically much less complicated and the informati
76.
by js8 2mo ago
Some time ago, there was a comment https://news.ycombinator.com/item?id=48849015 I deeply disagree with the light vs dark framing. I think the real tension between "hacker languages" and "blub languages"
77.
by js8 2mo ago
> Now, no one does. Not true, AI does. It's AI job security...
78.
by js8 2mo ago
I am OK with reading (decently-written) papers, something that a graduate can read. I still don't think that AI is good at it. I am not sure what writeup you refer to. I have looked at proofs of 10 problems from Open AI written in Lean
79.
by js8 2mo ago
> AIs will become better at explaining math before they become better at doing math I am not so sure. I am talking about math with AI and I feel as a math teacher, it is terrible. It introduces new notation and concepts faster than I can
80.
by js8 2mo ago
Even if we look at crypto analogy, US government actually created an open standard of DES and AES, so they knew the argument. Maybe the crypto export controls were just a protectionist play with a fake explanation of national security. (In
81.
by js8 2mo ago
I agree, I think having our own arguments reviewed by an AI first would be a great way to improve online discussions. Also, people should use AI as a personal spam filter. However, this should be done with local AI, not an intermediary serv
82.
by js8 2mo ago
Not only that! LLM can also learn how to repeatedly apply f() for certain arguments, and run the shortcut. Sometimes, the shortcut learned is not actually repeated application of f(), which breaks semantic soundness of LLM's reasoning
83.
by js8 2mo ago
You are kind of ignoring the Dennett's idea of different stances: https://en.wikipedia.org/wiki/Intentional_stance You're looking at humans from intentional stance, but at LLMs from design stance, which would
84.
by js8 2mo ago
Sorry, it seems like nitpicking to me. You haven't shown my usage of the word counterexample is wrong, at all. I think a proven counterexample to Q is always a proof of not Q. > You can’t prove that two sets are the same by countere
85.
by js8 2mo ago
Why? A counterexample to P!=NP would be a polynomial algorithm for SAT. If it exists, it might be a constructible object.
86.
by js8 2mo ago
I agree, counterexample to P!=NP would be great. I tried but it's a mess.
87.
by js8 2mo ago
Ambition to help programmers understand logic and how it relates to their discipline. But maybe you're right, it cannot be (currently) done in 200 pages, although I hope somebody proves that wrong. It kinda reminds me of the debate whe
88.
by js8 2mo ago
Well, I was inspired by the top comment which said "doing logic surely feels like programming". Not a coincidence, they are a very same thing - CHI. Book on logic shouldn't beat around that bush (because frankly, mathematicia
89.
by js8 2mo ago
Yes, it's an academic work. But that's my point, somebody should popularize it among programmers, because the understanding of correspondence between a programming language and the metalogic we use to describe the problem (even wh
90.
by js8 2mo ago
Looks like a nice book, but.. I feel like no serious work with this ambition today should omit (maybe it is present, not sure from the ToC) the Curry-Howard isomorphism, propositions-as-types, and from it following the analogy between logic

More ›