Anonymous 02/08/2018 (Thu) 21:58:57 No.12364 del
>>12362
>a nice problem to have
Not really, I'd like to be here all day long...
>What do you do?
Videomaking and stuff like that. I would like to get into formal proof/verification, though. Maybe in the next years following.