gigabytes

gigabytes has asked 19 questions and find answers to 4 problems.

Stats

About

PhD student at the University of Udine working on computational complexity and logical expressiveness issues of temporal reasoning in AI.

gigabytes questions

Which is the most efficient way to extract an arbitrary range of bits from a contiguous sequence of words?
Why can't my trait template class lookup operator<< for llvm::StringRef?
Suggestion of an efficient SAT solver with good C++ interface (or: is Z3 good for me)?
What's the algorithm for 2:1 balancing a linear octree?
Does C++ guarantees it is safe to access adjacent elements of an array from two threads
Faking date/time of child process
How do I detect if my code is being compiled with -fno-exceptions?
How can I include a header file that contains `>` in its name?
Can I have a heap-like contiguous layout for complete trees based on a depth first order rather than breadth first?
Is calling std::min on an empty initializer list (and explicitly specifying the type) undefined behavior?

gigabytes answers

Constraints on a Haskell typeclass for the definition of a group
C++ Exception Throw/Catch Optimizations
On how to recognize Rvalue or Lvalue reference and if-it-has-a-name rule