About

I’m a PhD. math student and a functional programming enthusiast and this blog should reflect that.

My interests are a bit wide to make for a focused blog but fortunately recent developments in some areas of mathematics and computation will make it possible. Woot?

Well, in mathematics I’m mostly interested in geometry and topology, specifically algebraic topology. As for programming, I’m all for type theory, the theoretical foundation of functional programming languages such as Haskell, Ocaml, Idris and many others. The recent developments I mentioned have to do with something called Homotopy Type Theory. Fortunately for me, the first word comes from algebraic topology, thereby creating a beautiful connection between my interests.

I’m not saying I won’t ramble about anything else though.

 

Oh, and yeah, in case you were wondering where the blog’s name comes from — it’s very prosaic. There are shapes in geometry; computer programs have shapes; patterns and shapes guide our thinking. As Buzz would have put it, ‘Shapes, shapes everywhere’. I’ll just try to tell their story.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s