TLA+Notes and progress for learning TLA+ formal specification language. Extends the Practical TLA+ book (2018).created: Wed, March 4 2020updated: Thu, May 15 2025status: in-progresstags: personal
Physionet ECG Waveform Databases SummaryHigh level summarization of ECG datasets taken from Physionet.orgcreated: Thu, January 9 2020updated: Thu, May 15 2025status: in-progresstags: personal
Year 2020 Resolution LogThe high level goals and expectations for the year 2020.created: Thu, January 2 2020updated: Thu, May 15 2025status: in-progresstags: personal