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...

Agree about global warming.

However, Fontainebleau forest has many pine trees.

In fact there is an invasive caterpillar there that lives in pine trees https://en.wikipedia.org/wiki/Pine_processionary

The caterpillars are also a consequence of warming.

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?

This seems like a great idea.

What reassurance can you offer devs that are hesitant to try a new data-store?

Hang on...

What if this happens?

1. User makes a mutation

2. UI updates instantly

3. User closes the app before sync happens

4. User comes back and is surprised to see that their mutation did not actually happen

The loading / error / success states in a UI serve a purpose.

If I use Google Search to do a search and I get an AI answer that I scroll past, do I count an AI user?

The numbers are not reliable.

On the other hand, the JVM spec may prohibit some optimizations you are after. It's very dynamic after all!

But if you could only achieve it by adding the shoe isn't that a bit hollow?

If you are a 3:02 marathoner in normal shoes then run a 3:00 in a super shoe, you are still a 3:02 marathoner in normal shoes.

> ad-hoc unions (on the fly from existing types) that are possible in F#

Are you sure? This is a feature of OCaml but not F# IIUIR

Is there Gemini support?