- Get a Coach for your PyCon 2021 Talk
A speaking coach will help you make make your PyCon video polished, convincing, and fun.
- Aragog: Scalable Runtime Verification of Shardable Networked Systems
An efficient invariant checker for network protocols.
- Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
A clever research paper describing a rack-sized distributed KV store.
- RIP Gertrude
Gertrude Berg Armstrong Davis was an industrious homemaker and affectionate sister.
- Give Something Away to a Stranger
Rich countries and drug firms are acting selfishly during the pandemic. Selfishness is natural, but we can strengthen our universal goodwill through training.
- Nighttime meditation in East River Park
November 28, 2020. Members of the Village Zendo meditating outdoors at night in Manhattan's East River Park.
- These Unreliable United States
We're shocked how fragile our country is, but Buddha told us nothing lasts. We can rely only on the truth. A talk at Village Zendo, November 8, 2020.
- RIP Hazel
Hazel Scott Armstrong Davis combined a fierce disposition with impeccable grooming and elegance. She is survived by her sister Gertrude.
- American Religion in America's Time of Crisis
Buddhists must respond to the current political crisis, just as abolitionists did in the 19th C. A talk at the Village Zendo, September 3, 2020.
- Two attempts to compare a TLA+ spec with a C++ implementation
At MongoDB we tried two methods to test that a spec matches the code: one worked, one didn't. We explain our results in a VLDB 2020 paper.