Type Safety Courses and Certifications

NDC Conferences

C++ - Be Type-Safe - The Journey of Determining the Number of Elements in an Array

Explore implementing type-safe array size determination in C++ using constexpr, enhancing code robustness and compile-time error detection for critical systems.

• YouTube
• 53 minutes
• On-Demand
• Conference Talk

NDC Conferences

Type Safe C++? LOL!

Explore techniques for creating strong types in C++ to reduce bugs, improve clarity, and enhance performance. Learn about simple methods and advanced open-source libraries for implementing type safety.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

NDC Conferences

React Native Better Than Native

Explore React Native's advantages over native development, including faster edit-run cycles, type safety options, and cross-platform capabilities. Includes live app creation demo.

• YouTube
• 54 minutes
• On-Demand
• Conference Talk

NDC Conferences

Branching Out with Elm

Explore Elm's functional programming features while building a simple game. Learn about immutability, type safety, and increased predictability for web applications.

• YouTube
• 57 minutes
• On-Demand
• Conference Talk

NDC Conferences

Reactive DDD - When Concurrent Waxes Fluent

Explore Reactive software development for high-performance, scalable solutions. Learn to model business-driven systems with Domain-Driven Design, addressing distribution, concurrency, and latency challenges.

• YouTube
• 58 minutes
• On-Demand
• Conference Talk

Learn With Jason

Let's Learn Kotlin/JS - Writing Type-Safe JavaScript Apps

Explore Kotlin/JS with Sebastian Aigner: Write type-safe JavaScript applications using Kotlin's multi-platform capabilities. Learn to leverage Kotlin's features for efficient web development.

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Video

Black Hat

Writing Trusted Applications in Rust

Explore writing secure Trusted Applications using Rust's safety features. Learn about TrustZone, TEE protections, and practical examples to enhance application security.

• YouTube
• 47 minutes
• On-Demand
• Conference Talk

Persistent Memory Extensions to C++ Standard Libraries

Explore persistent memory extensions for C++ libraries, covering design decisions, implementation challenges, and interactions with existing standards. Learn about NVM technology and its impact on software development.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Rust

Type-Safe & High-Perf Distributed Actor Systems with Rust

Explore a prototype for a high-performance, type-safe distributed actor system in Rust, enabling complex and extensible distributed systems development with idiomatic code and efficient message handling.

• YouTube
• 34 minutes
• On-Demand
• Conference Talk

Rust

Diesel: Type-Safe SQL in Rust - A Choose Your Own Adventure Talk

Explore Diesel, a type-safe SQL library for Rust, through an interactive "Choose Your Own Adventure" talk covering app development, type system intricacies, testing, and code generation.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Rust

Rust - An Alternative to High-Level Programming Languages

Exploring Rust's potential as a high-level language alternative, focusing on type safety, performance, and complexity for application development beyond systems programming.

• YouTube
• 30 minutes
• On-Demand
• Conference Talk

Rust

WebAssembly with Rust - From Basics to Advanced Applications

Explore WebAssembly with Rust: fast, type-safe code for browsers and embedded devices. Learn basics, JavaScript integration, website building, and even control LEDs on a Raspberry Pi through live demos.

• YouTube
• 37 minutes
• On-Demand
• Free Video

Rust

Defense Against the Wrong Logic: Proactive Rust Coding - Rust Techniques and Patterns

Explore Rust techniques for safer coding, including new types, builder patterns, and input conversion. Learn to prevent logic bugs and strengthen assumptions for more reliable software.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Rust

RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story

Explore Rust's safety mechanisms, type system, and semantic interpretations. Dive into lifetime logic, sharing predicates, and Coq implementations of Cell operations.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Scala Days Conferences

Doubt Truth to Be a Liar - Non Triviality of Type Safety for Machine Learning

Explore type-safe feature engineering in Scala for machine learning, covering Shapeless, macros, and quasiquotes to enhance ML framework design and model accuracy.

• YouTube
• 52 minutes
• On-Demand
• Conference Talk