Vibe-coded language port reportedly yields a 3x reduction in typechecking Β· Digg