Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-04-17

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:15 mizu_no_oto joined #darcs
00:48 mizu_no_oto joined #darcs
01:48 ilbot3 joined #darcs
01:48 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.12.5 is out http://darcs.net/Releases/2.12
01:56 mizu_no_oto joined #darcs
03:16 mizu_no_oto joined #darcs
07:26 amgarchIn9 joined #darcs
08:25 jeltsch joined #darcs
12:23 jeltsch joined #darcs
12:26 jeltsch joined #darcs
12:28 jeltsch joined #darcs
13:47 stef204 joined #darcs
15:08 * Heffalump gradually catches up with bfrk's latest burst of productivity :-)
15:17 Heffalump 6~
15:25 jeltsch joined #darcs
18:09 Mysterious_Light joined #darcs
18:10 Mysterious_Light joined #darcs
18:13 Mysterious_Light joined #darcs
18:13 Mysterious_Light left #darcs
18:14 pointfree sm: I don't really remember how much time I spent on darcsden in march.
18:17 pointfree I'm trying to get include_docs=true working with haskell-couchdb and darcsden
18:18 pointfree It would save space on the couchdb views: http://stackoverflow.com/a/13843157/44016
18:32 Riastradh joined #darcs
20:21 jeltsch joined #darcs
20:28 pointfree I just got the darcsden feed to actually show feed items in descending order by date. http://hub.darcs.net/pointfree/darcsden-feed-couchdb/patch/75fd0601dfe8202ebd2774f405138c8b9519de81
20:34 pointfree sm: I think it would be good to replace the "<- prev" and "next ->" buttons with a single "more" button at the bottom of the page to load more items.
20:39 pointfree Once the user has already expended the time to load a page of items, one might as well not hide what has already been loaded and ask the user to click backwards through those pages again.
20:39 pointfree I don't think urls suffixed with "page/2" need to be preserved. They don't provide any kind of permanent reference anyway.
20:40 pointfree Github has a "more" button at the bottom of the feed page and I find it much more user friendly than prev/next buttons.
20:41 Cthulhux what does that more button do other than a next button?
20:41 Heffalump extends the same page inline?
20:41 Heffalump (I'm guessing, but that's the way web UIs seem to be nowadays)
20:41 Cthulhux would require the user to allow other people to execute code on his machine (javascript)
20:42 Cthulhux anti-features should be optional
20:49 pointfree Cthulhux, Heffalump: Yes, it appends new items at the end of the same page. I find it less tedious to navigate through, and you can visually compare items across page folds. ...but it requires a small piece of javascript.
20:50 Cthulhux ... so it is a horrible idea
20:51 Heffalump I'd be in favour of an endless page or more button, I agree it's more usable in practice
20:57 pointfree Cthulhux: darcsden/darcshub already has some javascript to do various things.
20:57 pointfree I could have some sort of RESTful fallback "more" button that would just load the feed page again but with an expanded range and an anchor to the bottom if javascript is disabled.
20:58 Cthulhux the "if javascript is disabled" part is important here.
21:16 pointfree Cthulhux, Heffalump: Now that I think of it, it should be possible to leverage browser caching with RESTful "more" button. Insert each page fold of feed items with something like <embed src="page1.html">. When the user clicks "more", the page is reloaded with <embed src="page1.html"><a name=page2></a><embed src="page2.html"> ...page1.html got cached.
21:17 Cthulhux depending on how you do it, yeas
21:18 pointfree This would probably cache more reliably across browsers than ajax loaded content.
21:19 Cthulhux especially since ajax loaded content does not reliably load everywhere.
21:21 Heffalump how does everyone else do it? I wouldn't go reinventing the wheel here.
21:22 pointfree Heffalump: Everyone else is using ajax for everything.
21:23 Heffalump :-)
21:34 pointfree I suppose the pages should be identified by date range (or whatever the feed happens to be sorted by) rather than page number, or else the caching thing will break every time there is activity on a user's feed.
21:35 pointfree ...kinda like log rotation.
22:38 Riastradh joined #darcs
22:53 Riastradh joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary