before the loop, the loop must end.if ( b <= e ) { counting_theorem( b, e ); int i = b; while ( i != e ) ++i; } void counting_theorem( const int b, const int e ) interface { extend_stability b ( i != e ) { claim i < e; ++i; } }if ( b <= e ) { counting_theorem( b, e ); int i = b; while ( i != e ) ++i; } void counting_theorem( const int b, const int e ) interface { extend_stability b ( i != e ) { claim i < e; ++i; } }if ( b <= e ) { counting_theorem( b, e ); int i = b; while ( i != e ) ++i; } void counting_theorem( const int b, const int e ) interface { extend_stability b

the goal of providing a solid foundation for all of mathematics. In 1931 Gödel’s Incompleteness Theorem shattered the dream, showing that for any consistent axiomatic system there will always be theorems

Pointer to (virtual) Member Function 91 godbolt.org/z/jTqzxGeeoC++ Under the Hood Fundamental Theorem of Software Engineering: Any problem can be solved by adding a layer of indirection. 92C++ Under

conditions well • Could use a scoped lock or latch/barrier, but need application of DeMorgan’s theorem • Example: std::mutex lock[100]; // Needs to be an ‘inverted’ mutex … std::scoped_lock joint_lock(lock[1]

variables is approximately normally distributed. STABILIZER repeatedly randomizes layoutCentral Limit Theorem execution times are normally distributed The sum of a sufficient number of independent, identically

def confirmation(message): return args.force or ui.request_boolean(message) ui = UserInput(non_interactive=False) out = ConanOutput() remote = conan_api.remotes.get(args.remote) if args.remote else None classes to manage user input and user output: ui = UserInput(non_interactive=False) out = ConanOutput() • UserInput(non_interactive): class to manage user inputs. In this example we’re us- ing ui.request_boolean("Do proceed? (yes/no): in the command prompt. Note: you can use UserInput(non_interactive=conan_api.config.get("core:non_interactive")) too. • ConanOutput(): class to manage user outputs. In this example,

def confirmation(message): return args.force or ui.request_boolean(message) ui = UserInput(non_interactive=False) out = ConanOutput() remote = conan_api.remotes.get(args.remote) if args.remote else None classes to manage user input and user output: ui = UserInput(non_interactive=False) out = ConanOutput() • UserInput(non_interactive): class to manage user inputs. In this example we’re us- ing ui.request_boolean("Do proceed? (yes/no): in the command prompt. Note: you can use UserInput(non_interactive=conan_api.config.get("core:non_interactive")) too. • ConanOutput(): class to manage user outputs. In this example,

def confirmation(message): return args.force or ui.request_boolean(message) ui = UserInput(non_interactive=False) out = ConanOutput() remote = conan_api.remotes.get(args.remote) if args.remote else None classes to manage user input and user output: ui = UserInput(non_interactive=False) out = ConanOutput() • UserInput(non_interactive): class to manage user inputs. In this example we’re us- ing ui.request_boolean("Do proceed? (yes/no): in the command prompt. Note: you can use UserInput(non_interactive=conan_api.config.get("core:non_interactive")) too. • ConanOutput(): class to manage user outputs. In this example,

def confirmation(message): return args.force or ui.request_boolean(message) ui = UserInput(non_interactive=False) out = ConanOutput() remote = conan_api.remotes.get(args.remote) if args.remote else None classes to manage user input and user output: ui = UserInput(non_interactive=False) out = ConanOutput() • UserInput(non_interactive): class to manage user inputs. In this example we’re us- ing ui.request_boolean("Do proceed? (yes/no): in the command prompt. Note: you can use UserInput(non_interactive=conan_api.config.get("core:non_interactive")) too. • ConanOutput(): class to manage user outputs. In this example,

def confirmation(message): return args.force or ui.request_boolean(message) ui = UserInput(non_interactive=False) out = ConanOutput() remote = conan_api.remotes.get(args.remote) if args.remote else None classes to manage user input and user output: ui = UserInput(non_interactive=False) out = ConanOutput() • UserInput(non_interactive): class to manage user inputs. In this example we’re us- ing ui.request_boolean("Do proceed? (yes/no): in the command prompt. Note: you can use UserInput(non_interactive=conan_api.config.get("core:non_interactive")) too. • ConanOutput(): class to manage user outputs. In this example,