2021 in books, papers and talks
A quick tour along a few of the talks, papers, and books I’ve read during 2021
This year I have read/watched very few tech-related things outside of $job but I would like to share with all of you a few of the ones I’ve enjoyed the most.
As usual, the contents revolve around databases, systems engineering, cloud computing, runtimes, programming languages and low-level programming, so, if you’re not interested in any of these topics you can save some good time and stop reading here.
Tech Talks
How we build Firebolt
A really nice talk about how the Firebolt folks built their cloud analytical database; the talk covers different aspects of their architecture: how they used ClickHouse as their starting point, compute and storage separation, their metadata layer (based on FoundationDB ) among a few other interesting topics.
What’s the cost of a millisecond?
This talk goes deep in how a single millisecond can affect the behaviour of your service, covering the different aspects of latency amplification.
Hardware/Software Co-design: The Coming Golden Age
I usually enjoy Brian’s talks a lot, and this particular one is no exception. A wonderful talk about the past, present, and future of software and its hardware counterparts.
Distributed systems showdown
A wonderful talk about the practicalities of formal methods. During this talk the Apache Bookeeper protocol is modeled using TLA+ and Maelstron/Jepsen (in Java) while comparing both approaches.
Books
Probabilistic Data Structures and Algorithms for Big Data Applications
An introduction for technology practicioners to probabilistic data structures and algoritms. Different topics like hashing, membership, cardinality among many others are covered.
Handbook of Model Checking
A really comprehensive introduction of the key foundational topics powering formal methods and verification tools. I haven’t fully read it but just the chapters that interested me the most (at some point I would like to fully read it, tho).
Papers
Using lightweight formal methods to validate a key-value storage node in Amazon S3
The paper describes how the S3 team applied formal methods to validate the correctness of ShardStore, the new key-value store that powers S3 under the hood.
FoundationDB: A Distributed Unbundled Transactional Key-Value Store
This papers covers FoundationDB’s underlying architecture and introduces the framework used to model and test the system itself.
Miguel Ángel Pastor Olivar
Software Architect
I am a proud dad and husband, software architect, speaker, and writer. Passionate reader, chef aficionado, former surf player and current cyclist and runner. I am unsuccessfully pursuing to move my Phd research forward.