Wednesday, June 4, 2014

Bayesian framwork

Interesting application of bayesian framework.   Bayesian framework is interesting in context of functional programming, as it too, is all about compositional frame work.    Building a complex probabilistic model from observations, uncertainty about observations, and prior beliefs.

Search for the Wreckage of Air France Flight AF 447

Thursday, February 20, 2014

What is meaning of denotation semantic ....

An absolute not to be missed lecture by David Sankel: The intellectual Ascent to Agda.

He talks about Denotational Semantic and interestingly describing it as:  augmenting math to talk about meaning and then extend math to program in math.


Saturday, December 7, 2013

Origins of Functional Programming

A very nice talk  on origins of  functional programming.

Friday, October 25, 2013

Dedication!

In "The Lady Tasting Tea" the author (David Salsburg) talks about calculations done in a Statistical paper published in 1920s by R. A Fisher.   Mind blowing to think that he used this machine to do the tables and charts in the paper:



The author estimates it must have taken him 185 hours to prepare the tables.

Wednesday, October 23, 2013

Interesting use of probabilistic model

In these lecture the presenter describes a system of differential equation that is solved for a set of initial condition.   The results are used to build a probabilistic model, using the distribution of values and the probability model for state transitions in a dynamic model.   The dynamic network is then used to make inference on the system directly with out needing to solve the differential equation.

An interesting side note is that with deterministic differential equation describing a system (in this case a biological system) our observation of the state of the system is noisy and infrequent (once every 30 minutes).   Further justifying the probabilistic approach over a deterministic approach.