Lu’s blog
Learnings on system and programming.
- Posts
- 89 from 2 Jan 2018 to 29 Apr 2026
- Posting
- now and then (1 in the last year)
- Kind
- personal blog
- Feed
- https://uvdn7.github.io/feed.xml
2026 1
2025 2
2024 3
2023 12
- zsh interprets a standalone redirect as a `cat` command
- C++ coroutine and lambda’s lifetime
- `folly::IOBuf` and zero-copy networking
- What I learned about `inline` recently
- `ssh` to my workstation over Internet
- Caching Partially Materialized Views Consistently
- What Good Are Impossibility Results
- Project Management is a Concurrency Control Problem
- PTP/TrueTime vs. HLC when it comes to snapshots
- Describing State Machines using Math – TLA+ series (2)
- Notes on the Spanner: becoming a SQL system paper
- Linearizability is more than Capturing Causality Everywhere
2022 14
- IP as distributed data in the cloud
- Bet using a token bucket
- Generic Fault Tolerant Distributed Critical Section is Impossible
- Notes on Amazon's DynamoDB USENIX ATC'22 Paper
- Leave something to be somebody else's problem
- Why TIMEOUTs are hard to get rid of
- Notes on Photon - Databricks' query engine over data lakes
- Fast SQL from Schemaless ingestion
- When and How to Invalidate Cache
- Cache Invalidation
- Feedback Loops
- Little's Law and Service Latency
- Don't point out something wrong immediately
- How and why the Relational Model works for databases
2021 25
- `defaulted` constructor in C++
- How electrical energy powers the light bulb in your house
- C++ exception (2) — throwing an exception
- C++ exception (3) – catching an exception
- C++ exception (1) — zero-cost exception handling
- Application Binary Interface from the Ground Up
- Fix Flickering Relay Switch caused by Nest Thermostat
- `struct Foo f;` and `struct Foo f{};` are very different
- Learning C++ Memory Model from a Distributed System's Perspective
- DNS – the first distributed database
- Fiber-compatible Future
- There's Nothing 100% in Computer Science
- When would someone use std::enable_shared_from_this
- How FoundationDB works and why it works
- Paxos vs. Quorum-based Consistency
- Build `folly::coro` with GCC
- Why you don't need virtual base destructor with smart pointers
- How `AUTO_INCREMENT` works on MySQL
- SeqLock
- `folly::Indestructible`
- C++ Map Lookup Memoization
- atomic_thread_fence
- C++ Type Erasure and `std::function`
- Paxos Commit with Constraints
- How C++ `typeid` operator works
2020 15
- BW-Tree
- GNU Visibility Attribute
- Fix visual artifact on Linux running AMD 3400G
- Compile `folly` from source on Arch Linux
- std::atomic from bottom up
- Synchronized Multi-Append
- Read-Write Transaction API
- Linear scalable read-write lock
- Global Data Locality – Why and How
- My Ben Eater 8-bit breadboard build
- Every Computer System is a State Machine – TLA+ series (1)
- 2 + 2 can be 22
- API for Assigning Timestamp
- Notes on the Google Spanner Paper
- Unary Plus