Miguel Ángel Pastor Olivar
@migue.bsky.social
Proud dad and husband
ArceKV: Towards Workload-driven LSM-compactions for
Key-Value Store Under Dynamic Workloads
Key-Value Store Under Dynamic Workloads
https://arxiv.org/pdf/2508.03565
arxiv.org
January 5, 2026 at 9:21 AM
ArceKV: Towards Workload-driven LSM-compactions for
Key-Value Store Under Dynamic Workloads
Key-Value Store Under Dynamic Workloads
Algorithms Compute Functions. Systems Make Promises
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…
jhellerstein.github.io
January 1, 2026 at 4:16 PM
Algorithms Compute Functions. Systems Make Promises
Shaping AI's Impact on Billions of Lives shapingai.com/Shaping%20AI...
https://shapingai.com/Shaping%20AI's%20Impact%20on%20Billions%20of%20Lives.pdf
shapingai.com
January 1, 2026 at 7:43 AM
Shaping AI's Impact on Billions of Lives shapingai.com/Shaping%20AI...
Introduction to Machine Learning Systems
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.
github.com
December 31, 2025 at 9:21 AM
Introduction to Machine Learning Systems
Static Allocation with Zig
Static Allocation with Zig
Introducing kv, a statically allocated key/value server.
nickmonad.blog
December 30, 2025 at 4:16 PM
Static Allocation with Zig
Review: Rethink the Linearizability Constraints of Raft for Distributed Systems
Review: Rethink the Linearizability Constraints of Raft for Distributed Systems
Some worthwhile Raft enhancements and some mistakes. Caveat lector.
emptysqua.re
December 30, 2025 at 9:21 AM
Review: Rethink the Linearizability Constraints of Raft for Distributed Systems
Lectures in Proof Theory
and Complexity
and Complexity
https://media.fupress.com/files/pdf/24/16191/45347
media.fupress.com
December 28, 2025 at 4:16 PM
Lectures in Proof Theory
and Complexity
and Complexity
2025 Advent of Compiler Optimisation
AoCO2025 Archive — Matt Godbolt’s blog
Archive — AoCO2025
xania.org
December 28, 2025 at 9:21 AM
2025 Advent of Compiler Optimisation
S3 server access logs at scale
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,...
engineeringblog.yelp.com
December 26, 2025 at 4:16 PM
S3 server access logs at scale
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
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
blog.wilsonl.in
December 26, 2025 at 9:21 AM
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
Performance Hints abseil.io/fast/hints.h...
abseil / Performance Hints
An open-source collection of core C++ library code
abseil.io
December 24, 2025 at 10:12 AM
Performance Hints abseil.io/fast/hints.h...
Clock Synchronization Is a Nightmare arpitbhayani.me/blogs/clock-...
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…
arpitbhayani.me
December 24, 2025 at 7:17 AM
Clock Synchronization Is a Nightmare arpitbhayani.me/blogs/clock-...
LeaseGuard: Raft Leases Done Right! muratbuffalo.blogspot.com/2025/12/leas...
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 ...
muratbuffalo.blogspot.com
December 20, 2025 at 9:21 AM
LeaseGuard: Raft Leases Done Right! muratbuffalo.blogspot.com/2025/12/leas...
No Graphics API www.sebastianaaltonen.com/blog/no-grap...
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…
www.sebastianaaltonen.com
December 19, 2025 at 4:16 PM
No Graphics API www.sebastianaaltonen.com/blog/no-grap...
Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions
https://www.usenix.org/conference/fast17/technical-sessions/presentation/ganesan
www.usenix.org
December 18, 2025 at 4:16 PM
Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions
What Now? Handling Errors in Large Systems brooker.co.za/blog/2025/11...
What Now? Handling Errors in Large Systems - Marc's Blog
More options means more choices.
brooker.co.za
December 17, 2025 at 4:16 PM
What Now? Handling Errors in Large Systems brooker.co.za/blog/2025/11...
What Does a Database for SSDs Look Like? brooker.co.za/blog/2025/12...
What Does a Database for SSDs Look Like? - Marc's Blog
Maybe not what you think.
brooker.co.za
December 17, 2025 at 9:21 AM
What Does a Database for SSDs Look Like? brooker.co.za/blog/2025/12...
TLA+ modeling tips muratbuffalo.blogspot.com/2025/12/tla-...
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...
muratbuffalo.blogspot.com
December 16, 2025 at 4:16 PM
TLA+ modeling tips muratbuffalo.blogspot.com/2025/12/tla-...
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo www.youtube.com/watch?v=RnQK...
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…
www.youtube.com
December 16, 2025 at 9:21 AM
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo www.youtube.com/watch?v=RnQK...
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
netflixtechblog.medium.com
December 14, 2025 at 4:16 PM
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
A Practical Dive Into Late Materialization in arrow-rs Parquet Reads
A Practical Dive Into Late Materialization in arrow-rs Parquet Reads
How arrow-rs pipelines predicates and projections to minimize work during Parquet scans
arrow.apache.org
December 13, 2025 at 4:16 PM
A Practical Dive Into Late Materialization in arrow-rs Parquet Reads
Full details of how blockchain blocks are chained together
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.
www.johndcook.com
December 13, 2025 at 9:21 AM
Full details of how blockchain blocks are chained together
Column Storage for the AI Era sympathetic.ink/2025/12/11/C...
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...
sympathetic.ink
December 13, 2025 at 7:24 AM
Column Storage for the AI Era sympathetic.ink/2025/12/11/C...
Can C++ Data Oriented Design Be ONE MILLION Times Faster www.youtube.com/watch?v=IO7j...
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…
www.youtube.com
December 12, 2025 at 4:16 PM
Can C++ Data Oriented Design Be ONE MILLION Times Faster www.youtube.com/watch?v=IO7j...
Cloudspecs: Cloud Hardware Evolution Through the Looking Glass
www.cs.cit.tum.de
December 12, 2025 at 9:21 AM
Cloudspecs: Cloud Hardware Evolution Through the Looking Glass