Miguel Ángel Pastor Olivar
@migue.bsky.social
📤 149
📥 126
📝 730
Proud dad and husband
From Disks to Distributed: Our Journey of Database Evolution in the Cloud
fosdem.org/2026/schedul...
loading . . .
FOSDEM 2026 - From Disks to Distributed: Our Journey of Database Evolution in the Cloud
Our database had reached a point where failure scenarios were becoming increasingly complex and time consuming. A single node could take up to 15 minutes to recover. It was expensive to run and…
https://fosdem.org/2026/schedule/event/YPT7N8-disks-to-distributed/
about 15 hours ago
0
0
0
What We Talk About When We Talk About Agent Infra
me.0xffff.me
loading . . .
What We Talk About When We Talk About Agent Infra - me.0xffff.me
Examining what Agent Infrastructure really means from an infrastructure builder's perspective
https://me.0xffff.me/agent_infra.html
2 days ago
0
0
0
XRP: In-Kernel Storage Functions with eBPF
loading . . .
https://www.usenix.org/conference/osdi22/presentation/zhong
3 days ago
0
0
0
PostgreSQL vs. The World Seminar Series
loading . . .
PostgreSQL vs. The World Seminar Series - Carnegie Mellon Database Group
Every major cloud vendor now offers an enhanced, opinionated PostgreSQL-compatible database management... Read More +
https://db.cs.cmu.edu/seminars/spring2026/
3 days ago
0
0
0
Bf-Tree: a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
loading . . .
GitHub - microsoft/bf-tree: Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research. - microsoft/bf-tree
https://github.com/microsoft/bf-tree
4 days ago
0
0
0
Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB
www.mongodb.com/company/blog...
loading . . .
Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB
Learn how we used modular protocol specification for verifying both correctness and performance of MongoDB’s distributed transactions protocol.
https://www.mongodb.com/company/blog/engineering/formal-methods-beyond-correctness-isolation-permissiveness-distributed-transactions
6 days ago
0
1
0
Database Recovery Demystified: Understanding ARIES from First Principles | Yash Agarwal
loading . . .
Database Recovery Demystified: Understanding ARIES from First Principles | Yash Agarwal
A Minimal Database Model
https://yashagw.github.io/blog/db-recovery/
7 days ago
0
0
0
The Memory Paradox: Why Our Brains Need Knowledge in an Age of AI
papers.ssrn.com/sol3/papers....
loading . . .
The Memory Paradox: Why Our Brains Need Knowledge in an Age of AI
In an era of generative AI and ubiquitous digital tools, human memory faces a paradox: the more we offload knowledge to external aids, the less we exercise and
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5250447
8 days ago
0
0
0
Scaling PostgreSQL to power 800 million ChatGPT users
openai.com/index/scalin...
loading . . .
https://openai.com/index/scaling-postgresql/
https://openai.com/index/scaling-postgresql/
11 days ago
0
0
0
Semantic Data Modeling, Graph Query, and SQL, Together at Last?
storage.googleapis.com/gweb-researc...
loading . . .
https://storage.googleapis.com/gweb-research2023-media/pubtools/1030704.pdf
12 days ago
0
0
0
Unconventional PostgreSQL Optimizations. Creative ideas for speeding up queries in PostgreSQL
hakibenita.com/postgresql-u...
loading . . .
Unconventional PostgreSQL Optimizations
Creative ideas for speeding up queries in PostgreSQL
https://hakibenita.com/postgresql-unconventional-optimizations
12 days ago
0
1
0
Writing a TSDB from scratch in Go
docs.google.com/presentation...
loading . . .
Writing a TSDB from scratch in Go
Writing a TSDB from scratch in Go Performance optimizations
https://docs.google.com/presentation/d/1b5mGL6e0lkXGx2kZxpveoMCv5m93Tx2-hEsePBsGAzI/
13 days ago
0
0
0
The End of General-purpose Database Systems? Or why we need to clone!
drive.google.com/file/d/1XPQg...
loading . . .
GongShow_CIDR.pdf
https://drive.google.com/file/d/1XPQgyII8r_wwV5zizAHu40mY6cRuR0c9/view
13 days ago
0
0
0
Are Database System Researchers Making Correct Assumptions about Transaction Workloads?
loading . . .
Are Database System Researchers Making Correct Assumptions about Transaction Workloads?
In this blog, we had reviewed quite a number of deterministic database papers, including Calvin , SLOG , Detock , which aimed to achieve hig...
http://muratbuffalo.blogspot.com/2026/01/are-database-system-researchers-making.html
23 days ago
0
1
0
Building a Corruption-Proof Write-Ahead Log in Go
loading . . .
Building a Corruption-Proof Write-Ahead Log in Go
Learn how to build a crash-safe Write-Ahead Log (WAL) in Go, and why CRC32 alone is not enough. We explore the durability layers UnisonDB uses to prevent corruption after crashes.
https://unisondb.io/blog/building-corruption-proof-write-ahead-log-in-go/
23 days ago
0
0
0
Demystifying and Improving Lazy Promotion in Cache Eviction
loading . . .
https://juncheng.seas.harvard.edu/publication/vldb26_lazyPromotion.pdf
https://juncheng.seas.harvard.edu/publication/vldb26_lazyPromotion.pdf
24 days ago
0
0
0
Pruning in Snowflake: Working Smarter, Not Harder
arxiv.org/pdf/2504.11540
loading . . .
https://arxiv.org/pdf/2504.11540
25 days ago
0
0
0
Clock Synchronization Is a Nightmare
loading . . .
Clock Synchronization Is a Nightmare
Time seems simple. But we engineers lose sleep over something as basic as keeping clocks in sync. Here’s why…
https://arpitbhayani.me/blogs/clock-sync-nightmare/
25 days ago
0
0
0
Clock Synchronization Is a Nightmare
loading . . .
Clock Synchronization Is a Nightmare
Time seems simple. But we engineers lose sleep over something as basic as keeping clocks in sync. Here’s why…
https://arpitbhayani.me/blogs/clock-sync-nightmare/
25 days ago
0
0
0
A hardware-aware guide to data structures for system software engineers.
loading . . .
GitHub - djiangtw/data-structures-in-practice-public: A hardware-aware guide to data structures for system software engineers.
A hardware-aware guide to data structures for system software engineers. - djiangtw/data-structures-in-practice-public
https://github.com/djiangtw/data-structures-in-practice-public
25 days ago
0
1
0
Databases in 2025: A Year in Review
loading . . .
Databases in 2025: A Year in Review
The world tried to kill Andy off but he had to stay alive to to talk about what happened with databases in 2025.
https://www.cs.cmu.edu/~pavlo/blog/2026/01/2025-databases-retrospective.html
28 days ago
0
0
0
ArceKV: Towards Workload-driven LSM-compactions for Key-Value Store Under Dynamic Workloads
loading . . .
https://arxiv.org/pdf/2508.03565
https://arxiv.org/pdf/2508.03565
30 days ago
0
0
0
Algorithms Compute Functions. Systems Make Promises
loading . . .
Algorithms Compute Functions. Systems Make Promises.
I've been having a lot of fun working on Hydro at AWS this fall. But over the winter break I stepped away from coding and had the space to think ... mostly…
https://jhellerstein.github.io/blog/algs-systems/
about 1 month ago
0
0
0
Shaping AI's Impact on Billions of Lives
shapingai.com/Shaping%20AI...
loading . . .
https://shapingai.com/Shaping%20AI's%20Impact%20on%20Billions%20of%20Lives.pdf
https://shapingai.com/Shaping%20AI's%20Impact%20on%20Billions%20of%20Lives.pdf
about 1 month ago
0
0
0
Introduction to Machine Learning Systems
loading . . .
GitHub - harvard-edge/cs249r_book: Introduction to Machine Learning Systems
Introduction to Machine Learning Systems. Contribute to harvard-edge/cs249r_book development by creating an account on GitHub.
https://github.com/harvard-edge/cs249r_book
about 1 month ago
0
0
0
Static Allocation with Zig
loading . . .
Static Allocation with Zig
Introducing kv, a statically allocated key/value server.
https://nickmonad.blog/2025/static-allocation-with-zig-kv/
about 1 month ago
0
0
0
Review: Rethink the Linearizability Constraints of Raft for Distributed Systems
loading . . .
Review: Rethink the Linearizability Constraints of Raft for Distributed Systems
Some worthwhile Raft enhancements and some mistakes. Caveat lector.
https://emptysqua.re/blog/review-rethink-linearizability-constraints-raft
about 1 month ago
0
0
0
Lectures in Proof Theory and Complexity
loading . . .
https://media.fupress.com/files/pdf/24/16191/45347
https://media.fupress.com/files/pdf/24/16191/45347
about 1 month ago
0
0
0
2025 Advent of Compiler Optimisation
loading . . .
AoCO2025 Archive — Matt Godbolt’s blog
Archive — AoCO2025
https://xania.org/AoCO2025-archive
about 1 month ago
0
0
0
S3 server access logs at scale
loading . . .
S3 server access logs at scale
S3 server access logs at scale Nurdan Almazbekov, Infrastructure Security Sep 26, 2025 Introduction Yelp heavily relies on Amazon S3 (Simple Storage Service) to store a wide variety of data,...
https://engineeringblog.yelp.com/2025/09/s3-server-access-logs-at-scale.html
about 1 month ago
0
0
0
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
loading . . .
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
Deep dive into blobd, an object store designed for constant low latency reads using async Rust, io_uring and atomic writes
https://blog.wilsonl.in/blobd/
about 1 month ago
0
0
0
Performance Hints
abseil.io/fast/hints.h...
loading . . .
abseil / Performance Hints
An open-source collection of core C++ library code
https://abseil.io/fast/hints.html
about 1 month ago
0
0
0
Clock Synchronization Is a Nightmare
arpitbhayani.me/blogs/clock-...
loading . . .
Clock Synchronization Is a Nightmare
Time seems simple. But we engineers lose sleep over something as basic as keeping clocks in sync. Here’s why…
https://arpitbhayani.me/blogs/clock-sync-nightmare/
about 1 month ago
0
0
0
LeaseGuard: Raft Leases Done Right!
muratbuffalo.blogspot.com/2025/12/leas...
loading . . .
LeaseGuard: Raft Leases Done Right!
Many distributed systems have a leader-based consensus protocol at their heart. The protocol elects one server as the "leader" who receives ...
https://muratbuffalo.blogspot.com/2025/12/leaseguard-raft-leases-done-right.html
about 2 months ago
0
0
0
No Graphics API
www.sebastianaaltonen.com/blog/no-grap...
loading . . .
No Graphics API — Sebastian Aaltonen
Graphics APIs and shader languages have significantly increased in complexity over the past decade. It’s time to start discussing how to strip down the abstractions to simplify development, improve…
https://www.sebastianaaltonen.com/blog/no-graphics-api
about 2 months ago
0
1
0
Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions
loading . . .
https://www.usenix.org/conference/fast17/technical-sessions/presentation/ganesan
https://www.usenix.org/conference/fast17/technical-sessions/presentation/ganesan
about 2 months ago
0
0
0
What Now? Handling Errors in Large Systems
brooker.co.za/blog/2025/11...
loading . . .
What Now? Handling Errors in Large Systems - Marc's Blog
More options means more choices.
https://brooker.co.za/blog/2025/11/20/what-now.html
about 2 months ago
0
0
0
What Does a Database for SSDs Look Like?
brooker.co.za/blog/2025/12...
loading . . .
What Does a Database for SSDs Look Like? - Marc's Blog
Maybe not what you think.
https://brooker.co.za/blog/2025/12/15/database-for-ssd.html
about 2 months ago
0
0
0
TLA+ modeling tips
muratbuffalo.blogspot.com/2025/12/tla-...
loading . . .
TLA+ modeling tips
Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a compone...
https://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
about 2 months ago
0
0
0
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo
www.youtube.com/watch?v=RnQK...
loading . . .
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo
DBMS R&D heavyweights, Dr. Mike Stonebraker (MIT CSAIL) and Dr. Andy Pavlo (CMU) share their opinions on 2025 AI and data technology trends and predictions for 2026. Learn what trends are most likely…
https://www.youtube.com/watch?v=RnQKluxWB5Y
about 2 months ago
0
1
0
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
loading . . .
https://netflixtechblog.medium.com/mount-mayhem-at-netflix-scaling-containers-on-modern-cpus-f3b09b68beac
about 2 months ago
0
1
1
A Practical Dive Into Late Materialization in arrow-rs Parquet Reads
loading . . .
A Practical Dive Into Late Materialization in arrow-rs Parquet Reads
How arrow-rs pipelines predicates and projections to minimize work during Parquet scans
https://arrow.apache.org/blog/2025/12/11/parquet-late-materialization-deep-dive/
about 2 months ago
0
0
0
Full details of how blockchain blocks are chained together
loading . . .
Full details of how blockchain blocks are chained together
How blocks in the Bitcoin blockchain are chained together. Looking at an example at the the byte level to get the real story, past the oversimplifications.
https://www.johndcook.com/blog/2025/10/27/blockchain/
about 2 months ago
0
0
0
Column Storage for the AI Era
sympathetic.ink/2025/12/11/C...
loading . . .
Column Storage for the AI Era
In the past few years, we’ve seen a cambrian explosion of new columnar formats, challenging the hegemony of Parquet: Lance, Fastlanes, Nimble, Vortex, AnyBlox, F3 (File Format for the Future). The thinking...
https://sympathetic.ink/2025/12/11/Column-Storage-for-the-AI-era.html
about 2 months ago
0
0
0
Can C++ Data Oriented Design Be ONE MILLION Times Faster
www.youtube.com/watch?v=IO7j...
loading . . .
Can C++ Data Oriented Design Be ONE MILLION Times Faster? - Andrew Drakeford
https://cppcon.org --- Can C++ Data Oriented Design Be ONE MILLION Times Faster? - Andrew Drakeford - CppCon 2025 --- Data-oriented design (DOD) has gained traction for its practical approach to…
https://www.youtube.com/watch?v=IO7jl1rjRvA
about 2 months ago
0
0
0
Cloudspecs: Cloud Hardware Evolution Through the Looking Glass
loading . . .
https://www.cs.cit.tum.de/fileadmin/w00cfj/dis/papers/cloudspecs-final.pdf
about 2 months ago
0
0
0
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
loading . . .
SQLBarber: A System Leveraging Large Language Models to Generate...
Database research and development often require a large number of SQL queries for benchmarking purposes. However, acquiring real-world SQL queries is challenging due to privacy concerns, and existing...
https://arxiv.org/abs/2507.06192
about 2 months ago
0
0
0
Building a Low-Latency Vector Search Engine for ScyllaDB
www.scylladb.com/2025/10/08/b...
loading . . .
Building a Low-Latency Vector Search Engine for ScyllaDB - ScyllaDB
ScyllaDB Vector Search is now available. Learn about the design decisions, testing, and optimizations involved in achieving our performance goals.
https://www.scylladb.com/2025/10/08/building-a-low-latency-vector-search-engine/
about 2 months ago
0
0
0
Cultures of Programming. The Development of Programming Concepts and Methodologies
loading . . .
Cultures of Programming
Cambridge Core - Philosophy of Science - Cultures of Programming
https://www.cambridge.org/core/books/cultures-of-programming/075A2D1DE611EE47807A683147B21691
about 2 months ago
0
0
0
Mechanical Habits
loading . . .
Mechanical Habits
My schtick as a software engineer is establishing automated processes --- mechanically enforced patterns of behavior. I have collected a Santa Claus bag of specific tricks I've learned from different...
https://matklad.github.io/2025/12/06/mechanical-habits.html
about 2 months ago
0
0
0
Load more
feeds!
log in
