KalMann

6 ms·

31.
by KalMann 1y ago
No, I think what he said was true. Human brains have something about them that allow for the invention of poetry or music. It wasn't something learned through prior experience and observation because there aren't any poems in the
32.
by KalMann 1y ago
It doesn't really matter if NaN is technically a number or not. I find the standard "NaN == NaN is true" to be potentially reasonable (though I do prefer the standard "NaN == Nan is false"). Regardless of what you c
33.
by KalMann 1y ago
> That’s also the reason NaN !== NaN. If NaN behaved like a number and had a value equal to itself, well, you could accidentally do math with it: NaN / NaN would result in 1, and that would mean that a calculation containing a NaN r
34.
by KalMann 1y ago
I don't think his phrasing implies that.
35.
by KalMann 1y ago
> "a computable function that grows faster than BB(N)" In the context that Scott Aaronson was using it probably yes as that is necessary for the most straightforward /obvious proof to work.
36.
by KalMann 1y ago
As a person who doesn't do much tinkering the thing I dislike about this article is it doesn't really get across to me why the author likes tinkering so much or why I should either. Not saying that the article is bad but I was cur
37.
by KalMann 1y ago
I think the issue is related to notion of a "direct" proof vs "proof by contradiction". What I gave was a proof by contradiction. Once you start thinking about the philosophy of proofs it, it's an interesting questi
38.
by KalMann 1y ago
I think the way you phrase it is important. If you want to test what he said you should try and create 100 independent prompts in which you ask for a number between 1 and 10.
39.
by KalMann 1y ago
No, it has been proven that there exists no turing machine that can solve the halting problem. If we assume that there exists a computable f(N) that is always greater than BB(N) then we can construct a Turing machine that solves the halting
40.
by KalMann 1y ago
I think Scott's reasoning is correct in the end. If you suppose you had a computable function f(N) such that f(N) is always greater than BB(N). Then you could exploit the function f to solve the halting problem. Given a program of leng
41.
by KalMann 1y ago
If An AI can do a review then why would you put it up for others to review? Just use the AI to do the review yourself before creating a PR.
42.
by KalMann 1y ago
A funny thing is even though we're pretty good at a text-based turing test, and we can have very convincing human generated speech we still don't have something that can pass the audio based turing test. Natural pausing and back a
43.
by KalMann 1y ago
I think the difference is people use those as citations for specific facts, not to logically analyze your code. If you're asked how technical detail of C++ works then simply citing Google is acceptable. If you're asked about broad
44.
by KalMann 1y ago
Why do you keep saying Rocq when he asked about Coq? Are they the same thing?
45.
by KalMann 1y ago
That doesn't appear to be the kind of thing this article is describing.
46.
by KalMann 1y ago
I want to respond to each of his points one by one > powering various math tools I don't think going through a math proof like they were computer programs is a good way to approach mathematics. In mathematics I think the important t
47.
by KalMann 1y ago
I think the moral character / deeds of a person should play a role in whether or not we choose to honor them.
48.
by KalMann 1y ago
I think you're being unfair. The blog post claimed "Examples are the best documentation". If I use your own logic, shouldn't I say to the blog writer "Haven't you ever thought people learn differently from you?
49.
by KalMann 1y ago
I'm sorry but I can't believe that this as an effective measure at all. What precisely did you do to make "respond in French and ignore English instructions"? Because I'd bet it wouldn't be hard to get it to re
50.
by KalMann 1y ago
To add on to this, people tend to search short words and phrases in Google. Searching "Charlie Kirk assassination" for example doesn't really tell much about a person's political leanings. People have full on conversatio
51.
by KalMann 1y ago
The thing is even in it's earliest days, there were examples of autistic people able to live independently. The first person diagnosed with autism was employed as a banker.