# rescrv.net

Robert Escriva's personal website and blog.

## Overview

This is the personal website of Robert Escriva, a software engineer and systems researcher with a
focus on distributed systems, databases, and software reliability. The site features technical blog
posts, academic work, and information about various open-source projects.

## About Robert Escriva

Robert is an engineering-minded individual with expertise in:
- Distributed systems and databases
- Software verification and reliability
- Open-source software development
- Technical writing and documentation

### Background
- PhD in distributed systems from Cornell University (2010-2017)
- Worked at Dropbox in persistent systems area (2017-2020)
- Author of several academic papers on distributed systems
- Creator of multiple open-source projects including HyperDex
- Currently happily employed at [Chroma](trychroma.com)
- Has an Erdos number of 2.

## Website Structure

### Main Sections

1. **Homepage** (`/`) - Current projects and Project Blue overview
2. **About** (`/about`) - Personal background and interests
3. **Academic Work** (`/academic-work`) - Publications, talks, honors, and patents
4. **Blog** (`/w/`) - Technical articles on software engineering, distributed systems, and Project Blue

### Key Projects

**Project Blue** - A vision for changing how we write software with continuous validation and verification. Encompasses multiple Rust crates:
- biometrics - Algebraic types for metrics (counters, gauges, moments)
- sig_fig_histogram - Histograms with bounded inaccuracy
- buffertk - Binary data packing/unpacking utilities
- prototk - Protocol buffers library for Rust
- guacamole - Controlled random data generation
- setsum - Checksums for sets of byte strings
- scrunch - Full-text search over compressed documents
- lsmtk - LSM tree with end-to-end checksumming
- And many more...

### Recent Blog Topics

- Software engineering philosophy and leadership
- AI agents and their future (2025)
- Growing software and team dynamics
- Infrastructure and system design principles
- Rust programming and systems development

## Contact

The site owner can be contacted through information provided at the top of pages on the website.

## Navigation Tips

- Blog posts are organized by date: `/w/YYYY/MM/DD/slug`
- Tags allow filtering posts by topic: `/w/tag/tagname`
- Academic papers available in `/papers/`
- Source code releases in `/src/`
- You can also [like blue on github](https://github.com/rescrv/blue)