• 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 Hales et al. [12]. The 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 proving, we refer to Harrison, Urban, and Wiedijk’s highly informative chapter [14]. Lean Lean is a new proof assistant developed primarily by Leonardo de Moura (Microsoft Research) since 2012. Its mathematical

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

Guía de Referencia del Lenguaje PlantUML (Version 1.2021.2) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de uso uso • Diagramas de Clases • Diagramas de Objetos • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Despliegue • Diagramas de Estados • Timing diagram Los siguientes diagramas no-UML interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Diagrama de Gantt • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath

PlantUML Guía de Referencia del Lenguaje PlantUML (Version 1.2023.11) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de de uso • Diagramas de Clases • Diagramas de Objetos • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Despliegue • Diagramas de Estados • Timing diagram Los siguientes diagramas interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Diagrama de Gantt • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath

PlantUML Guía de Referencia del Lenguaje PlantUML (Version 1.2020.23) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de de uso • Diagramas de Clases • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Estados • Diagramas de Objetos • Diagramas de Despliegue • Timing diagram Los siguientes diagramas interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Diagrama de Gantt • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath

Guía de Referencia del Lenguaje PlantUML (Version 1.2021.2) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de uso uso • Diagramas de Clases • Diagramas de Objetos • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Despliegue • Diagramas de Estados • Timing diagram Los siguientes diagramas no-UML interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Diagrama de Gantt • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath

Guía de Referencia del Lenguaje PlantUML (Version 1.2019.6) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de uso uso • Diagramas de Clases • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Estados • Diagramas de Objetos • Diagramas de Despliegue • Timing diagram Los siguientes diagramas no-UML interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Diagrama de Gantt • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath

Guía de Referencia del Lenguaje PlantUML (Version 1.2019.1) PlantUML es un proyecto Open Source (código abierto) que permite escribir rápidamente: • Diagramas de Secuencia • Diagramas de Casos de uso uso • Diagramas de Clases • Diagramas de Actividades • Diagramas de Componentes • Diagramas de Estados • Diagramas de Objetos • Diagramas de Despliegue • Timing diagram Los siguientes diagramas no-UML diagram • Diagrama de Gantt • Mathematic with AsciiMath or JLaTeXMath notation Los diagramas son definidos usando un lenguaje simple e intuitivo. 1 DIAGRAMA DE SECUENCIA 1 Diagrama de Secuencia 1.1 Ejemplo