Hacker News new | ask | show | jobs
by somecontext 155 days ago
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.