Improving Our Safety with a Modern C++ Quantities and Units Library - C++ on Sea 2024
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.
Effects and Resources: New Frontiers for Safe and Expressive Programming Languages
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.
TypeScript and GraphQL Integration - From Schema to Full-Stack Development
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.
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.
Understanding Swift's Type Inference - try! Swift Tokyo 2024
Swiftの型推論の仕組みを解説。双方向型情報伝搬アルゴリズム、オーバーロード対応、関連トピックを紹介。コンパイラオプションで動作観察方法も説明し、理解を深める。
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.
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.
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.
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.
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.
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.
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.
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.
Tyqu - Typesafe SQL Queries in Scala
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.
Flexible Types in Kotlin - JVM Language Summit 2015
Explore Kotlin's flexible type system, focusing on safety features, interoperability with Java, and runtime behavior. Learn about nullable types, annotations, and array handling.
Why Safe Programming Matters and Why Rust is the Way Forward
Explore Rust's potential as a secure, high-performance language for general-purpose programming, addressing memory safety issues and offering unique features for developers.
Reactive Stream Processing with Akka Streams
Learn to process streaming data asynchronously and efficiently using Akka Streams, exploring Reactive Streams, back-pressure, and pipelining for robust and scalable applications.
Enhancing Safety in C++ Code With Modern C++ Quantities and Units Library - ACCU 2024
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.
PHP Enums Tutorial
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.
Swift as C++ Successor in FoundationDB
Exploring Swift's adoption in FoundationDB, showcasing its seamless C++ interoperability, performance, and modern features for high-performance distributed systems development.
Craig's Amazing Rust Spectacular - NDC Sydney 2024
Explore Rust from a front-end engineer's perspective, comparing it to TypeScript and examining its potential impact on future web development.