The differential fuzzing approach is clever — way safer than a big-bang rewrite. Running both versions in parallel to catch edge cases before switching over is how you actually ship rewrites without breaking production. The 160k to 90k LOC drop is impressive, but the real engineering win is the validation strategy.
On binary size, static linking with LTO should handle most of the bloat without needing custom stdlib builds.
Do you have any actual evidence that these types of services are being offered for that type of price point, though?
The reason I'm asking is that I actually believe the price point is much lower. It's probably much easier to get on the front page of HN of you time the submission + upvotes well enough.
On binary size, static linking with LTO should handle most of the bloat without needing custom stdlib builds.