Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-02-27

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

All times shown according to UTC.

Time Nick Message
00:02 pointfree jeltsch: I think you are quite right about the github-inspired UI being wrong (wrong like a lot of git ui hahas...)
00:02 pointfree jeltsch, sm: I think, ultimately the distinction here should be the difference between (developer) source code input and (user) compiler/etc output. This extends to documentation AND other binaries. Ideally, the user interface should have a source code view (dev stuff: source code) and release view (end-user stuff: rendered docs, binaries)
00:44 pointfree btw, sm, looking at the http://hub.darcs.net/jeltsch/ucs/raw-file/README.markdown those smartquotes surrounding the word "executable" appear to be literal smartquotes, not pandoc smartquote conversion.
00:45 pointfree If jeltsch wants plain ascii characters only:
00:45 pointfree cat README.markdown | iconv -f UTF-8 -t ASCII//TRANSLIT
00:52 mizu_no_oto joined #darcs
01:20 jeltsch pointfree, sm: Of course, the proper quotes appearing in my README are really in the source. And I did *not* say that I want the ASCII quotes in the output. After all, why would I put proper quotes in the README source if I did not want them?
01:20 jeltsch I just think that no conversion of characters should take place when converting Markdown to HTML.
01:21 jeltsch Markdown and HTML differ in how they represent structure.
01:21 jeltsch This has nothing to do with characters.
01:21 jeltsch Conversion from ASCII quotes to proper quotes has nothing to do with converting from Markdown to HTML.
01:22 jeltsch Such conversion of characters is only there to give a nice output for an ugly input. ;-)
02:25 Riastradh joined #darcs
02:47 ilbot3 joined #darcs
02:47 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
03:11 mizu_no_oto joined #darcs
03:50 mizu_no_oto joined #darcs
04:44 drostie joined #darcs
08:49 gal_bolle joined #darcs
09:40 sm pointfree: around ?
09:49 sm I could be wrong, but it seems to me we had a regression - the auto linkify patch broke some markdown rendering details that used to work - and our priority should be to fix that
09:52 sm your ideas about might be right, but since any rendering change potentially affects docs across 2300 repos in ways we might not notice for a year or more, we probably need some rendering tests before any other change
09:53 sm I would almost say we need them now as step #1, given the different ideas about rendering going around
09:56 sm perhaps jeltsch could provide a few minimal test cases and you would be kind enough to add them to the existing functional tests, or (better) as a quicker running unit or doc test
09:58 sm even a note in the readme/haddock describing how we render markdown. Then we have a spec to follow.
10:00 sm @tell jeltsch hi jeltsch, see related discussion in the #darcs log just now
10:00 lambdabot Consider it noted.
10:06 sm re smart quotes, I was suggesting we make sure pandoc's "smart" conversion of ascii quotes is disabled, since in my experience it just causes problems (tends to quietly break copy-pasted code examples, eg). Non-ascii quotes which have been used deliberately should be left as-is, of course
11:16 bluepixel joined #darcs
12:02 mizu_no_oto joined #darcs
13:04 leg joined #darcs
13:51 jeltsch joined #darcs
14:05 drostie joined #darcs
14:53 drostie joined #darcs
15:44 pem__ bfrk, Heffalump: Pijul has problems with disconnected subgraphs and cycles. One of the main things we've done is to find a representation of the graph where this is not a problem ;-)
15:45 pem__ By not a problem, I usually mean "solvable in O(P log H + C)", where P is the size of the current patch, H is the number of lines ever written in the repository, and C is the size of the largest conflict between the graph and P.
15:45 pem__ Or rather O((P+C) log H), sorry.
16:17 Riastradh joined #darcs
16:29 BitPuffin joined #darcs
19:20 leg joined #darcs
20:56 jeltsch joined #darcs
22:11 leg joined #darcs

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