Composing Ancient Mathematical Knowledge Into Powerful Bit-fiddling techniques Jamie Pond -- CppCon 2024TLDW; New insights from Ancient Egyptian Multiplication gives us the freedom of synthesising

conversion Cpp2: enum metafunction on an ordinary type Compile-time library, not baked-in → a more powerful language can be simpler Metafunction can: apply defaults, enforce requirements, and generate code conversion Cpp2: enum metafunction on an ordinary type Compile-time library, not baked-in → a more powerful language can be simpler Metafunction can: apply defaults, enforce requirements, and generate code today313233343536 But this is all the user had to write, they could directly express intent Names are powerful: To write a metafunction is to write a disciplined Word of Power for a set of defaults, requirements

Every monad is an applicative. Every monad is an applicative. Monad is "more powerful" than applicative. Monad is "more powerful" than applicative. 69.2A QUESTION OF POWER? A QUESTION OF POWER? Every monad monad is an applicative. Every monad is an applicative. Monad is "more powerful" than applicative. Monad is "more powerful" than applicative. You can do everything with monad that you can do with applicative Every monad is an applicative. Every monad is an applicative. Monad is "more powerful" than applicative. Monad is "more powerful" than applicative. You can do everything with monad that you can do with applicative

of the Israeli NB. • I’ve studied physics, I also love math.  2MOTIVATION • Templates are a powerful tool for C++ programmers. • Each C++ version has evolved templates, allowing better usage. • We’ll 2 3 4 5 6 7 8 9 10 ms Test Ev 1 vs. Ev 4 Ev 1 Ev 4TAKEAWAYS • Template metaprogramming is a powerful tool. • C++20 extends the vocabulary for template metaprogramming. • C++20’s Concepts & constraints template code. • Some more improvements are expected in the following years. 47 • C++20 added powerful compile-time tools, use them. • Let’s strive to extend the usage of templates!BOOKS 48LINKS •

❓static_assert(Template::Metaprogramming::is_powerful); // ✔ 3 / 58❓static_assert(Template::Metaprogramming::is_hard); // ✔ ❓static_assert(Template::Metaprogramming::is_powerful); // ✔ ❓static_assert(( T Template::Metaprogramming::is_easy and Template::Metaprogramming::is_powerful and Template::Metaprogramming::has_nice_error_messages and Template::Metaprogramming::is_fast_to_compile ) and

system. This makes transitioning architectures much easier, especially if the destination is more powerful. Were one to launch such a system nowadays, it would still be a Big Deal.Carroll, L. 1865. Alice’s quite powerful, and so are paravirtualization techniques.Valgrind A Framework for Heavyweight Dynamic Binary Instrumentation We focus on Valgrind’s unique support for shadow values—a powerful but previously

REVISITED STL ITERATORS ▸ STL iterators are a generalisation of array pointers ▸ Advantages: ▸ Powerful ▸ Low overhead ▸ “Natural” syntax ▸ Disadvantages: ▸ Iterators are just as unsafe as raw INDICES ▸ Index-based iteration dramatically reduces the potential for UB ▸ …but is still just as powerful ▸ The Big Idea: generalise iteration by index, rather than by pointer 24ITERATION REVISITED

book in Chinese: https://www.amazon.cn/dp/B00ETOV2OQ We build GPU compilers for some of the most powerful supercomputers in the world 4 © The Khronos® Group Inc. 2020 - Page 5 This work is licensed basic software layer at the bottom. New: One single application requiring all compute resources of a powerful multi-core CPU and possibly a number of auxiliary hardware accelerators. Fully fledged OS at the

tracers and domain-specific diagnostic tools (strace, wireshark, SQL analyzers...) • Comments • Very powerful tools for deterministic problems • Not always useful for non-deterministic problems, especially assertions or breakpoints • For deterministic problems with a large search area, this is a very powerful technique • Not always effective for non-deterministic problems 28CppCon 2021 – Back to Basics:

four different formats for UDL operators; each more powerful but more difficult to define than the one before. ■ The UDL system is extremely powerful and flexible. ■ Just as in the case of operator overloading