banana_smoothie

4 ms·

1.
by banana_smoothie 7y ago
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 I
2.
by banana_smoothie 7y ago
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 associate a projectile with
3.
by banana_smoothie 7y ago
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 benefit.
4.
by banana_smoothie 7y ago
> 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 undef
5.
by banana_smoothie 7y ago
Thanks!
6.
by banana_smoothie 7y ago
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. :( [1]: http:&#x
7.
by banana_smoothie 7y ago
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 limited google
8.
by banana_smoothie 7y ago
> 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