BugBash'26 Afternoon of Day 1
https://muratbuffalo.blogspot.com/2026/04/bugbash26-afternoon-of-day-1.html
Published: April 27, 2026 12:30
🦜 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: 9
Followers: 1
BugBash'26 Morning of Day 1
https://muratbuffalo.blogspot.com/2026/04/bugbash26-morning-of-day-1.html
Published: April 25, 2026 15:45
BugBash'26 Keynote
https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote.html
Published: April 25, 2026 01:58
OSTEP Chapter 14: Interlude -- Memory API
https://muratbuffalo.blogspot.com/2026/04/ostep-chapter-14-interlude-memory-api.html
Published: April 3, 2026 15:06
PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely
https://muratbuffalo.blogspot.com/2026/04/politepaxos-new-consensus-variant-where.html
Published: April 1, 2026 14:13
Measuring AI Ability to Complete Long Software Tasks
https://muratbuffalo.blogspot.com/2026/03/measuring-ai-ability-to-complete-long.html
Published: March 28, 2026 19:05
OSTEP Chapter 13: The Abstraction of Address Spaces
https://muratbuffalo.blogspot.com/2026/03/ostep-chapter-13-abstraction-of-address.html
Published: March 26, 2026 13:58
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
https://muratbuffalo.blogspot.com/2026/03/sysmobench-evaluating-ai-on-formally.html
Published: March 24, 2026 19:36
TLA+ mental models
https://muratbuffalo.blogspot.com/2026/03/tla-mental-models.html
Published: March 23, 2026 16:12