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

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!!!