TLA+
SAT
SMT (TBD)
Model Checking
Coq (TBD)
Isabelle/HOL (TBD)
DDIA by Martin Kleppmann
MIT 6.824
Principles of Eventual Consistency by Sebastian Burckhardt
Notes on Theory of Distributed Systems by James Aspnes
CMU 15-445/645: Intro. to Database System (Fall 2023)
CMU 14-455: Intro. to Database Systems (Fall 2019)
CMU 15-721: Advanced Database Systems (Spring 2020)
awesome-dbs @ GitHub
How to Read a Paper (by S. Keshav)
HOW TO PRESENT A PAPER (by Leslie Lamport)
Paper Notes
Bibliography (TBD)
How to Write a Great Research Paper
“On Writing” by Terence Tao
The Craft of Writing Effectively
Writing in the Science @ Stanford
LaTeX: A Document Preparation System
TikZ: Create Graphics Programmatically
PGFPlots: Create Plots Programmatically
Manim: Animation Engine for Explanatory Math Videos
remotion: Create Videos Programmatically in React
Beamer: Presentations with LaTeX
Marp: Markdown Presentation Ecosystem
slidev: Presentation Slides for Developers
remark: A Simple, In-browser, Markdown-driven Slideshow Tool
Vim: The Ubiquitous Text Editor
Wolfram Mathematica: Modern Technical Computing