undefined | Better HN

0 pointsyour-nanny7y ago0 comments

you are assuming that the reader is familiar with this specific understanding of "derive". someone not familiar with formal methods wouldn't.

0 comments

2 comments · 1 top-level

mlevental7y ago· 1 in thread

what other understanding of derive is there???

Derived data - e.g. indexes or summaries.

Derivative financial instruments - e.g. options, CDSs.

I'm sure there are many more examples.

j / k navigate · click thread line to collapse