Hacker News new | ask | show | jobs
by your-nanny 2594 days ago
you are assuming that the reader is familiar with this specific understanding of "derive". someone not familiar with formal methods wouldn't.
1 comments
mlevental 2593 days ago
what other understanding of derive is there???
link
coolgeek 2593 days ago
Derived data - e.g. indexes or summaries.

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

I'm sure there are many more examples.

link