3 ms·Also is http://www.paulgraham.com/ http://www.paulgraham.com/ down for anyone else?by tomasien 12y agoAlso is http://www.paulgraham.com/ http://www.paulgraham.com/ down for anyone else?