2024/05/15

Newest at the top

2024-05-15 10:27:41 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 268 seconds)
2024-05-15 10:25:58 +0200danza(~francesco@151.47.35.197)
2024-05-15 10:23:22 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-15 10:23:22 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:a3fb:4ce5:b0d1:d8d1) (Changing host)
2024-05-15 10:23:22 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:a3fb:4ce5:b0d1:d8d1)
2024-05-15 10:20:21 +0200ph88(~ph88@2a02:8109:9e26:c800:10df:b906:15db:a9b1) (Remote host closed the connection)
2024-05-15 10:19:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-15 10:16:37 +0200gorignak(~gorignak@user/gorignak)
2024-05-15 10:10:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-15 10:04:35 +0200 <kuribas> sure, and often it's not in a critical path, so lists are good enough.
2024-05-15 10:03:08 +0200 <lortabac> but the context here was lists vs sets
2024-05-15 10:02:38 +0200 <lortabac> sometimes an efficient implementation with vectors is so inconvenient that lists are preferrable
2024-05-15 10:01:53 +0200gmg(~user@user/gehmehgeh)
2024-05-15 10:01:48 +0200 <lortabac> kuribas: it depends
2024-05-15 10:01:15 +0200 <kuribas> If you need to append, use a chunked lists.
2024-05-15 10:01:00 +0200 <kuribas> Even by a factors of 500 or so.
2024-05-15 10:00:45 +0200 <kuribas> I may have missed some context, but using vectors is even better for performance.
2024-05-15 09:59:24 +0200 <lortabac> rarely for performance
2024-05-15 09:59:15 +0200 <lortabac> I end up using sets, maps and Data.Sequence mostly for clarity
2024-05-15 09:58:49 +0200 <lortabac> interestingly in most of my real use cases lists have proved to be faster because of the constant factors
2024-05-15 09:55:50 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-15 09:52:31 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 255 seconds)
2024-05-15 09:51:16 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving)
2024-05-15 09:48:55 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-15 09:44:53 +0200gorignak(~gorignak@user/gorignak)
2024-05-15 09:42:13 +0200cfricke(~cfricke@user/cfricke)
2024-05-15 09:40:50 +0200 <ncf> O(n log m) instead of O(nm)
2024-05-15 09:40:23 +0200 <ph88> tomsmeding, is the implementation with Set faster ?
2024-05-15 09:39:31 +0200ph88(~ph88@2a02:8109:9e26:c800:10df:b906:15db:a9b1)
2024-05-15 09:35:18 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-15 09:32:17 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2024-05-15 09:31:03 +0200JamesMowery(~JamesMowe@ip174-74-159-82.ph.ph.cox.net)
2024-05-15 09:27:37 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz)
2024-05-15 09:27:33 +0200ph88(~ph88@2a02:8109:9e26:c800:232d:2352:35f8:f282) (Ping timeout: 268 seconds)
2024-05-15 09:24:15 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-15 09:23:43 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds)
2024-05-15 09:23:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-15 09:07:30 +0200__monty__(~toonn@user/toonn)
2024-05-15 09:05:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-15 09:05:23 +0200euleritian(~euleritia@dynamic-176-006-195-027.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-15 09:04:37 +0200philopsos1(~caecilius@user/philopsos)
2024-05-15 09:04:21 +0200philopsos1(~caecilius@user/philopsos) (Client Quit)
2024-05-15 09:03:29 +0200philopsos1(~caecilius@user/philopsos)
2024-05-15 09:03:13 +0200philopsos1(~caecilius@user/philopsos) (Client Quit)
2024-05-15 09:03:04 +0200philopsos1(~caecilius@user/philopsos)
2024-05-15 09:02:59 +0200JamesMowery(~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 252 seconds)
2024-05-15 09:01:41 +0200 <tomsmeding> \a b -> let bs = Set.fromList b in filter (`Set.notMember` bs) a
2024-05-15 08:58:37 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 246 seconds)
2024-05-15 08:56:27 +0200d34df00d(~d34df00d@2600:1702:4f1b:7c10::43) (Ping timeout: 260 seconds)
2024-05-15 08:51:29 +0200Square2(~Square4@user/square)