First of, so nice to see someone solving hard problem. Best of luck to you and your team.

Do you see the overcrowding of airspace as a concern at all?

Eventually, it might be. Currently, the US airspace system could handle ~10x the GA traffic we have today (I'm basing this on the fact that when we were building it up in the 70s, we were selling and flying ~10x more airplanes than we do today).

However, as we get to much larger scales, we can start using our aircraft to actually augment ATC to help handle the traffic. the airplanes can have more intelligent communication systems to coordinate with each other and the pilots and automatically send and receive data to/from ATC with digital comms rather than voice radio. That's an entirely separate project and company though when Airhart is a huge success and we hit this problem :)

Thanks I'm working on that right now actually. Users will be able to add custom css soon!

I actually run an app that does support mathematical documentation. I initially created it for mathematical publishing but didnt see enough interest so marketed instead as a generic document publishing app.

Would love to get your take on it - https://relentless.so

Fortunately for you money doesn't buy happiness and life has the same end point no matter how rich you are ::)

This is a but alarmist. Given that most of the world is 3rd world. Human birth rate will be fine for a good couple centuries.

Are there any plans to releasing a desktop app? It would be nice to combine the current use case with a "chat with my documents/pdfs" flavor as well.

Gabe/Akash will tell you their plans I'm sure, but I'm already using it to import PDFs and other documents via the web, so I don't feel the need for anything on the desktop. (A local version would be stupendous for client confidentiality, but I'm not holding my breath for that.)

Couldn’t have said it better myself! We do want to support a local version in the future as local models get better. However today you can upload PDFs. If there’s any other file types you want to upload let us know!

Seems very related to a recent podcast I listened to that said - "Increase in GDP is very tightly linked to increase in Diabetes and Heart Disease".