https://github.com/bytecodealliance/bytecodealliance.org/blob/gh-pages/_posts/2020-10-26-1-year-update.md has
the DSL Peepmatic uses makes some correctness issues impossible
The adjacent verbs make this hard to parse. Do you mean "using the DSL-Peepmatic makes some correctness issues impossible", or 'Peepmatic uses a DSL that makes some correctness issues impossible"? I think it's the latter. And maybe "eliminates some correctness issues" is better.
Solid progress, thanks for all you do.