Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Type Safety

Showing: 119 courses
cpponsea

Improving Our Safety with a Modern C++ Quantities and Units Library - C++ on Sea 2024

0 rewiews
Explore how a modern C++ quantities and units library enhances code safety. Learn about common issues, historical mishaps, and solutions using mp-units, with insights on potential language extensions for improved safety.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
INSAIT Institute

Effects and Resources: New Frontiers for Safe and Expressive Programming Languages

0 rewiews
Explore effect typing and object capabilities in programming languages. Gain insights into new approaches for safe, expressive, and composable control effects using Caprese and Scala extensions.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Microsoft

TypeScript and GraphQL Integration - From Schema to Full-Stack Development

0 rewiews
Explore TypeScript and GraphQL integration, from schema definition to type generation, backend implementation, and frontend consumption, with a focus on creating a strongly-typed end-to-end development model.
Add to list
16 Lesons
59 minutes
On-Demand
Free-Video
Web Dev Simplified

Learn Zod in 30 Minutes

0 rewiews
Master Zod validation library for TypeScript, covering basic usage, types, validation, and advanced features to enhance type safety and simplify user data handling.
Add to list
15 Lesons
31 minutes
On-Demand
Free-Video
try! Swift Conference

Understanding Swift's Type Inference - try! Swift Tokyo 2024

0 rewiews
Swiftの型推論の仕組みを解説。双方向型情報伝搬アルゴリズム、オーバーロード対応、関連トピックを紹介。コンパイラオプションで動作観察方法も説明し、理解を深める。
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Web Dev Simplified

Learn tRPC in 45 Minutes

0 rewiews
Explore tRPC's type-safe API interactions, from basic usage to advanced features like routers, procedures, middleware, and WebSocket subscriptions in this comprehensive tutorial.
Add to list
11 Lesons
46 minutes
On-Demand
Free-Video
ChariotSolutions

Typesafe Design Systems: Building Scalable Component Libraries

0 rewiews
Explore building scalable, flexible design systems using TypeScript. Learn type-safe utilities for consistent styling and reduced errors in large enterprise applications.
Add to list
37 Lesons
59 minutes
On-Demand
Free-Video
Rust

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

0 rewiews
Explore Rust's safety mechanisms, type system, and semantic interpretations. Dive into lifetime logic, sharing predicates, and Coq implementations of Cell operations.
Add to list
13 Lesons
30 minutes
On-Demand
Free-Video
Linux Foundation

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

0 rewiews
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.
Add to list
21 Lesons
24 minutes
On-Demand
Free-Video
Rust

WebAssembly with Rust - From Basics to Advanced Applications

0 rewiews
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.
Add to list
15 Lesons
37 minutes
On-Demand
Free-Video
Rust

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

0 rewiews
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.
Add to list
9 Lesons
31 minutes
On-Demand
Free-Video
Linux Foundation

Microservices and WebAssembly: Current State and Future Potential

0 rewiews
Explore the potential and challenges of using WebAssembly for microservices, discussing its current limitations, future prospects, and implications for cloud-native development.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Raw Coding

C# Generics Explained - Syntax, Usage, and Implementation

0 rewiews
Explore C# generics: their purpose, syntax, and implementation. Learn when and how to use them effectively to write more flexible and reusable code.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
Scala Days Conferences

Tyqu - Typesafe SQL Queries in Scala

0 rewiews
Introducing Tyqu: A Scala library for type-safe SQL queries. Leverages Scala 3 features for convenient, functional-style database interactions with compile-time checks and runtime code generation.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Java

Flexible Types in Kotlin - JVM Language Summit 2015

0 rewiews
Explore Kotlin's flexible type system, focusing on safety features, interoperability with Java, and runtime behavior. Learn about nullable types, annotations, and array handling.
Add to list
22 Lesons
42 minutes
On-Demand
Free-Video
Okta

Why Safe Programming Matters and Why Rust is the Way Forward

0 rewiews
Explore Rust's potential as a secure, high-performance language for general-purpose programming, addressing memory safety issues and offering unique features for developers.
Add to list
20 Lesons
32 minutes
On-Demand
Free-Video
JetBrains

