undefined | Better HN

0 pointsawesomekling1y ago0 comments

Yes, our next language will be a memory safe one.

0 comments

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

j / k navigate · click thread line to collapse

0 pointsawesomekling1y ago0 comments

Yes, our next language will be a memory safe one.

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

j / k navigate · click thread line to collapse