trick Comparison Binding Constraints Architecture Substitution Construction Conclusion Symbolic Calculus for High-Performance Computing from Scratch using C++23 Vincent Reverdy Laboratoire d’Annecy de people, you can do it yourself) What this talk is A tutorial so you can build your own symbolic calculus tools from scratch in modern C++ CppCon - Vincent Reverdy - October 4th, 2023 - Aurora, Colorado Comparison Binding Constraints Architecture Substitution Construction Conclusion Concepts: the constructions (expressions) y(t) = a × sin (ω × t + ϕ) Symbolic expressions term: “a mathematical object”:

library for managing access to data shared between threadsLambda Expressions ● History ○ lambda calculus is a branch of mathematics ■ introduced in the 1930’s to prove if “something” can be solved ■ ■ used to construct a model where all functions are anonymous ■ some of the first items lambda calculus was used to address ● if a sequence of steps can be defined which solves a problem, then can a program other computer ○ yes, given sufficient time and memory ■ languages which were influenced by lambda calculus ● Haskell, LISP, and ML 5Lambda Expressions ● History ○ why do we use the terminology lambda

See the talk of last year for the implementation of this kind of expression templates: Symbolic Calculus for High-Performance Computing from Scratch using C++23, V. Reverdy, CppCon2023 CppCon - Vincent

return value complexity guarantees how many applications of comparison how many swaps/copies/constructions/conversions may vary by iterator category 56 . 1DOCUMENTATION DOCUMENTATION If we want an algorithm return value complexity guarantees how many applications of comparison how many swaps/copies/constructions/conversions may vary by iterator category exception behaviour 56 . 1ASIDE: RANGES ASIDE: RANGES

I write the cruelest code I can think of; then I turn around and embed that in even nastier constructions that are almost obscene. Donald Knuth, The Errors of TEX (1989)How do you test your software

feasible for virtually anyone with an idea. At the same time, performance convergence is shifting the calculus on model selection. The gap between the top-performing frontier models and smaller, more efficient