News for hackers. Stuff that matters.
Re:Verifying smart contracts in Libra’s Move language by compilers on Thursday September 12, 2019 @12:58PM (#20953738)
Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!

There are no comments on this comment yet.