let_rec

No, VC investment is rarely a loan. It's typically a purchase of stock.

It seems like this is a few things:

1. An Elm-like programming language that lives in .db files

2. A compiler from this language to strongly-typed database procedures in a target backend language

This has more in common with a semantic layer than an ORM.

What you gain is a shared language that connects the table definitions (say a SQL migrations folder) and your API language (often handwritten SQL). This can be type checked and optimized for you.

But for me the big question is what functionality do you lose? Can I express everything that PostgreSQL can?

HN is likely a better source than GH status...

To someone completely outside the field: why is creating a formal verification of an existing proof so hard?

1. Convert the natural language proof steps into formal language

2. Pass it to the solver to verify the steps

Genuinely curious!

> Nokia had active developer relations; at WhatsApp we were planning to build for the N9, but ended up not doing it, because the platform was cancelled before the retail release and the retail release was limited.

WhatsApp was on Windows Phone though.

Instagram was not on Windows Phone, which hurt it, but there is no indication it would have come to MeeGo either.

Why do people assume that MeeGo would have been a big success?

The post reads like someone who is quite upset but trying to maintain professionalism. The mask slips throughout.

The points seem valid, however, and I will likely steer clear of Bun.

Let's not forget the cryptocurrency play (Libra)

> Yes, Steam Machine is optimized for gaming, but it's still your PC. Install your own apps, or even another operating system. Who are we to tell you how to use your computer?

Valve gets it

Probably? Other clouds implement the S3 API

Does Homebrew have good support for exact (and older) versions of packages now?