# Poster submission: Modern C++ for Parallelism in High Performance Computing Victor Eijkhout CppCon 2024 ## I ntroduction This poster reports on ‘D2D’, a benchmark that explores elegance of expression expression and performance in the context of a High Performance Computing ‘mini-application’. The same code has been implemented using a number of different approaches to parallelism. Implementations are discussed discussed with performance results. ## Relevance C++ is making inroads into HPC / Scientific Computing, a field traditionally dominated by C and Fortran. With all the developments in modern C++ such as

GOPHER CHINA 2020 中国 上海 / 2020-11.21-22 Go to the Cloud Why do people building cloud computing choose Go? Vladimir Vivien ’ alt=‘OCR图片’/> About Me Vladimir Vivien (@VladimirVivien) Staff Engineer author, technologist GOPHER CHINA 2020 中国 上海 / 2020-11.21-22 What is Cloud Native Computing? Cloud Native Computing A collection of technologies that automates the deployment and management of highly abstraction of compute resources to create dynamic and elastic infrastructures. What makes cloud native computing possible? Abstraction The ability of one technology to make it easier to use another technology

## Kubernetes for Edge Computing across Inter-Continental Haier Production Sites Jiyuan Tang & Xin Zhang tangjiyuan@caicloud.io zhangxin@caicloud.io ## 关于我们 • 开源技术创新者 • 从 Kubernetes 到 Kubeflow

Jupyter Notebook ### 1.1 Introduction The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing results. The Jupyter notebook combines two components: A web application: a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich MathJax. #### 1.1.2 Notebook documents Notebook documents contains the inputs and outputs of an interactive session as well as additional text that accompanies the code but is not meant for execution. In

## +23 ## Symbolic Calculus for High-performance Computing From Scratch Using C++23 VINCENT REVERDY ## Symbolic Calculus for High-Performance Computing from Scratch using C++23 Vincent Reverdy Laboratoire Computation, Joël Falcou and Vincent Reverdy, CppCon 2019 ## Hypothesis This is the Scientific Computing Track so you all know about optimization, performance, parallelism, ... ## What this talk is not not about ■ Complicated maths (you are smart people, you can do it yourself) ☑ High-performance computing (you all know about it + see the 2019 talk for that) Benchmarks, assembly, and optimization (see

JUPYTER NOTEBOOK ### 1.1 Introduction The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing results. The Jupyter notebook combines two components: A web application: a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich MathJax. #### 1.1.2 Notebook documents Notebook documents contains the inputs and outputs of an interactive session as well as additional text that accompanies the code but is not meant for execution. In

The Jupyter Notebook ## I ntroduction The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing results. The Jupyter notebook combines two components: A web application: a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich mathjax.org/]. ## Notebook documents Notebook documents contains the inputs and outputs of an interactive session as well as additional text that accompanies the code but is not meant for execution. In

Addresses ..... 289 21.7 Asynchronous I/O ..... 289 21.8 Multicast ..... 290 22 Parallel Computing ..... 292 23 Asynchronous Programming ..... 293 23.1 Basic Task operations ..... 293 23.2 Migration ..... 308 24.11 Safe use of Finalizers ..... 308 25 Multi-processing and Distributed Computing ..... 310 25.1 Code Availability and Loading Packages ..... 312 25.2 Starting and managing worker 37.12 Asynchronous IO and concurrent synchronous writes ..... 473 37.13 Arrays ..... 474 37.14 Computing cluster ..... 476 37.15 Julia Releases ..... 476 38 Noteworthy Differences from other Languages

Views and the "with" rule 41 9 Theorem Proving 43 10 Provisional Definitions 48 11 Interactive Editing 52 12 Syntax Extensions 55 13 Miscellany 58 14 Further Reading 66 This is the Idris software. For a more in-depth introduction to Idris, which proceeds at a much slower pace, covering interactive program development, with many more examples, see Type-Driven Development with Idris by Edwin Brady executable called prog. • --check type check the file and its dependencies without starting the interactive environment. --package pkg add package as dependency, e.g. --package contrib to make use of the

Release 0.11 The Idris Community May 18, 2016 Powered by TCPDF (www.tcpdf.org) Contents 2 The Interactive Theorem Prover 1 Type Providers in Idris Tutorials submitted by community members. Note: The show DevTBitWidth ## The Interactive Theorem Prover This short guide contributed by a community member illustrates how to prove associativity of addition on Nat using the interactive theorem prover. First future releases the version string will differ: / ### 2.1 Explore the Context We start the interactive session by asking Idris to prove the hole $ r_{hs} $ using the command: p $ r_{hs} $ . Idris