Reactive Stream Processing with Akka Streams

0 rewiews
Learn to process streaming data asynchronously and efficiently using Akka Streams, exploring Reactive Streams, back-pressure, and pipelining for robust and scalable applications.
Add to list
14 Lesons
1 hour 13 minutes
On-Demand
Free-Video
ACCU Conference

Enhancing Safety in C++ Code With Modern C++ Quantities and Units Library - ACCU 2024

0 rewiews
Explore how modern C++ quantities and units library enhances code safety, addressing engineering mishaps and improving project robustness through practical examples and potential language extensions.
Add to list
1 Lesons
1 hour 30 minutes
On-Demand
Free-Video
Gary Clarke

PHP Enums Tutorial

0 rewiews
Explore PHP Enums: Learn to represent fixed sets of named values, enhancing code readability and type safety. Master this powerful feature for more robust PHP programming.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
Strange Loop Conference

Swift as C++ Successor in FoundationDB

0 rewiews
Exploring Swift's adoption in FoundationDB, showcasing its seamless C++ interoperability, performance, and modern features for high-performance distributed systems development.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
NDC Conferences

Craig's Amazing Rust Spectacular - NDC Sydney 2024

0 rewiews
Explore Rust from a front-end engineer's perspective, comparing it to TypeScript and examining its potential impact on future web development.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Code Sync

The Unbearable Weight of Glue - Tackling Complexity in Software Development

0 rewiews
Explore how type-safe functional programming exposes and tackles glue code complexity, with insights from Elm community projects and interactive audience participation.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Linux Foundation

Persistent Memory Extensions to C++ Standard Libraries

0 rewiews
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.
Add to list
23 Lesons
50 minutes
On-Demand
Free-Video
GOTO Conferences

What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming

0 rewiews
Explore the purpose and benefits of types in programming, examining their role beyond just preventing errors, with insights into functional programming concepts and type theory.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
Strange Loop Conference

Universal Reason

0 rewiews
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.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Strange Loop Conference

Making Webapps Collaborative with Composable CRDTs

0 rewiews
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.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Strange Loop Conference

CodeGen with Types, for Humans, by Humans

0 rewiews
Explore a code generation engine built in Elm for creating readable, typesafe, and maintainable code, featuring automatic imports, formatting, and built-in type checking.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Strange Loop Conference

Scala DSLs and Probabilistic Programming

0 rewiews
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.
Add to list
21 Lesons
33 minutes
On-Demand
Free-Video
Security BSides San Francisco

Two-Faces of WASM Security

0 rewiews
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.
Add to list
26 Lesons
21 minutes
On-Demand
Free-Video
Black Hat

C++11 Metaprogramming Applied to Software Obfuscation

0 rewiews
Explore advanced C++11 metaprogramming techniques for software obfuscation, including compile-time code generation, polymorphism, and practical applications like string encryption and call obfuscation.
Add to list
24 Lesons
41 minutes
On-Demand
Free-Video
Devoxx

Kotlin DSL in Under an Hour

0 rewiews
Discover how to create type-safe DSLs in Kotlin, exploring language features and practical examples to build your own domain-specific language efficiently.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
Devoxx

Kotlin DSL in Under an Hour

0 rewiews
Explore Kotlin DSL creation, focusing on type-safety and static typing. Learn key language features through practical examples and hands-on coding to build expressive, efficient DSLs.
Add to list
16 Lesons
45 minutes
On-Demand
Free-Video
Devoxx

Kotlin DSLs in 42 Minutes

0 rewiews
Explore type-safe DSLs in Kotlin through live coding, covering JSON/XML builders, data binding, configuration engines, HTML builders, and more. Learn to create expressive, statically typed DSLs.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
GOTO Conferences

The Robustness of Go

0 rewiews
Explore Go's design for robustness at Google's scale, covering language features that enhance program reliability and potential pitfalls to be aware of when building robust systems.
Add to list
27 Lesons
45 minutes
On-Demand
Free-Video
Black Hat

