Security for Humans - Privacy and Coercion Resistant Design
Explore privacy-focused design principles and coercion-resistant techniques to enhance digital security for individuals, with insights from a leading cybersecurity expert.
Look Ma, No OS! - Unikernels and Their Applications
Explore unikernels as the next step in application deployment, their benefits over Linux containers, and their potential to solve current production environment challenges.
A History of Programming Languages for 2 Voices
A musical journey through programming language history, exploring parallels between significant developments in coding and recorded music to deepen appreciation for both fields.
Probabilistic Programs Which Make Common Sense
Explore probabilistic programming as a step towards machines with common sense. Learn about Sigma, a language for functional probabilistic models, and its applications in automated reasoning and inference.
Transactions - Myths, Surprises and Opportunities
Explore the evolution of database transactions, from NoSQL to modern implementations. Learn about ACID, isolation levels, distributed algorithms, and maintaining transactional guarantees in stream processing.
Streams - The Data Structure We Need
Explore streams, a powerful data structure, with history, real-world demos, and JavaScript examples. Learn about IO streams, ES6 generators, and current developments to enhance your programming skills.
Strange Loops - Capturing Knots With Powerful Notations
Explore knot theory through Conway's and Dowker's notations, examining their efficiency in enumerating knots and the broader implications for systematic thinking in mathematics.
Visualising Program Execution
Explore techniques for visualizing program execution, including generating traces, advanced scaling methods, and practical tools to enhance debugging and programming efficiency.
From Protesting to Programming - Becoming a Tech Activist
Explore the intersection of technology and social justice, learning how tech skills can empower activists and create positive change. Gain insights on bridging the digital divide and fostering socially conscious technologists.
How to Make Error Handling Less Error-Prone
Explore innovative approaches to error handling, focusing on automatic state recovery and the 'Ken' protocol for distributed systems to enhance program reliability and security.
Elixir and the Internet of Things
Explore Elixir's power in efficiently connecting IoT devices, featuring real-world production system examples, OTP behaviors, restart strategies, and Acceptor Pool implementation.
Clojure in Unity 3D - Functional Video Game Development
Integrating Clojure with Unity 3D for game development, enabling REPL-based live coding, optimizing macros, and persistent data structures. Explore new possibilities in AI, logic programming, and game state management.
You Can Be a Kernel Hacker
Demystifying kernel hacking: Learn how operating systems work, explore concrete ways to get started, and discover why kernel development is accessible to all programmers.
Shen - A Sufficiently Advanced Lisp
Explore Shen, a powerful Lisp with macro system, Prolog, and advanced type system. Demo showcases seamless integration of functional, logic, and imperative styles in web development.
Ludicrous Speed - Designing For Performance on the JVM
Explore JVM performance optimization, memory models, and concurrency for high-speed software. Learn from real-world experiences in scaling and tuning massive real-time analytics systems.
etcd - Distributed Locking and Service Discovery
Explore etcd's distributed locking and service discovery capabilities, its HTTP+JSON API, consensus algorithm, and architecture. Learn about community-built tools and libraries for this powerful open-source project.
Fast, Secure, Safe - The Web That Can Still Be
Explore the potential for a faster, more secure, and safer web ecosystem, addressing current challenges and proposing innovative solutions for a better online future.
Coder Decoder - Functional Programmer Lingo Explained, with Pictures
Demystifies functional programming jargon using Haskell examples and visuals. Explores concepts like currying, lenses, and monads, demonstrating their application in a simple web app.
Turning the Database Inside Out with Apache Samza
Explore a new approach to database architecture using Apache Samza, transforming traditional models into real-time stream processing for improved scalability, robustness, and data flexibility.
Visualizing Persistent Data Structures
Explore persistent data structures through interactive animations, developing intuition for complex structures and their evolution over time while examining various properties and use cases.
All of This Has Happened Before, and It Will All Happen Again
Explores the history of early programming languages, their goals, and how those motivations remain relevant in modern computing, drawing parallels between past and present challenges.