*** tpb has joined #symbiflow | 00:00 | |
*** ZirconiumX has quit IRC | 00:25 | |
*** ZirconiumX has joined #symbiflow | 00:58 | |
*** space_zealot has joined #symbiflow | 01:09 | |
*** citypw has joined #symbiflow | 01:47 | |
*** space_zealot_000 has joined #symbiflow | 02:26 | |
*** space_zealot has quit IRC | 02:29 | |
*** citypw has quit IRC | 02:52 | |
*** space_zealot_000 has quit IRC | 03:10 | |
*** rvalles has quit IRC | 03:47 | |
*** rvalles has joined #symbiflow | 03:48 | |
*** citypw has joined #symbiflow | 03:49 | |
*** kraiskil has joined #symbiflow | 08:58 | |
*** kraiskil has quit IRC | 09:03 | |
*** kraiskil has joined #symbiflow | 09:16 | |
*** rvalles_ has joined #symbiflow | 09:32 | |
*** rvalles has quit IRC | 09:35 | |
*** az0re has quit IRC | 11:18 | |
*** space_zealot has joined #symbiflow | 11:28 | |
*** space_zealot has quit IRC | 11:59 | |
*** space_zealot has joined #symbiflow | 13:37 | |
*** killruana has quit IRC | 13:46 | |
*** killruana has joined #symbiflow | 13:50 | |
*** space_zealot_000 has joined #symbiflow | 13:58 | |
*** space_zealot has quit IRC | 14:01 | |
*** Bertl_zZ is now known as Bertl | 14:50 | |
*** citypw has quit IRC | 14:51 | |
*** citypw has joined #symbiflow | 15:08 | |
*** citypw has quit IRC | 15:21 | |
*** mats has quit IRC | 15:28 | |
*** mats has joined #symbiflow | 15:29 | |
*** az0re has joined #symbiflow | 15:35 | |
*** ZipCPU has quit IRC | 15:37 | |
*** ZipCPU has joined #symbiflow | 15:59 | |
*** space_zealot_000 has quit IRC | 16:54 | |
*** space_zealot has joined #symbiflow | 16:55 | |
*** kraiskil has quit IRC | 17:16 | |
*** Bertl is now known as Bertl_zZ | 17:54 | |
*** space_zealot has quit IRC | 17:57 | |
*** space_zealot has joined #symbiflow | 18:00 | |
*** space_zealot has quit IRC | 18:37 | |
*** space_zealot has joined #symbiflow | 18:58 | |
*** mats has quit IRC | 19:39 | |
hackerfoo | litghost: Here's my (mostly) in-place merge: https://github.com/HackerFoo/startle/blob/master/map.c#L145-L258 | 19:40 |
---|---|---|
tpb | Title: startle/map.c at master · HackerFoo/startle · GitHub (at github.com) | 19:40 |
litghost | hackerfoo: Thanks | 19:40 |
hackerfoo | I use it to implement a map, but it's trivial to use it to implement a merge sort. | 19:40 |
hackerfoo | Space is measured to be something like `n * sqrt(log n)`, but I don't have a proof. | 19:41 |
hackerfoo | Or no, that's not right, `n + sqrt(log n)`, I think. | 19:42 |
hackerfoo | Because of the recursive call when re-balancing. | 19:43 |
hackerfoo | There is also a true in-place merge. I've implemented it, and the performance is terrible. | 19:49 |
hackerfoo | http://akira.ruc.dk/~keld/teaching/algoritmedesign_f04/Artikler/04/Huang88.pdf | 19:51 |
hackerfoo | https://github.com/B-Lang-org/bsc | 20:22 |
tpb | Title: GitHub - B-Lang-org/bsc: Bluespec Compiler (BSC) (at github.com) | 20:22 |
*** proteus-guy has quit IRC | 21:16 | |
*** kraiskil has joined #symbiflow | 22:01 | |
*** space_zealot has quit IRC | 22:17 | |
*** space_zealot has joined #symbiflow | 22:38 | |
*** space_zealot_000 has joined #symbiflow | 22:57 | |
*** mats has joined #symbiflow | 23:00 | |
*** space_zealot has quit IRC | 23:00 | |
*** space_zealot_000 has quit IRC | 23:03 | |
*** kraiskil has quit IRC | 23:50 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!