35,165 reputation
bio website
location Vienna, Austria
visits member for 3 years, 4 months
seen 3 mins ago

If you have been following me around, you know that my main interests are general topology, set theory, and destroying users who post nothing but inane gibberish. The last is certainly not the least!

Projects I'd like to spend some time on:

  1. replace all occurrences of "Erdös" and "Erdos" by "Erdős"
  2. completely separate the and tags (i.e., empty this list).

35,165 Reputation