madsbuch

66 ms·

1. 931.▲
   by madsbuch 10y ago

   We need to establish that all communication is the senders responsibility. In the case of CETA, bot parts are not senders. Only one part is. They have a clear obligations to let people know about updates and imprecision about their communic
2. 932.▲
   Proving Stuff in Haskell(madsbuch.com)

   2 points by madsbuch 10y ago|0 comments
3. 933.▲
   by madsbuch 10y ago

   Maybe we should instead look another way than constantly try to be evermore efficient?
4. 934.▲
   Formal proof of equivalence of Fibonacci functions(madsbuch.com)

   4 points by madsbuch 10y ago|0 comments
5. 935.▲
   by madsbuch 11y ago

   The differences you note are what I consider cultural differences. Math _indeed_ have the idea about interfaces and implementations. They are called something different (exitensisal types from a PL point of view). I will recommend you to lo
6. 936.▲
   by madsbuch 11y ago

   I completely agree on the culture point: Programming and math _is_ essentially the same (Curry Howard isomorphism) and the problems are indeed equally complex. The difference is that programming is driven on economical terms, hence agility,
7. 937.▲
   Type level Haskell-implementation of the Fibonacci function(madsbuch.github.io)

   5 points by madsbuch 11y ago|0 comments