Miguel Ángel Pastor Olivar
@migue.bsky.social
📤 157
📥 127
📝 796
Proud dad and husband
Event-driven Programming is Usually a Poor Architecture
dbos.dev/blog/goto-co...
loading . . .
Event-driven Programming is Usually a Poor Architecture | DBOS
Postgres creator and DBOS co-founder Dr. Mike Stonebraker explains why workflow architectures are preferred over event-driven and why AI frameworks are converging on a workflow-style model and…
https://dbos.dev/blog/goto-considered-harmful-2026
4 days ago
0
1
0
Supercharging Redpanda Streaming with profile-guided optimization
www.redpanda.com/blog/superch...
loading . . .
Supercharging Redpanda Streaming with profile-guided optimization
A behind-the-scenes look into how we optimized performance and cut latency in Redpanda 26.1 with profile-guided optimization.
https://www.redpanda.com/blog/supercharging-streaming-profile-guided-optimization
4 days ago
0
0
0
Decoupled DiLoCo: A new frontier for resilient, distributed AI training
deepmind.google/blog/decoupl...
loading . . .
Decoupled DiLoCo: Resilient, Distributed AI Training at Scale
Google’s new distributed architecture keeps AI training runs on track across distant data centers, with exceptional efficiency – even when hardware fails.
https://deepmind.google/blog/decoupled-diloco/
17 days ago
0
0
0
VillageSQL: Decisions, Principles, & Lessons in Teaching MySQL New Tricks
loading . . .
VillageSQL: Decisions, Principles, & Lessons in Teaching MySQL New Tricks (Steve Schirripa)
CMU Database Group — PostgreSQL vs. The World Seminar Series (Spring 2026) Speaker: Steve Schirripa (https://www.linkedin.com/in/steve-schirripa-99a1651/) April 20,…
https://youtu.be/xGbNoXUovJ0
17 days ago
0
0
0
The invisible engineering behind Lambda’s network
www.allthingsdistributed.com/2026/04/the-...
loading . . .
The invisible engineering behind Lambda’s network
The subtle inventiveness that reduced cold start setup from seconds to 200μs.
https://www.allthingsdistributed.com/2026/04/the-invisible-engineering-behind-lambdas-network.html
17 days ago
0
0
0
Design and Implementation of DuckDB Internals
duckdb.org/library/desi...
loading . . .
Design and Implementation of DuckDB Internals
DuckDB is an in-process SQL database management system focused on analytical query processing. It is designed to be easy to install and easy to use. DuckDB has no external dependencies. DuckDB has…
https://duckdb.org/library/design-and-implementation-of-duckdb-internals/
21 days ago
0
0
0
Your Container Is Not a Sandbox
emirb.github.io/blog/microvm...
loading . . .
Your Container Is Not a Sandbox
The microVM ecosystem was battle-tested long before agentic AI created the demand. A landscape survey: every VMM, the shared Rust crate ecosystem, a dozen AI sandbox platforms, and honest trade-offs.
https://emirb.github.io/blog/microvm-2026/
27 days ago
0
0
0
WAL as a Data Distribution Layer
loading . . .
WAL as a Data Distribution Layer
Introduction
https://richyen.com/postgres/2026/04/06/wal_archiving.html
29 days ago
0
0
0
S3 Files and the changing face of S3
www.allthingsdistributed.com/2026/04/s3-f...
loading . . .
S3 Files and the changing face of S3
Andy Warfield writes about the hard-won lessons dealing with data friction that lead to S3 Files
https://www.allthingsdistributed.com/2026/04/s3-files-and-the-changing-face-of-s3.html
about 1 month ago
0
0
0
Your RAM Has a 60 Year Old Design Flaw. I Bypassed It.
www.youtube.com/watch?v=KKbg...
loading . . .
Your RAM Has a 60 Year Old Design Flaw. I Bypassed It.
Modern DRAM is based on a brilliant design from IBM. But, we're still paying for a latency penalty that's existed since the 60s! In this video, I'm introducing my personal research project…
https://www.youtube.com/watch?v=KKbgulTp3FE
about 1 month ago
0
0
0
Why Are You Not Claudemaxxing?
loading . . .
Why Are You Not Claudemaxxing?
From mass-dismissing AI coding tools to managing 5 Claude sessions on a walk. A prompt school origin story -- and your first useful AI win.
https://blog.pumpurlabs.com/posts/005-why-are-you-not-claudemaxxing/index.mdx/
about 1 month ago
0
0
0
Memory Isn't Learning
christophermeiklejohn.com/ai/zabriskie...
loading . . .
Memory Isn't Learning
27 Mar 2026
https://christophermeiklejohn.com/ai/zabriskie/development/2026/03/27/memory-isnt-learning.html
about 1 month ago
0
0
0
The Cost of Concurrency Coordination
www.youtube.com/watch?v=tND-...
loading . . .
The Cost of Concurrency Coordination with Jon Gjengset
In this talk, Jon Gjengset explores the true cost of concurrency coordination – from Amdahl's law down to CPU cache lines – and what we can do about it. Modern hardware is moving to more cores…
https://www.youtube.com/watch?v=tND-wBBZ8RY
about 1 month ago
0
0
0
TurboQuant: Redefining AI efficiency with extreme compression
research.google/blog/turboqu...
loading . . .
TurboQuant: Redefining AI efficiency with extreme compression
We strive to create an environment conducive to many different types of research across many different time scales and levels of risk.
https://research.google/blog/turboquant-redefining-ai-efficiency-with-extreme-compression/
about 2 months ago
0
0
0
TonicDB: Databases without an OS?
youtu.be/YuEPZlXBImg?...
loading . . .
TonicDB: Databases without an OS? Meet QuinineHM (Filip Obradovic)
CMU Database Group — PostgreSQL vs. The World Seminar Series (Spring 2026) Speakers: Filip Obradovic (https://www.linkedin.com/in/filipbobradovic/) March 23,…
https://youtube.com/watch?v=YuEPZlXBImg&is=y1Gy_iqoqeRZrIeV
about 2 months ago
0
0
0
How io_uring Overtook libaio: Performance Across Linux Kernels — and an Unexpected IOMMU Trap
blog.ydb.tech/how-io-uring...
loading . . .
How io_uring Overtook libaio: Performance Across Linux Kernels — and an Unexpected IOMMU Trap
In Linux, there are two interfaces for efficient asynchronous disk I/O: traditional AIO (libaio) and the newer io_uring (liburing). It is…
https://blog.ydb.tech/how-io-uring-overtook-libaio-performance-across-linux-kernels-and-an-unexpected-iommu-trap-ea6126d9ef14
about 2 months ago
0
0
0
Sandboxing AI agents, 100x faster
blog.cloudflare.com/dynamic-work...
loading . . .
Sandboxing AI agents, 100x faster
We’re introducing Dynamic Workers, which allow you to execute AI-generated code in secure, lightweight isolates. This approach is 100 times faster than traditional containers, enabling millisecond startup...
https://blog.cloudflare.com/dynamic-workers/
about 2 months ago
1
1
0
Hypothesis, Antithesis, synthesis
antithesis.com/blog/2026/he...
loading . . .
Hypothesis, Antithesis, synthesis
Introducing Hegel, our new family of property-based testing libraries.
https://antithesis.com/blog/2026/hegel/
about 2 months ago
1
0
0
How Databases Checkpoint to Disk Without Stopping the World
www.gauravsarma.com/posts/2026-0...
loading . . .
Gaurav Sarma
Personal blog and portfolio
https://www.gauravsarma.com/posts/2026-03-15_checkpointing-without-stopping-the-world
about 2 months ago
0
0
0
RocksDB development finds a CPU bug
loading . . .
RocksDB development finds a CPU bug
This is the story of how a RocksDB unit test I added four years ago, a mini-stress test you might call it, revealed a novel hardware bug in a newer CPU. It w...
https://rocksdb.org/blog/2026/02/17/cpu-bug.html
about 2 months ago
0
0
0
Inside the JVM: The Engineering Behind Enterprise Performance
loading . . .
Inside the JVM: The Engineering Behind Enterprise Performance
A deep dive into the JVM's adaptive architecture. What it costs, what it buys, and why it still leads in sustained production workloads.
https://www.tmdevlab.com/jvm-engineering-enterprise-performance.html
about 2 months ago
0
0
0
Investing in Infrastructure: Meta’s Renewed Commitment to jemalloc
engineering.fb.com/2026/03/02/d...
about 2 months ago
0
0
0
A Trillion Transactions
youtu.be/y2_BqkKTbD8?...
loading . . .
A Trillion Transactions
What is scale? We often talk about throughput and latency, or adding machines, and yet systems still fail at scale. Scale isn't just performance and distribution, scale is survivability. Because the…
https://youtube.com/watch?v=y2_BqkKTbD8&is=8ikMgsROLBPixLmR
about 2 months ago
0
0
0
When Did That Hotspot Happen?
loading . . .
When Did That Hotspot Happen?
Mostly Java/JVM stuff. Focused on serviceability, observability and performance. All opinions are my own and I am not selling any of them.
https://jbachorik.github.io/posts/stackprofile-jfr
about 2 months ago
0
0
0
Introducing dial9: a flight recorder for Tokio
loading . . .
Introducing dial9: a flight recorder for Tokio | Tokio - An asynchronous Rust runtime
Tokio is a runtime for writing reliable asynchronous applications with Rust. It provides async I/O, networking, scheduling, timers, and more.
https://tokio.rs/blog/2026-03-18-dial9
about 2 months ago
0
0
0
Claude Code experiment: Visualizing Hybrid Logical Clocks
loading . . .
Claude Code experiment: Visualizing Hybrid Logical Clocks
Yesterday morning I downloaded Claude Code, and wanted to see what this bad boy can do. What better way to learn how this works than coding ...
http://muratbuffalo.blogspot.com/2026/03/claude-code-experiment-visualizing.html
about 2 months ago
0
3
0
Anthropic's Hidden Vercel Competitor "Antspace"
aprilnea.me/en/blog/reve...
loading . . .
AprilNEA - Full Stack Engineer
Full stack developer, open sourceror, serial entrepreneur.
https://aprilnea.me/en/blog/reverse-engineering-claude-code-antspace
about 2 months ago
0
1
0
The Little Book of Semaphores
loading . . .
The Little Book of Semaphores – Green Tea Press
Green Tea Press
https://greenteapress.com/wp/semaphores/
about 2 months ago
0
0
0
Fitting a Query Engine in Three Cache Lines
loading . . .
Fitting a Query Engine in Three Cache Lines
Why the bytecode that powers your analytical queries is smaller than a tweet, and why that matters more than you think.
https://vertexclique.com/blog/fitting-a-query-engine-in-three-cache-lines/
about 2 months ago
0
0
0
Closing the verification loop, Part 2: Fully autonomous optimization
loading . . .
Closing the verification loop, Part 2: Fully autonomous optimization | Datadog
Learn how Datadog achieves fully autonomous, verified code optimization in production using LLM-driven evolution, formal verification, and live traffic validation.
https://www.datadoghq.com/blog/ai/fully-autonomous-optimization/
about 2 months ago
0
0
0
Closing the verification loop: Observability-driven harnesses for building with agents
loading . . .
Closing the verification loop: Observability-driven harnesses for building with agents | Datadog
Learn how Datadog verifies AI-generated systems at scale using deterministic testing, formal methods, and observability-driven feedback loops.
https://www.datadoghq.com/blog/ai/harness-first-agents/
2 months ago
0
0
0
turbopuffer: Object Storage-native Database for Search
www.youtube.com/watch?v=pqoR...
loading . . .
turbopuffer: Object Storage-native Database for Search (Simon Eskildsen)
CMU Database Group — PostgreSQL vs. The World Seminar Series (Spring 2026) Speakers: Simon Eskildsen (https://www.linkedin.com/in/sirupsen) March 09,…
https://www.youtube.com/watch?v=pqoRNwNaxfs
2 months ago
0
1
0
MD-MVCC: Multi-version Concurrency Control for Schema Changes in Azure SQL Database
loading . . .
https://www.vldb.org/pvldb/vol18/p4791-antonopoulos.pdf
2 months ago
0
1
0
Using TLA+ to Fix a Very Difficult glibc Bug
www.youtube.com/watch?v=Brgf...
loading . . .
Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025
https://www.cppnow.org --- Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025 --- The glibc condition variable (meaning std::condition_variable) was subtly broken for…
https://www.youtube.com/watch?v=Brgfp7_OP2c
2 months ago
0
0
0
GNU and the AI reimplementations
antirez.com/news/162
loading . . .
GNU and the AI reimplementations - <antirez>
GNU and the AI reimplementations
https://antirez.com/news/162
2 months ago
0
0
0
Parma for Mortals
loading . . .
Parma for Mortals
A plain-language walkthrough of how Parma protects your containers from the people running them.
https://www.seantallen.com/posts/parma-for-mortals/
2 months ago
0
0
0
Building a Database on S3
muratbuffalo.blogspot.com/2026/03/buil...
loading . . .
Building a Database on S3
Hold your horses, though. I'm not unveiling a new S3-native database. This paper is from 2008. Many of its protocols feel clunky today. Yet...
http://muratbuffalo.blogspot.com/2026/03/building-database-on-s3.html
2 months ago
0
0
0
Rust zero-cost abstractions vs. SIMD
loading . . .
Rust zero-cost abstractions vs. SIMD
A customer query was taking over 4× longer than it should have. The profiler pointed at Rust code we'd assumed was free. We followed the trail all the way down to assembly to find the true cost.
https://turbopuffer.com/blog/zero-cost
2 months ago
0
0
0
Beej's Guide to Network Programming: Using Internet Sockets
beej.us/guide/bgnet/...
loading . . .
Beej's Guide to Network Programming
Using Internet Sockets
https://beej.us/guide/bgnet/html/
2 months ago
0
0
0
Inside the M4 Apple Neural Engine, Part 1: Reverse Engineering
loading . . .
Inside the M4 Apple Neural Engine, Part 1: Reverse Engineering
How we bypassed CoreML and talked directly to the hardware
https://maderix.substack.com/p/inside-the-m4-apple-neural-engine
2 months ago
0
1
0
the mathematics of compression in database systems
loading . . .
the mathematics of compression in database systems
why compression is (almost) always worthwhile
https://www.bitsxpages.com/p/the-mathematics-of-compression-in
2 months ago
0
0
0
GenDB: The Next Generation of Query Processing — Synthesized, Not Engineered
arxiv.org/html/2603.02...
loading . . .
GenDB: The Next Generation of Query Processing — Synthesized, Not Engineered
Content selection saved. Describe the issue below:
https://arxiv.org/html/2603.02081v1
2 months ago
0
0
0
Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines
arxiv.org/abs/2603.02001
loading . . .
Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines
Modern OLAP engines are designed to support arbitrary analytical workloads, but this generality incurs structural overhead, including runtime schema interpretation, indirection layers, and…
https://arxiv.org/abs/2603.02001
2 months ago
0
1
0
When AI Writes the World’s Software, Who Verifies It?
leodemoura.github.io/blog/2026/02...
loading . . .
When AI Writes the World's Software, Who Verifies It?
Leonardo de Moura — Creator of Lean and Z3
https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html
2 months ago
0
0
0
SFQ: Simple, Stateless, Stochastic Fairness
loading . . .
https://brooker.co.za/blog/2026/02/25/sfq.html
https://brooker.co.za/blog/2026/02/25/sfq.html
2 months ago
0
0
0
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra
loading . . .
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
I interviewed Leslie Lamport, a Turing Award winner known for his contributions to distributed systems and the inventor of the Paxos algorithm. We walked through the major contributions of his career…
https://youtube.com/watch?v=U719vQz-WFs&si=TOfzNtT_xNG2_Mpv
3 months ago
0
1
0
Modular: The Claude C Compiler: What It Reveals About the Future of Software
loading . . .
Modular: The Claude C Compiler: What It Reveals About the Future of Software
Compilers occupy a special place in computer science. They're a canonical course in computer science education. Building one is a rite of passage. It forces you to confront how software actually…
https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software
3 months ago
0
0
0
BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures
rocksdb.org/blog/2025/12...
loading . . .
BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures
Modern concurrent data structures increasingly rely on atomic operations to avoid the overhead of locking. A valuable but under-utilized technique for maximi...
https://rocksdb.org/blog/2025/12/31/bit-fields-api.html
3 months ago
0
0
0
MariaDB innovation: binlog_storage_engine
smalldatum.blogspot.com/2026/02/mari...
loading . . .
MariaDB innovation: binlog_storage_engine
MariaDB 12.3 has a new feature enabled by the option binlog_storage_engine . When enabled it uses InnoDB instead of raw files to store the b...
https://smalldatum.blogspot.com/2026/02/mariadb-innovation-binlogstorageengine.html
3 months ago
0
0
0
Zvec: A lightweight, lightning-fast, in-process vector database
loading . . .
Zvec | A lightweight, lightning-fast, in-process vector database
Meet Zvec
https://zvec.org/en/
3 months ago
0
1
0
Load more
feeds!
log in
