Dontrememberit

The idea of this library is exactly to not use HTML ids (or css paths etc), but use instructions you could give to an human browsing the web (enter the page, press tab, type this..)

Which VPS?

Can you tell what area is this? Is it a backend service or something like software that runs on consumer's PCs?

Just add an ENV var containing a JSON with this metadata. There's tons of env vars that get ignored by programs that don't care about each specifically.

Hey, I hope you figure a way to back up this stuff, since phones are prone to be lost or stolen (or is it backed up automatically by Google or Apple?)

There's no need to get defensive over this. One can do both.

No, but they might pirate (but I bet yify is even worse)

Dependent types prevent infinite loops at compile time because if you have nonterminating terms, your types are unsound as a logic (you can derive true and false properties altogether)

That's because theorem proving with dependent types is based on the idea that you can prove something by providing a proof object that is a witness that what you want to prove is true. But a nonterminating function can fake it: you can write a function that promises a proof that something is true, while it never returns (so it never has to build a proof object). That way you can prove that false things are "true".

> I've been arguing lately that C++ should do something like this: Add a full-on theorem-prover to the language so that I can write my own safety rules specific to how my program works.

Did you take a look at ATS?

It appears to be offline.

Do you mean quality and quantity?

Your website layout breaks on mobile (width is too large)

What about optics?

Today an esp32 is more bang for your buck. 80mhz dual core, has wifi and bluetooth, and so on

Edit: and you can program it with the arduino IDE

One practical application is DRM

If Android is "Kotlin-first", why is flutter development done in Dart?