Hacker News new | ask | show | jobs
by stjepang 3077 days ago
I'd like to read more about those soundness issues - do you have a link?
1 comments
steveklabnik 3077 days ago
see https://github.com/Xudong-Huang/may/issues/6 as one example
link