It's challenging to understand your Python project as it gets larger and more complex. Even when you write the entire project, it's impossible to know how it works fully. Debugging and profiling your code is essential to better understanding it. (more…)

Counter Example Guided Abstraction Refinement (CEGAR) is a search strategy for either making a solver more efficient or extending it’s capabilities. One makes an abstracted problem (contains false solutions) of the problem at hand that a solver can handle... (more…)

There’s more to these little guys than meets the eye... (more…)

The book "Annotated Algorithms in Python" and the nlib.py library... (more…)

Six more examples of ways to refactor your Python code, and why they are improvements. (more…)