maximaximal

14 ms·

1.
Show HN: Miniexact – An efficient DLX Exact-Cover solver with a Python interface(github.com)
2 points by maximaximal 1y ago|0 comments
2.
by maximaximal 3y ago
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 other program and overwrite its read functions (and equiv
3.
by maximaximal 3y ago
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 s-expr that does not currently have some variable under that
4.
by maximaximal 3y ago
If you have another one to spare, I would also be happy about it!
5.
by maximaximal 4y ago
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 then we'd need to have some router. And if we designa
6.
by maximaximal 4y ago
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). Everything worked rather well, but I then decided a
7.
by maximaximal 4y ago
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, there are still quite a lot). All nodes inside the cluster talk
8.
by maximaximal 5y ago
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 at your builds. Truly impressive. https://www
9.
by maximaximal 10y ago
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 it to automatically build debian packag