Sniffing the Metaverse
Explore electronic noses, AI-powered scent detection, and their applications in healthcare, industry, and everyday life. Learn about integrating sensors with the Metaverse using IoT and AR technologies.
KalDB - A Cloud Native Log Search Platform
Explore KalDB, a cloud-native log search platform addressing Elasticsearch limitations. Learn about its architecture, real-time visibility, automatic field conflict handling, and cost-saving techniques.
The Evolution of a Planetary-scale Distributed Database
Explore the evolution of New Relic's telemetry database, from its inception to a globally distributed system. Learn about architectural challenges, solutions, and insights into building large-scale distributed systems.
Machine Learning for Developer Productivity
Explore innovative ML-driven software productivity tools, their impact on developer efficiency, and industry experiences. Gain insights into code prediction, autocomplete advancements, and future possibilities.
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.
How Live Music Is Evolving in a Post-Pandemic World
Explore the evolution of live music in a post-pandemic world, focusing on remote performances, browser APIs, and innovative technologies for distributed musical experiences.
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.
Introducing the HandAxe Collections Pattern Language
Explore a pattern language for designing consistent, composable collection protocols in programming languages, emphasizing clarity and expressive power through rigorous terminology and a unified approach.
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.
Stop Writing Dead Programs
Explore the future of programming with a critical look at current practices and innovative ideas for live programming environments that could revolutionize problem-solving in technology.
Remember When We Broke the Internet
Exploring unexpected incidents in open source history, their impact on technology, and the complexity of open source ecosystems as sociotechnical systems.
Light and Adaptive Indexing for Immutable Databases
Explore innovative indexing strategies for large-scale immutable databases, including learned and adaptive indexes, addressing engineering challenges in distributed environments.
Automatic Generation of Runtime Checkers for Production Distributed Systems
Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.
Exploring Deep Space and Deep Ocean with AI Guidance
Discover how AI and ML advance exploration of extreme environments like deep oceans and space, focusing on autonomous decision-making, data collection, and spectroscopy techniques.
Morel - A Functional Query Language
Explore Morel, a hybrid functional/relational language combining Standard ML with query capabilities, optimized for data-intensive systems and relational backends.
Crowd Dynamics, RL and Unity - A Journey
Explore crowd dynamics modeling using reinforcement learning and Unity. Learn about extended Kalman filters, PPO in Unity-ML, and result validation for simulating diverse crowd behaviors.
Impacting Global Policy by Understanding Litter Data
Explore how data analysis of global litter can inform policy, influence packaging, and inspire personal responsibility using computer vision and machine learning techniques.
Tech When the Sky is Falling - Tools for Crisis Response
Explore tools and strategies for rapid tech-enabled crisis response, drawing insights from MaskMatch's successful PPE distribution during COVID-19. Learn to make smart decisions under pressure and scale impactful solutions.
How Tracing Uncovers Half-truths in Slack's CI Infrastructure
Discover how tracing enhances Slack's CI infrastructure debugging, revealing system failures and improving performance through shared tooling for high-dimensionality event traces.