Optimizing a Meditation Retreat with a SAT Solver
Using a SAT solver and Python to automate the complex scheduling of student-teacher interviews at a Zen meditation retreat.
A. Jesse Jiryu Davis is a Senior Staff Research Engineer at MongoDB specializing in distributed systems, Python concurrency, and serverless architecture. He contributes to MongoDB drivers, async frameworks, and writes on software design and open source projects.
51 articles from this blog
Using a SAT solver and Python to automate the complex scheduling of student-teacher interviews at a Zen meditation retreat.
A personal journey from aspiring dancer to Python programmer and eventually a distributed systems researcher, detailing career transitions and technical growth.
A developer automates and deduplicates Google Scholar email alerts using a custom Google Apps Script to manage research papers efficiently.
Explores the reliability of timers in distributed algorithms like Raft, arguing they are viable with safety margins for mechanisms like leader leases.
MongoDB engineers explain how they test their distributed system implementations against formal TLA+ specifications to ensure correctness.
A retrospective on MongoDB's partnership with NYC public schools to teach computer science, examining the challenges and partial successes of the program.
MongoDB's initiative to support computer science education in NYC public schools through teacher fellowships and curriculum development.
A MongoDB engineer shares notes from the Antithesis BugBash conference, focusing on software correctness, autonomous testing, and related talks.
Explores extending TLA+ for performance modeling using queueing theory and simulation, moving beyond just correctness verification.
Summary of talks from the 2025 TLA+ Community Event, focusing on formal methods and model-guided fuzzing for distributed systems.
Explores how long to run deterministic and non-deterministic tests to find bugs, analyzing fuzzing efficiency and exponential cost models.
A review of SwiftPaxos, a new Paxos variant designed for fast, geo-replicated state machines in high-latency networks.
An experiment by MongoDB to predict customer demand and auto-scale database resources in MongoDB Atlas, aiming to reduce costs and carbon emissions.
Announcement for a NYC Systems tech talk on predictive auto-scaling in MongoDB Atlas and instrumentation of compiled code.
A review of Amazon MemoryDB, a Redis-compatible cloud database service from AWS, focusing on its architecture and durability improvements.
A personal reflection on the state of women in tech, questioning the impact of diversity initiatives and exploring what truly drives inclusion.
A technical summary and analysis of the Detock research paper on high-performance, multi-region database transactions with strict serializability.
A review of a VLDB paper proposing a 'Timestamp as a Service' as a fault-tolerant alternative to traditional timestamp oracles in distributed databases.
Explains MongoDB's causal consistency feature, its API, and how it solves read-your-writes and monotonic read problems in replica sets.
A review of the Antipode research paper, which proposes a new cross-service causal consistency model for distributed systems.