andymatuschak / orbit

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention
https://withorbit.com
Other
1.71k stars 54 forks source link

Filter out deleted tasks when building review queue #237

Open andymatuschak opened 3 years ago

andymatuschak commented 3 years ago

Our data store is architected such that tasks are never deleted; they're just flagged as deleted. When building a review queue (e.g. in app's databaseManager and backend's notification bits), we should exclude deleted tasks. Doesn't actually affect anyone but me yet, but will once we add a UI for deleting.

(Unfortunately, this'll probably muck up our indexing / predicate strategies a bit—we can't just add the isDeleted column to our composite indexes without mucking up order when not filtering by isDeleted)