Chattered

12 ms·

91.
by Chattered 13y ago
It's standard to use a verifier to check the correctness of a computer program, by encoding the program and then doing proofs about it. As per Goedel, a verifier can't check the correctness of its own program. So they'll alwa
92.
by Chattered 13y ago
The original article is about a potential mathematical revolution, where computer verified proof has gone mainstream. The stuff about using weaker axiom systems, or getting theorems without needing AC is interesting, but I'd argue it i
93.
by Chattered 13y ago
The fact that the original article wasn't even that original and was poorly written just makes this sad. Perhaps journalists just want to jump on anything that goes viral for no reason.
94.
Tech journalists can't write original content(coding2learn.org)
12 points by Chattered 13y ago|4 comments
95.
by Chattered 13y ago
Not to mention the fact that aleph isn't anything. The alephs are indexed by ordinals, the smallest being aleph_0. Because of this mistake, I shall dismiss all arguments made in the blog post.
96.
by Chattered 14y ago
Unless you are conal, himself, I demand an acknowledgement! http://conal.net/blog/posts/the-c-language-is-purely-functio... 1 minute behind kenko! :P
97.
by Chattered 14y ago
Reasoning is overrated, IMO. As Heinlein put it, "Man is the rationalising animal", and the best rationalisers, when depressed, are the best at digging themselves into a hole.
98.
by Chattered 14y ago
> Sorry for getting so personal, but I simply can't take any of the comments that say "just get over it." Depression is as real and as disabling as being paralyzed; it may not happen to everyone, but to say things like, "You need to be
99.
by Chattered 14y ago
Whenever I used to replay the original Half-Life (I think I've completed it 5 or 6 times), I would get as far as Lambda Complex, pretend that was where the game finished, and promptly stop playing. I think plenty of us hated the Xen levels,
100.
by Chattered 14y ago
> Syntax is mostly a matter of preference. And to paraphrase Feynman, mathematics is mostly the invention of better syntax. One thing I'd say which distinguishes Haskellers is that they see their programming language as a piece of mathe
101.
by Chattered 14y ago
> I'm still looking for someone who can present a cogent explanation of monads using only Python. Personally , I don't do monads in any other language than Haskell. I find monads painful even in Ocaml. I'm pretty stupid as a programmer