Hacker News new | ask | show | jobs
by awesomekling 710 days ago
Yes, our next language will be a memory safe one.
1 comments
ArtixFox 709 days 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!!!

link