Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-01-29

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

All times shown according to UTC.

Time Nick Message
00:11 dolio joined #darcs
00:43 sm joined #darcs
02:02 mizu_no_oto joined #darcs
02:34 intripoon_ joined #darcs
03:03 amgarchIn9 joined #darcs
03:27 dolio joined #darcs
04:17 mizu_no_oto joined #darcs
05:01 mizu_no_oto joined #darcs
07:25 lelit joined #darcs
07:53 raichoo joined #darcs
09:59 nomeata joined #darcs
12:38 whaletechno joined #darcs
12:47 gh_ joined #darcs
13:05 amgarchIn9 joined #darcs
14:14 rdesfo joined #darcs
14:19 owst joined #darcs
14:19 * owst appears!
14:21 owst notdan: any questions about my Petri net work? (I decided to browse the irc logs and saw your comments :))
14:21 gh_ hi owst !
14:21 owst hi gh_ :)
14:56 colDrMcBeardman joined #darcs
15:07 mizu_no_oto joined #darcs
15:33 f-a joined #darcs
15:44 notdan owst: not really atm, I've only looked through the slides :) but it seems interesting. Do you have any public code/tooling in place?
15:45 notdan owst: I am developing https://github.com/co-dan/Haskell-PetriNets (which got a little bit stale, but I'd have to revive it soon anyway)
15:49 owst notdan: oh, the CALCO tools slides? Nothing public as of yet, but will definitely be releasing my tool (and a MTBDD library too)
15:52 notdan Oh, btw, are you representing NFAs as MTBDDs?
15:53 owst The transitions of NFAs, yes (it's a map from State -> MTBDD with Set State as the values)
15:53 notdan I have never heard of such trick tbh, and I am not sure I understand why it's useful
15:53 notdan is it better than just having a transition function?
15:54 owst Yes, for me, since I need to inspect the transitions
15:54 owst And MTBDDs give more compact representations when the transition relation is relatively small
15:55 notdan I see; cool
16:45 stepcut joined #darcs
17:01 amgarchIn9 joined #darcs
17:07 vikraman joined #darcs
17:35 notdan Ah, it looks like resuing `skipMundane` and other functions from SelectChanges.hs is not possible, as they have a hard-coded set of keybindings
17:39 mornfall resue, v. sue repeatedly :D
17:46 colDrMcBeardman joined #darcs
17:50 rdesfo joined #darcs
17:52 vikraman joined #darcs
17:58 vikraman joined #darcs
18:01 vikraman joined #darcs
18:03 mizu_no_oto joined #darcs
18:16 raichoo joined #darcs
18:16 notdan heh
18:21 notdan "The function for selecting a patch to amend record. Read at your own risks."
18:24 notdan Why does filterFL reaturn [Sealted2 p] instead of (FL) ?
18:41 mornfall notdan: because the sequence no longer has any witnesses ensuring it's correct
18:42 mornfall notdan: if you yank a patch from the middle of a sequence it could possibly fall apart
18:43 notdan I see, fair enough
18:44 notdan Oh, there is no --match for whatsnew, which is understandable
18:44 notdan ok, I give up implementing interactive whatsnew based on InteractiveSelectionM
19:00 lelit joined #darcs
19:13 schlaftier joined #darcs
20:26 mizu_no_oto joined #darcs
20:28 mekeor joined #darcs
20:32 n-dolio joined #darcs
21:11 amgarchIn9 joined #darcs
21:33 Heffalump sm: just got an error from hub trying to fork a repo: "bootstrap-responsive.css-0: getSymbolicLinkStatus: does not exist (No such file or directory)"
21:34 nomeata joined #darcs
21:41 Heffalump sm: two more trivial patches in ganesh/darcsden, and a more significant chunk in ganesh/darcsden-abstract-backend_0 ; hopefully the latter is fairly self-explanatory but may merit some discussion before you merge.
21:42 Heffalump I'm hoping it'll act as a basis for isolating the tests from the production environment properly, and also for storing the data in other places, but I'm not sure if I'll have time to work on either of those goals in the very near future.
22:08 amgarchIn9 joined #darcs
22:08 rdesfo left #darcs
22:22 schlaftier joined #darcs
22:26 amgarchIn9 joined #darcs
22:28 sm Heffalump: I guess https://gist.github.com/anonymous/8698471 is your fork failing around 21:19 or 21:32 your time ?
22:29 sm and it wrote a partial darcsden-abstract-backend/, then a full darcsden-abstract-backend_0/ repo
22:29 sm the first contains darcsden-abstract-backend/public/bootstrap/css/bootstrap-responsive.css-0
22:29 sm the other contains darcsden-abstract-backend_0/public/bootstrap/css/bootstrap-responsive.css
22:30 f-a left #darcs
22:31 sm I guess you're successfully using the _0 repo now and I should remove the -0 file and the partial darcsden-abstract-backend/ repo
22:31 sm ?
22:33 sm ok yes.. it wrote a partial repo, you're using the successful second attempt (by you, or your browser), I'll clean up so you can rename, if we support that
22:34 sm I might still be confused, if you have one of them marked private. Let me know
22:43 sm the patches look good, if we want to support more storage abstraction than eg persistent would give us... ?
22:44 sm what's going on with that ?backendPermanent in dbNameToString ?
22:44 sm is this existential types or some such ?
22:44 sm associate types.. happy type families...
22:52 sm Annotate.hs not compiling with -fdarcs28 .. hopefully that flag can be dropped soon
22:52 sm darcsden-ssh not compiling with -f-darcs28 .. may need to export a few more bits
22:53 sm afk a bit o/
23:12 mizu_no_oto joined #darcs

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