Viewing profile — EzraVinh

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

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

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

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…

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" whe…

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