The Unbearable Weight of Glue - Tackling Complexity in Software Development
Explore how type-safe functional programming exposes and tackles glue code complexity, with insights from Elm community projects and interactive audience participation.
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.
What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming
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.
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.
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.
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.
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.
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.
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.
Kotlin DSL in Under an Hour
Discover how to create type-safe DSLs in Kotlin, exploring language features and practical examples to build your own domain-specific language efficiently.
Kotlin DSL in Under an Hour
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.
Kotlin DSLs in 42 Minutes
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.
The Robustness of Go
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.
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.
Craig's Angular - Rust Spectacular
Explore Rust programming from an Angular developer's perspective, comparing it to TypeScript and discussing its potential impact on front-end development.
Template Meta-State Machines, Madness and Shannon
Exploring extreme micro-optimization in C++ through template meta-state machines, pushing the limits of performance and efficiency in high-frequency trading scenarios.
Lies We Tell Ourselves As Developers
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.
Java Meets TypeScript - Building Modern Web Apps with Full-Stack Type Safety
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.
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.
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.
Building Your Data Layer with TS and GraphQL
Learn to construct a robust data layer using TypeScript and GraphQL, enhancing your JavaScript applications with type safety and efficient data fetching.