Writing Trusted Applications in Rust

0 rewiews
Explore using Rust for Trusted Applications, leveraging its security features like memory safety and error handling for system-level code development in secure environments.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
ng-conf

Craig's Angular - Rust Spectacular

0 rewiews
Explore Rust programming from an Angular developer's perspective, comparing it to TypeScript and discussing its potential impact on front-end development.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
NDC Conferences

Template Meta-State Machines, Madness and Shannon

0 rewiews
Exploring extreme micro-optimization in C++ through template meta-state machines, pushing the limits of performance and efficiency in high-frequency trading scenarios.
Add to list
1 Lesons
1 hour 8 minutes
On-Demand
Free-Video
WeAreDevelopers

Lies We Tell Ourselves As Developers

0 rewiews
Explore TypeScript's type safety limitations, trade-offs, and solutions in this eye-opening talk. Learn about unexpected failures and discover workarounds to enhance your coding practices.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Spring I/O

Java Meets TypeScript - Building Modern Web Apps with Full-Stack Type Safety

0 rewiews
Explore building modern, reactive web apps with full-stack type safety using Hilla framework, combining Spring Boot backend and Lit-frontend for seamless Java and TypeScript integration.
Add to list
13 Lesons
54 minutes
On-Demand
Free-Video
ACCU Conference

Type Safe C++ - LOL

0 rewiews
Explore strong typing in C++ for improved code clarity, bug prevention, and performance. Learn techniques and libraries for creating type-safe alternatives to typedefs.
Add to list
19 Lesons
1 hour 13 minutes
On-Demand
Free-Video
ACCU Conference

Properties & Bindings for Modern C++

0 rewiews
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.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
JavaScript Conferences by GitNation

Building Your Data Layer with TS and GraphQL

0 rewiews
Learn to construct a robust data layer using TypeScript and GraphQL, enhancing your JavaScript applications with type safety and efficient data fetching.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
JavaScript Conferences by GitNation

Shipping High Quality JS Apps with Confidence

0 rewiews
Explore techniques for delivering high-quality JavaScript applications, from code formatting to post-release practices. Learn about the "Testing Spectrum" to enhance code reliability and user experience.
Add to list
17 Lesons
22 minutes
On-Demand
Free-Video
JavaScript Conferences by GitNation

Safely Handling Dynamic Data with TypeScript

0 rewiews
Explore techniques for safely typing dynamic data in TypeScript applications, featuring popular technologies like Fastify, JSON Schema, and Node.js to enhance code reliability and prevent runtime errors.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
JavaScript Conferences by GitNation

Making Magic - Building a TypeScript-First Framework

0 rewiews
Explore Nuxt's TypeScript-first approach, offering full-stack type safety, IDE integration, and typed features. Learn about future developments and TypeScript's potential for library authors.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
JavaScript Conferences by GitNation

The Lies We Tell Ourselves Using TypeScript

0 rewiews
Explore TypeScript's type safety limitations, trade-offs, and solutions. Learn about situations where TypeScript fails and understand the reasons behind these shortcomings.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
JSWORLD Conference

Type-Safety Is Eating the World

0 rewiews
Explore type-safety's growing impact with Astro's co-creator, delving into Type-safe Markdown and HoustonAI at JSWorld Conference 2023.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
JSWORLD Conference

Keep Alive Your TypeScript Definitions Using Zod

0 rewiews
Explore Zod for runtime type validation in TypeScript, ensuring code reliability and improving execution awareness in JavaScript projects.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
JSWORLD Conference

The Complete Guide to Packaging Libraries

0 rewiews
Comprehensive guide to packaging and publishing open-source npm libraries, covering type safety, module formats, build tools, and best practices for developers.
Add to list
15 Lesons
24 minutes
On-Demand
Free-Video
CppNow

Alignment in C++ - Use, Limitations, and Extension

0 rewiews
Explore C++ alignment: C++11 changes, limitations, and proposed solutions. Learn about adding alignment to the type system for improved type safety and performance.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
CppNow

