Hacker News new | ask | show | jobs
by steveklabnik 3072 days ago
It also has possibly irreconcilable soundness issues :/

libfringe is another extremely interesting player in this space.
1 comments
stjepang 3072 days ago
I'd like to read more about those soundness issues - do you have a link?
link
steveklabnik 3072 days ago
see https://github.com/Xudong-Huang/may/issues/6 as one example
link