bhoessen

4 ms·

1. 1.▲
   Ask HN: What's your hardware capacity dedicated to test

   1 points by bhoessen 3y ago|0 comments
2. 2.▲
   by bhoessen 6y ago

   Because we don't have the same costs as in the US (university, healthcare, housing, ...). For instance, the cost to attend courses in a good university in Belgium is at most 835 euro/year [0]. (This does not include textbooks) In
3. 3.▲
   by bhoessen 8y ago

   The scenarios can be the following: timestamp are problem as soon as a drive is mapped from two different os without synced clock (happened to me with a virtualbox share). Taking care of compiler flags is important as you don't want to
4. 4.▲
   by bhoessen 9y ago

   What about performances versus minisat/glucose/lingeling/... Do you plan to parallelize it? If so, using which technique