Intel's C++ STM Compiler and Transactional Language Constructs for C++

0 rewiews
Explore Intel's C++ STM compiler and transactional language constructs, focusing on type-safety, optimization, and complex operations in parallel programming using transactional memory.
Add to list
1 Lesons
1 hour 23 minutes
On-Demand
Free-Video
CppNow

Techniques in Flexible Header-Only C++ Network Library Implementations

0 rewiews
Explores techniques for creating flexible header-only C++ network libraries, focusing on cpp-netlib's modular design, generic programming principles, and implementation of key components like message types and URI parsers.
Add to list
21 Lesons
53 minutes
On-Demand
Free-Video
CppNow

Design and Implementation of DBMS Asynchronous Client Library

0 rewiews
Explore design and implementation of an asynchronous DBMS client library, focusing on efficient communication, type-safe queries, and customization. Learn about C++17 features, Boost libraries, and asynchronous programming techniques.
Add to list
35 Lesons
1 hour 30 minutes
On-Demand
Free-Video
CppNow

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

0 rewiews
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.
Add to list
21 Lesons
1 hour 34 minutes
On-Demand
Free-Video
CppNow

Weak Interfaces - Weak Defences - The Bane of Implicit Conversion in Function Calls

0 rewiews
Explore strategies to enhance function interfaces and prevent parameter mix-ups through type safety, refactoring, and code analysis tools. Gain insights on improving C++ code quality and maintainability.
Add to list
16 Lesons
47 minutes
On-Demand
Free-Video
CppNow

Adventures in SIMD-Thinking

0 rewiews
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.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
CppNow

Library Approaches for Strong Type Aliases

0 rewiews
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.
Add to list
13 Lesons
1 hour 9 minutes
On-Demand
Free-Video
CppNow

Taking Static Type-safety to the Next Level - Physical Units for Matrices

0 rewiews
Explore advanced C++ techniques for implementing physical unit types in matrix operations, enhancing type safety and error prevention in robotics, graphics, and automated driving applications.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
CppNow

Typescripten - Generating Type-Safe JavaScript Bindings for Emscripten

0 rewiews
Explore generating type-safe JavaScript bindings for emscripten using Typescripten, enabling seamless integration of C++ with TypeScript interfaces for over 7000 JavaScript libraries.
Add to list
1 Lesons
1 hour 13 minutes
On-Demand
Free-Video
CppNow

Safety and Security - The Future of C++

0 rewiews
Explore C++'s future through safety and security lens, examining its role as critical infrastructure and the ethical responsibilities of developers to address its challenges.
Add to list
27 Lesons
2 hours 1 minute
On-Demand
Free-Video
PyCon US

Using Declarative Configs for Maintainable Reproducible Code

0 rewiews
Explore declarative configs for maintainable, reproducible code. Learn input formats, representations, deserialization, and type-safety. Discover strategies for evolving configs while preserving backwards compatibility.
Add to list
14 Lesons
24 minutes
On-Demand
Free-Video
EuroPython Conference

Full Stack Type Safety

0 rewiews
Explore full-stack type safety in Python web projects, focusing on enforcing consistency between frontend and backend using REST/Swagger and GraphQL. Includes practical demos and discusses various design approaches.
Add to list
13 Lesons
27 minutes
On-Demand
Free-Video
Scala Days Conferences

Full Stack Scala

0 rewiews
Explore full-stack Scala development, including Scala.js for frontend, React integration, and strategies for managing complexity in modern web applications.
Add to list
24 Lesons
50 minutes
On-Demand
Free-Video
Scala Days Conferences

Herding Types with Scala Macros

0 rewiews
Explore compile-time reflection in Scala macros for enhancing type safety in database interactions, focusing on implementation benefits and practical applications in production systems.
Add to list
12 Lesons
33 minutes
On-Demand
Free-Video
Scala Days Conferences

Simple Code for a Type Safe World

0 rewiews
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.
Add to list
20 Lesons
50 minutes
On-Demand
Free-Video
Scala Days Conferences

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

