Wednesday, 2020-02-05

*** tpb has joined #symbiflow00:00
*** ZirconiumX has quit IRC00:25
*** ZirconiumX has joined #symbiflow00:58
*** space_zealot has joined #symbiflow01:09
*** citypw has joined #symbiflow01:47
*** space_zealot_000 has joined #symbiflow02:26
*** space_zealot has quit IRC02:29
*** citypw has quit IRC02:52
*** space_zealot_000 has quit IRC03:10
*** rvalles has quit IRC03:47
*** rvalles has joined #symbiflow03:48
*** citypw has joined #symbiflow03:49
*** kraiskil has joined #symbiflow08:58
*** kraiskil has quit IRC09:03
*** kraiskil has joined #symbiflow09:16
*** rvalles_ has joined #symbiflow09:32
*** rvalles has quit IRC09:35
*** az0re has quit IRC11:18
*** space_zealot has joined #symbiflow11:28
*** space_zealot has quit IRC11:59
*** space_zealot has joined #symbiflow13:37
*** killruana has quit IRC13:46
*** killruana has joined #symbiflow13:50
*** space_zealot_000 has joined #symbiflow13:58
*** space_zealot has quit IRC14:01
*** Bertl_zZ is now known as Bertl14:50
*** citypw has quit IRC14:51
*** citypw has joined #symbiflow15:08
*** citypw has quit IRC15:21
*** mats has quit IRC15:28
*** mats has joined #symbiflow15:29
*** az0re has joined #symbiflow15:35
*** ZipCPU has quit IRC15:37
*** ZipCPU has joined #symbiflow15:59
*** space_zealot_000 has quit IRC16:54
*** space_zealot has joined #symbiflow16:55
*** kraiskil has quit IRC17:16
*** Bertl is now known as Bertl_zZ17:54
*** space_zealot has quit IRC17:57
*** space_zealot has joined #symbiflow18:00
*** space_zealot has quit IRC18:37
*** space_zealot has joined #symbiflow18:58
*** mats has quit IRC19:39
hackerfoolitghost: Here's my (mostly) in-place merge: https://github.com/HackerFoo/startle/blob/master/map.c#L145-L25819:40
tpbTitle: startle/map.c at master · HackerFoo/startle · GitHub (at github.com)19:40
litghosthackerfoo: Thanks19:40
hackerfooI use it to implement a map, but it's trivial to use it to implement a merge sort.19:40
hackerfooSpace is measured to be something like `n * sqrt(log n)`, but I don't have a proof.19:41
hackerfooOr no, that's not right, `n + sqrt(log n)`, I think.19:42
hackerfooBecause of the recursive call when re-balancing.19:43
hackerfooThere is also a true in-place merge. I've implemented it, and the performance is terrible.19:49
hackerfoohttp://akira.ruc.dk/~keld/teaching/algoritmedesign_f04/Artikler/04/Huang88.pdf19:51
hackerfoohttps://github.com/B-Lang-org/bsc20:22
tpbTitle: GitHub - B-Lang-org/bsc: Bluespec Compiler (BSC) (at github.com)20:22
*** proteus-guy has quit IRC21:16
*** kraiskil has joined #symbiflow22:01
*** space_zealot has quit IRC22:17
*** space_zealot has joined #symbiflow22:38
*** space_zealot_000 has joined #symbiflow22:57
*** mats has joined #symbiflow23:00
*** space_zealot has quit IRC23:00
*** space_zealot_000 has quit IRC23:03
*** kraiskil has quit IRC23:50

Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!