Post #4222990

2026-07-29 17:45 UTC

As previously stated, I am not the correct person to manage this project - I'm not even sure this should be a project - I just reached a point where I needed to do *something* and this is something. So I deeply encourage anyone who is at all interested in a potential future of a non-slop, human-centric web to dive in and contribute patches/ideas/feedback whatever (or do something else useful, like contribute to Servo) If we want that future we are going to have to build it.

Replies (3)

@brillenfux@mastodon.social 2026-07-29 18:32

@sarahjamielewis@mastodon.social When I was talking about verification I wasn't just messing around: I am perfectly certain that maintenance is not nearly as much of an issue with functional programming, and with MLTT, specifications are so strong that refactoring becomes massively simpler. The push to categorical principles could really mean, smaller teams can actually manage something like a browser. Of course it takes people to have that knowledge and to have that time ...

Open ##4224246
@mcc@mastodon.social 2026-07-29 21:29

@sarahjamielewis@mastodon.social I'm aware of one other successful patch along these lines (should be documented in the LibreWolf issue thread about what to do about Firefox AI). The main difficulty is in maintaining a patch over time. The proposed LibreWolf patch was probably not maintained after it was rejected. It may be easier to maintain long term if the patch is only kept against ESR (LTS)

Open ##4224247
@M0CUV@mastodon.radio 2026-07-31 13:03

@sarahjamielewis@mastodon.social Hi Sarah, thank you for starting this, I think it definitely does need to be a project. Too much un-coordinated work by disparate other teams , otherwise. It does need a team to do this though, I think - represented by members of all the current forks.

Open ##4292948