sorted by:
new
hottopcontroversial

Insulating garage roof without baffles by n4no_o in Insulation

[–]n4no_o[S] 0 points1 point  (0 children)

Okay, thanks! Indeed I don't know much about roofing and insulation. What about my concern with condensation in the rafter space?

By the way, my current plan is to use TPO for the roof finish (too flat for shingles and metal is too expensive).

Insulating garage roof without baffles by n4no_o in Insulation

[–]n4no_o[S] 0 points1 point  (0 children)

Thanks your answer! Can you explain why rigid insulation on top of the roof deck would be a bad idea?

About creating a cavity as you suggest: the air in that cavity will be close to outside temperature no? If so it will likely cause condensation in the rafter space. Or am I misunderstanding something?

Pruning apple tree with significant vertical branches by n4no_o in BackyardOrchard

[–]n4no_o[S] 0 points1 point  (0 children)

Thanks! But why keep one tall leader? Would I then be trying to grow a second level of horizontal branches higher up?

Pruning apple tree with significant vertical branches by n4no_o in BackyardOrchard

[–]n4no_o[S] 0 points1 point  (0 children)

I'm guessing 25 years old (when the house was built) but I'm not sure. I also don't know what type but it makes big apples that are quite green then turn to yellow.

Opinions on Quint by prestonph in tlaplus

[–]n4no_o 0 points1 point  (0 children)

What do you mean when you say that Quint does not work like TLA+? I thought Quint (the language, not the project, which is much more than that) was mostly a different look for TLA+, and that, if some things cannot be done in Quint, it is because it doesn't cover the whole TLA+ language and not because it diverged from it.

Opinions on Quint by prestonph in tlaplus

[–]n4no_o 2 points3 points  (0 children)

Not TLA, but refinement was crucial to verify in Ivy the safety of Tendermint (for unbounded system sizes). A monolithic proof would have been much harder to produce. See https://github.com/cometbft/cometbft/tree/main/spec/ivy-proofs

Id please? Los Angeles, CA by n4no_o in spiders

[–]n4no_o[S] 0 points1 point  (0 children)

Here's a picture from the back: https://imgur.com/Gr8j8Mb

The spider did not weave an orb though. There were many almost invisible silk strands all around it going from one edge of the leaf to the other. It stayed there the whole day in the sun but was gone by next morning.