Xarn

3,021
reputation
20
40

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.