The Importance of Getting in Front of Users

There's definitely like a couple of different ways you can go about it. One is to get some PhD students working on proving that like this or that solution will work and have these asymptotic properties. The other is to say we don't know if it'll work on much larger programs because those don't exist yet. What matters the most is getting in front of people and having people use it. Doesn't matter soundness matters but it doesn't matter at the limit right? If there's a very specific edge case that in practice no one runs into it's not really a goal of the language designed to solve that necessarily. For a language like rock that cares about being general purpose