@hackerdocc : organizing a Formal Verification conference in early December in Florianópolis (BR) I already have a few speakers in mind that I intend to invite, but please hit me up if that's something you'd like to attend/speak at also, looking for sponsors 👀 • TwiCopy

Eduardo

@hackerdocc

+ Follow

0x19 yo ; currently typescript's most loyal soldier; prev SRE @bookingcom and Rust & cryptography @opactprotocol

ID: 1282422314802520064

linkhttp://hackerdo.cc calendar_today12-07-2020 21:11:29

5,5K Tweet

412 Takipçi

978 Takip Edilen

Eduardo

@hackerdocc

a month ago

organizing a Formal Verification conference in early December in Florianópolis (BR) I already have a few speakers in mind that I intend to invite, but please hit me up if that's something you'd like to attend/speak at also, looking for sponsors 👀

thumb_up_off_alt28

chat_bubble_outline1

repeat6

shareShare