Post #2479119
2026-05-09 19:49 UTC
@soaproot@sfba.social @MartinEscardo@mathstodon.xyz Interesting! Do you know the story behind this?
Replies (1)
-
@soaproot@sfba.social 2026-05-09 20:15
@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz I do, but I'm not sure how relevant it is to your interest in parsing. The verifier I'm calling the slow one is https://github.com/metamath/metamath-exe and the one I'm calling the fast one is https://github.com/metamath/metamath-knife . The number one reason for the difference in speed, as I understand it, is that metamath-exe is single threaded (having been written before typical users had more than one processor) and metamath-knife is multi threaded.