Type Safety Courses and Certifications

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

Strange Loop Conference

Making Webapps Collaborative with Composable CRDTs

Learn to create collaborative webapps using Compoventuals, a TypeScript library of CRDTs. Discover how to maintain data structure and type safety while enabling offline work, server-free collaboration, and end-to-end encryption.

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

Strange Loop Conference

Universal Reason

Explore building universal ReactJS apps with ReasonML, a typed language compiling to JavaScript. Learn language basics, library bindings, and full-stack development for modern web applications.

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

Web Dev Simplified

Learn tRPC in 45 Minutes

Explore tRPC's type-safe API interactions, from basic usage to advanced features like routers, procedures, middleware, and WebSocket subscriptions in this comprehensive tutorial.

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

Strange Loop Conference

Scala DSLs and Probabilistic Programming

Explore ScalaStan, a type-safe DSL for statistical modeling with Stan, enabling programmatic manipulation and generation of Stan programs within Scala for efficient Bayesian inference and data analysis.

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

ACCU Conference

Properties & Bindings for Modern C++

Efficient implementation of properties and bindings in modern C++ for simplified, declarative programming. Explores open-source, header-only solution for type-safe, dynamically bound properties.

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

ACCU Conference

Type Safe C++ - LOL

Explore strong typing in C++ for improved code clarity, bug prevention, and performance. Learn techniques and libraries for creating type-safe alternatives to typedefs.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Simple Code for a Type Safe World

Discover simple techniques for achieving type safety in configuration, process calls, and REST calls using vanilla Scala. Learn to enhance code reliability and convenience without complex libraries.

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

Scala Days Conferences

Herding Types with Scala Macros

Explore compile-time reflection in Scala macros for enhancing type safety in database interactions, focusing on implementation benefits and practical applications in production systems.

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

Scala Days Conferences

Full Stack Scala

Explore full-stack Scala development, including Scala.js for frontend, React integration, and strategies for managing complexity in modern web applications.

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

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

PyCon US

Using Declarative Configs for Maintainable Reproducible Code

Explore declarative configs for maintainable, reproducible code. Learn input formats, representations, deserialization, and type-safety. Discover strategies for evolving configs while preserving backwards compatibility.

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

CppNow

Library Approaches for Strong Type Aliases

Explore library approaches for creating strong type aliases in C++, addressing issues with built-in types and enhancing code clarity through domain-specific and use-specific classes.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Conference Talk

CppNow

Adventures in SIMD-Thinking

Explore SIMD capabilities in modern hardware, focusing on SSE, AVX, and AVX-512 instruction sets. Learn to leverage C++ for improved performance in real-world computing problems through vertical thinking.

• YouTube
• 1 hour 31 minutes
• On-Demand
• Conference Talk

CppNow

How I Learned to Stop Worrying and Love the C++ Type System

Explore C++ type system benefits, avoiding primitive types for domain values. Learn to implement wrapper types and use a framework for type-safe operators, enhancing code safety and clarity.

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