A. Jesse Jiryu Davis
- Current and Future Tools for Interactive TLA+
A talk I gave at the 2021 TLA+ conference with Samy Lanka.
- Paper Review: Programming as Theory Building
Peter Naur (of Backus-Naur form) wrote that programmers' main job is not coding, but building a theory of the problem and solution.
- Coaching For All 2021 PyGotham Speakers
Opera singer Melissa Collom will help you give a terrific talk.
- Priest ordination for Shōmon at the Village Zendo
August 2, 2021. This summer's head trainee, Willie Mukei Smith, was ordained and received the name Shōmon.
- The MongoDB Stable API
For MongoDB 5.0, I designed a new Stable API that permits you to upgrade without code changes.
- Paper review: Strong and Efficient Consistency with Consistency-Aware Durability
Don't wait for data to be durable when you write it, wait before you read.
- July 4, 2021
People watching NYC fireworks from the FDR highway.
- How To Understand Non-Self: Buddhism And Conway's Game Of Life
John Conway's Game of Life is a math puzzle that gives us insights into the Buddha's teaching of anatman.
- Review: The Scout Mindset
Julia Galef's book points out the dangers of motivated reasoning, and encourages us to be skeptical of ourselves.
- Paper review: Paxos vs Raft
Which consensus algorithm will win?