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 as: > Automotive (under safety standard…
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 someone, there was not a way to…
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 to exploitation for your personal…
> 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 ---> TypeError: (intermediate value).foo is…
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 could comprehend anything after 10 years.…
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 other submerged marine plants, and some…
> 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 species). Here's a wikipedia article which…
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 as: > Automotive (under safety standard…
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 someone, there was not a way to…
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 to exploitation for your personal…
> 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 ---> TypeError: (intermediate value).foo is…
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 could comprehend anything after 10 years.…
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 other submerged marine plants, and some…
> 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 species). Here's a wikipedia article which…