| *** 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!