Ha, fair point — "every website" is the vision, 6 is the MVP :)
The adapter model is designed so adding a new site is a single YAML file (~30 min of work, or ~3 min with a coding agent). No Python code needed for most sites. PRs welcome if there's a site you'd want to see!
Not at all, Google's programmers are real people (I even know one!) and they're aware of feedback and usage, and someone real has to build the features. Moreover there's long historical precedent for features supported via extensions showing up in the core browser. Also it was a question rather than an assumption? I feel like I covered my bases on that one.
For pytoy - maybe. Me personally, would love LSP-sourced completion in jetbrains. This dump bot suggests compile errors, APIs sucked out of thin air and other model-sourced nonsense. It does NOT read my code as I read and navigate code.
> It captures the nondeterminism in the order of delivery of communications. The Subsequent transition captures fairness arising from the guarantee of delivery. We provide a denotational semantics for our minimal actor language in terms of the transition relations.
Juicy paper, not to mention the declassification. It really reminds me of asyncmachine.dev which has actors, relations, transitions, and embraces non-determinism.
reply