Attacking Hexagon Security Analysis of Qualcomm's ADSP
Explore Qualcomm's Hexagon ADSP security, architecture, and exploitation techniques. Learn reverse engineering methodologies for proprietary systems and mitigations bypass on Android devices.
SiliVaccine - North Korea's Weapon of Mass Detection
Explore North Korea's SiliVaccine, a secretive national antivirus solution. Uncover its architecture, origins, and peculiarities through reverse engineering, revealing insights into DPRK's closed digital landscape.
Secure Code Development
Learn secure coding practices for embedded systems in content protection and mobile payments, focusing on real-world asset protection techniques and best practices for software security.
Cyber Stopper vs Cyber Enabler - Bridging the Culture Gap between Builders and Protectors
Explora cómo superar las diferencias culturales entre desarrolladores y especialistas en ciberseguridad para lograr una colaboración efectiva en el desarrollo de software seguro y ágil.
Diseño de un microcomputador de 8 bits moderno
Exploración detallada del proceso de diseño y desafíos en la creación de un microcomputador de 8 bits moderno, desde la selección de componentes hasta la implementación electrónica.
Chaos Engineering
Descubre cómo la ingeniería del caos mejora la resiliencia de sistemas mediante experimentos controlados. Aprende a implementar un cookbook de recetas para construir pruebas de caos en entornos de producción.
DIAL - Did I Just Alert Lambda?
Explore DIAL, a stateless monitoring system for AWS that provides visibility on internal threats and security misconfigurations across multiple accounts, leveraging Lambda for scalability and easy deployment.
Makings of a Modern ACID Compliant Distributed Database
Explore the internal design of FaunaDB, focusing on ACID guarantees, distributed systems, and performance optimization techniques like Calvin protocol and control theory applications.
Typing the Untyped - Soundness in Gradual Type Systems
Explore tradeoffs in gradual type systems for untyped languages, examining soundness vs. completeness in type refinement, array errors, and variance across different implementations.
A Practical Look at Performance Theory
Explore performance theory for system tuning and capacity planning. Learn Little's Law, Universal Scalability Law, and real-world applications from companies like Facebook.
What Does 'Productivity' Actually Mean for Developers?
Explores the complex concept of developer productivity, challenging simplistic metrics and highlighting multifaceted factors that influence software engineering effectiveness.
Online Community and Safety in Software Engineering
Empirical research insights on fostering safety in online coding communities, exploring successful strategies and future directions for inclusive software engineering environments.
The Unintended Consequences of Mining Software Build Systems
Explore how historical build failure data can improve software development processes, with insights on testing, code reviews, remote onboarding, and productivity measurement.
Causal Testing - Understanding the Root Causes of Defects
Explore causal testing techniques to trace software defects to their origins, enhancing fault detection and improving overall software quality and reliability.
Value and Waste in Software Engineering
Explore sources of waste in software development, including bad code reviews and technical debt, and learn strategies to create value and reduce inefficiencies in the development process.
Challenges and Opportunities for Software Engineering in Papua New Guinea
Exploring software engineering in Papua New Guinea: regional challenges, opportunities, and lessons for global developers on considering local contexts in their work.
Chat with Hillel Wayne about TLA+
Explore TLA+, a formal specification language, with Hillel Wayne. Learn about its applications, benefits, and the upcoming TLA+ Conference, gaining insights into this powerful tool for software design and verification.
CQRS with Erlang
Explore CQRS implementation in Erlang, highlighting its advantages for distributed systems and eventual consistency. Learn how Erlang's features complement CQRS principles.
Dissecting Clojure Reducers
Explore Clojure Reducers through live coding, uncovering functional abstractions and performance improvements for parallel solutions. Learn from ground-up implementation and real-world examples.
Empowering People to Build a Digital Bank
Explore how a digital bank built and scales its microservices architecture, focusing on cloud-based infrastructure, Kubernetes deployment, and custom tooling for high reliability and fast development cycles.
Better Spotify Playlists through Discrete Optimization
Explore algorithmic playlist creation using music theory and optimization techniques to generate cohesive, mood-setting Spotify playlists. Includes live demos and audience participation.