damn if only this language could be made to work with numbers we would really ha...

		rsoto2 31 days ago \| parent \| context \| favorite \| on: Toward automated verification of unreviewed AI-gen... damn if only this language could be made to work with numbers we would really have something. Let's ask an LLM about it