What is code edition? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		NuclearPM 3 days ago \| parent \| context \| favorite \| on: F*: A general-purpose proof-oriented programming l... What is code edition?
		help

aleph_minus_one 3 days ago [–]

> What is code edition?

I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact