Interaction Protocols - It's All About Good Manners
Explore distributed systems as social groups, examining protocols for collaboration, fault tolerance, and effective communication. Learn how these rules enhance system performance, resilience, and security.
Provable Security - Eurocrypt 2024
Explore cutting-edge cryptographic research on provable security at Eurocrypt 2024, featuring expert presentations and discussions on advanced theoretical concepts and practical applications.
The Proofgold Blockchain: Integrating Formal Proofs with Cryptocurrency
Explore the innovative Proofgold blockchain system, its applications in mathematics and formal verification, and its potential impact on decentralized proof-checking and cryptocurrency.
Impromptu Chat About Hahn-Banach Theorem in Lean
Explore the intricacies of HB implementation in Lean with Mario Carneiro in this impromptu discussion, gaining insights into advanced mathematical formalization techniques.
Going Production Scale with Gen AI - Patterns for Your API
Architectural patterns and practices for production-ready LLM-backed systems, including security, scalability, monitoring, and content filtering. Leveraging OpenAI ChatGPT and Azure OpenAI for enterprise applications.
Revamping Global Socket Iterator, Netkit and Next Steps
Explore advancements in Linux networking, focusing on global socket iterator improvements and netkit developments. Gain insights into future directions for network stack optimization.
DAMON Updates and Plans - Automation of Tuning, Tiering, and VM Guest Scaling
Explore updates on DAMON, focusing on automated tuning, tiering, and VM guest scaling for enhanced memory management and system performance optimization.
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation - 2024
Explore a formally verified implementation of X.509 certificate chain validation, enhancing security and reliability in digital certificate systems.
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis - 2024
Explore advanced techniques for analyzing dynamic web applications using holistic concolic execution and symbolic interpreter analysis.
Grinding the Monolith - Transitioning from Monolithic to Microservices Architecture
Explore strategies for breaking down monolithic systems into microservices, addressing challenges and leveraging incremental approaches to modernize legacy architectures.
Getting Started with Architectural Decision Records
Learn to implement Architectural Decision Records for transparent, collaborative, and traceable software development decisions. Explore core concepts, benefits, and ideal scenarios for optimizing projects.
Green Software Architecture - Dos, Don'ts, and Some Surprises
Explore green software architecture principles, practices, and surprising insights to design environmentally-friendly systems. Learn to integrate sustainability into daily coding for reduced energy consumption and environmental impact.
Intentional Code - Minimalism in a World of Dogmatic Design
Explore intentional code design and radical simplification in software development. Learn to create more meaningful applications by focusing on every character and challenging traditional design patterns.
Mind the Gap - Connecting High Performance Systems at a Leading Crypto Exchange
Explore high-performance architecture and Spring Boot integration in a leading crypto exchange, focusing on ultra-low latency, scalability, and processing market data efficiently.
Scaling EDA Workloads with Kubernetes, KEDA and Karpenter - Handling Event-Driven Traffic
Explore efficient event-driven workload scaling using Kubernetes, KEDA, and Karpenter. Learn to handle traffic spikes and optimize costs for real-time processing in high-demand scenarios.
Working at Netflix - Performance Engineering Insights
Explore Netflix's innovative work culture, performance engineering, and cloud computing strategies with industry expert Brendan Gregg. Gain insights into cutting-edge practices at one of tech's most influential companies.
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
Explore Alea-BFT, an efficient asynchronous Byzantine Fault Tolerance protocol gaining adoption in Ethereum. Learn its simple design, performance benefits, and practical applications in cryptocurrency ecosystems.
Towards Provably Performant Congestion Control
Explores framework for designing congestion control algorithms with provable performance across diverse network scenarios, synthesizing algorithms and uncovering fundamental impossibility results.
Designing a Web Application for Capture The Flag Competitions
Comprehensive guide to designing and building Capture The Flag (CTF) web applications, covering requirements, wireframing, system architecture, documentation, tech stack selection, and project management.
How to Deal with Technical Debt in Fast-Paced Environments
Estratégias para gerenciar dívida técnica em ambientes de desenvolvimento acelerado, equilibrando demandas de negócios e manutenção de código em projetos de larga escala.
How Architecture and Culture Go Hand in Hand
Exploring the evolving landscape of software architecture, emphasizing continuous architecture, agile methodologies, and the crucial role of people skills and open communication in fostering collaborative environments.