I remember him from Brilliant.org, saw him solving problems there.