Hacker News new | past | comments | ask | show | jobs | submit login

the system tries to generalize, so probably it choose something like \d+ (it is shorter)



Depending on unicode settings, \d != [0-9]. See:

http://stackoverflow.com/a/6479605/4359699




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: