https://pinboard.in/u:lstrojny/public/ recent bookmarks from lstrojny 2014-12-20T18:20:56+00:00 http://neverworkintheory.org/ lstrojnycs engineering programming software research softwaretesting development https://pinboard.in/u:lstrojny/b:1f75c6969d05/ 2011-05-26T12:50:12+00:00 http://cstheory.stackexchange.com/questions/1168/what-papers-should-everyone-read lstrojnycs https://pinboard.in/ https://pinboard.in/u:lstrojny/b:4d49d4c5fc13/ 2009-10-28T22:29:55+00:00 http://cacm.acm.org/magazines/2009/10/42360-retrospective-an-axiomatic-basis-for-computer-programming/fulltext lstrojnydevelopment testing history correctness research verification cs https://pinboard.in/u:lstrojny/b:611e767f5145/