pls pls pls go for one of those languages with some level of formal verification...

		ArtixFox on July 2, 2024 \| parent \| context \| favorite \| on: Ladybird Web Browser becomes a non-profit with $1M... pls pls pls go for one of those languages with some level of formal verification! it'd be soo cool to see a formally verified browser! But, ladybird is one of the coolest things I saw in 2024!!!