EzraVinh

4 ms·

1.
by EzraVinh 12y ago
I call this "Science of the Gaps". Where there is insufficient evidence to reach a conclusion, or to provide a mechanism for a process we know occurs, one is just made up (by non-experts seeking to bolster the image of science).
2.
by EzraVinh 12y ago
If it was generated by a physical process, it might be possible that the signal has lower entropy than a truly random signal. It would be interesting to look at n-gram frequencies. First you would have to extract the original digits. Sinc
3.
by EzraVinh 12y ago
I would say its a sliding scale, I don't think there is a sharp qualitative difference between Idris and Haskell. Haskell programs can also be thought of as proofs, namely proofs that the variables/functions you define have the t
4.
by EzraVinh 12y ago
But Haskell is also based on some type system, and yet Learn You a Haskell teaches Haskell without formally teaching this type system. I've been learning Idris and reading the HoTT book at the same time. I'm not sure what it woul
5.
2048 in Idris(github.com)
5 points by EzraVinh 12y ago|0 comments
6.
by EzraVinh 12y ago
I agree with your assessment on those two avenues. One thing that throws people off is that the AI/Machine Learning community is constantly selling their models as "human like" when the models are really only inspired by the
7.
by EzraVinh 12y ago
Actually, there are some areas where evolution still has an advantage. A biologist was explaining to me how artificial enzymes (man made proteins) can at best speed up a chemical reaction by 10^3 - 10^6, while natural enzymes typically spe