Last week I attended a talk titled “How polymorphic types give rise to free theorems”, 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. =)
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.”
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! =)
Hey, I'm Aasemoon, and this is my blog which has been around since 1998. Childhood toy project that ended up growing up with me.
You can reach me here:
aasemoon.blue
Zorbas is my kitten. You can see some pictures of him below. =)
![global_87604912[1]](http://lh4.ggpht.com/-sPFknsdG2RI/Ufart3_6frI/AAAAAAAABLs/g9vK2DsVAd8/global_87604912%25255B1%25255D%25255B4%25255D.jpg?imgmax=800 "global_87604912[1]")
