open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them