Monday, July 29, 2013
HaskellerZ: How polymorphic types give rise to free theorems

Last week I attended a talk titled "How polymorphic types give rise to free theorems",global_87604912[1] which was basically an introduction to what's explained and elaborated in these two papers:
- Theorems for free!
- Free Theorems in the Presence of seq

As much as this has nothing to do with anything I do, I still find the topic quite interesting, and do recommend the papers to anyone with an interest in Haskell, coding in general or math. =)

Labels: , , , ,

Saturday, July 25, 2009
Evolution of a Revolution: Visualizing Millions of Iran Tweets

An article I just came across on ReadWriteWeb… very very interesting! 

“The proliferation of real-time search engines and trend monitors (sometimes referred to as "listening platforms") has thus far done little to address problems of this scale and importance. This is because they fail to provide context -- i.e. show how a new piece of information is relevant to what we've seen before and where it fits in the space of possibilities and relationships. For instance, if you are a programming director at CNN trying to discriminate between significant news and Internet memes, simply knowing that #iranelection is a trending topic doesn't tell you its relation to other topics or which communities are driving it -- both critical factors. One promising area is data-oriented user interfaces: data and algorithmic analysis in the back-end and direct visualization and navigation in the front-end. This the next stage of social information, slicing and dicing, mixing and matching, interpreting and analyzing, completely on demand. In this new landscape, the data is the interface. It's not just about sitting back and looking at pretty pictures. It is about setting aside stale UI metaphors and getting as bare-to-the-bone a human interface as possible for computation. The recently launched Wolfram-Alpha applies this principle to structured data. (Disclosure: I was a member of the core Wolfram-Alpha team and may continue to consult with Wolfram Research.) Real-time data streaming offers similar possibilities and opportunities. In this vein, let's outline some basic ideas and methods for giving context to the streams.”

 

Check out the complete article here: Evolution of a Revolution: Visualizing Millions of Iran Tweets

Labels: , , , , ,

Wednesday, March 25, 2009
New Approaches to the Modeling and Control of Complex Dynamics

A friend of mine had posted this video to my twine a while go, and I finally got a chance to watch it. I find it very interesting so I decided to share!

 
I also checked out the fold.it game mentioned in this video. Quite entertaining! =)

Labels: , , , , ,

 

Aasemoon, 1998-2014