Profile avatar
migue.bsky.social
Proud dad and husband
400 posts 125 followers 124 following
Prolific Poster
Posts 49 Comments 1

How to disaggregate a log replication protocol

submitted 3 hours ago • 0 comments

Steady on! Separating Failure-Free Ordering from Fault-Tolerant Consensus

submitted 20 hours ago • 0 comments

Ad-hoc polymorphism erodes type-safety

submitted 1 day ago • 0 comments

Concurrency bugs in Lucene: How to fix optimistic concurrency failures https://buff.ly/43aixRo

submitted 1 day ago • 0 comments

Memory Safety https://buff.ly/41vpTOo

submitted 2 days ago • 0 comments

Three Takes on Four Concepts for Resilience Engineering

submitted 2 days ago • 0 comments

The Weaviate Vector Database — Bring AI-native applications to life. https://buff.ly/43qgIQH

submitted 3 days ago • 0 comments

Towards Sanity in Query Languages https://buff.ly/4bd05d6

submitted 3 days ago • 0 comments

Larry Ellison was Right (kinda)! TypeScript Stored Procedures for the Modern Age https://buff.ly/3EXyUXj

submitted 4 days ago • 0 comments

#11 - Unnesting Queries https://buff.ly/436Bq7H

submitted 4 days ago • 0 comments

#10 - Search Parallelization: Top-Down https://buff.ly/4k76GK0

submitted 5 days ago • 0 comments

#09 - Search Parallelization: Bottom-up https://buff.ly/4kjzyim

submitted 5 days ago • 0 comments

When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines

submitted 6 days ago • 0 comments

How Unix Spell Ran in 64kB RAM

submitted 6 days ago • 0 comments

Writing Safe Postgres extensions with Rust

submitted 7 days ago • 0 comments

Distributed Databases: Essential or Optional?

submitted 8 days ago • 0 comments

Distributed SQL Technologies: Raft, LSM Trees, Time, and More

submitted 8 days ago • 0 comments

Building the next generation Cloud Native Database

submitted 9 days ago • 0 comments

Was Leslie Lamport Right?

submitted 9 days ago • 0 comments

The Linux Memory Manager

submitted 11 days ago • 0 comments

Low-Latency Transaction Scheduling via Userspace Interrupts

submitted 11 days ago • 0 comments

yandex/perforator: Perforator: a cluster-wide continuous profiling tool designed for large data centers

submitted 11 days ago • 0 comments

A Descent Into the Vᴏ̈ʀᴛᴇx

submitted 12 days ago • 0 comments

amelielabs/amelie: Relational Database for High-Intensity OLTP workloads.

submitted 13 days ago • 0 comments

#08 - Join Ordering: Top-Down / Transformational https://buff.ly/4hOWu6S

submitted 15 days ago • 0 comments

tiny-gpu: A minimal GPU design in Verilog to learn how GPUs work from the ground up

submitted 16 days ago • 0 comments

The End of Programming as We Know It

submitted 16 days ago • 0 comments

21st Century C++

submitted 17 days ago • 0 comments

Faster parallel hash join

submitted 17 days ago • 0 comments

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

submitted 19 days ago • 0 comments

(68) #07 - Join Ordering: Bottom-up (CMU Optimize!)

submitted 20 days ago • 0 comments

An Introduction to Virtual Consensus in Delos

submitted 21 days ago • 0 comments

#06 - Query Plan Transformations (CMU Optimize!)

submitted 21 days ago • 0 comments

Roc is rewriting from Rust to Zig

submitted 22 days ago • 0 comments

Why Trees Without Branches Grow Faster: The Case for Reducing Branches in Code

submitted 23 days ago • 0 comments

Performance Debugging with llvm-mca: Simulating the CPU! - Johnny's Software Lab

submitted 25 days ago • 0 comments

#04 - EXODUS + Volcano Query Optimizer Generators https://buff.ly/4glIhgz

submitted 26 days ago • 0 comments

#05 - Cascades Query Optimizer

submitted 26 days ago • 0 comments

The Billion Docs JSON Challenge: ClickHouse vs. MongoDB, Elasticsearch, and more

submitted 27 days ago • 0 comments

Vectorized Interpreters

submitted 28 days ago • 0 comments

How ClickHouse Cloud uses AWS Graviton to boost performance and efficiency

submitted 29 days ago • 0 comments

Open Data Structures

submitted 30 days ago • 0 comments

Building Query Compilers

submitted 30 days ago • 0 comments

cloudwego/goref: Go heap object reference analysis tool

submitted 32 days ago • 0 comments

Research Topics in Database Management

submitted 33 days ago • 0 comments

#03 - IBM Starburst Query Rewriter + Optimizer https://buff.ly/4hiE1zs

submitted 33 days ago • 0 comments

LLM360 K2: Building a 65B 360-Open-Source Large Language Model from Scratch

submitted 34 days ago • 0 comments

Faiss: A library for efficient similarity search

submitted 34 days ago • 0 comments

A Practical Guide to Choosing Prompts, Workflows, or Agents

submitted 35 days ago • 0 comments