November 27, 2022 at 3:56 PM
Ich bin Hinoki! (I am Hinoki!)
I'm mainly interested in theoretical computer science (formal verification, math behind cryptography, etc.), and I also do programming. Here to explore stuff and widen my interests.
Nice to meet you all!
I'm mainly interested in theoretical computer science (formal verification, math behind cryptography, etc.), and I also do programming. Here to explore stuff and widen my interests.
Nice to meet you all!







