InfoQ Homepage Coding Standards Content on InfoQ
Interviews
RSS Feed-
Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.
-
Rachel Davies on Whatever Happened to Being Extreme
An interview with Rachel Davies about extreme programming and agile techniques, good things that have happened since the agile manifesto was published, developments that give agile a bad name and things that can be done to prevent that people think badly about agile and start to resist it and how scrum teams can adopt more technical practices from XP.
-
Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+
Turing Award winner Leslie Lamport talks to Charles Humble about LaTeX, Paxos, his "Time, Clocks and the Ordering of Events in a Distributed System" paper, TLA and TLA+
-
Graham Lee on Application Security, Sandboxing on OS X, Mobile Application Development
Graham Lee discusses how to design and write secure (mobile) applications, the concept of sandboxing in general and on OS X, Objective-C and Smalltalk, and much more.
