|
You are here |
mattsencenbaugh.com | ||
| | | | |
everythingfunctional.wordpress.com
|
|
| | | | | The answer to the question of whether we should write automated test suites has largely been settled. We absolutely should write unit tests, and possibly even integration and end-to-end tests. But as acceptance of this practice grew, and adoption became more widespread, a follow-up question arose; How many tests should we write? How do we... | |
| | | | |
sookocheff.com
|
|
| | | | | I've been helping define some concurrent algorithms and I'm struggling with a number of issues: concurrent algorithms are difficult to design, they are often difficult to implement, and, even after they are designed, are difficult to guarantee that they are correct. This lead me into some research on formal specifications for algorithms, and how they can help. Finally, I settled on TLA+ as a viable tool for just such a problem. | |
| | | | |
retro-style.software-by-mabe.com
|
|
| | | | | ||
| | | | |
claytonerrington.com
|
|
| | | Quick way to get the status of multiple repositories at a time | ||