lookup tables • Arrays are maximally space-efficient, very time-efficient • Sorted arrays: binary_search, lower_bound, equal_range • Now you can use constexpr algorithms • Easy: static_assert with constexpr { const string extension = ent.path().extension().string(); if (ranges::binary_search(skipped_extensions, extension)) { continue; } // ... } }15 edits that clang-format wants • Building all architectures is very fast • Testing x86/x64 takes about an hour • Many tests, multiplied by many compiler configurations42 Projects • Code Reviews (primary

Workstations“Automatic” programming (MBSE?) • For almost 40 years (from 1995), people have been writing about the generation of a program for solving a problem from a statement of the problem specifications Container scanning and monitoring service, and to monitor it more I need… • a Log Aggregation and Search service, but to install it I need… • root access on a bunch of servers, but I need more servers so

Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background Source: https://sel4.systems/About/seL4-whitepaper.pdf 1.2.1.2 Virtualization I. Background Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background  seL4 virtualization support with usermode VMMs Source: https://sel4.systems/About/seL4-whitepaper.pdf 1.2.1.3 Provable https://github.com/seL4/l4v Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background  Capability Distribution Language tools for seL4

existing project that has a meaningful amount of non-trivial code. • Provide some guidance to people about to embark on using CUDA to speed up existing software. Introduction 3 |void add_cpu(int n, float* = 2.0f; } add_gpu<<<1, 1>>>(N, x, y); cudaFree(x); cudaFree(y); } Questions About the Introductory Example? 8 |TEST_CASE("cppcon-1", "[CUDA]") { int N = 1 << 20; float* + block_size - 1) / block_size; add_gpu<<>>(N, x, y); // … } Ok, about the kernel parameters 9 |__global__ void add_gpu(int n, float* x, float* y) { int i0 = blockIdx

analytics Video streaming analytics Media & news analytics Social recommendations Classifieds. Dating Search engine optimization Telecom traffic analysis DPI analysis CDR records analysis Fraud & spam detection

производительностью? Взгляд с практической стороны Пара слов об инфраструктуре компании ● B2B search solution (Manticore-based) ● https://socialgist.com/ ● https://api.boardreader.com/docs/ ● 100+ серверов

团队成员来自清华、北大、人大、北邮等高校，对图技 术、存储技术充满热爱 Young 、 Passion 、 Techie About team 6 年 Rust 开发经验、用 Rust 写过操作系统 （ Occlum ）、编译器（ Rustc ），现在在用 Rust 写数 据库系统（ AtlasGraph ） About me About US shenyouren@stargraph.cn Join US Thank

diagnostics, ICE, Infra tools, code refactor, algorithms improvements Some PR stories • Rust cares about error messages • We are building a sufficiently empathetic compiler • It’s a trade-off Diagnostic the correct mismatch delimiter pairs Aha Moment! It's sad, but we need to remove feature We care about performance and dev experience • A lot of fun! A lot of open-source experience • 2023 Rust Foundation

Ru(@ruyingzhe), Tencent Liangyu Zhou(@choujimmy), Tencent Implement Kubernetes Runtime Based on Rust-VMM About Us Yingzhe Ru Senior Software Engineer at Tencent Working on TKEStack project, have great interest a new fully Rust-based runtime for edge computing • Support live migration Thanks! • Learn more about TKE https://cloud.tencent.com/product/tke https://github.com/tkestack/tke • Join us

optional_is_experimental 1 #endif #endif70  Supplies implementation-dependent information about the C++ Standard Library you are using  Example:  Version number  Release date  Copyright  phi  In std::numbers78 std::source_location   Represents information about a specific location in a source code  line, column, file_name, function_name  Construct one using