Viewing profile — js8

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…

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

> Now, no one does. Not true, AI does. It's AI job security...

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

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

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

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

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…

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

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. > Yo…

Why? A counterexample to P!=NP would be a polynomial algorithm for SAT. If it exists, it might be a constructible object.

I agree, counterexample to P!=NP would be great. I tried but it's a mess.

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

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

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…

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, propositio…

> The addition of the free market of labour cannot, on its own, result in loss of self-control by either party. I disagree with this, and it's less true in theory than in practice.…

> Not sure why this comment is downvoted I didn't downvote it (obviously), but, for starters, it confuses socialism with communism (and also makes a typical categorical error in as…

The parent post is not even the worst offender. In his (otherwise good) https://en.wikipedia.org/wiki/23_Things_They_Don%27t_Tell_Yo... , Ha-Joon Chang completely flips the meaning…

IMHO, we need programming (formal) metalanguage, not just another language. Something in which can express e.g. an architectural discussion with LLM. Natural languages are not logi…

Emacs is far from done. Scheduling things from it are already a feature, in the org-mode.

IMHO and IME, we need new programming language(s). I started on Pascal and C/C++. Then I moved to Python. It freed my mind from types, and I was able to think more high-level about…

Regarding encryption. Interestingly, US government also insisted on DES and AES being open standards, because using bad encryption did more harm than good.

Close can count in math - fuzzy logic and probability are a thing. But I think you have it backwards. Close doesn't count in IT security. "Almost secure" means unsecure. Security i…