Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
your-nanny
6y ago
0 comments
Share
you are assuming that the reader is familiar with this specific understanding of "derive". someone not familiar with formal methods wouldn't.
0 comments
default
newest
oldest
mlevental
6y ago
what other understanding of derive is there???
coolgeek
6y ago
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