Tools that make it easier to do experiments are good, I tend to think too much and read too much but the only way to get better at programming is to put your ideas to the test and implement them (starting with simplified versions, i.e. experiments).
Modelling is something I want to get into, alloy and tla+ look like great ways to sketch out higher level ideas.
Tools that make it easier to do experiments are good, I tend to think too much and read too much but the only way to get better at programming is to put your ideas to the test and implement them (starting with simplified versions, i.e. experiments).
Modelling is something I want to get into, alloy and tla+ look like great ways to sketch out higher level ideas.