Metadata

What a decade this year has been! Here are some highlights among my 2020 posts. Distributed systems My Distributed Systems Seminar's reading list for Fall 2020  Learning about distributed systems: where to start?  Millions of tiny databases Compositional Programming and Testing of Dynamic Distributed Systems  Ocean Vista: Gossip-Based Visibility Control for Speedy Geo-Distributed Transactions  Zoom Distributed Systems Reading Group  Distributed coordination PigPaxos: Devouring the communication bottlenecks in distributed consensus  WormSpace: A modular foundation for simple, verifiable distributed systems  Hermes: A fast fault-tolerant and linearizable replication protocol  Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log State-Machine Replication for Planet-Scale Systems Streamlet: textbook streamlined blockchains  Modeling Streamlet in TLA+ Book reviews Book review. Tiny Habits Vincent Van Gogh, Lust for Life  How innovation works and why it flourishes in

I have been learning Rust in my spare time. It has a very steep learning curve, but in return you get to use an elegant, fast, and safe programming language you can use anywhere from embedded systems to datacenter computing. Rust stole like an artist the best concepts from several languages and combined them under one roof with style. Rust has seen a lot of traction recently, and I think Rust is here to stay for a long time.  In the last couple months, I have been writing small programs to practice Rust, and recently I decided I should go bigger and consider reading a real code base, but something with manageable size. I chose to focus on the hybrid clocks crate because it was the right size, and it solved an important problem.  The hybrid clocks crate showcases many of the best practices of Rust. It has a thoughtful design. It shows practical use of struct and trait implementations and trait objects . It was initially hard for me to wrap my mind around the design, because the design

This paper is authored by Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia, and it appeared at OOPSLA 2018. The paper describes the ModP framework extension over the P language . P is a language developed for safe event-driven programming. P models processes as state machines: the state machines communicate via message passing, and events cause state machines to transition between states.  The killer feature of P is unifying modeling with programming! P enables the programmers to write specifications and enables systematic testing both via random testing and exhaustive symbolic execution testing. P is used in event driven systems such as device drivers and robotics . The P GitHub page  states that P is used in Microsoft (P# and Coyote ) and also used extensively at AWS for model-based testing of complex distributed systems.   Compositional testing of distributed systems A problem with systematic testing is that monolithic testing of large systems fail due to combinato

This book tells the story of Amazon's first 20 years from 1994 to 2014. It is a long book, but I found it very engaging. In comparison, I had not that much enjoyed  the GooglePlex book from Steven Levy (an author I adore).  A caveat though... In 2014, MacKenzie Scott (then Bezos), a writer herself,  had given the book a 1-star Amazon review  due to inaccuracies, crossing the line of nonfiction to fiction in terms of character development, and failing to provide a balanced narrative. Well, as usual, here are some of my highlights from the book.  D. E. Shaw Bezos was in his midtwenties at the time, five foot eight inches tall, already balding and with the pasty, rumpled appearance of a committed workaholic. He had spent five years on Wall Street and impressed seemingly everyone he encountered with his keen intellect and boundless determination. Upon graduating from Princeton in 1986, Bezos worked for a pair of Columbia professors at a company called Fitel that was developing a priva

This was a very enjoyable read from Matt Ridley. This book takes over from where the Rational Optimist book left , and talks about the how and mechanics of innovation. He has some controversial opinions in some areas (like fracking, vaping, GMOs) where you sense a somewhat single-sided treatment of the subjects, but these do not take away from the overall theme and arguments in the book.  I guess I didn't learn anything I didn't already know about the process of innovation. However, I think the book helped increase my respect for the importance of innovation compared to just invention. I recommend the book. The book is worth a read just for the nice anecdotes about the history of innovation in different fields alone. However, the book could have been shorter and better organized (tidier). Also, the book could have made its case for why innovation flourishes in freedom tighter.  Some of my highlights from the book In Douglas Adams’s The Hitchhiker’s Guide to the Galaxy, Zaphod B