Our MongoDB TLA+ Workshop
https://muratbuffalo.blogspot.com/2026/06/our-mongodb-tla-workshop.html
Published: June 13, 2026 13:23
🦜 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.
---
Site URL: muratbuffalo.blogspot.com/2024/02/verifying-transactional-consistency-of.html
Feed URL: muratbuffalo.blogspot.com/feeds/posts/default
Posts: 10
Followers: 1
Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools
https://muratbuffalo.blogspot.com/2026/06/writing-code-vs-shipping-code.html
Published: June 9, 2026 04:11
A Case for Simulation-Driven Resilience in Agentic Data Systems
https://muratbuffalo.blogspot.com/2026/06/a-case-for-simulation-driven-resilience.html
Published: June 8, 2026 03:43
ACM CAIS: Conference on AI and Agentic Systems
https://muratbuffalo.blogspot.com/2026/06/acm-cais-conference-on-ai-and-agentic.html
Published: June 2, 2026 17:29
Chess invariants
https://muratbuffalo.blogspot.com/2026/05/chess-invariants.html
Published: May 21, 2026 12:30
OSTEP Chapter 15: Address Translation
https://muratbuffalo.blogspot.com/2026/05/ostep-chapter-15-address-translation.html
Published: May 18, 2026 02:03
Book review: The Thinking Machine
https://muratbuffalo.blogspot.com/2026/05/book-review-thinking-machine.html
Published: May 16, 2026 23:20
The Two Abstractions of System Design: Hide or Reduce
https://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html
Published: May 8, 2026 23:27
BugBash'26: Day 2
https://muratbuffalo.blogspot.com/2026/05/bugbash26-day-2.html
Published: May 3, 2026 22:06
BugBash'26 Afternoon of Day 1
https://muratbuffalo.blogspot.com/2026/04/bugbash26-afternoon-of-day-1.html
Published: April 27, 2026 12:30