Post #4038753
2026-07-21 18:53 UTC
@sarahjamielewis@mastodon.social Instead of continuing the train wreck that is the former Netscape Navigator, I would appreciate a functional formally verified implementation. I'm very certain that maintenance of an implementation in dependent types (while requiring categorical knowledge) would turn out to be much, much less of a burden in the end.
Replies (1)
-
@dalias@hachyderm.io 2026-07-21 18:58
@brillenfux@mastodon.social @sarahjamielewis@mastodon.social Ok, let us know when you've got that ready for us and when it has even the bare minimum hardening features needed for usability (UBO support for starters) rather than being a tech PoC that just trusts sites to be acting in your interests.