RSS Parrot

🦜 Verifying Transactional Consistency of MongoDB

@muratbuffalo.blogspot.com.2024.02.verifying-transactional-consistency-of.html@rss-parrot.net

I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.

---

Your feed and you don't want it here? Just e-mail the birb.

Site URL: muratbuffalo.blogspot.com/2024/02/verifying-transactional-consistency-of.html

Feed URL: muratbuffalo.blogspot.com/feeds/posts/default

Posts: 11

Followers: 1

HPTS 2026 (Day 2 and Day 3)

https://muratbuffalo.blogspot.com/2026/10/hpts-2026-day-2-and-day-3.html

Published: October 23, 2026 16:45

HPTS 2026 (Day 1)

https://muratbuffalo.blogspot.com/2026/10/hpts-2026-day-1.html

Published: October 21, 2026 19:58

Atlas Infinite: MongoDB's Disaggregated Architecture

https://muratbuffalo.blogspot.com/2026/10/atlas-infinite-mongodbs-disaggregated.html

Published: October 11, 2026 01:43

What Happens When the Model Eats the Stack? Rethinking the Research Agenda for Data Agents to Withstand the Bitter Lesson

https://muratbuffalo.blogspot.com/2026/09/what-happens-when-model-eats-stack.html

Published: September 23, 2026 23:04

In Search of a Compositional Theory of Self-Stabilization

https://muratbuffalo.blogspot.com/2026/09/in-search-of-compositional-theory-of.html

Published: September 21, 2026 18:42

Academic Doomerism

https://muratbuffalo.blogspot.com/2026/09/academic-doomerism.html

Published: September 16, 2026 06:13

Jetpack: Consensus Made Generally Fast (OSDI '26)

https://muratbuffalo.blogspot.com/2026/09/jetpack-consensus-made-generally-fast.html

Published: September 12, 2026 05:36

Metastability as a failed conditional discharge of rely-guarantee composition

https://muratbuffalo.blogspot.com/2026/09/metastability-as-failed-conditional.html

Published: September 3, 2026 01:10

The Safest Job from AI may be Writing

https://muratbuffalo.blogspot.com/2026/08/the-safest-job-from-ai-may-be-writing.html

Published: August 31, 2026 20:08

Composition and Modular Verification of TLA+ specs

https://muratbuffalo.blogspot.com/2026/08/composition-and-modular-verification-of.html

Published: August 27, 2026 02:10

Thoughts on LLMs

https://muratbuffalo.blogspot.com/2026/08/thoughts-on-llms.html

Published: August 23, 2026 18:38