Type Safety Courses and Certifications

ReasonML Programming - Full Course for Beginners

Comprehensive guide to ReasonML programming, covering basic to advanced concepts. Learn data types, structures, functions, and imperative features to build efficient, type-safe applications.

• freeCodeCamp
• 6 hours
• On-Demand
• Free Video

ChariotSolutions

Typesafe Design Systems: Building Scalable Component Libraries

Explore building scalable, flexible design systems using TypeScript. Learn type-safe utilities for consistent styling and reduced errors in large enterprise applications.

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

Web Dev Simplified

Learn Zod in 30 Minutes

Master Zod validation library for TypeScript, covering basic usage, types, validation, and advanced features to enhance type safety and simplify user data handling.

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

Security BSides San Francisco

Two-Faces of WASM Security

Explore WebAssembly's dual nature: its potential for malicious use in sophisticated attacks and the vulnerabilities it introduces, presenting challenges for both users and web developers.

• YouTube
• 21 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

Strange Loop Conference

CodeGen with Types, for Humans, by Humans

Explore a code generation engine built in Elm for creating readable, typesafe, and maintainable code, featuring automatic imports, formatting, and built-in type checking.

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

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

Black Hat

Writing Trusted Applications in Rust

Explore using Rust for Trusted Applications, leveraging its security features like memory safety and error handling for system-level code development in secure environments.

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

Black Hat

C++11 Metaprogramming Applied to Software Obfuscation

Explore advanced C++11 metaprogramming techniques for software obfuscation, including compile-time code generation, polymorphism, and practical applications like string encryption and call obfuscation.

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

Raw Coding

C# Generics Explained - Syntax, Usage, and Implementation

Explore C# generics: their purpose, syntax, and implementation. Learn when and how to use them effectively to write more flexible and reusable code.

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

C++ for Real-Time Safety-Critical Linux Systems

Learn essential C++ concepts for developing safety-critical systems on Linux, covering design principles, type-safety, memory management, and best practices for real-time applications.

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

NDC Conferences

Type-Safe GraphQL with TypeScript

Explore type-safe GraphQL with TypeScript, from schema definition to backend implementation and frontend integration, for a robust end-to-end development model.

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

NDC Conferences

The Curiously Recurring Pattern of Coupled Types

Explore affine spaces in programming, their properties, and applications in C++ for stronger type safety and improved program semantics. Learn to create expressive APIs with affine types.

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

NDC Conferences

Cloud Nano-Bots - Strongly-Typed State Machines in the Cloud

Explore declarative state machines for scalable cloud applications using Orleans Actors, emphasizing type-safety, productivity, and testability in microservices architecture.

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

Microservices and WebAssembly: Current State and Future Potential

Explore the potential and challenges of using WebAssembly for microservices, discussing its current limitations, future prospects, and implications for cloud-native development.

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