http://siddhartha-gadgil.github.io/blog/2014/03/18/foundations-objects/ 2014-12-30T18:06:52+05:30 http://siddhartha-gadgil.github.io/blog/2014/03/19/inductive-types-natural-numbers/ 2014-12-30T18:06:52+05:30 http://siddhartha-gadgil.github.io/blog/2014/03/21/dependent-function-types/ 2014-12-30T18:06:52+05:30 http://siddhartha-gadgil.github.io/blog/2014/03/22/fun-with-lists/ 2014-12-30T18:06:52+05:30 http://siddhartha-gadgil.github.io/blog/2014/03/26/logic-from-types/ 2014-12-30T18:06:52+05:30 http://siddhartha-gadgil.github.io/blog/2014/05/21/moving-blogs/ 2014-12-31T18:05:45+05:30 http://siddhartha-gadgil.github.io/blog/2014/12/31/quasi-literate-programming/ 2014-12-31T18:05:45+05:30 http://siddhartha-gadgil.github.io/blog/2014/12/31/linear-structure-implicits/ 2015-01-09T21:31:28+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/02/gradient-of-product/ 2015-01-09T21:31:28+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/02/differentiable-function-combinators/ 2015-01-16T16:52:29+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/07/blending-pruning-and-backprop/ 2015-01-09T21:31:28+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/09/feedbacks/ 2015-01-14T17:15:54+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/12/dynamical-actors/ 2015-01-14T17:15:54+05:30 http://siddhartha-gadgil.github.io/blog/2015/01/16/lambda-islands/ 2015-01-16T16:52:29+05:30 http://siddhartha-gadgil.github.io/blog/2015/09/02/andrews-curtis-first-run/ 2015-09-02T09:36:17+05:30 http://siddhartha-gadgil.github.io/ 2015-09-02T09:36:17+05:30 http://siddhartha-gadgil.github.io/blog/archives/ 2015-09-02T09:36:17+05:30 http://siddhartha-gadgil.github.io/robots.txt 2014-12-30T18:06:52+05:30