Viewing profile — banana_smoothie

From the previous blog post ("Part 1: The Pitch"[1]): > We hope that the Sealed Rust effort would be applicable to any developers working in safety critical software domains, such …

While true, this is also a much more modern problem than the authors of the US constitution were subject to. If you stab people, you can wipe the blood off the knife. If you shoot …

It's not especially relevant to this link, but I think this conversation needs a voice in favor of these "hallucinogenic" fish. All fish are living beings who should not be subject…

> such as (1/0).foo.foo (and yes you need the second .foo…) I don't understand the nuance here. In my Firefox developer tools, I can do the following: > (1/0).foo.foo ---> TypeErro…

Thanks!

The link to the paper[1] is a 404. Did anyone manage to grab a copy of the paper? I haven't thought about lattices since gradschool crypto classes, and was excited to see if I coul…

Correct! Seaweed is a complex algae. Although much less common, seagrasses are true plants (which evolved from terrestrial plants like 100 million years ago). I can't think of any …

> I don't know at what elevation trees stop appearing This is known as the "tree line", and varies a lot based on particular location (due to sun exposure, climate, and plant speci…