Monthly Archives: June 2009

Don’t get in a flap

A while ago I read a thesis on Flapjax, a system for doing reactive event driven programming in javascript. There’s now a channel9 interview on this project which looks really interesting; sadly the interview doesn’t cover the project in much detail … Continue reading

Posted in Computers and Internet | Leave a comment

What difference does it make?

Categories For Types by Roy Crole Having read the Pierce book on category theory, I really wanted to see how category theory could be used for giving a denotational semantics to functional programming languages. This book was a great explanation … Continue reading

Posted in Books | Leave a comment

It’s one thing after another

Communicating Sequential Processes by C.A.R.Hoare In a continuing attempt to improve my knowledge of program semantics, I thought it would be a good idea to read this book before moving on to the pi-calculus. This book can be freely downloaded and the material is … Continue reading

Posted in Books | Leave a comment

What’s next?

Microsoft 2.0: How Microsoft Plans to Stay Relevant in the Post-gates Era by Mary Jo Foley   I wasn’t really sure what to make of this book. When it was talking about the history of the company and the characters … Continue reading

Posted in Books | Leave a comment

NxtGen Fest 09

Last Friday I attended the NxtGen Fest 09 event at Microsoft Research, Cambridge. This consisted of a day of generally interesting talks on a variety of topics.   The keynote and the first talk were on the subject of machine … Continue reading

Posted in Computers and Internet | Leave a comment

Divide

The other day, I was thinking through some of the interesting compiler tricks that I came across while working on Lisp compilers in the 1990s. One interesting technique was to convert division by a small constant into multiplication and shift … Continue reading

Posted in Computers and Internet | Leave a comment

What category would you place that in?

I’ve decided to spent some time reading up on denotational semantics and concurrency and as a prelude I thought it would be a great idea to read up on some category theory. Despite studying some algebraic topology at college, the course didn’t cover … Continue reading

Posted in Books | Leave a comment