Apple boost App Store approvals →
A big win for everyone (developers, users, and Apple).
Is Android "Open"? →
In theory, I’m right there with you. The thought of a truly open mobile operating system is very appealing. The problem is that in practice, that’s just simply not the reality of the situation. Maybe if Google had their way, the system would be truly open. But they don’t. Sadly, they have to deal with a very big roadblock: the carriers. Read the whole post. Some of you might not know this if...
One of the main focus of my research is program correctness. How do we build programs that are correct? How to make sure we made the least number of bugs? How do we know the meaning of our syntax? Hopefully I contribute a little bit to the area when I finish my degree. One question that intrigue me (and probably many people) is: Can we build a program that can recognise mistakes made by another...