re: I really like papers about type systems or programming languages, recently I read Extensible Records with Scoped Labels which is really good (I act...

waves hello fellow satellite engineer :)

I'm going to vote for Distributed Systems and Gamification, I used to work with a research team in BT looking at massive scale online games..

code of conduct - report abuse