//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts







Loading...
My recap of the SIGMOD 2026 database conference: SIGMOD 2026 recap: emptysqua.re/blog/sigmod-...
Trip report: what I saw and did in Bengaluru/Bangalore. I'm waiting in the airport to fly home right now. emptysqua.re/blog/bengalu...
My review of "Scalable Leader Leases For Multi Consensus Groups in CockroachDB", this one was tough for me to grok. emptysqua.re/blog/review-...
No, *this* is what they took from you -- small cars with physical buttons! marc-newson.com/ford-021c-co...
Nepal trek trip report: photos, videos, daily stats, packing list. emptysqua.re/blog/nepal-t...
Weird stuff going on at the MongoDB NYC office lately....
My father’s dishonesty was frustrating and disappointing to many people, but I think he got the worst of it. Here’s a dharma talk I gave to New Paltz Zen Center and Village Zendo on May 10, 2026. emptysqua.re/blog/the-kid...
3d
4d
5d
7d
15d
1mo
1mo
My notes from the database conference in Bangalore.
emptysqua.re
Trip report of a week in India's tech capital.
SIGMOD 2026 Recap
Bengaluru
emptysqua.re
A difficult paper about a real cloud database's complex and evolving architecture.
emptysqua.re
Marc Newson has been described as one of the most influential designers of his generation. He has worked across an extremely wide range of disciplines, and his clients include some of the best-known a...
marc-newson.com
Review: Scalable Leader Leases For Multi Consensus Groups in CockroachDB
Ford 021C Concept Car | Marc Newson
TLA+ is the gold standard for specifying distributed systems, but the syntax is a bear. This isn't a problem anymore, AI can write specs for you! But you still need to understand temporal logic. Here's a 20-minute intro to TLA+ for the LLM era: emptysqua.re/blog/intro-t...
Two days visiting Kathmandu temples, then four days walking up to Poon Hill and down through the Annapurna foothills.
emptysqua.re
Nepal trek
My father's dishonesty was frustrating and disappointing to many people, but I think he got the worst of it.
The Kid Is Not My Son
emptysqua.re
1mo
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
A. Jesse Jiryu Davis
You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.
emptysqua.re
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
A. Jesse Jiryu Davis