Thanks for sharing. Do you have an estimation of LoC? I know it's a BS indicator...

		markus_zhang 10 months ago \| parent \| context \| favorite \| on: Rosetta 2 creator leaves Apple to work on Lean ful... Thanks for sharing. Do you have an estimation of LoC? I know it's a BS indicator but just curious. I'd imagine it's something difficult but not too large.