My name is Jip J. Dekker. Welcome to my corner of the internet! I am a researcher with a passion for programming languages and optimization. As a research fellow in the OPTIMA ARC training centre, my work at Monash University is twofold: to advance an industry-ready optimization toolkit, and apply these techniques in industry (with some wonderful PhD students).
This puts me in a unique position to work on MiniZinc, a solver-independent constraint modelling language. MiniZinc can create high-level models of optimization problems. The user can take advantage of a large library of pre-defined constraints that are automatically translated to a wide range of solvers, including CP, MIP, SAT, and SMT. I work both on the core MiniZinc language and its compiler, as well as transformations of MiniZinc models, and smart interfaces to its supported solvers to allow for, for example, incremental solving algorithms.
TLDR; I’m proposing a Homebrew tap to make it easier for users to install different MiniZinc solvers. The tap already contains many of the open source solvers that are current contenders in the MiniZinc challenge, and I’m hoping to add any others that fit the infrastructure. I will try to keep the solvers contained in the tap up-to-date, but contributions are always welcome. The tap can be found in this GitHub repository.
Last semester I had a chance to work with DTrace. In particular, I implemented custom DTrace instrumentation in Encore and Pony. Encore is a new programming language which extends Pony. The language is being developed at Uppsala University. In this blog I will explain why you want to use DTrace, how we use it, and how to add it to your application.