dumps

My dumb solutions to some of the interesting questions

1> Is it possible to calculate information entropy?

https://towardsdatascience.com/the-intuition-behind-shannons-entropy-e74820fe9800

2> What is curry-howard isomorphism?

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence