Hacker News new | ask | show | jobs
by blainehansen 1483 days ago
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#isnt-is-undecidable-to-pr...