0 rewiews
Explore type-safe feature engineering in Scala for machine learning, covering Shapeless, macros, and quasiquotes to enhance ML framework design and model accuracy.
Add to list
19 Lesons
52 minutes
On-Demand
Free-Video
Scala Days Conferences

Reification and Type-Safety in a CQRS World

0 rewiews
Explore reification and type-safety in CQRS applications, focusing on modeling domains as Algebraic Data Types with commands and events. Learn different approaches using type parameters, projections, and path-dependent types.
Add to list
18 Lesons
50 minutes
On-Demand
Free-Video
Scala Days Conferences

Type Safety in the World of Graph Databases

0 rewiews
Explore type safety in graph databases, focusing on SPARQL, Gremlin, and custom DSLs for efficient data traversal and error prevention in Scala.
Add to list
9 Lesons
37 minutes
On-Demand
Free-Video
Scala Days Conferences

Building a Reactive Multi-User Document Editor in ScalaJS

0 rewiews
Learn to build a reactive multi-user document editor using ScalaJS, exploring architecture, data structures, and performance optimization techniques for real-time collaborative editing.
Add to list
13 Lesons
42 minutes
On-Demand
Free-Video
Scala Days Conferences

Ducktape - Holding Scala's Productivity Together

0 rewiews
Explore ducktape, a macro-based library for Scala 3 that streamlines JSON handling, reduces boilerplate, and enhances productivity in common development scenarios.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
Gopher Academy

Runtime Generated, Typesafe, and Declarative - Pick Any Three

0 rewiews
Explore runtime function generation, reflection, and tags in Go to create efficient, type-safe SQL layers, reducing boilerplate and enhancing code reusability.
Add to list
10 Lesons
40 minutes
On-Demand
Free-Video
Gopher Academy

Go Make Something Real - The Potential for Go on the Factory Floor

0 rewiews
Exploring Go's potential in industrial automation: secure DevOps for factories and critical infrastructure, with real-world examples of microservice architectures in heavy industrial environments.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
React Conferences by GitNation

TypeScript + React = ❤️

0 rewiews
Learn how TypeScript enhances React development by preventing common bugs, improving type safety, and streamlining component creation. Discover practical examples and advanced patterns for building robust applications.
Add to list
17 Lesons
23 minutes
On-Demand
Free-Video
React Conferences by GitNation

Build Your GraphQL APIs Faster with Nexus Schema

0 rewiews
Learn to build code-first, type-safe GraphQL APIs using Nexus Schema. Discover how this library enhances development speed and reduces data inconsistencies in full-stack applications.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Rust

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

0 rewiews
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.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Rust

Rust - An Alternative to High-Level Programming Languages

0 rewiews
Exploring Rust's potential as a high-level language alternative, focusing on type safety, performance, and complexity for application development beyond systems programming.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
NDC Conferences

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

0 rewiews
Explore declarative state machines for scalable cloud applications using Orleans Actors, emphasizing type-safety, productivity, and testability in microservices architecture.
Add to list
1 Lesons
53 minutes
On-Demand
Free-Video
NDC Conferences

Branching Out with Elm

0 rewiews
Explore Elm's functional programming features while building a simple game. Learn about immutability, type safety, and increased predictability for web applications.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
NDC Conferences

React Native Better Than Native

0 rewiews
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.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
NDC Conferences

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

0 rewiews
Explore implementing type-safe array size determination in C++ using constexpr, enhancing code robustness and compile-time error detection for critical systems.
Add to list
1 Lesons
53 minutes
On-Demand
Free-Video
NDC Conferences

Enough String View to Hang Ourselves

0 rewiews
Explore string handling challenges in C++ projects, focusing on std::string_view in C++17. Learn strategies for managing multiple string types and optimizing performance in large-scale applications.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
NDC Conferences

Type Safe C++? LOL!

0 rewiews
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.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
NDC Conferences

Type-Safety in Low-Level Programming - Modern C++ in Game Console Emulators

