« first day (1768 days earlier)      last day (1635 days later) » 

07:31
@SaalHardali Prop 1.4.4.11 of HA proves that if C is a presentable stable \infty-category, you can take a compact object, and consider the smallest full subcategory generated under extensions and colimits, and then this is the positive part of a t-structure on C.
 
15 hours later…
22:23
hm, so what happens if you take a type n spectrum and do this

« first day (1768 days earlier)      last day (1635 days later) »