2023/12/20

2023-12-20 00:05:55 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-20 00:06:39 +0100Inst(~Inst@2409:8900:fd3:152c:ae55:9a94:2cc8:a0af)
2023-12-20 00:10:34 +0100acidjnk(~acidjnk@p200300d6e72b9327e868e6102608b4a6.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2023-12-20 00:12:45 +0100foul_owl(~kerry@185.219.141.163)
2023-12-20 00:14:31 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Quit: Leaving)
2023-12-20 00:18:19 +0100johnw(~johnw@69.62.242.138)
2023-12-20 00:20:17 +0100shapr(~user@2600:1700:c640:3100:b78a:b9c3:6d36:29ef) (Remote host closed the connection)
2023-12-20 00:20:32 +0100shapr(~user@2600:1700:c640:3100:5c7:6566:83f3:f96)
2023-12-20 00:23:14 +0100not_reserved(~not_reser@154.16.157.95) (Quit: Client closed)
2023-12-20 00:23:56 +0100zetef(~quassel@5.2.182.98) (Remote host closed the connection)
2023-12-20 00:23:59 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 264 seconds)
2023-12-20 00:37:45 +0100alexherbo2(~alexherbo@2a02-8440-3240-03d6-5800-5c3b-95ce-6fd6.rev.sfr.net) (Remote host closed the connection)
2023-12-20 00:38:58 +0100Sgeo(~Sgeo@user/sgeo)
2023-12-20 00:50:21 +0100koolazer(~koo@user/koolazer)
2023-12-20 00:52:41 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
2023-12-20 01:01:35 +0100talismanick(~user@2601:204:ef00:bb0::f34e) (Ping timeout: 260 seconds)
2023-12-20 01:07:10 +0100fun-safe-math(~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) (Ping timeout: 268 seconds)
2023-12-20 01:10:14 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-12-20 01:12:26 +0100Inst(~Inst@2409:8900:fd3:152c:ae55:9a94:2cc8:a0af) (Ping timeout: 245 seconds)
2023-12-20 01:26:18 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 01:32:58 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-20 01:37:30 +0100skippy(uid26890@user/slice)
2023-12-20 01:45:43 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-12-20 01:46:41 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-20 01:47:57 +0100Square(~Square@user/square)
2023-12-20 01:48:18 +0100ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2023-12-20 01:48:43 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 276 seconds)
2023-12-20 01:58:31 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
2023-12-20 01:59:59 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-12-20 02:00:04 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-12-20 02:00:35 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-12-20 02:12:42 +0100Volt_(~Volt_@c-73-47-181-152.hsd1.ma.comcast.net)
2023-12-20 02:29:29 +0100sprout_sprout
2023-12-20 02:44:34 +0100hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-12-20 02:46:43 +0100hololeap(~quassel@user/hololeap)
2023-12-20 03:03:55 +0100pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 246 seconds)
2023-12-20 03:08:44 +0100pointlessslippe1(~pointless@212.82.82.3)
2023-12-20 03:25:45 +0100arahael_(~arahael@1.145.98.255)
2023-12-20 03:34:31 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds)
2023-12-20 03:37:57 +0100xff0x(~xff0x@2405:6580:b080:900:e762:3794:c658:ff64) (Ping timeout: 268 seconds)
2023-12-20 03:42:08 +0100pavonia(~user@user/siracusa)
2023-12-20 03:50:23 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5)
2023-12-20 04:04:46 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-20 04:04:46 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-20 04:04:46 +0100finn_elijaFinnElija
2023-12-20 04:07:47 +0100Joao003(~Joao003@190.108.99.222) (Read error: Connection reset by peer)
2023-12-20 04:16:00 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-20 04:16:34 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 04:18:15 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 04:19:00 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Quit: cool)
2023-12-20 04:19:32 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-12-20 04:19:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-12-20 04:24:29 +0100Volt_(~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) (Quit: )
2023-12-20 04:25:31 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-12-20 04:28:30 +0100td_(~td@i5387091E.versanet.de) (Ping timeout: 256 seconds)
2023-12-20 04:30:22 +0100td_(~td@i53870922.versanet.de)
2023-12-20 04:30:33 +0100rosco(~rosco@175.136.152.56)
2023-12-20 04:32:44 +0100arahael_(~arahael@1.145.98.255) (Read error: Connection reset by peer)
2023-12-20 04:36:13 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-20 04:36:56 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-12-20 04:37:59 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-20 04:41:25 +0100edr(~edr@user/edr) (Quit: Leaving)
2023-12-20 04:49:26 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2023-12-20 04:56:29 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2023-12-20 05:01:03 +0100defkev(~defkev@2a09:bac5:2a91:1b4b::2b8:ed)
2023-12-20 05:02:55 +0100asdfhjk1(~asdfhjk1@2605:59c8:514c:8110::389)
2023-12-20 05:03:37 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 246 seconds)
2023-12-20 05:04:22 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Ping timeout: 260 seconds)
2023-12-20 05:04:35 +0100gdd(~gdd@82-65-118-1.subs.proxad.net) (Ping timeout: 268 seconds)
2023-12-20 05:04:59 +0100shapr(~user@2600:1700:c640:3100:5c7:6566:83f3:f96) (Remote host closed the connection)
2023-12-20 05:05:14 +0100shapr(~user@2600:1700:c640:3100:cf64:b80f:be71:3066)
2023-12-20 05:10:43 +0100jargon(~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection)
2023-12-20 05:11:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2023-12-20 05:11:42 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 05:15:21 +0100gdd(~gdd@82-65-118-1.subs.proxad.net)
2023-12-20 05:15:46 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-20 05:16:20 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection)
2023-12-20 05:16:35 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175)
2023-12-20 05:17:11 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2023-12-20 05:17:48 +0100Luj(~Luj@mail.julienmalka.me)
2023-12-20 05:18:41 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-12-20 05:27:29 +0100cool(~cool@2607:fb91:775:4211:7595:7eee:e2bd:6a13)
2023-12-20 05:30:07 +0100aforemny(~aforemny@2001:9e8:6cfb:e200:226e:4b0d:2e98:45a6)
2023-12-20 05:31:26 +0100aforemny_(~aforemny@2001:9e8:6cd5:e600:ef6a:bb8a:a5f5:c14b) (Ping timeout: 260 seconds)
2023-12-20 05:31:34 +0100cool(~cool@2607:fb91:775:4211:7595:7eee:e2bd:6a13) (Remote host closed the connection)
2023-12-20 05:33:16 +0100defkev(~defkev@2a09:bac5:2a91:1b4b::2b8:ed) (Ping timeout: 245 seconds)
2023-12-20 05:34:38 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-12-20 05:35:17 +0100defkev(~defkev@2a09:bac5:2809:2c8::47:311)
2023-12-20 05:37:01 +0100shapr(~user@2600:1700:c640:3100:cf64:b80f:be71:3066) (Ping timeout: 245 seconds)
2023-12-20 05:38:05 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5)
2023-12-20 05:39:23 +0100trev(~trev@user/trev)
2023-12-20 05:39:31 +0100defkev(~defkev@2a09:bac5:2809:2c8::47:311) (Ping timeout: 245 seconds)
2023-12-20 05:40:10 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection)
2023-12-20 05:41:32 +0100defkev(~defkev@2a09:bac1:1e00:628::2b8:7)
2023-12-20 05:41:47 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5)
2023-12-20 05:46:12 +0100euleritian(~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 05:46:31 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 05:49:45 +0100oxide(~lambda@user/oxide)
2023-12-20 05:50:13 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-20 05:51:42 +0100Inst(~Inst@120.244.192.23)
2023-12-20 05:52:38 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection)
2023-12-20 06:03:00 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-12-20 06:04:28 +0100qqq(~qqq@92.43.167.61)
2023-12-20 06:07:14 +0100igemnace(~ian@user/igemnace)
2023-12-20 06:12:46 +0100defkev(~defkev@2a09:bac1:1e00:628::2b8:7) (Ping timeout: 255 seconds)
2023-12-20 06:13:10 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-12-20 06:14:49 +0100defkev(~defkev@2a09:bac5:280d:2c8::47:304)
2023-12-20 06:15:05 +0100EvanR(~EvanR@user/evanr)
2023-12-20 06:19:29 +0100asdfhjk1(~asdfhjk1@2605:59c8:514c:8110::389) (Remote host closed the connection)
2023-12-20 06:40:38 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 06:41:45 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-12-20 06:42:02 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5)
2023-12-20 06:44:57 +0100cool(~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection)
2023-12-20 06:49:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2023-12-20 06:49:42 +0100euleritian(~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de)
2023-12-20 06:58:47 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2023-12-20 07:00:20 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2023-12-20 07:07:09 +0100euleritian(~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 07:07:57 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 07:08:16 +0100td_(~td@i53870922.versanet.de) (Ping timeout: 245 seconds)
2023-12-20 07:10:06 +0100td_(~td@i53870912.versanet.de)
2023-12-20 07:14:10 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2023-12-20 07:15:25 +0100defkev(~defkev@2a09:bac5:280d:2c8::47:304) (Quit: WeeChat 3.6)
2023-12-20 07:15:44 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 07:19:32 +0100defkev(~defkev@2a09:bac5:280d:2c8::47:304)
2023-12-20 07:20:21 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-12-20 07:22:46 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-12-20 07:24:28 +0100zetef(~quassel@95.77.17.251)
2023-12-20 07:24:55 +0100euleritian(~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de)
2023-12-20 07:25:00 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-20 07:28:37 +0100michalz(~michalz@185.246.204.125)
2023-12-20 07:28:41 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-20 07:29:33 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
2023-12-20 07:29:33 +0100michalz(~michalz@185.246.204.125) (Client Quit)
2023-12-20 07:32:31 +0100michalz(~michalz@185.246.204.125)
2023-12-20 07:41:39 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection)
2023-12-20 07:43:40 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-12-20 07:46:18 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com)
2023-12-20 07:55:19 +0100defkev(~defkev@2a09:bac5:280d:2c8::47:304) (Quit: WeeChat 3.6)
2023-12-20 07:58:48 +0100acidjnk(~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de)
2023-12-20 08:02:10 +0100zetef(~quassel@95.77.17.251) (Ping timeout: 260 seconds)
2023-12-20 08:03:12 +0100waldo(~waldo@user/waldo)
2023-12-20 08:20:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-20 08:23:18 +0100misterfish(~misterfis@84.53.85.146)
2023-12-20 08:27:24 +0100euleritian(~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 08:27:43 +0100euleritian(~euleritia@77.22.252.56)
2023-12-20 08:29:10 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com)
2023-12-20 08:37:26 +0100waldo(~waldo@user/waldo) (Ping timeout: 245 seconds)
2023-12-20 08:40:20 +0100Square2(~Square4@user/square)
2023-12-20 08:43:01 +0100Square(~Square@user/square) (Ping timeout: 256 seconds)
2023-12-20 08:44:44 +0100waldo(~waldo@user/waldo)
2023-12-20 08:57:26 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 245 seconds)
2023-12-20 08:57:33 +0100alp_(~alp@2001:861:e3d6:8f80:c8ef:e849:16e0:f179)
2023-12-20 08:57:44 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 09:04:37 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-12-20 09:06:35 +0100waldo(~waldo@user/waldo) (Quit: waldo)
2023-12-20 09:07:28 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-20 09:13:53 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-20 09:17:51 +0100rosco(~rosco@175.136.152.56) (Ping timeout: 245 seconds)
2023-12-20 09:27:17 +0100akegalj(~akegalj@93-137-49-32.adsl.net.t-com.hr)
2023-12-20 09:30:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-12-20 09:38:36 +0100defkev(~defkev@2a09:bac1:1e20:a90::47:300)
2023-12-20 09:49:06 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da)
2023-12-20 09:59:21 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-20 10:02:08 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-20 10:13:40 +0100rosco(~rosco@175.136.152.56)
2023-12-20 10:15:06 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-12-20 10:16:18 +0100phma(~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer)
2023-12-20 10:17:00 +0100phma(phma@2001:5b0:211f:28f8:4421:db20:6d0:6423)
2023-12-20 10:17:26 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
2023-12-20 10:23:34 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2023-12-20 10:26:18 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-12-20 10:26:49 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
2023-12-20 10:28:20 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-12-20 10:28:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-12-20 10:29:45 +0100Lord_of_Life_Lord_of_Life
2023-12-20 10:31:15 +0100hapisnake(~hapisnake@103.28.246.184)
2023-12-20 10:35:04 +0100alp_(~alp@2001:861:e3d6:8f80:c8ef:e849:16e0:f179) (Ping timeout: 246 seconds)
2023-12-20 10:39:03 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-20 10:41:09 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-20 10:42:11 +0100danse-nr3(~danse@151.43.206.121)
2023-12-20 10:48:47 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-20 10:48:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection)
2023-12-20 10:52:24 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-20 10:53:55 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-12-20 10:55:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-20 10:57:11 +0100hapisnake(~hapisnake@103.28.246.184) (Quit: Client closed)
2023-12-20 10:57:21 +0100hapisnake(~hapisnake@103.28.246.184)
2023-12-20 10:58:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-20 10:58:44 +0100hapisnake(~hapisnake@103.28.246.184) (Client Quit)
2023-12-20 11:02:01 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-20 11:03:57 +0100defkev(~defkev@2a09:bac1:1e20:a90::47:300) (Remote host closed the connection)
2023-12-20 11:04:34 +0100defkev(~defkev@2a09:bac1:1e20:a90::47:300)
2023-12-20 11:05:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2023-12-20 11:05:45 +0100cfricke(~cfricke@user/cfricke)
2023-12-20 11:06:11 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2023-12-20 11:07:48 +0100euleritian(~euleritia@dynamic-046-114-206-084.46.114.pool.telefonica.de)
2023-12-20 11:09:36 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com)
2023-12-20 11:16:57 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 11:17:51 +0100acidjnk(~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-12-20 11:18:12 +0100nerdypeppernp
2023-12-20 11:20:42 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-12-20 11:20:51 +0100euleritian(~euleritia@dynamic-046-114-206-084.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-12-20 11:21:29 +0100euleritian(~euleritia@dynamic-089-015-236-214.89.15.236.pool.telefonica.de)
2023-12-20 11:21:33 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-20 11:21:57 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-20 11:22:09 +0100chele(~chele@user/chele)
2023-12-20 11:22:15 +0100euleritian(~euleritia@dynamic-089-015-236-214.89.15.236.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 11:22:33 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 11:25:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Ping timeout: 245 seconds)
2023-12-20 11:41:37 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:a75e:a1bf:fa80:25cb)
2023-12-20 11:44:46 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-20 11:45:16 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-3d22-6103-fcea-6c69.rev.sfr.net)
2023-12-20 11:51:50 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-3d22-6103-fcea-6c69.rev.sfr.net) (Ping timeout: 250 seconds)
2023-12-20 11:53:14 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net)
2023-12-20 11:55:07 +0100defkev(~defkev@2a09:bac1:1e20:a90::47:300) (Ping timeout: 256 seconds)
2023-12-20 11:55:55 +0100misterfish(~misterfis@84.53.85.146)
2023-12-20 11:55:58 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-12-20 11:56:03 +0100rosco(~rosco@175.136.152.56) (Quit: Lost terminal)
2023-12-20 11:56:51 +0100defkev(~defkev@2a09:bac1:1e40:a90::2b8:26)
2023-12-20 11:59:08 +0100akegalj(~akegalj@93-137-49-32.adsl.net.t-com.hr) (Quit: leaving)
2023-12-20 12:02:30 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2023-12-20 12:02:34 +0100FragByte(~christian@user/fragbyte)
2023-12-20 12:05:46 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2023-12-20 12:07:42 +0100xff0x(~xff0x@2405:6580:b080:900:d2ac:6093:bf37:642e)
2023-12-20 12:11:47 +0100xdminsy(~xdminsy@117.147.70.130) (Read error: Connection reset by peer)
2023-12-20 12:15:35 +0100coot_(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-20 12:15:41 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds)
2023-12-20 12:16:13 +0100coot_coot
2023-12-20 12:28:14 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-20 12:47:09 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
2023-12-20 12:47:32 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2023-12-20 12:51:36 +0100thyriaen(~thyriaen@2a01:aea0:dd4:7b28:6245:cbff:fe9f:48b1)
2023-12-20 12:52:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2023-12-20 12:52:16 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 12:52:26 +0100danse-nr3(~danse@151.43.206.121) (Ping timeout: 245 seconds)
2023-12-20 12:53:57 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-20 12:55:52 +0100vpan(~vpan@88.118.87.196)
2023-12-20 12:59:31 +0100mulk(~mulk@p5b2dc93f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2023-12-20 13:03:58 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da)
2023-12-20 13:04:17 +0100mulk(~mulk@p5b2dc93f.dip0.t-ipconnect.de)
2023-12-20 13:07:29 +0100acidjnk(~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de)
2023-12-20 13:09:35 +0100Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2023-12-20 13:09:39 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-12-20 13:16:46 +0100thyriaen(~thyriaen@2a01:aea0:dd4:7b28:6245:cbff:fe9f:48b1) (Quit: Leaving)
2023-12-20 13:17:16 +0100skippy(uid26890@user/slice) (Quit: Connection closed for inactivity)
2023-12-20 13:22:11 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-20 13:22:21 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) ()
2023-12-20 13:23:15 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-20 13:23:48 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) ()
2023-12-20 13:25:16 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-20 13:28:33 +0100Xyloes(~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) ()
2023-12-20 13:29:48 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-20 13:31:45 +0100mrmr15533(~mrmr@user/mrmr) (Ping timeout: 252 seconds)
2023-12-20 13:34:40 +0100alp_(~alp@2001:861:e3d6:8f80:3149:2650:70:2f23)
2023-12-20 13:35:19 +0100hongminhee(sid295@id-295.tinside.irccloud.com) (Ping timeout: 246 seconds)
2023-12-20 13:35:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-20 13:38:29 +0100hongminhee(sid295@id-295.tinside.irccloud.com)
2023-12-20 13:40:58 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-12-20 13:41:08 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 13:42:42 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-20 13:42:46 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 13:43:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 13:44:22 +0100mrmr15533(~mrmr@user/mrmr)
2023-12-20 13:47:53 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-20 13:49:08 +0100AlexZenon(~alzenon@94.233.240.140) (Quit: ;-)
2023-12-20 13:49:41 +0100AlexNoo(~AlexNoo@94.233.240.140) (Quit: Leaving)
2023-12-20 14:01:23 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-20 14:03:24 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 14:05:30 +0100igemnace(~ian@user/igemnace)
2023-12-20 14:08:47 +0100Square2(~Square4@user/square)
2023-12-20 14:10:52 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-20 14:12:10 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-20 14:18:47 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-20 14:21:56 +0100kuribas(~user@ptr-17d51em93jv5tnmke3v.18120a2.ip6.access.telenet.be)
2023-12-20 14:22:34 +0100AlexZenon(~alzenon@94.233.240.140)
2023-12-20 14:22:44 +0100AlexNoo(~AlexNoo@94.233.240.140)
2023-12-20 14:26:52 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 14:27:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 14:27:18 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 268 seconds)
2023-12-20 14:28:44 +0100misterfish(~misterfis@84.53.85.146)
2023-12-20 14:28:45 +0100Nixkernal(~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-12-20 14:31:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2023-12-20 14:32:50 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 14:34:05 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-12-20 14:34:08 +0100Nixkernal(~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch)
2023-12-20 14:37:33 +0100 <haskellbridge> 12<C​elestial> what kind of magic is happening for `Data.List.sort`??? I copied the source and testing it side-by-side, `Data.List.sort` is ~10x faster than "itself"
2023-12-20 14:38:09 +0100 <mauke> which source did you copy?
2023-12-20 14:38:40 +0100 <haskellbridge> 12<C​elestial> the one hoogle pointed me to at https://hackage.haskell.org/package/base-4.19.0.0/docs/src/Data.OldList.html#sort
2023-12-20 14:39:44 +0100akegalj(~akegalj@141-136-190-163.dsl.iskon.hr)
2023-12-20 14:41:14 +0100 <mauke> yeah, I don't see any magic there
2023-12-20 14:41:26 +0100 <haskellbridge> 12<C​elestial> me neither, that's why I'm confused
2023-12-20 14:41:39 +0100 <mauke> did you compile with optimizations?
2023-12-20 14:43:00 +0100 <Inst> do you mind if I ask a basic programming question?
2023-12-20 14:43:09 +0100 <Inst> The difference between programming and other occupations, imo, is that you automate SO much
2023-12-20 14:43:25 +0100 <Inst> At least as an amateur, it seems most programming is about learning how to do a process, doing the process, then automating the process in the future
2023-12-20 14:43:26 +0100 <haskellbridge> 12<C​elestial> mauke: I think that's it ... should have thought of that
2023-12-20 14:43:45 +0100 <haskellbridge> 12<C​elestial> how do I time it outside of ghci though?
2023-12-20 14:43:51 +0100 <Inst> There isn't a lot of exercise, it seems sa though it's about how quickly you can learn a framework etc, or how quickly you can think up a solution to a problem
2023-12-20 14:44:00 +0100rosco(~rosco@175.136.152.56)
2023-12-20 14:51:43 +0100 <kuribas> Inst: and how much time you'll spend in the future maintaining it.
2023-12-20 14:52:02 +0100 <kuribas> Sadly most people these time want to have quick solutions, but don't even consider maintainability.
2023-12-20 14:52:15 +0100 <kuribas> Which is why python and javascript are so popular.
2023-12-20 14:52:21 +0100 <kuribas> They give instant gratification.
2023-12-20 14:56:48 +0100 <Inst> It's Haskell culture that denies Haskell giving instant gratification, for the most part, I don't think Haskell is that hard
2023-12-20 14:58:24 +0100 <kuribas> Sure, and being pedantic doesn't help beginners.
2023-12-20 14:58:51 +0100 <kuribas> It's ok to make your first programs in IO using do notation, as long as you are aware that there may be more idiomatic ways.
2023-12-20 14:59:00 +0100 <kuribas> Just get shit done, and learn along the way.
2023-12-20 14:59:28 +0100 <Inst> the challenge is preserving Haskell culture while making it accessible to beginners, as I've said before, I think Haskell culture is wonderful
2023-12-20 14:59:36 +0100danse-nr3(~danse@151.43.212.87)
2023-12-20 14:59:39 +0100 <kuribas> It's likely the academic roots.
2023-12-20 15:00:12 +0100 <kuribas> But as a way of programming, just thinking about what you are solving, then making it more elegant through program rewriting, is a nice way to work IMO.
2023-12-20 15:00:50 +0100 <Inst> thank you ben gamari for updating https://hackage.haskell.org/package/html-parse
2023-12-20 15:00:54 +0100danse-nr3(~danse@151.43.212.87) (Remote host closed the connection)
2023-12-20 15:01:12 +0100 <kuribas> I am sure most software (in any language) would be improved if people just focus on what they are solving, not on making all kinds of constructions around it.
2023-12-20 15:01:35 +0100 <Inst> I guess the method suits me, i.e, learn stuff, think the problem over, then in a span of hours, write the code, as opposed to bash my head in repeatedly
2023-12-20 15:01:49 +0100 <Inst> it's more fun this way, lots of prep, fast cooking, as opposed to prodding the chicken over and over again
2023-12-20 15:01:52 +0100 <juri_> you forgot write tests.
2023-12-20 15:02:09 +0100 <juri_> but that's ok, most developers fail to test. :)
2023-12-20 15:02:30 +0100 <kuribas> I need to fetch data from a dataservice, then do some calculations on it, ok then just do that. Not make a "datafetcher abstract class", create a pipelined calculator service, blah blah bullshit.
2023-12-20 15:03:05 +0100 <kuribas> juri_: I hardly write tests, and my code is way more robust that much "production" code I've seen with full test suites.
2023-12-20 15:03:07 +0100 <Inst> but the Haskell version is, learn the freaking libraries used for that
2023-12-20 15:03:12 +0100 <Inst> someone talked me into going into Haskell streaming
2023-12-20 15:03:29 +0100 <Inst> i'd aim to stream libraries, small projects using the libraries, etc
2023-12-20 15:03:35 +0100 <kuribas> Inst: well, first you solve it yourself, then you run into a wall, then you look for a relevant library :)
2023-12-20 15:03:54 +0100 <Inst> i guess that's why you have 8+ years more experience than me
2023-12-20 15:04:04 +0100 <kuribas> If you don't run into a wall, then you may not need that library.
2023-12-20 15:05:18 +0100 <Inst> the current project is scraping (with permission) a website's data, on the tune of multiple TB
2023-12-20 15:05:31 +0100 <Inst> should I be doing this by hand, especially since my knowledge of http is shoddy?
2023-12-20 15:05:31 +0100 <kuribas> Inst: yeah, my *experience* showed me that most of those "solutions" follow the same pattern. Identify the problem, isolate the low level manipultations, and make an algebra out of it.
2023-12-20 15:05:56 +0100 <kuribas> Inst: you mean html?
2023-12-20 15:06:02 +0100 <kuribas> No, use a scraper library.
2023-12-20 15:06:03 +0100 <Inst> http, http-client rather
2023-12-20 15:06:07 +0100 <Inst> yeah duh
2023-12-20 15:06:11 +0100 <kuribas> tagsoup?
2023-12-20 15:06:29 +0100 <Inst> i'm hooking http-client / http-client-tls together with gamari's html-parse
2023-12-20 15:06:36 +0100 <Inst> since scalpel doesn't allow me to hook auth cookies in
2023-12-20 15:08:07 +0100danse-nr3(~danse@151.43.218.187)
2023-12-20 15:08:16 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2023-12-20 15:09:45 +0100 <ski> "being pedantic doesn't help beginners" -- i think it definitely can, depending
2023-12-20 15:10:48 +0100 <Inst> i think it's important to be able to think in terms of values and types as soon as possible, and to be able to read type signatures
2023-12-20 15:11:04 +0100 <ski> yes
2023-12-20 15:11:50 +0100 <ski> also being able to "follow the types", doing basic type inference in your head, can be very useful, at times
2023-12-20 15:11:51 +0100 <kuribas> ski: well... yes, but not everything at once.
2023-12-20 15:11:56 +0100 <ski> yes
2023-12-20 15:12:35 +0100 <ski> getting fundamental distinctions in place, can help dispel various initial confusion
2023-12-20 15:16:35 +0100kuribas(~user@ptr-17d51em93jv5tnmke3v.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-12-20 15:17:54 +0100 <haskellbridge> 12<C​elestial> either I did something wrong and I'm gonna feel stupid or I improved `Data.List.sort` by like 1.5x?
2023-12-20 15:18:28 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 15:18:40 +0100 <haskellbridge> 12<C​elestial> where are you supposed to paste large messages?
2023-12-20 15:19:31 +0100danse-nr3(~danse@151.43.218.187) (Ping timeout: 245 seconds)
2023-12-20 15:20:06 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2023-12-20 15:20:37 +0100notzmv(~zmv@user/notzmv)
2023-12-20 15:21:33 +0100 <Inst> paste.tomsmeding.com
2023-12-20 15:21:42 +0100 <Inst> also, if it's ghci, ghci benchmarking is highly unreliable
2023-12-20 15:21:43 +0100 <Inst> no optimizations on
2023-12-20 15:22:51 +0100 <haskellbridge> 12<C​elestial> no, I used `criterion` with optimizations and 7 different list sizes and randomized input
2023-12-20 15:23:24 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-20 15:24:06 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds)
2023-12-20 15:24:45 +0100iqubic(~avi@2601:602:9502:c70:ace6:f806:3e8:12) (Remote host closed the connection)
2023-12-20 15:27:59 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-20 15:28:19 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2023-12-20 15:28:38 +0100rvalue(~rvalue@user/rvalue)
2023-12-20 15:29:42 +0100 <haskellbridge> 12<C​elestial> https://paste.tomsmeding.com/hmklD1c8 these are the benchmarks with various sizes and random inputs
2023-12-20 15:30:03 +0100 <haskellbridge> 12<C​elestial> it looks like a 1.5-2x improvement
2023-12-20 15:40:16 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-20 15:40:16 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-20 15:40:16 +0100finn_elijaFinnElija
2023-12-20 15:51:58 +0100ystael(~ystael@user/ystael)
2023-12-20 15:55:39 +0100 <haskellbridge> 12<C​elestial> I added another optimization step but that only increased it marginally, but imo still pretty well. It seems to be more than 2x better in some cases but I'm not super sure about that.
2023-12-20 15:55:39 +0100 <haskellbridge> 12<C​elestial> What it does is super simple and unless I overlooked something does not break anything? It might change the stability, but if it does it should be easy to adjust for that?
2023-12-20 15:55:40 +0100 <haskellbridge> 12<C​elestial> The current implementation is just mergesort but it prescans increasing and decreasing sequences to optimize.
2023-12-20 15:55:41 +0100 <haskellbridge> 12<C​elestial> What I did is simply add a three and four way merge which seem to improve the performance by up to 2x. The implementation is here, so please tell me if I overlooked something lol, I feel like I probably did. https://paste.tomsmeding.com/KYlkdbg2
2023-12-20 16:19:59 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
2023-12-20 16:20:52 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) (Remote host closed the connection)
2023-12-20 16:21:13 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net)
2023-12-20 16:31:14 +0100Hooloovoo(~Hooloovoo@hax0rbana.org) (Remote host closed the connection)
2023-12-20 16:32:38 +0100Hooloovoo(~Hooloovoo@hax0rbana.org)
2023-12-20 16:33:25 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 16:33:48 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 16:34:09 +0100rosco(~rosco@175.136.152.56) (Quit: Lost terminal)
2023-12-20 16:43:31 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-20 16:45:43 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-20 16:48:19 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
2023-12-20 16:49:55 +0100danse-nr3(~danse@151.43.216.239)
2023-12-20 16:50:27 +0100danse-nr3(~danse@151.43.216.239) (Remote host closed the connection)
2023-12-20 16:50:50 +0100danse-nr3(~danse@151.43.216.239)
2023-12-20 16:51:52 +0100arkoinad(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2023-12-20 16:52:08 +0100 <Inst> is opaleye generally considered unusable?
2023-12-20 16:52:50 +0100alp_(~alp@2001:861:e3d6:8f80:3149:2650:70:2f23) (Ping timeout: 268 seconds)
2023-12-20 16:59:31 +0100Square2(~Square4@user/square) (Ping timeout: 245 seconds)
2023-12-20 17:07:31 +0100 <danse-nr3> huh how comes?
2023-12-20 17:07:57 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-12-20 17:12:01 +0100arkoinad(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-12-20 17:13:24 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds)
2023-12-20 17:18:22 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-20 17:22:01 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-20 17:24:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-20 17:24:31 +0100qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2023-12-20 17:27:51 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-20 17:33:28 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-20 17:40:32 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:a75e:a1bf:fa80:25cb) (Remote host closed the connection)
2023-12-20 17:43:19 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-12-20 17:43:51 +0100anon1123_(~anon1123@catv-176-63-23-102.catv.fixed.vodafone.hu)
2023-12-20 17:44:10 +0100anon1123(~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 246 seconds)
2023-12-20 17:49:03 +0100vpan(~vpan@88.118.87.196) (Quit: Leaving.)
2023-12-20 17:49:06 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2023-12-20 17:49:51 +0100anon1123(~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c)
2023-12-20 17:50:21 +0100anon1123_(~anon1123@catv-176-63-23-102.catv.fixed.vodafone.hu) (Ping timeout: 245 seconds)
2023-12-20 17:54:22 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-20 17:57:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-20 17:59:48 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-12-20 18:01:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-12-20 18:03:48 +0100 <Inst> opaleye it turns out is an sql generator
2023-12-20 18:03:51 +0100 <Inst> i was looking for something strictly typed
2023-12-20 18:04:16 +0100 <Inst> does anyone use postgresql-simple here?
2023-12-20 18:04:20 +0100 <Inst> I'm having difficulty connecting to things
2023-12-20 18:04:26 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 18:08:00 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 18:08:19 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 18:14:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-20 18:17:15 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 18:17:29 +0100danse-nr3(~danse@151.43.216.239) (Ping timeout: 256 seconds)
2023-12-20 18:18:51 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-12-20 18:24:29 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-12-20 18:26:06 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-12-20 18:28:25 +0100defkev(~defkev@2a09:bac1:1e40:a90::2b8:26) (Ping timeout: 268 seconds)
2023-12-20 18:32:21 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 18:32:40 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 18:32:56 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-20 18:34:11 +0100alexherbo2(~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) (Remote host closed the connection)
2023-12-20 18:48:16 +0100alp_(~alp@2001:861:e3d6:8f80:8b60:de47:595a:395d)
2023-12-20 18:48:52 +0100defkev(~defkev@2a09:bac1:1e20:11e0::1d8:3b)
2023-12-20 18:49:33 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-20 18:51:36 +0100ft(~ft@p4fc2ae2b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-12-20 18:53:36 +0100ft(~ft@p3e9bcf0d.dip0.t-ipconnect.de)
2023-12-20 18:53:37 +0100johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-12-20 18:58:38 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-12-20 19:01:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2023-12-20 19:03:12 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de)
2023-12-20 19:04:41 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-20 19:04:41 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-20 19:04:41 +0100finn_elijaFinnElija
2023-12-20 19:06:23 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-20 19:15:37 +0100johnw(~johnw@69.62.242.138)
2023-12-20 19:17:07 +0100defkev(~defkev@2a09:bac1:1e20:11e0::1d8:3b) (Ping timeout: 255 seconds)
2023-12-20 19:19:50 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-12-20 19:20:01 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 19:21:36 +0100euleritian(~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-20 19:21:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-20 19:24:51 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-20 19:37:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-20 19:41:52 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 255 seconds)
2023-12-20 19:54:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-20 20:01:19 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-12-20 20:07:56 +0100Lycurgus(~georg@user/Lycurgus)
2023-12-20 20:12:09 +0100califax(~califax@user/califx)
2023-12-20 20:12:23 +0100todi(~todi@p4fd1a1df.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2023-12-20 20:21:08 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be)
2023-12-20 20:24:16 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net)
2023-12-20 20:24:32 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-20 20:24:40 +0100target_i(~target_i@217.175.14.39)
2023-12-20 20:25:34 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-12-20 20:30:19 +0100Lycurgus(~georg@user/Lycurgus)
2023-12-20 20:33:13 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 246 seconds)
2023-12-20 20:34:14 +0100mikess(~sam@user/mikess)
2023-12-20 20:34:59 +0100mikess(~sam@user/mikess) (Client Quit)
2023-12-20 20:37:17 +0100 <monochrom> Inst: https://dev.to/zelenya/how-to-use-postgresql-with-haskell-elephantine-library-review-2023-2836 reviews a whole lot of Haskell-postgresql libraries covering a lot of the design space.
2023-12-20 20:38:04 +0100 <Inst> thank you so much monochrom
2023-12-20 20:39:33 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-12-20 20:46:57 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-12-20 20:48:43 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be)
2023-12-20 20:53:59 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-20 21:12:18 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-20 21:14:31 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
2023-12-20 21:16:11 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2023-12-20 21:17:04 +0100chiselfuse(~chiselfus@user/chiselfuse)
2023-12-20 21:19:35 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-12-20 21:22:04 +0100chiselfuse(~chiselfus@user/chiselfuse)
2023-12-20 21:22:13 +0100mikess(~sam@user/mikess)
2023-12-20 21:26:27 +0100shapr(~user@2600:1700:c640:3100:faa6:46bc:da63:b272)
2023-12-20 21:28:47 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 264 seconds)
2023-12-20 21:32:07 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
2023-12-20 21:34:21 +0100chiselfuse(~chiselfus@user/chiselfuse)
2023-12-20 21:35:11 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection)
2023-12-20 21:35:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-20 21:35:55 +0100 <haskellbridge> 12<C​elestial> re: faster sort, I opened an issue here https://gitlab.haskell.org/ghc/ghc/-/issues/24280
2023-12-20 21:39:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Ping timeout: 245 seconds)
2023-12-20 21:45:08 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-20 21:50:31 +0100igemnace(~ian@user/igemnace)
2023-12-20 21:57:21 +0100alp_(~alp@2001:861:e3d6:8f80:8b60:de47:595a:395d) (Remote host closed the connection)
2023-12-20 21:57:44 +0100alp_(~alp@2001:861:e3d6:8f80:7fc6:2eaf:8d61:8257)
2023-12-20 22:04:50 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2023-12-20 22:06:49 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 276 seconds)
2023-12-20 22:11:28 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-20 22:11:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-20 22:12:00 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-20 22:12:41 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-12-20 22:15:40 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-20 22:19:45 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-12-20 22:25:10 +0100trev(~trev@user/trev)
2023-12-20 22:27:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-12-20 22:30:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-20 22:31:42 +0100mizlan(~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Quit: mizlan)
2023-12-20 22:31:59 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-20 22:32:52 +0100michalz(~michalz@185.246.204.125) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-20 22:38:36 +0100 <Inst> not sure if anyone is on, but why does it seem that I can only insert 60 items at a time into a table?
2023-12-20 22:41:23 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-12-20 22:44:31 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 22:50:46 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-20 22:51:07 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 246 seconds)
2023-12-20 22:55:48 +0100cimento(CO2@gateway/vpn/protonvpn/cimento) (Quit: WeeChat 4.1.2)
2023-12-20 23:01:43 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-20 23:02:04 +0100ystael(~ystael@user/ystael) (Ping timeout: 276 seconds)
2023-12-20 23:05:36 +0100cimento(CO2@gateway/vpn/protonvpn/cimento)
2023-12-20 23:07:49 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-12-20 23:10:28 +0100Lycurgus(~georg@li1192-118.members.linode.com)
2023-12-20 23:10:28 +0100Lycurgus(~georg@li1192-118.members.linode.com) (Changing host)
2023-12-20 23:10:28 +0100Lycurgus(~georg@user/Lycurgus)
2023-12-20 23:13:58 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-20 23:17:26 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds)
2023-12-20 23:18:15 +0100xdminsy(~xdminsy@117.147.71.169) (Read error: Connection reset by peer)
2023-12-20 23:19:09 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-20 23:21:28 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-20 23:26:46 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2023-12-20 23:30:23 +0100zzz(~z@user/zero)
2023-12-20 23:31:25 +0100zero-(~z@user/zero)
2023-12-20 23:34:04 +0100zero(~z@user/zero) (Ping timeout: 255 seconds)
2023-12-20 23:34:04 +0100zero-zero
2023-12-20 23:34:49 +0100zzz(~z@user/zero) (Ping timeout: 256 seconds)
2023-12-20 23:35:40 +0100enikar(~enikar@chezlefab.net) (Quit: WeeChat 3.0)
2023-12-20 23:36:02 +0100enikar(~enikar@chezlefab.net)
2023-12-20 23:36:40 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-20 23:41:53 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-20 23:49:24 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-20 23:50:16 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da)
2023-12-20 23:50:21 +0100akegalj(~akegalj@141-136-190-163.dsl.iskon.hr) (Quit: leaving)
2023-12-20 23:52:26 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-20 23:52:47 +0100alp_(~alp@2001:861:e3d6:8f80:7fc6:2eaf:8d61:8257) (Remote host closed the connection)
2023-12-20 23:53:14 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-20 23:55:01 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)