Xarn

Xarn has asked 6 questions and find answers to 30 problems.

Stats

About

I am a researcher at Locksley.CZ, where I work on solving large-scale master-key systems using techniques from combinatoric optimization and classical AI.

I also maintain Catch2 and sometimes write a blogpost about things I've learned.

Xarn questions

Why using `std::reverse_iterator` doesn't invoke UB?
How can I check whether a member function has const overload?
Is there a way to check if std::random_device is in fact random?
How do I specify OrderedDict K,V types for Mypy type annotation?

Xarn answers

inline in C++ and compiler
output group of json objects on new line instead of single line
Logical !! versus nothing
Suggestion of an efficient SAT solver with good C++ interface (or: is Z3 good for me)?
What c++11 paradigm should I use to minimize memory-usage and minimize copying?
Why does std::accumulate behave like this with standard arrays?
sort eigen vectorXf in ascending order
Which array/list should I use?
Does the position of an asterisk affect pointers? [duplicate]
Is there a memory leak in this C++ move constructor?