We are on Hacker News.... Indeed, Ada is named for Ada Lovelace, but Alice is named in honor of Lewis Carroll. We like math.