Dates on pages is supposed to be handled by HTTP, but web browsers continue to be the worst UX ever, so nobody uses it. $ curl -s https://danluu.com/ | sed -

Dates on pages is supposed to be handled by HTTP, but web browsers continue to be the worst UX ever, so nobody uses it. $ curl -s https://danluu.com/ | sed -E 's/<div class=pd>([^<]+)<\/div><a href=([^>]+)>([^<]+)<\/a><\/div><div>/\n\1 \2 \3/g' | grep Integer 12/14 https://danluu.com/integer-overflow/ Integer overflow checking cost $ curl -sI https://danluu.com/integer-overflow/ | grep -i date date: Fri, 24 Jun 2022 19:00:30 GMT https://httpwg.org/specs/rfc7231.html#header.date https://httpwg.org/specs/rfc7231.html#header.date