How is the Lean non-profit getting funded to be able to afford such great devs? ...

		jviotti 1 day ago \| parent \| context \| favorite \| on: Rosetta 2 creator leaves Apple to work on Lean ful... How is the Lean non-profit getting funded to be able to afford such great devs? How does that work in general?