OpenSSL and FIPS - They Are Back Together
Explore OpenSSL's FIPS 140-2 validation, architectural changes, and industry impact. Learn about TLS v1.3 support, validation scope, and post-certification steps in this technical presentation.
Rethinking Reactive Architectures
Explore reactive architectures: concepts, patterns, and real-world applications. Learn when to leverage this paradigm for building responsive, resilient cloud-native systems.
Using Immutable Data Structures
Explore immutability in C# for cleaner, more reliable code. Learn to apply immutable objects and collections, refactor existing codebases, and understand the implications for .NET development.
Securing the Software Development Life Cycle with Machine Learning
Learn to leverage machine learning and NLP for identifying and tracking security bugs throughout software development, covering concepts, challenges, and practical implementation strategies.
High Availability at Braintree
Explore high availability strategies at Braintree, including traffic pausing, rolling deploys, load balancing, and error handling, to minimize downtime and maintain seamless payment processing.
Distributing the Go Language and Runtime
Explore Go Circuit, an extension to Go for distributed systems. Learn about spawning remote goroutines, simplified cloud application development, and powerful lifecycle maintenance tools.
Exercises in Style
Explore diverse programming styles through one simple program, showcasing the richness of computational thought and its impact on large-scale systems design.
The Trouble With Types
Exploración de sistemas de tipos estáticos y dinámicos, sus ventajas y desventajas, y el diseño de lenguajes de programación, con énfasis en Scala y futuros desarrollos.
Finding Bugs Without Running or Even Looking at Code
Discover how model checkers like Alloy can find complex bugs and validate architectural proposals without running or viewing code, through formal specifications and simulations of system operations.
You Are a Program Synthesizer
Explore program synthesis insights to improve coding skills. Learn about code quality, specification-driven development, and advanced analysis techniques for better programming practices.
Verifying the LLVM
Explore LLVM's intermediate representation, its complexities, and the Vellvm project's approach to formal verification using Coq, aimed at ensuring compiler reliability and security.
Scalable Anomaly Detection - With Zero Machine Learning
Explore Netflix's innovative approach to detecting anomalies in complex distributed systems using stream processing and simple algorithms, without relying on machine learning.
Building Financial Systems on Eventually Consistent DBs
Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.
Building a Canary Testing Framework
Learn to build a canary testing framework for distributed systems, covering architecture, implementation in Go, test configurations, and result visualization using Prometheus.
Architecting for Active-Active Resiliency in the Cloud
Explore multi-regional active-active resiliency in cloud architecture, covering data replication, availability calculations, and design patterns for maximizing service uptime and minimizing failures.
A Frontend Server, Front to Back
Explore the implementation of Fitbit's frontend server, covering queueing theory, software design, GC tuning, and Netty library, with practical insights on building fast, stable, scalable, and extensible systems.
Using Race Conditions in Correct Concurrent Software
Explore how race conditions can be leveraged to improve performance in concurrent systems, focusing on lock-free algorithms and high-throughput lock acquisition techniques.
Performance Engineering at MasterCard
Explore high-volume, low-latency performance engineering at MasterCard, covering real-time fraud detection, system architecture, testing strategies, and optimization techniques for millisecond-level transaction processing.
Architectural Patterns of Resilient Distributed Systems
Explore architectural patterns for building resilient distributed systems, focusing on adaptation, decomposition, consistency, and safety. Learn strategies for system evolution and testing.
Cache à la Carte - A Framework for In-Memory Caching
Modular cache framework for diverse in-memory caching needs, offering predictable performance, fixed memory footprint, and easy customization. Lessons from large-scale cache cluster operations shared.
GC Tuning Confessions of a Performance Engineer
Explore Java garbage collection optimization with insights on performance metrics, tuning tradeoffs, and comparisons of Parallel Old, CMS, and G1 collectors in OpenJDK's HotSpot JVM.