Apple recently released an iOS Security white paper. It’s a worthwhile read for any iOS developer or user concerned about security measures in iOS.
Exploring Dependent Types in Idris
When I'm not coding the "impossible" at Art+Logic, I take a lot of interest in new programming technologies and paradigms; even if they're not yet viable for use in production, there can often be takeaways for improving your everyday code. My current...