nextInt

  the lexer can always tell with fixed lookahead whether `a-b` is three tokens or one

How does that work? It doesn't seem obvious to me?

I also wonder what approaches other languages have taken since I haven't seen dashed keywords in any of the other big languages.

Lol why should it be illegal? It's your service, you can block however you want

I attended a talk by Coinbase. They get A LOT of fraudulent activity (both high end and amateur). They have like 7-8 employees who handle all the manual aspects of user verification. So they have to rely heavily on automated solutions. I have never used them so I don't know how often they flag false positives but based on that talk I would at least qualify the statement with "it's a hard problem!"

No this is not websql. This allows remote hosting so data across multiple devices can be in sync

Lol SQL is making a comeback? It never left.

Except that the only evidence provided is Fuschia which is open source

This is a long blog post that talks about some drawbacks of this approach: https://tonyarcieri.com/4-fatal-flaws-in-deterministic-passw...

Before reading this I was convinced that stateless deterministic approaches like these was the ideal. But some arguments in that post changed my mind.