They generate on a cron job every 15 minutes and I also pass the site through a Cloudflare cache because I'm cheap and the actual code runs on a $5 DigitalOcean box :-)