Programming Across Paradigms
Explore major programming paradigms, their origins, characteristics, and shared elements. Gain insights into different approaches to problem-solving and expand your coding perspective.
Deeply Declarative Data Pipelines with Flink and Kubernetes
Explore declarative streaming data pipelines on Kubernetes using Flink and SQL. Learn to simplify development, integrate systems, and optimize configurations for efficient stream processing.
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Explore the Verse calculus, a new core calculus for deterministic functional logic programming, featuring a small-step rewrite semantics for reasoning about programs similar to lambda calculus.
Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture
Explore how immutable arrays enable compiler optimizations for efficient implementations, challenging intuitions about low-level control in array computations.
klogic: miniKanren in Kotlin - miniKanren'23 Conference
Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.
Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture
Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.
From FP to FBP: Synthesizing Processing Elements for Stream Computing
Explore Flow-Based Programming in Erlang, learning to design dataflow graphs and generate code for stream computing. Synthesize processing elements from functional blocks for efficient parallel data processing.
Variable Monitoring with Declarative Interfaces - Lecture
Explore a scalable framework for monitoring industrial signals using declarative APIs and builder patterns, enhancing readability and extensibility in control software.
Connecting the Dots of Azure SQL DevOps
Implement modern, secure database DevOps for Azure SQL using VS Code, Azure Data Studio, GitHub, and Azure DevOps through project/declarative approaches.
From SSIS to Synapse to Fabric - A Data Architect's Case Study
Explore a real-world EDW automation framework migration journey from SSIS to Synapse to Fabric. Learn migration processes, lessons, improvements, and unit testing strategies for data architects.
Declare Victory with Class Macros in Ruby
Explore metaprogramming in Ruby, from attr_reader to custom class macros, for cleaner, more declarative code and easier-to-understand classes.
Functional Programming with Java
Explore declarative programming in Java to write concise, predictable, and easily testable code using pure functions and immutable states.
Functional Programming with Java
Explore declarative programming in Java to write concise, predictable, and easily testable code using pure functions and immutable states.
Choosing an Infrastructure as Code Solution - Lecture
Explore infrastructure as code solutions, comparing declarative and imperative approaches, authoring experiences, and execution tools to make informed decisions for your DevOps practices.
How to Write Pulumi and OpenTofu Providers for Infrastructure as Code - Lecture
Dive into writing and maintaining Pulumi and OpenTofu providers, extending existing ones, and exploring the future of IaC tool integration with cloud systems.
Declarative MLOps: Streamlining Model Serving on Kubernetes
Explore declarative MLOps on Kubernetes for streamlined model serving. Learn containerization, CI/CD with GitOps, and best practices for scalable, high-velocity ML deployments using native K8s operators.
Safety in C++: All the Safeties - Lecture
Explore C++ safety concepts, their relation to correctness and security, and learn strategies for writing better code. Gain insights from Sean Parent's expertise in software architecture and development.
Writing Elegant DSP Code in Rust
Leverage Rust's type system for elegant, concise, and safe DSP code. Explore advanced features, zero-cost abstractions, and various implementation styles for audio processing graphs.
Scalable Feature Engineering with Hamilton on Ray
Explore scalable feature engineering using Hamilton and Ray at StitchFix. Learn declarative dataflow, team scaling, and efficient computation for thousands of time-series features.
Declarative Thinking, Declarative Practice
Explore declarative programming approaches, contrasting with imperative styles. Learn techniques applicable to requirements, code, and tests in various languages for more expressive and composable software design.
Reactive Programming Crash Course for Angular Baes
Explore reactive programming with RxJS in Angular, comparing imperative vs. declarative code. Learn to write scalable, maintainable JavaScript that's easier to debug and closely tied to business logic.