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…)
Read more »
Full Video: https://www.pscp.tv/Microsoft/1OyKAYWPRrWKb?t=29m19s Credits: Microsoft, OpenAI... (more…)
Read more »
Please consider making Pylance open source so other editors can leverage it. (more…)
Read more »
Recently, I was working with MapBox’s Route Optimization API. Basically, it tries to solve the traveling salesman problem where you provide the API with coordinates of multiple places and it returns a duration-optimized route between those locations. This... (more…)
Read more »