3 ms·
Where do you work that you get to write Lean? That sounds awesome!
by nomadygnt 10mo ago
Where do you work that you get to write Lean? That sounds awesome!
- infruset 10mo agoI can't disclose that, but what I can say is no one at my company writes Lean yet. I'm basically experimenting with formalizing in Lean stuff I normally do in other languages, and getting results exciting enough I hope to trigger adoption internally. But this is bigger than any single company!