• On Forking The Web

    From Ben Collver@3:633/10 to All on Tuesday, September 15, 2026 02:58:52
    On forking the Web by Rodrigo Arias Mallo, 2026-05-06 =====================================================

    Introduction
    ------------

    This document contains a set of informal notes on how to build an
    alternative specification to the Web, in such a way that hopefully
    prevents many of its drawbacks while still preserves many of the good
    points. This document is not an specification, and is therefore
    subject to change over time.

    The Web is composed of several components, each may need to be
    reviewed. For know let's focus on the HTML specification (18.3 MiB of uncompressed size as of 2026-05-06) and leave the rest for later.

    Goals
    -----

    Before building an specification, we should first have a clear list
    of goals that will drive the decisions on what should be part of the specification and what not.

    Simplicity
    ----------

    The whole specification must be simple and short, so that we can
    guarantee a diversity of browsers and other clients that can be
    created with low effort. Keeping things simple over time (decades) is
    very hard, if not impossible. One potential rule is to constraint the specification in length (bytes). We already use this technique in
    Dillo to restrict the release to fit in a single floppy disk, so we
    could use the same approach. Using the limit as 1.44 MiB of a
    compressed tar.gz with the complete specification.

    Semantic versioning
    -------------------

    The current "Web specification" [1] is a page that changes roughly
    weekly. This makes it imposible to program a client that conforms to
    the specification without constant changes. Instead, the
    specification should have a very precise semantic version like 1.2.3,
    so that we know that a page that conforms with the version 1.2.3 can
    be correctly render by a browser that supports 1.2.3, 1.2.0 or 1.3.0,
    but not one that supports only 1.1.0 or 2.0.0.

    Having a semantic versions allows authors to focus on the standard
    instead of on the current state of implementation of a given web
    browser. For example, you could target the version 1.2.0 knowing
    that, say, 90% of the browsers support this standard.

    A published version of the standard NEVER, EVER, EVER, EVER changes.
    Typos are corrected by bumping the patch version number.
    Retro-compatible new features are introduced by bumping the minor
    version. And breaking new changes require a major bump. This implies
    that you can buy a printed copy of the 1.2.0 standard, and use that
    in a desert island to program a perfectly compliant browser that will
    remain forever able to correctly parse 1.2.X documents.

    Strict grammar
    --------------

    The specification must contain a non-ambiguous formal grammar that
    can be parsed easily. A page can then be tested against the standard
    and reject or accept as compliant. Pages that don't conform with the specification won't be rendered. It is explicitly forbidden for
    clients to accept any page that doesn't conform with the
    specification. This prevents the standardized diabolic rules that one
    must implement in order to correct a broken page, and forces the
    specification to correct its own mistakes in a later version.

    Having a strict grammar will likely cause humans to migrate to a
    language that is easy to write and is more forgiving (for example
    Markdown), and this is the intended effect. The objective is that
    parsers can be simplified and the cost of creating tools that can
    manipulate the content is lowered.

    In particular, changes in the patch version number only change
    wording, the grammar is kept the same.

    Reusing HTML if possible
    ------------------------

    It would be nice to be able to build a subset of HTML so that it
    would work with minimal effort in already existing software. However,
    this may not be possible given the complexity of parsing HTML.
    Similarly, creating a formal grammar of an XML document is
    non-trivial. So it would need to be reviewed if HTML/XML is a
    suitable format for simple parsing.

    Resistance to standard capture
    ------------------------------

    One of the problems with the Web is that as soon as a monopolistic
    entity can build a mechanism to extract revenue from it, there will
    be an incentive to capture the standard and change it to for their
    own benefit. In the particular case of the Web, this has resulted in
    a standard that grows out of control in complexity so it increases
    the barrier of entry for new browsers and reduces the competition.

    I have some rough ideas on how to try to prevent this situation, but
    this would need to be studied more carefully from the point of view
    of game theory.

    Text first
    ----------

    The objective of the specification is to cover enough details to
    transfer information among humans, in very much the same way a
    printed book or article would do. Written text should be the
    preferred medium as it is the most versatile way to encode
    information as it can be translated, read aloud by a computer or
    stored in a compact amount of storage.

    Text should be able to wrap the screen size, so that the same
    document can be read both in small and large screens.

    No scripting
    ------------

    Adding scripting capabilities was a mistake, so we can avoid it now.
    This doesn't restrict users to have interactive programs. An example
    is an interactive map that is currently loaded in the browser using
    JavaScript so show a location of a place of interest. Instead, you
    can provide a Geo link [2] to open the location in any client that
    supports the protocol. Similarly, any client can use the tiles of
    your server, provided that there is an open specification [3].

    The advantage of using a native program to load a standardized file
    or URL is that it can be optimized to the device in use and prevent
    the "one size fits all" approach of many interactive Web pages.

    Non-goals
    ---------

    The objective is not to create a feature-by-feature clone of the Web,
    but to create an specification that allows humans to exchange
    knowledge, notes, and other forms of information without the imposed requirement of having to run a full blown VM to read it.

    Links
    -----

    [1] "Web specification"
    <https://html.spec.whatwg.org/multipage/>

    [2] Geo link
    <https://en.wikipedia.org/wiki/Geo_URI_scheme>

    [3] Tiled web map standards <https://en.wikipedia.org/wiki/Tiled_web_map#Standards>

    From: <https://dillo-browser.org/lab/web-fork/>

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From JJ@3:633/10 to All on Tuesday, September 15, 2026 11:31:19
    On Tue, 15 Sep 2026 02:58:52 -0000 (UTC), Ben Collver wrote:

    The current "Web specification" [1] is a page that changes roughly
    weekly. This makes it imposible to program a client that conforms to
    the specification without constant changes. Instead, the
    specification should have a very precise semantic version like 1.2.3,
    so that we know that a page that conforms with the version 1.2.3 can
    be correctly render by a browser that supports 1.2.3, 1.2.0 or 1.3.0,
    but not one that supports only 1.1.0 or 2.0.0.

    Web 2.0 shouldn't have existed.

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Lawrence D?Oliveiro@3:633/10 to All on Tuesday, September 15, 2026 07:42:58
    On Tue, 15 Sep 2026 11:31:19 +0700, JJ wrote:

    Web 2.0 shouldn't have existed.

    It?s great. It allows me to develop apps on a Linux system, with all
    the powerful tools available, and deploy them cross-platform with
    minimal worries. Basically all those non-Linux systems out there are
    doing nothing more than running web browsers -- the 21st-century
    equivalent of a dumb terminal.

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Ben Collver@3:633/10 to All on Tuesday, September 15, 2026 13:29:32
    On 2026-09-15, yeti <yeti@tilde.institute> wrote:
    Ben Collver <bencollver@tilde.pink> wrote:

    Text should be able to wrap the screen size, so that the same
    document can be read both in small and large screens.

    I near to only write for DIN-A4/US-Letter paper width and want to see my layout decisions being respected. The layout is part of my text as
    product. Often I even need to include source code. Reflowing that is
    more than just a simple nightmare.

    Simple fix: Add a flag to toggle reflow being allowed or not to the
    markup definition. Users may wish to override this and IMO they should
    be allowed to force reflow, but that way they kind of have been warned
    that the result may converge to being unreadable.

    I use a reflowing approach similar to markdown and the `par` command. Indentation indicates preformatted text. Otherwise it can be reflowed. Markdown ends paragraphs with \n. I hard-wrap paragraphs, separated by
    \n\n. `par` understands this.

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Dario Niedermann@3:633/10 to All on Thursday, September 24, 2026 03:47:44
    Ben Collver <bencollver@tilde.pink> wrote:

    On forking the Web by Rodrigo Arias Mallo, 2026-05-06
    [...]
    This document contains a set of informal notes on how to build an
    alternative specification to the Web, in such a way that hopefully
    prevents many of its drawbacks while still preserves many of the good
    points. This document is not an specification, and is therefore
    subject to change over time.

    I've always thought that the original sin of the http specification was
    stating that clients should ignore unknown tags.

    If I were to fork the Web, the 1st thing would be replacing that rule
    with: "clients *must* refuse to render any page containing non-standard
    tags".

    --
    Dario Niedermann -:- PGP key available at the best keyservers

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Lawrence D?Oliveiro@3:633/10 to All on Thursday, September 24, 2026 02:03:32
    On Thu, 24 Sep 2026 03:47:44 +0200, Dario Niedermann wrote:

    I've always thought that the original sin of the http specification
    was stating that clients should ignore unknown tags.

    If I were to fork the Web, the 1st thing would be replacing that
    rule with: "clients *must* refuse to render any page containing
    non-standard tags".

    Postel?s Principle: ?Be conservative in what you output, and liberal
    in what you accept?.

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Richard Kettlewell@3:633/10 to All on Thursday, September 24, 2026 09:00:40
    Lawrence D?Oliveiro <ldo@nz.invalid> writes:
    Dario Niedermann wrote:
    I've always thought that the original sin of the http specification
    was stating that clients should ignore unknown tags.

    If I were to fork the Web, the 1st thing would be replacing that
    rule with: "clients *must* refuse to render any page containing
    non-standard tags".

    Postel?s Principle: ?Be conservative in what you output, and liberal
    in what you accept?.

    Not sustainable as a general principle when there is any chance of
    adversarial input. Nevertheless, it?s appropriate in this case, and a
    browser that refused to render a page with a single unknown tag would
    quickly be dumped by users in favor of a more forgiving one.

    --
    https://www.greenend.org.uk/rjk/

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Nuno Silva@3:633/10 to All on Thursday, September 24, 2026 10:20:00
    On 2026-09-24, Dario Niedermann wrote:

    Ben Collver <bencollver@tilde.pink> wrote:

    On forking the Web by Rodrigo Arias Mallo, 2026-05-06
    [...]
    This document contains a set of informal notes on how to build an
    alternative specification to the Web, in such a way that hopefully
    prevents many of its drawbacks while still preserves many of the good
    points. This document is not an specification, and is therefore
    subject to change over time.

    I've always thought that the original sin of the http specification was stating that clients should ignore unknown tags.

    What does HTTP have to do with the SGML descendant where tags are?

    If I were to fork the Web, the 1st thing would be replacing that rule
    with: "clients *must* refuse to render any page containing non-standard tags".

    I think you're missing the major point around which the web has been
    designed: graceful degradation, and compatibility. It is *intended* that
    HTML works that way, it is intended that it does not look the same
    everywhere, the point of it is to be accessible from a quite diverse
    universe of user-agents and platforms and machines.

    Also, you're missing something else in this sentence: you're wording it
    like a tag is either non-standard or known to the browser. You're
    ignoring the possibility a tag is standard, but from a newer version of
    the standard, or from a different standard than the ones the user-agent supports.

    --
    Nuno Silva

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Dario Niedermann@3:633/10 to All on Thursday, September 24, 2026 12:55:27
    Nuno Silva <nunojsilva@invalid.invalid> wrote:

    I think you're missing the major point around which the web has been designed: graceful degradation, and compatibility. It is *intended* that
    HTML works that way, it is intended that it does not look the same everywhere, the point of it is to be accessible from a quite diverse
    universe of user-agents and platforms and machines.

    I'm not missing it, I'm saying that - while certainly allowing for wider accessibility - that philosphy also turned the web into a mess. Graceful degradation has nothing to do with it: you could get that even with
    clients that refuse to render non standard-compliant pages, since
    supporting a tag doesn't imply rendering it in a certain way.

    you're wording it like a tag is either non-standard or known to the
    browser.

    Well... yeah? A browser that is compliant with a standard must know all
    the tags that are part of the standard. A different version of a
    standard is a different standard...

    You might want to try and understand other people's point before
    resorting to "you're missing" and "you're ignoring".

    --
    Dario Niedermann -:- PGP key available at the best keyservers

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Scott Dorsey@3:633/10 to All on Thursday, September 24, 2026 08:54:47
    Nuno Silva <nunojsilva@invalid.invalid> wrote:
    I think you're missing the major point around which the web has been >designed: graceful degradation, and compatibility. It is *intended* that
    HTML works that way, it is intended that it does not look the same >everywhere, the point of it is to be accessible from a quite diverse
    universe of user-agents and platforms and machines.

    Unfortunately most people missed that. The whole notion that html provides
    the data and the markup and the client browser provides the formatting
    has disappeared on the web today. Today the whole point is to do whatever
    it takes (standard or not) to force the browser to display everything exactly the way the designer wants. This has, if you ask me, destroyed much of the benefit.

    Also, you're missing something else in this sentence: you're wording it
    like a tag is either non-standard or known to the browser. You're
    ignoring the possibility a tag is standard, but from a newer version of
    the standard, or from a different standard than the ones the user-agent >supports.

    Designers no longer care about standards, they care about gaming the browser. --scott
    --
    "C'est un Nagra. C'est suisse, et tres, tres precis."

    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)