Jeremy named his mice. The parents had been named 0 (zero) and 1 (one). The babies are Ada, Erlang, Eiffel, Perl, Pascal, Python, Ruby, and the currently unnamed female that Karl’s girlfriend is getting.
Tragically, three of the babies were lost. We’d like to post-humously name them ALGOL, BCPL, and APL.