Data Structures and Algorithms - Advanced Java Programming Tutorial
Comprehensive Java tutorial covering advanced data structures, algorithms, and practical applications. Includes hands-on projects like web browser and messenger app development.
Quad Trees for Static Spatial Acceleration - Part 1
Explore quad trees for efficient spatial partitioning and object searching, with practical implementation techniques and insights into static spatial acceleration.
Probabilistic Programming
Explore probabilistic programming concepts, from intuitive physics to computational theory of mind, with hands-on practice in web-based probabilistic programming languages.
Undergrad Complexity at CMU - Savitch's Theorem and NL
Explore Savitch's Theorem and NL in computational complexity theory, focusing on space complexity, recursion, and pseudocode implementation for advanced undergraduate-level understanding.
Undergrad Complexity at CMU - Problems in P
Explore computational complexity theory, focusing on problems in P, simulations, and Turing machine variants. Learn about time hierarchy, natural problems, and efficient algorithms.
Streaming - Synchronous, Recursion, and Incremental Computation
Explore synchronous streaming operators for elegant support of recursion and incremental computation in databases. Learn about algebraic equivalences and their analogy to discrete signal processing.
Apollonian Gasket Coding Challenge - Creating Fractal Circle Patterns
Learn to create an Apollonian Gasket using Descartes Circle Theorem and complex numbers. Explore circle packing, curvature, and recursive algorithms in this coding challenge celebrating Pi Day.
Compiling Probabilistic Programs for Variable Elimination with Information Flow
Explore a novel approach to variable elimination and marginal inference in probabilistic programming, featuring bounded recursion and discrete distributions, with compiler-based optimization techniques.
Parametric Subtyping for Structural Parametric Polymorphism
Explore parametric subtyping for structural parametric polymorphism. Learn about a decidable fragment of structural subtyping that generalizes rigid subtyping, with a proven saturation-based decision procedure.
Fear Not the Unknown: Go Functional Programming
Explore functional programming concepts and overcome fears of the unknown in this engaging talk on modern coding paradigms.
Parallel Reachability in Almost Linear Work and Square Root Depth
Explore efficient parallel algorithms for graph reachability, focusing on distributed computing and improved runtime complexity in large-scale networks.
Busting the Func'ing Jargon
Demystifying functional programming concepts and jargon through clear explanations and F# examples, making FP accessible to developers of all backgrounds.
I Think I Know What You’re Talking About, But I'm Not Sure
Explore the origins and meanings of programming jargon, enhancing your ability to communicate effectively in technical discussions and understand complex concepts.
Hitchhiker's Guide to Functional Programming
Refactoring imperative Java code to functional programming, exploring concepts like referential transparency, recursion, and higher-order functions for cleaner, more efficient code.
Effective Scala - Reloaded
Optimize Scala usage with practical do's and don'ts, covering style, abstractions, expressions, collections, and more. Learn to write efficient, clean code and avoid common pitfalls in Scala development.
Functional Groovy
Explore functional programming in Groovy: closures, currying, meta-programming, recursion, immutable data structures, and Java8 lambda integration for enhanced coding practices.
Scala - The Simple Parts
Explore Scala's core concepts and design principles with Martin Odersky. Learn how simple, orthogonal elements combine to create a powerful, flexible language for functional and object-oriented programming.
Static Code Analysis - A Behind-the-scenes Look
Explore the inner workings of static code analysis tools, their challenges, and techniques used to analyze program code, including abstract syntax trees, byte code, flow tracking, and handling complex scenarios.
Learn Python Automation by Recreating Git Commit from Scratch
Explore Python automation by recreating Git's commit functionality, learning key-value storage, recursion, and utility script structuring while improving programming practices.
VectorVisor - A Binary Translation Scheme for Throughput-Oriented GPU Acceleration
Explore VectorVisor, a novel GPU acceleration approach for server-side applications, offering improved throughput and cost-efficiency through vectorized binary translation and CPU thread emulation.
Scheme Lisp - Feel the Cool
Explore Scheme Lisp's elegance and influence on modern programming. Learn fundamental concepts, syntax, and advanced features through simple examples and "weird" but powerful techniques.