Viewing profile — maximaximal

I've been hacking on this project for quite a while and now finally released it on PyPI for Linux, MacOS and Windows! The release includes a binary (miniexact) that solves exact co…

We've built a tool using LD_PRELOAD that speeds up SAT and QBF solvers (but the same idea could be used to speed up other programs too). The idea is to fork, then LD_PRELOAD the ot…

Sounds quite a lot like the Common Lisp experience when using Sly and Emacs. You can (trace) every function and see lexical scopes of variables, even bind them if you execute some …

If you have another one to spare, I would also be happy about it!

Because we don't want to use 20 IPv4 addresses for the cluster of 20 nodes, when we only have so much addresses assigned to our institute. We could have gone the NAT route, but the…

Yes, I did this on my personal network. I'm in Linz (Austria), the nearest tunnel to a german speaking country that's listed on tunnelbroker.net was Berlin (if I remember right). E…

We are IPv6-only on our institute-internal CPU compute cluster based on slurm. Only the head node has an IPv4 address, so that it can be reached from IPv4 only clients (sadly, ther…

Very nice setup! As a sort of informal successor to dynmap, there's now (or rather since 1.13) also BlueMap [1]. It renders the map in 3D in the browser and you can look sideways a…

You could have a look at CPack: https://cmake.org/Wiki/CMake:Packaging_With_CPack It was created to be used with the C++ build system CMake, but can be used without it too. I use i…