Streamlit is an awesome new tool that allows engineers to quickly build highly interactive web applications around their data, machine learning models, and pretty much anything. The best thing about… (more…)

A common applied statistics task involves building regression models to characterize non-linear relationships between variables. It is possible to fit such... (more…)

We’re excited to release a collection of Python tools that we’ve found ourselves returning to again and again. (more…)

At least not anytime soon! Let’s see why people think Python may be going away and what the actual data shows us. (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…)