CppCon, September 2020 Neighborhoods Banding Together Reasoning Globally about Programs Lisa LippincottThe code here is written in a fantasy C++, with extensions supporting local reasoning.void foo()

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow maps origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow maps origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map's origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map’s origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map's origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map's origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map's origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map’s origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light

in other configurations, one might experience some banding patterns in the noise, where there are bands of high contrast areas followed by banding of low contrast areas. For instance, planar surfaces that are slightly tilted along one of the axis will have such a banding pattern. An example configuration where the noise have a banding pattern. This happens because the slight tilt along one of the Randomize the shadow map’s origin to create soft shadows. It needs a lot of samples to get rid of the banding. Light Threshold The minimum amount of light for a light to contribute for lighting. This light