Files
2012-02-21 01:15:00 -05:00

1 line
14 KiB
JSON

[{"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172288.37205, "message": "so the word 'pagination' has come up elsewhere so I'd like to offer an opinion/request", "group_id": 2780, "id": 151967}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172293.113189, "message": "bear with me:", "group_id": 2780, "id": 151968}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172420.3338189, "message": "I have a cache and I need to know when I can stop asking \"more please\"", "group_id": 2780, "id": 151980}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172439.475347, "message": "if I could say \"olderthan=1234.4556\"", "group_id": 2780, "id": 151983}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172461.3631599, "message": "I have my page starting point and I get back however much the server is willing to give me", "group_id": 2780, "id": 151984}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172975.2682331, "message": "oh no no", "group_id": 2780, "id": 152040}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173126.070364, "message": "only if you sorted by id", "group_id": 2780, "id": 152059}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172543.3223629, "message": "That makes a whole lot of sense", "group_id": 2780, "id": 151990}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172386.179992, "message": "as in, more recently modified (where modified == [created | modified | deleted]) items bubble to the top", "group_id": 2780, "id": 151977}, {"user_id": 1706, "stars": [{"date_created": 1298172658.6378341, "user_id": 1}], "topic_id": 7566, "date_created": 1298172555.1338439, "message": "so I don't *have* to fully populate because unless the user scrolls earlier than my oldest message or topic, nobody really cares", "group_id": 2780, "id": 151993}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172754.043649, "message": "so I guess what I'm saying is that page=X is borderline useless from a cache synchronization standpoint, whereas older_than=12345.5678 lets me paginate and know I'm not going to miss anything", "group_id": 2780, "id": 152015}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172834.8119431, "message": "I'm fine with some sort of thing that said \"for messages you get 100, for topics you get 14\"", "group_id": 2780, "id": 152023}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172844.843776, "message": "oh I see", "group_id": 2780, "id": 152026}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173124.8150921, "message": "It'd just be a different field to grab", "group_id": 2780, "id": 152058}, {"user_id": 1706, "stars": [{"date_created": 1298172392.757257, "user_id": 1}], "topic_id": 7566, "date_created": 1298172335.1934669, "message": "pretty much everything in convore, groups, topics, messages, even users is *temporal*", "group_id": 2780, "id": 151972}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172403.6064949, "message": "from a cache synchronization standpoint this really helps", "group_id": 2780, "id": 151978}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172435.4304121, "message": "yeah, that makes sense", "group_id": 2780, "id": 151981}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172483.3760979, "message": "as soon as I get back a 200 status and zero size, I'm fully populated", "group_id": 2780, "id": 151985}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172502.548806, "message": "*and* it closely maps to the user action of \"load older X\"", "group_id": 2780, "id": 151986}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173725.5249889, "message": "heh", "group_id": 2780, "id": 152083}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173737.8330081, "message": "signing out for a bit - taking daughter to sleepover", "group_id": 2780, "id": 152085}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172802.9361849, "message": "@ericflo I'm going to say that limit=X is something you guys probably want to tune", "group_id": 2780, "id": 152018}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173093.8094251, "message": "if that items timstamp changes between the time you fetched the last page and you requested the next one, it doesn't matter, you still get exactly the right spot in the list", "group_id": 2780, "id": 152054}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173104.836755, "message": "yeah that makes sense", "group_id": 2780, "id": 152055}, {"user_id": 1, "stars": [{"date_created": 1298172851.2222791, "user_id": 8391}], "topic_id": 7566, "date_created": 1298172772.899775, "message": "@protocool What about ids, so if you said \"start=1234&limit=20\" where the start would be the actual ID of the last item you'd seen, and then limit would be the number of items?", "group_id": 2780, "id": 152016}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173659.8557911, "message": "otherwise my doing much heavier syncs", "group_id": 2780, "id": 152079}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172836.7571621, "message": "Yeah, makes sense, I guess I was mostly asking about whether id-based start rather than timestamp-based start would make sense", "group_id": 2780, "id": 152024}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172981.077702, "message": "Although I guess they'd never really do that on their own, you'd grab one of the timestamps from a previous message or whatever", "group_id": 2780, "id": 152041}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172992.7896371, "message": "But in that case, you could grab an id just as well, it seems", "group_id": 2780, "id": 152042}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173115.3636291, "message": "But again, I think id would work in that case too", "group_id": 2780, "id": 152057}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173729.1742229, "message": "We would've probably shipped page=2", "group_id": 2780, "id": 152084}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298172955.7821851, "message": "I think it would, and it would be a little easier I think rather than having everyone figure out how to generate a utc epoch timestamp that matches up with our server, etc.", "group_id": 2780, "id": 152039}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173183.4473331, "message": "Well we wouldn't need to, we could always (on our backend) query for the item by ID, grab the timestamp, and use that for our sort.", "group_id": 2780, "id": 152061}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172870.681092, "message": "ah no... to explain:", "group_id": 2780, "id": 152031}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173050.6599569, "message": "if you don't say older_than= then you're just getting the top of the list", "group_id": 2780, "id": 152049}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173064.593051, "message": "after which, you've got a valid older_than to ask for *and*", "group_id": 2780, "id": 152051}, {"user_id": 209, "stars": [], "topic_id": 7566, "date_created": 1298173110.319308, "message": "I'm +1 on ID", "group_id": 2780, "id": 152056}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298172915.3077619, "message": "wait... thinking maybe that does work", "group_id": 2780, "id": 152037}, {"user_id": 1706, "stars": [{"date_created": 1298173003.5627511, "user_id": 1}], "topic_id": 7566, "date_created": 1298172995.460083, "message": "older_than = (the timestamp of the last message in the last fetch you did)", "group_id": 2780, "id": 152043}, {"user_id": 1706, "stars": [{"date_created": 1298173653.9975779, "user_id": 1}], "topic_id": 7566, "date_created": 1298173630.852087, "message": "okay... mapped it out. I can make my end work with ID too, but the key is that it's sorted chronologically", "group_id": 2780, "id": 152077}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298173197.921314, "message": "except the timestamp just changed because someone added a message", "group_id": 2780, "id": 152062}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173697.3870111, "message": "Cool, ok, will have to discuss it with @leah, she's been doing the bulk of the work on the API, but IMO this makes a lot of sense", "group_id": 2780, "id": 152080}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173751.7313099, "message": "see ya later, and thanks for the feedback @protocool!", "group_id": 2780, "id": 152086}, {"user_id": 1, "stars": [], "topic_id": 7566, "date_created": 1298173715.949893, "message": "This is why I'm so glad we released this without fully figuring out the API, you guys know so much better what we should provide than we do :)", "group_id": 2780, "id": 152081}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298186973.061677, "message": "so @ericflo after thinking on it some more I'm going to have to say that using ID to specify an anchor point suffers from the same problem as using a page number to specify an anchor point. Namely that ID and page number are both divorced from the sort key.", "group_id": 2780, "id": 152466}, {"user_id": 209, "stars": [], "topic_id": 7566, "date_created": 1298215996.2894881, "message": "*?", "group_id": 2780, "id": 153814}, {"user_id": 209, "stars": [], "topic_id": 7566, "date_created": 1298215990.1624961, "message": "@protocol ID makes sense for messages, right, but just not for groups or topics", "group_id": 2780, "id": 153813}, {"user_id": 1706, "stars": [{"date_created": 1298225226.864876, "user_id": 209}], "topic_id": 7566, "date_created": 1298221910.9491611, "message": "@issackelly I disagree that it makes sense for messages because they can be deleted", "group_id": 2780, "id": 154166}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298222735.968384, "message": "okay, my opinion on this is to just use page=n", "group_id": 2780, "id": 154194}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298222780.0550981, "message": "there's no reason why the two should be different", "group_id": 2780, "id": 154197}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298222794.6346531, "message": "at this time", "group_id": 2780, "id": 154199}, {"user_id": 8327, "stars": [], "topic_id": 7566, "date_created": 1298222629.499938, "message": "Since cursors are already used in the live endpoint, what about using them for paging, augmented by a delta describing changes since the cursor was issued?", "group_id": 2780, "id": 154192}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298222745.266505, "message": "because that's what we use on the website", "group_id": 2780, "id": 154195}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298222773.654088, "message": "if we change the website, we can update the api", "group_id": 2780, "id": 154196}, {"user_id": 1706, "stars": [], "topic_id": 7566, "date_created": 1298224271.344835, "message": "@leah it is, of course, your choice - but the only reason you can be comfortable saying that is because the website's client cache is volatile and every time you get a full-page refresh you have a valid snapshot of the whole page and system state at a given time. Something that disconnected clients (who must gather system state across multiple requests) don't have.", "group_id": 2780, "id": 154258}, {"user_id": 209, "stars": [], "topic_id": 7566, "date_created": 1298225307.542738, "message": "I think that's where @protocool and I diverge too, my client assumes connection", "group_id": 2780, "id": 154299}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225118.279038, "message": "the api is really just wraps the main site so I don't see why they would be different?", "group_id": 2780, "id": 154297}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225037.088794, "message": "so yeah, we'll probably go with ID for messages", "group_id": 2780, "id": 154296}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225631.8827951, "message": "yeaaah... I'm thinking about this", "group_id": 2780, "id": 154314}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225707.1199009, "message": "I don't think we have it all figured out internally yet... for example if you have multiple tabs open with Convore it can get out of sync", "group_id": 2780, "id": 154320}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298224920.1656699, "message": "okay, so I guess it depends what we're talking about", "group_id": 2780, "id": 154291}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298224935.16259, "message": "for topics, groups in the discovery list etc... I vote for page=n", "group_id": 2780, "id": 154293}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298224946.9087689, "message": "for messages, we'll probably do something else", "group_id": 2780, "id": 154294}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225024.7615161, "message": "we're using message id to paginate the messages", "group_id": 2780, "id": 154295}, {"user_id": 2, "stars": [], "topic_id": 7566, "date_created": 1298225655.080946, "message": "scenarios where your data could get out of sync", "group_id": 2780, "id": 154315}]