[gigaflop]

Haven't I seen you in ai03's Discord channel? I would have gone by a different name in there (this was from before the name change of the server, I think), but your handle is very familiar.

[stavros]

Hmm no, I don't know what that is.