TLA+ Notes and progress for learning TLA+ formal specification language. Extends the Practical TLA+ book (2018). created: Wed, March 4 2020 updated: Wed, July 24 2024 status: in-progress tags: personal
Physionet ECG Waveform Databases Summary High level summarization of ECG datasets taken from Physionet.org created: Thu, January 9 2020 updated: Wed, July 24 2024 status: in-progress tags: personal
Year 2020 Resolution Log The high level goals and expectations for the year 2020. created: Thu, January 2 2020 updated: Wed, July 24 2024 status: in-progress tags: personal