permet de dessiner rapidement des: • diagrammes de séquence • diagrammes de cas d'utilisation • diagrammes de classes • diagrammes d'activité • diagrammes de composant • diagrammes d'état Diagramme de séquence ### 1.1 Exemples de base Le symbole -> est utilisé pour dessiner un message entre deux participants. Les participants n'ont pas besoin d'être explicitement déclarés. Pour cela peut améliorer la lisibilité du texte source. Ceci est uniquement vrai pour les diagrammes de séquences, les règles sont différentes pour les autres diagrammes. @startuml Alice -> Bob: Authentication

What's openEuler?  A community is a social unit (a group of living things) with commonality such as norms, religion, [Image](/uploads/documents/d/0/2/9/d029f296a83673afe74be454b02f2975/p2_1.jpg) ## openEuler Community ## What's open Euler? openEuler is an open source, free Linux distribution platform. The platform provides an

Opkg: Debian's Little Cousin Package Management on Embedded Alejandro del Castillo Chief Software Engineer ni.com  "package" is a package name and "ard" a dpkg architecture. apt-get install apt-cudf apt-get -s --solver aspcud install gdb ## Components • APT: we know this one. - APT is equipped with its own

# The Hitchhiker’s Guide to Logical Verification 2021 Standard Edition (October 13, 2021)  lean-forward.github.io/ l 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 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

# Google’s AngularJS Style Guide ## An AngularJS Style Guide for Closure Users at Google This is the external version of a document that was primarily written for Google engineers. It describes a recommended Javascript, the Good Parts as a counter.) ## 1 Angular Language Rules • Manage dependencies with Closure’s goog.require and goog.provide • Modules • Modules should reference other modules using the “name” compilation 4 Best practices links and docs ## 1 Angular Language Rules Manage dependencies with Closure’s goog.require and goog.provide Choose a namespace for your project, and use goog.provide and goog.require

# Google’s R Style Guide ## Google’s R Style Guide R is a high-level programming language used primarily for statistical computing and graphics. The goal of the R Programming Style Guide is to make our Functions: errors should be raised using stop() 3. Objects and Methods: avoid S4 objects and methods when possible; never mix S3 and S4 ## Notation and Naming ## File Names File names should end in .R and Ordering If everyone uses the same general ordering, we’ll be able to read and understand each other’s scripts faster and more easily. 1. Copyright statement comment 2. Author comment 3. File description

## What's new with GitOps and OpenShift Jonas Janz AppDev Solutions Architect https://github.com/pixeljonas ## What is GitOps? GitOps is when the infrastructure and/or application state is fully s/6/b/0/3/6b0355106b4ae0662ae5ab4727b3f265/p5_2.jpg) Operations ## KUBERNETES 101 Kubernetes (K8s) is an open-source system for automating deployment, scaling, and management of containerized applications • Deployment manifests are standard k8s manifests • Avoid duplication of yaml across environments ● Manifests should be applied with standard Openshift and k8s tooling ## Day 2 operations : All changes

## eBPF at LINE's Private Cloud eBPF Summit ## LINE • Messaging & many family services • 185 million global MAU • 3Tbps+ network traffic in total ## LINE  ## V erda: LINE's Private Cloud Service ## LINE Verda  FaaS ![Ima Balancer Service • Part of our private cloud service since 2017 • 5100 private, 760 public VIPs • k8s CCM integration (Type: LoadBalancer) ![Image](/uploads/documents/4/7/c/1/47c1b6963d9367e24dce72fc0416a7fe/p5_1

## +21 ## C++20's Calendars and Time Zones in MSVC ## MIYA NATSUHARA 20 21 October 24-29 # C++20's Calendars and Time Zones in MSVC # Miya Natsuhara ("MEE-yuh 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) ## Type 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?

## +23 ## Coping With Other People's Code ## LAURA SAVINO 20 23 October 01 - 06 Laura Savino, software engineer on Photoshop. Adobe ![Image](/uploads/documents/4/3/2/0/432017a4b8820699152c1d5a5eb7159d/p2_1 Friday 2:45pm, David Sankel "Better Code: Validity" ## A ## Coping with Other People's Code Adobe  ## my craftsman 7a4b8820699152c1d5a5eb7159d/p9_1.jpg) ## post-conference re-entry # Coping with Other People's Code ## post-conference re-entry ## coping is not rewriting 100% to your own tastes ## pragmatic abatement