Stories by sovietswag

Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)

We Need a Deeper Network (Brown CSCI 1470/2470 end-of-semester song) [video]

Is the Future of Energy Renewable? (2020)