anovick

OP seems not broadly applicative to corporate software development.

Rather, it's directed at the kind of niche, mission-critical things, that not all of which are getting the formal verification solution that is needed for them and/or that don't get considered due to high costs (due to specialization skill).

I read OP as a realization that the costs have fallen, and thus we should see formal verification more than before.

I understood it that way too. Only that it fails in that interpretation.

Just because currently the most popular method for parsing JSDoc utilizes TypeScript-related tooling doesn't mean we should associate them with each other.

To my previous example, an ISO C++ can be compiled by GCC but also can be compiled by Clang (and many other compilers).

That's absurd.

JSDoc is a comment formatting standard.

The tooling used to parse it is independent.

In the same vein, a file of ISO C++ (take any version) code is not "GNU C++".

Already-established top-of-the-market apps will not be dethroned overnight.

For them, it will be a slow death (e.g. similar to how Figma unseated Adobe in the digital design art space).

As for new app markets, you will surely see (compared to past generations) smaller organizations being able to achieve market dominance, often against much more endowed competitors. And this will be the new normal.

* Only in the U.S.

Is Turso open-source? is libSQL open-source?

> I'm not sure to which organisation you were referring [...] It's worth noting that there are a lot of external links [...] none looked at the surface level to be linked

Literally the first link in the README.

website -> Incubator -> "list of projects we’d love to get started!":

> ### Built with Israel

> Many companies and NGOs unwittingly use tools created by Israel

> ### BDS in your bank account

> Build an app that can apply BDS to your bank account.

or

website -> Blog -> "T4P Incubator Alum Boycat Is Teaming Up With BDS"

If you can't figure out what the first website link is in the README that's on you. I'm not gonna promote that hateful organization's website.

- The project's Github page links to an organization that promotes anti-Israel initiatives (BDS)

- The project's web page blocks users from Israel

- The project's developer delegitimizes Israel in response on HN

Surely we need more "context"

How does one use it to identify bounding rectangles of images/diagrams in the PDF?

In this multi-tenant arrangement, you run into synchronization problems.

Developers should expect users to connect to the service using multiple devices (clients).

AFAIK bare SQLite doesn't offer synchronization mechanisms between multiple SQLite instances.

I believe Turso offers some solution of this kind, but not sure if that's open source or not.