Zulip Chat Archive

Stream: lean4

Topic: lean startup time


Geoffrey Irving (Feb 21 2024 at 22:46):

Is there a project investigating lean startup time? Would be very hard to search for.

Marc Huisinga (Feb 22 2024 at 09:15):

What kind of startup time are you looking for, specifically? And what would you like to investigate?

Geoffrey Irving (Feb 22 2024 at 09:20):

Sorry, this was a dumb pun. It was in a thread about multiple projects called "lean sat", and someone noted that there is https://lean-sat.org. And if you search for lean startup...https://theleanstartup.com.


Last updated: May 02 2025 at 03:31 UTC