nano-nugget of wisdom: ping with timestamp

On your Linux/Mac terminal, just type or paste:

ping google.com | while read pong; do echo "$(date): $pong"; done
And voila.