developing world, why it matters Mathew Benson About Me • I like C++! • I am a Graduate Computer Scientist(since 2007) • I have been working with and researching on computers and programming and how to practically measurements. It was born of my reflections after a long hard journey working with software both as a scientist, developer and as a user. 4• So I may not have some hard numbers, but I seek to appeal to our reflection One of us Must be as welcoming as possible to new users. • We need the perfomance benefits of C++ applied to where it matters most i.e. on Older, Cheaper Hardware to make computing more accessible to more

language be easy to describe, to learn, and to implement. On the other hand, these concepts have been applied “orthogonally” in order to maximize the expressive power of the language while trying to avoid Algorithmic Language ALGOL 68, section 0.1.2, Orthogonal design Dutch mathematician and computer scientist: • Numerical analysis • Programming languages • Design principles • Essential for design of complex How It Works™, and possible variations) • Is Highly Robust (correctly, properly, and robustly applied because we know what it solves and how to defend against edge cases) Thread-Stealing Work Queue

it presents to avoid undefined behavior in the C programs you write.” — Pascal Cuoq, Chief Scientist, Trustinsoft “An excellent introduction to modern C.” — Francis Glassborow, ACCU … “This is being Just Wrong” Not undefined  no time travel, or leaked secrets! A general tool, but first applied to… Reading uninitialized local variables is not undefined behavior in C++26! A C++26 compiler

Validity David Sankel | Principal Scientist CppCon 2023© 2023 Adobe. All Rights Reserved. Adobe’s Software Technology Lab Sean Parent Senior Principal Scientist Manager, Software Technology Lab Adobe Principal Scientist Software Technology Lab Adobe’s C++ Standardization Lead Dave Abrahams Principal Scientist Software Technology Lab Hylo Language Co-creator Nick DeMarco Senior Computer Scientist Software

Principal Scientist Manager, Software Technology Lab Adobe Veteran David Sankel Principal Scientist Software Technology Lab Adobe’s C++ Standardization Lead Dave Abrahams Principal Scientist Software Software Technology Lab Hylo Language Co-creator Nick DeMarco Senior Computer Scientist Software Technology Lab Photoshop iPad Async Dev Education Tooling/ Libraries ResearchDocumentation > Code

With the caveat that there’s no reason anybody should care about the opinions of a computer scientist/mathematician like me regarding software development, https://www.informit.com/articles/article With the caveat that there’s no reason anybody should care about the opinions of a computer scientist/mathematician like me regarding software development, let me just say that almost everything I’ve

CPPCON 2023 AURORA, COLORADO NEVIN “:-)” LIBER Computer Scientist nliber@anl.govWHO AM I? ▪ Argonne National Laboratory ▪ Computer Scientist ▪ Argonne Leadership Computing Facility ▪ C++, SYCL, Kokkos

about them; familiarize yourselves with some areas in which proof assistants are success- fully applied, such as functional programming, the semantics of imperative programming languages, and mathematics; then K 1 = (λy : Z, 1) and (K 1) 0 = 1. The function K in K 1, which is applied to a single argument, is said to be partially applied. 1.1. Types and Terms 5 Currying is so useful a concept that we will only applies to x s but not to other lists. In particular, this ensures that the lemma will not be applied to x :: x s, which could lead to a circular argument: “To prove reverse_append (x :: x s), use reverse_append

Center, 10100 Burnet Rd, Austin TX 78758, eijkhout@tacc.utexas.edu Victor Eijkhout is a research scientist at the University of Texas at Austin. His interests include numerical algorithms and parallel computing

(in Nim) During the night, deep learning and numerical computing developer (in Nim) and data scientist (in Python) You can contact me at mamy@numforge.co Github: mratsim Twitter: m_ratsim 2 Where