Ship Your Interpreter (via edoput) — discussion

#formalmethods #vibecoding