Ty for the link. Do you have more material that helped you with your work on crux? And do you mind sharing?
And here are the slides for that talk, which include a few references: https://juxt.pro/hakan-raberg-the-design-and-implementation-...
Feel free to reach out to the team, or find us on Zulip/Slack, if you want to hear more or just chat :)