Z3 is a high performance theorem prover developed at Microsoft Research. Z3 is used in many applications such as: software/hardware verification and testing, constraint solving, analysis of hybrid systems, security, biology (in silico analysis), and geome... (more…)

Python modules such as Requests make it easy for Python to pull HTML from a webpage which you can feed to your parsing function. What becomes difficult is co... (more…)

As you can probably tell from the title in this post I will be toying around with python and sound to detect sound patterns. More… (more…)

Web development with Python, Django, Flask, SQLAlchemy, Vue.js, and reluctantly Node + React. (more…)

Your sync and async code can be identical, but still, can work differently. It is a matter of right abstractions. In this article, I will show how one can write sync code to run async programs in Python. (more…)