SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).
This profile is from a federated server and may be incomplete. Browse more on the original instance.