• Friday 2:45pm, David Sankel "Better Code: Validity" AdobeCoping with Other People's Code Adobe 11my crafsman house Adobe 12my crafsman house Adobe 13my crafsman house old-growth cedar Adobe 15post-conference re-entry letdown Adobe 16post-conference re-entry Coping with Other People's Code Adobe 17post-conference re-entry coping is not rewriting 100% to your own tastes Adobe 18triage they also do things like speak up when they have a new solution, jump in and help fx someone else’s mess, and pass their learnings along to others" — Dr Cat Hicks, "Sense of Belonging and Sofware Teams"

Anne Baanen Alexander Bentkamp Jasmin Blanchette Johannes Hölzl Jannis Limperg The Hitchhiker’s Guide to Logical Verification 2021 Standard Edition (October 13, 2021) lean-forward.github.io/ logic earliest work in this area was carried out by Nicolaas de Bruijn and his colleagues starting in the 1960s in a system called AUTOMATH.2 Today, few mathematicians use proof assistants, but this is slowly changing history of proof assistants and interactive theorem proving, we refer to Harrison, Urban, and Wiedijk’s highly informative chapter [14]. Lean Lean is a new proof assistant developed primarily by Leonardo

12 C++20’s Calendars and Time Zones in MSVC Miya Natsuhara ("MEE-yuh Not-soo-HAR-uh") Miya.Natsuhara@microsoft.com Software Engineer, Visual C++ LibrariesWelcome to CppCon 2021! Join leap_seconds (https://youtu.be/WX3OmVu4lAs) • time_zone and time_zone_link (https://youtu.be/MODhhr7m-5s) • system_clock::now(), file_clock, leap second awareness (https://youtu.be/c7DT28TV0AY)9 Part II: Safety The “simple” calendrical types (e.g., day, month, year) are very straightforward – what’s the point in creating types for these concepts at all? Couldn’t we just use unsigned int for each

2024 Bloomberg Finance L.P. What’s Eating My RAM? CppCon 2024 September 17, 2024 Jianfei Pan Software Engineer, Portfolio/Risk AnalyticsA story 🚨 90% Memory Used: What’s that alarm? 🔍Back to basics: allocation troubleshooting & tools: Leak & Fragmentation🚨 90% Memory Used: What’s that alarm?🚨 90% Memory Used What’s that alarm? Consequences: ● Swap: performance degradation ● Out-of-memory (OOM) resources are shared by different processes🚨 90% Memory Used ~$ top -o RES What’s that alarm?🚨 90% Memory Used What’s that alarm? ~$ top -o RES🔍Back to basics: How does my code impact memory usage

VS Code @ CppCon 2024 What’s new for Visual Studio Code: Performance, GitHub Copilot, and CMake Enhancements (Provided by Conference)Meet the Speakers Sinem Akinci PM for C++ Copilot and CMake in in VS Code Alexandra Kemper PM for the C++ Extension for VS CodeAgenda: What's new in VS Code Faster Performance Smarter GitHub Copilot suggestions Easier to use Features for CMake & C/C++ Extensible Copilot solutions Wait I want to learn about Visual Studio! Check out the talk tomorrow @ 13:30 “What’s New in Visual Studio for C++ Developers” – Mryam Girmay & Michael PriceVS Code has a rich extension

__restrict a, int * __restrict b, int * __restrict c, int n) { for (int i = 0; i < n; i++) { a[i] = (b[i] - c[i]) > 0 ? (b[i] - c[i]) : (c[i] - b[i]); } }; Before movdqu xmm0 xmm0, xmm1 orps xmm0, xmm2 movdqu XMMWORD PTR [r10+rax-16], xmm0 cmp ecx, edx jl SHORT $LL4@s32_1; After vmovdqu xmm1, XMMWORD PTR [r10+rax] vpsubd xmm1, xmm1, XMMWORD PTR [rax] vpabsd xmm2 edx, 4 vmovdqu XMMWORD PTR [rbx+rax], xmm2 lea rax, QWORD PTR [rax+16] cmp edx, ecx jl SHORT $LL4@s32_1 ; Before movdqu xmm0, XMMWORD PTR [r11+rax] add ecx, 4 movdqu xmm1, XMMWORD PTR [rax] lea

Falcon Documentation Release 3.0.0b2 Kurt Griffiths et al. Mar 03, 2021 CONTENTS 1 What People are Saying 3 2 Quick Links 5 3 Features 7 4 Who’s Using Falcon? 9 5 Documentation 11 5.1 User Guide . . . . . 324 Python Module Index 327 Index 329 ii Falcon Documentation, Release 3.0.0b2 Release v3.0b2 (Installation) Falcon is a minimalist WSGI library for building speedy web APIs and app backends falcon.App() app.add_route('/quote', QuoteResource()) CONTENTS 1 Falcon Documentation, Release 3.0.0b2 2 CONTENTS CHAPTER ONE WHAT PEOPLE ARE SAYING “We have been using Falcon as a replacement for

Falcon Documentation Release 3.1.1b3 Kurt Griffiths et al. Nov 11, 2022 CONTENTS 1 Quick Links 3 2 What People are Saying 5 3 Features 7 4 Who’s Using Falcon? 9 5 Documentation 11 5.1 User Guide . . . . . 361 Python Module Index 365 Index 367 ii Falcon Documentation, Release 3.1.1b3 Release v3.1b3 (Installation) Falcon is a minimalist ASGI/WSGI framework for building mission-critical REST falcon.App() app.add_route('/quote', QuoteResource()) CONTENTS 1 Falcon Documentation, Release 3.1.1b3 2 CONTENTS CHAPTER ONE QUICK LINKS • Read the docs (FAQ - getting help - reference) • Falcon

The Falcon Web Framework Release v3.0b1 (Installation) Falcon is a minimalist WSGI library for building speedy web APIs and app backends. We like to think of Falcon as the Dieter Rams of web frameworks tiny server of mine and was ~40% faster with only 20 minutes of work.” “Falcon is rock solid and it’s fast.” “I’m loving #falconframework! Super clean and simple, I finally have the speed and flexibility test suite No dependencies on other Python packages Supports Python 3.5+ Compatible with PyPy Who’s Using Falcon? Falcon is used around the world by a growing number of organizations, including: 7ideas

Falcon Documentation Release 3.1.1b1 Kurt Griffiths et al. Nov 09, 2022 CONTENTS 1 Quick Links 3 2 What People are Saying 5 3 Features 7 4 Who’s Using Falcon? 9 5 Documentation 11 5.1 User Guide . . . . . 361 Python Module Index 365 Index 367 ii Falcon Documentation, Release 3.1.1b1 Release v3.1b1 (Installation) Falcon is a minimalist ASGI/WSGI framework for building mission-critical REST falcon.App() app.add_route('/quote', QuoteResource()) CONTENTS 1 Falcon Documentation, Release 3.1.1b1 2 CONTENTS CHAPTER ONE QUICK LINKS • Read the docs (FAQ - getting help - reference) • Falcon