← Back to context Comment by awesomekling 8 months ago Yes, our next language will be a memory safe one. 1 comment awesomekling Reply ArtixFox 8 months ago 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!!!
ArtixFox 8 months ago 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!!!
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!!!