Model Your Users: Algorithms Behind the Minuum Keyboard · HackerTrans