Thanks for posting this to HN! Author here, happy to answer any questions.

(By the way, I did not originally start the project, though I've worked quite a bit on the safe abstractions that are mentioned in the roadmap).