News for hackers. Stuff that matters.
Re:Derive Yourself a Kalman Filter by your-nanny on Monday May 13, 2019 @08:46AM (#19898690)
you are assuming that the reader is familiar with this specific understanding of "derive". someone not familiar with formal methods wouldn't.
Re:Derive Yourself a Kalman Filter by mlevental on Monday May 13, 2019 @11:07AM (#19899998)
what other understanding of derive is there???
Re:Derive Yourself a Kalman Filter by coolgeek on Monday May 13, 2019 @01:06PM (#19901302)
Derived data - e.g. indexes or summaries.

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

I'm sure there are many more examples.