Quick Reference  Founder of the Belgian C++ Users Group (BeCPP) C++204 Agenda  C++23 Core Language  Explicit Object Parameters  if consteval  Multidimensional Subscript Operator  Attributes Attributes on Lambda-Expressions  Literal Suffix for size_t  auto(x): decay-copy in The Language  #elifdef, #elifndef, and #warning  Marking Unreachable Code  Assumptions  Named Universal Character Associative Containers Heterogeneous Erasure  Removed Features  Garbage Collection SupportC++23 Core Language6 Agenda  C++23 Core Language  Explicit Object Parameters  if consteval  Multidimensional

CppCon 2021 CppCon 2021 What’s New In ‘ Visual Studio 64-bit IDE, C++20, WSL2, and More Marian Luparu (he/him) @mluparu Sy Brand (they/them) @TartanLlama C++ Product Team, Microsoft @VisualC https://aka much much more… https://aka.ms/cpp/code Thu 10/28 – 2pm An Editor Can Do That? Debugging Assembly Language and GPU Kernels in Visual Studio Code Julia Reid – _3 Visual Studio CppCon 2020 version 16.11, C++20 is now feature complete • All features under /std:c++20 switch are production ready including modules, coroutines, concepts • C++20 features awaiting DR resolution are available for now

What’s new with NativeScript! ? 2.3 is ready to rock! ? TJ and Jen ? @tjvantoll @jenlooper What’s new in…. • Core ? • Tooling ? • Plugins ? • Community ? • Apps ? Core ? Core ? • CLI updates Code Samples ? UI for NativeScript ??? • We already have... UI for NativeScript ??? • Dataform is new! Telerik Platform ? Plugins ? Plugins ? • 250+ plugins on npm! OAuth? • https://github.com/a

Version 1.0 - September 15, 2020 1 C++20 STL Features: 1 Year of Development on GitHub Stephan T. Lavavej "Steh-fin Lah-wah-wade" Principal Software Engineer, Visual C++ Libraries stl@microsoft.com @StephanTLavavej2 down the slide numbers • Part 0: Overview • What's happened in the last year • Part 1: C++20 STL Features • Everything here is Standard, except as noted • Part 2: GitHub Development • For contributors • github.com/microsoft/STL • Apache License v2.0 with LLVM Exception • Implemented ~50 C++20 features • Majority from our amazing contributors • Extensively reviewed and tested • Released VS 2019

Quick Reference  Founder of the Belgian C++ Users Group (BeCPP)3 C++20 C++20 is big! Lots of new features! On Friday September 4, 2020, the C++20 standard passed ISO voting, expected to be formally Small Standard Library Additions5 Agenda  New keywords:  concept  requires  constinit  consteval  co_await  co_return  co_yield  char8_t  New identifiers:  import  moduleModules7 Asynchronous I/O  Lazy computations  Event driven applications17 Coroutines  C++20 contains language additions to support coroutines  Standard Library does not yet include helper classes such as

Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background  Capability Distribution Language tools for seL4 https://github.com/seL4/capdl CapDL I. Background  https://sel4 Source: https://cacm.acm.org/magazines/2019/2/234352-a- new-golden-age-for-computer-architecture/fulltext Source: https://www.zdnet.com/article/risc-v-the- framework for complex embedded systems.  https://github.com/lowrisc I. Background  Key features:  https://renode.io/about/ 1.5.1 Src I. Background  https://github

path-sensitive static analysis • Path-sensitive checks in MSVC • A look under the hood • Upcoming features • Lessons learned2012 2014 2015 2016 2017 2018 2019 2019/2020 2020 2021 NowStatic Analysisint Simplifying C++: Thoughts on pattern Matching using `is` and `as – Herb Sutter Wednesday 27th • What's New in Visual Studio: 64-bit IDE, C++20, WSL 2, and more – Sy Brand & Marian Luparu Thursday 28th • Calendars and Time Zones in MSVC – Miya Natsuhara • An Editor Can Do That? Debugging Assembly Language and GPU Kernels in Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto

as embedded devices, IOS, Android, etc. It is an inevitable choice for our business to choose a language that can support multiple platforms. Share Logic 利用 Rust 重塑移动应用开发 Keystone App is a mobile application chart Rust FFI Rust FFI (Foreign Function Interface) refers to the ability of Rust programming language to interface with code written in other languages, typically C or C++. FFI allows Rust to call languages. - JNI JNI is an interface that allows Java to interact with code written in another language. Motivation for JNI is code reusability and performance. WIth JNI, you can reuse existing/legacy

io/async-book/04_pinning/01_chapter.html#why-pinning https://doc.rust-lang.org/beta/unstable-book/language-features/generators.html 生产实践 – Async lock Req0 Req1 Req2 Memory cache https://docs.rs/tokio/1.28

Background ERC Project "RustBelt" 2015-2021 Unlike C/C++, Rust is a safe language But, like C/C++, Rust is also an unsafe language There are guaranteed memory safety, thread safety, ... There are plenty of the Rust Programming Language. In POPL 2018: ACM SIGPLAN Symposium on Principles of Programming Languages Ralf Jung. Understanding and Evolving the Rust Programming Language. PhD dissertation, Saarland Concurrent Separation Logic Framework RustBelt: Securing the Foundations of the Rust Programming Language Coq Proof Assistant: A Formal Proof Management System built on top of built on top of Rust