0 rewiews
Explore type-safety in C++ for game console emulation, focusing on the Nintendo 3DS kernel interface and compile-time programming techniques to enhance code reliability and performance.
Add to list
26 Lesons
1 hour 4 minutes
On-Demand
Free-Video
NDC Conferences

Type Safe C++? LOL!

0 rewiews
Explore techniques for creating strong types in C++ to reduce bugs, improve clarity, and enhance performance. Learn about simple and advanced approaches, their impact on code, and their pros and cons.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
NDC Conferences

Reactive DDD - When Concurrent Waxes Fluent

0 rewiews
Explore Reactive software development for high-performance, scalable solutions. Learn to model business-driven systems with Domain-Driven Design, focusing on fluent, type-safe, and Reactive properties. Guidance on modernizing legacy systems included.
Add to list
34 Lesons
1 hour
On-Demand
Free-Video
NDC Conferences

Reactive DDD - When Concurrent Waxes Fluent

0 rewiews
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.
Add to list
15 Lesons
58 minutes
On-Demand
Free-Video
NDC Conferences

The Curiously Recurring Pattern of Coupled Types

0 rewiews
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.
Add to list
10 Lesons
55 minutes
On-Demand
Free-Video
SF Python

Type Safe Data Validation Using Pydantic v2

0 rewiews
Master Pydantic v2's new APIs, type system interactions, and Rust-powered internals for robust data validation in Python, including PEP 593 and PEP 695 features.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Continuing WebAssembly with Effect Handlers

0 rewiews
Explore WasmFX, an extension to WebAssembly enabling direct translation of non-local control features via effect handlers, improving compiler efficiency for various programming languages.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

An Intrinsically Typed Compiler for Algebraic Effect Handlers

0 rewiews
Explore type-preserving compilation for algebraic effect handlers, focusing on safety in continuation capture and resumption using stack polymorphism in an Agda-implemented compiler.
Add to list
4 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Suki: Choreographed Distributed Dataflow in Rust

0 rewiews
Explore Suki, a Rust DSL for implementing streaming dataflow with explicit compute placement, enabling fine-grained control and global optimization in distributed systems.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell Library for Safer Virtual Machine Introspection - Experience Report

0 rewiews
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Polymorphic Type Inference for Dynamic Languages

0 rewiews
Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Capturing Types: A Calculus for Tracking Free Variables in Type Systems

0 rewiews
Explore a calculus representing captured variables in types for enhanced safety, enabling effect implementation via scoped capabilities and guiding practical capture checking in programming languages.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Google TechTalks

Zero-effort Type-safe Parsing of JSON and XML in Go - Zürich Go Meetup

0 rewiews
Explore go-jsonstruct and go-xmlstruct for effortless generation of Go structs to parse JSON/XML, enhancing type safety and efficiency in data handling.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Web Dev Simplified

@property - One of the Coolest New CSS Features

0 rewiews
Explore the revolutionary @property CSS feature, its potential impact, and how to effectively implement it in your web development projects.
Add to list
5 Lesons
11 minutes
On-Demand
Free-Video
Android Developers

Navigation Compose: Type Safety and New APIs

0 rewiews
Explore Navigation Compose's new Type Safety feature and type-safe APIs for Android development, covering NavGraphs, arguments, Bottom Nav Bar, and DeepLinks implementation.
Add to list
8 Lesons
17 minutes
On-Demand
Free-Video
JSConf

Unexpected Monad - Safe Error Handling in JavaScript and TypeScript

0 rewiews
Explore safe error handling in JS/TS beyond try/catch, featuring typed errors, documentation, and logging without disrupting flow. Learn implementation techniques for robust code.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
NDC Conferences

Type Safe GraphQL with TypeScript

0 rewiews
Explore type-safe GraphQL with TypeScript, from schema generation to backend implementation and frontend integration, for a robust end-to-end development model.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
SF Python

Python Type Hints - 5 Ways to Supercharge Your Code

0 rewiews
Discover how Python Type Hints enhance code quality through 5 powerful techniques, from basic foundations to advanced patterns and best practices for safer, more maintainable applications.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video