Naughty Dog used Racket and their own in house lisp (prior to that) to write their games.

Could be mistaken but IIRC Jak and Daxter was the first console game to have a fully streaming world and they achieved it using a technique inspired by their hot reloading dev setups

Arc was ported to Common Lisp last year, but before that was Racket.

And HN is written in Arc.

So does the website you're on count as popular software?