In this blog, I will introduce my approach to automatic musical composition, including the theory, the algorithm, and a Python package implementation ch0p1n. (more…)
Read more »
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,... (more…)
Read more »
In this 20-min video, we will start with writing a simple unit-test for an addition function using unittest standard library and then use the same concept an... (more…)
Read more »
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…)
Read more »