Formally Verifying Everybody's Cryptography
Explore formal verification in cryptography: its application, challenges, and impact on securing real-world systems through mathematical reasoning and advanced techniques.
Beyond Blockchain - Convergent Consensus
Explore a novel consensus algorithm inspired by CRDTs and category theory, offering efficient and scalable decentralized computation. Learn about Convergent Proof of Stake and its implementation using Convex Lisp.
Formal Modeling and Analysis of Distributed Systems
Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.
Resilient Microservices Without the Chaos
Explore resilient microservices design using Service-Level Fault Injection Testing. Learn about Filibuster, a tool that verifies application behavior under failure, combining static analysis and test synthesis for robust systems.
Open-Sourcing Venice
Explore LinkedIn's Venice: a high-throughput, low-latency derived data storage system powering AI workloads. Learn about its architecture, scalability, and real-world applications in online deep learning.
Systems That Run Forever - Self-Heal and Scale
Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.
Information Technology Systems in a Post-Silicon World
Explore post-silicon IT systems, emerging architectures, and AI's impact on InfoSec. Discover how innovation addresses Moore's Law limitations and shapes the future of technology and security.
Using Static Binary Analysis to Find Vulnerabilities and Backdoors in Firmware
Explore techniques for detecting vulnerabilities and backdoors in embedded device firmware using static binary analysis, focusing on challenges and automated solutions for complex binary blobs.
What Swift Devs Can Learn from C++
Explore C++ features Swift developers might envy, including performance optimizations, hardware customization, and mature community practices, presented by an iOS developer working on Photoshop for iPad.
Highly-Scalable Searchable Symmetric Encryption
Explore advanced searchable symmetric encryption techniques for secure cloud data storage, focusing on Boolean queries and scalability challenges in cryptography.
Lessons on Learning Angular - Roadmap to Learning Angular E10
Experienced author Deborah Kurata shares strategies for maximizing retention and understanding when taking online Angular courses, from tackling unfamiliar terms to breaking down complex concepts.
Typescript Meta Programming from 0 to 100
Explore advanced TypeScript features for managing complex applications, including dependency injection, runtime type assertions, and reflection, through live coding demonstrations.
Data in Motion - Streaming Static Data Efficiently in Akka Persistence
Explore efficient streaming of static data using Akka Persistence, focusing on architecture, implementation, and performance tuning for distributed systems and enterprise applications.
Domain Driven Design and Onion Architecture in Scala
Explore Domain Driven Design and Onion Architecture in Scala, focusing on code readability, maintainability, and rapid prototyping. Learn key concepts and practical techniques through a code-driven approach.
Perfect Scalability
Explore architectural constraints for extreme scalability, focusing on design approaches, real-world examples, and leveraging Lightbend tools to create systems that scale without limits.
Reducing Microservice Complexity with Kafka and Reactive Streams
Explore how to simplify microservices using Kafka and Reactive Streams, focusing on latency reduction, back-pressure, high availability, and message payload evolution.
Isomorphic React Applications - Performance and Scalability
Explore isomorphic React applications, their benefits, and advanced solutions for performance and scalability in high-load environments. Learn strategies for efficient server-side rendering and deployment.
Container Networking Untangling Services Meshes and SDNs
Explore service meshes and SDNs in container networking, comparing Istio, Linkerd, Conduit, and OpenContrail for Kubernetes integration, scalability, routing, and security policy enforcement.
Dishonest Software - Fighting Back Against the Industry Norms
Explore ethical software development, combating industry norms that compromise data privacy. Learn to advocate for user rights and build honest tools with compelling arguments for product leadership.
Intro to Test Driven Development - How to Safely Make Changes
Learn essential Test Driven Development techniques to safely implement changes, create robust code, and improve software quality through hands-on examples and practical strategies.
Make a Difference with Simple A-B Testing
Learn to implement, track, and benefit from A/B testing in app development. Discover easy techniques and a simple organizational system to gain valuable user insights and drive positive changes.