35,230 reputation
53074
bio website
location Vienna, Austria
age
visits member for 3 years, 4 months
seen 3 hours 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).

3
6
votes
0
answers
215
views
1
4
votes
1
answer
100
views
1
2
votes
0
answers
107
views