#symbiflow on 2020-02-05 — irc logs at freenode.irclog.whitequark.org

00:24 ZirconiumX has quit [Quit: Love you all~]

00:56 ZirconiumX has joined #symbiflow

01:07 space_zealot has joined #symbiflow

01:46 citypw has joined #symbiflow

02:24 space_zealot_000 has joined #symbiflow

02:27 space_zealot has quit [Ping timeout: 248 seconds]

02:51 citypw has quit [Ping timeout: 260 seconds]

03:08 space_zealot_000 has quit [Ping timeout: 272 seconds]

03:45 rvalles has quit [Ping timeout: 248 seconds]

03:46 rvalles has joined #symbiflow

03:47 citypw has joined #symbiflow

08:56 kraiskil has joined #symbiflow

09:02 kraiskil has quit [Ping timeout: 260 seconds]

09:15 kraiskil has joined #symbiflow

09:31 rvalles_ has joined #symbiflow

09:33 rvalles has quit [Ping timeout: 265 seconds]

11:17 az0re has quit [Write error: Connection reset by peer]

11:27 space_zealot has joined #symbiflow

11:57 space_zealot has quit [Ping timeout: 245 seconds]

13:35 space_zealot has joined #symbiflow

13:44 killruana has quit [Quit: ZNC 1.7.5 - https://znc.in]

13:49 killruana has joined #symbiflow

13:56 space_zealot_000 has joined #symbiflow

13:59 space_zealot has quit [Ping timeout: 268 seconds]

14:49 Bertl_zZ is now known as Bertl

14:49 citypw has quit [Ping timeout: 268 seconds]

15:07 citypw has joined #symbiflow

15:20 citypw has quit [Ping timeout: 268 seconds]

15:27 mats has quit []

15:27 mats has joined #symbiflow

15:34 az0re has joined #symbiflow

15:35 ZipCPU has quit [Remote host closed the connection]

15:57 ZipCPU has joined #symbiflow

16:53 space_zealot_000 has quit [Remote host closed the connection]

16:53 space_zealot has joined #symbiflow

17:15 kraiskil has quit [Ping timeout: 260 seconds]

17:52 Bertl is now known as Bertl_zZ

17:56 space_zealot has quit [Ping timeout: 260 seconds]

17:59 space_zealot has joined #symbiflow

18:36 space_zealot has quit [Ping timeout: 265 seconds]

18:56 space_zealot has joined #symbiflow

19:38 mats has quit [Ping timeout: 246 seconds]

19:38 <hackerfoo> litghost: Here's my (mostly) in-place merge: https://github.com/HackerFoo/startle/blob/master/map.c#L145-L258

19:38 <tpb> Title: startle/map.c at master · HackerFoo/startle · GitHub (at github.com)

19:39 <litghost> hackerfoo: Thanks

19:39 <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:40 <hackerfoo> Or no, that's not right, `n + sqrt(log n)`, I think.

19:41 <hackerfoo> Because of the recursive call when re-balancing.

19:48 <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

20:20 <hackerfoo> https://github.com/B-Lang-org/bsc

20:20 <tpb> Title: GitHub - B-Lang-org/bsc: Bluespec Compiler (BSC) (at github.com)

21:14 proteus-guy has quit [Ping timeout: 268 seconds]

22:00 kraiskil has joined #symbiflow

22:16 space_zealot has quit [Ping timeout: 268 seconds]

22:37 space_zealot has joined #symbiflow

22:56 space_zealot_000 has joined #symbiflow

22:58 mats has joined #symbiflow

22:58 space_zealot has quit [Ping timeout: 265 seconds]

23:01 space_zealot_000 has quit [Ping timeout: 265 seconds]

23:48 kraiskil has quit [Ping timeout: 268 seconds]

23:58 tpb has quit [Remote host closed the connection]

23:59 tpb has joined #symbiflow