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