High-Assurance Go Cryptography - Ensuring Safety in Cryptographic Libraries
Explore techniques for ensuring safety and reliability in Go's cryptography standard library, including testing, fuzzing, and formal proofs.
How Crypto Can Be Broken By You - Workshop Day 1
Explore practical techniques to break cryptographic systems, enhancing your understanding of vulnerabilities and strengthening cybersecurity skills.
Building LLM Apps in Production - Challenges and Best Practices
Explore LLM app development in production with insights on common challenges, data handling, testing, and industry trends. Gain valuable perspectives from an experienced consultant in the field.
Fire in the Cloud - Bringing Managed Services Under Cloud-Native Chaos Engineering
Explore chaos engineering for hybrid environments, targeting remote cloud infrastructure and managed services while maintaining experiment homogeneity and addressing security and observability concerns.
Rapid IDP Capability Development and Automated Testing at Autodesk
Explore IDPBuilder: Autodesk's tool for rapid K8s-native capability development, enabling efficient local iteration and automated testing for internal developer platforms.
How KubeVirt Improves Performance with CI-Driven Benchmarking - and How You Can Too
Discover KubeVirt's CI-driven benchmarking approach for performance evaluation. Learn techniques to assess scalability, leverage CI for data collection, and apply these strategies to your Kubernetes-native components.
Breaking Theoretical Limits - The Gap Between Virtual NICs and Physical Network Cards
Explore vulnerabilities in virtual NICs by breaking IP packet length limits, comparing with physical network cards, and uncovering security gaps in Hyper-V's network modules.
Llama 3 - 8B and 70B Models Deep Dive and Implementation Guide
Explore Llama 3's 8B and 70B models: capabilities, benchmarks, and deployment options. Learn about scaling, licensing, and future developments in this comprehensive overview of Meta AI's latest language model release.
Front End Testing with GitHub Actions - NDC London 2024
Learn to automate front-end testing using GitHub Actions, ensuring UI, functionality, and visual consistency before deployment. Integrate seamlessly with existing workflows for robust continuous deployment.
Claude 3.5 Sonnet - Anthropic's Latest AI Model Challenging GPT-4
Explore Claude 3.5 Sonnet's advanced capabilities in language, coding, and multimodal tasks. Learn how it compares to GPT-4 and its potential impact on AI development.
The Verification of a Distributed System - A Practitioner's Guide to Increasing Confidence in System Correctness
Explore techniques for verifying distributed systems, addressing challenges of partial failure and asynchrony to increase confidence in system correctness and reliability.
What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming
Explore the purpose and benefits of types in programming, examining their role beyond just preventing errors, with insights into functional programming concepts and type theory.
Front End Testing with GitHub Actions - NDC Sydney 2024
Explore automating front-end tests using GitHub Actions, integrating them into your deployment pipeline for robust, pre-merge validation of UI changes and functionality.
Large Folios Adoption in shmem/tmpfs - Regression Tracking and Performance Testing
Explore large folios adoption in shmem/tmpfs, including regression tracking and performance testing methodologies for optimized memory management in Linux systems.
Filesystem Testing
Explore filesystem testing techniques and best practices with expert Leah Rumancik, enhancing your Linux system administration skills and improving data integrity.
Value Tracking in BPF Verifier
Explore value tracking techniques in BPF verifier, enhancing understanding of Linux kernel's security mechanisms and performance optimization strategies.
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.
Continuous Integration Tutorial - Building a CI Pipeline for Code Quality
Learn to build a CI pipeline using GitHub Actions and Qodana, automating code quality checks and fixes. Understand CI concepts, importance of automated tests, and practical implementation for improved software development.
Understanding Routable PCIe Performance for Composable Infrastructures
Exploring routable PCIe fabric performance in composable infrastructures using rPCIeBench. Analyzes communication characteristics, traffic orchestration, and develops insights for optimizing flow scheduling in shared fabrics.
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States
Introduces Legolas, a framework for exposing partial failure bugs in distributed systems using static analysis, code instrumentation, and abstract state inference for efficient fault injection testing.
Contract-Driven Development: Turn API Specifications into Executable Contracts
Learn to develop, test, and deploy microservices independently using Contract-Driven Development. Discover how to leverage Specmatic for executable contracts and shift-left testing in this live demo-based presentation.