A new CLI for https://github.com/dirac-run/dirac and a paper that may or may not...

		GodelNumbering 2 days ago \| parent \| context \| favorite \| on: Ask HN: What are you working on? (June 2026) A new CLI for https://github.com/dirac-run/dirac and a paper that may or may not ever publish
		help