https://dekker.one The collection of writing by Jip about optimization, programming language, and general computer science Thu, 25 Jul 2024 07:31:04 GMT https://validator.w3.org/feed/docs/rss2.html https://github.com/jpmonette/feed https://dekker.one/favicon.ico https://dekker.one All rights reserved 2024 https://dekker.one/articles/2022-08-homebrew-minizinc https://dekker.one/articles/2022-08-homebrew-minizinc Mon, 15 Aug 2022 00:00:00 GMT [email protected] (Jip J. Dekker) https://dekker.one/articles/2017-02-custom-dtrace-instrumentation https://dekker.one/articles/2017-02-custom-dtrace-instrumentation Fri, 24 Feb 2017 00:00:00 GMT [email protected] (Jip J. Dekker)