2023-12-20 00:05:55 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-12-20 00:06:39 +0100 | Inst | (~Inst@2409:8900:fd3:152c:ae55:9a94:2cc8:a0af) |
2023-12-20 00:10:34 +0100 | acidjnk | (~acidjnk@p200300d6e72b9327e868e6102608b4a6.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2023-12-20 00:12:45 +0100 | foul_owl | (~kerry@185.219.141.163) |
2023-12-20 00:14:31 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Quit: Leaving) |
2023-12-20 00:18:19 +0100 | johnw | (~johnw@69.62.242.138) |
2023-12-20 00:20:17 +0100 | shapr | (~user@2600:1700:c640:3100:b78a:b9c3:6d36:29ef) (Remote host closed the connection) |
2023-12-20 00:20:32 +0100 | shapr | (~user@2600:1700:c640:3100:5c7:6566:83f3:f96) |
2023-12-20 00:23:14 +0100 | not_reserved | (~not_reser@154.16.157.95) (Quit: Client closed) |
2023-12-20 00:23:56 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
2023-12-20 00:23:59 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 264 seconds) |
2023-12-20 00:37:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-03d6-5800-5c3b-95ce-6fd6.rev.sfr.net) (Remote host closed the connection) |
2023-12-20 00:38:58 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-12-20 00:50:21 +0100 | koolazer | (~koo@user/koolazer) |
2023-12-20 00:52:41 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
2023-12-20 01:01:35 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) (Ping timeout: 260 seconds) |
2023-12-20 01:07:10 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
2023-12-20 01:10:14 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-12-20 01:12:26 +0100 | Inst | (~Inst@2409:8900:fd3:152c:ae55:9a94:2cc8:a0af) (Ping timeout: 245 seconds) |
2023-12-20 01:26:18 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 01:32:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2023-12-20 01:37:30 +0100 | skippy | (uid26890@user/slice) |
2023-12-20 01:45:43 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2023-12-20 01:46:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-12-20 01:47:57 +0100 | Square | (~Square@user/square) |
2023-12-20 01:48:18 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
2023-12-20 01:48:43 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 276 seconds) |
2023-12-20 01:58:31 +0100 | Tuplanolla | (~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 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-12-20 02:00:35 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-20 02:12:42 +0100 | Volt_ | (~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) |
2023-12-20 02:29:29 +0100 | sprout_ | sprout |
2023-12-20 02:44:34 +0100 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-12-20 02:46:43 +0100 | hololeap | (~quassel@user/hololeap) |
2023-12-20 03:03:55 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
2023-12-20 03:08:44 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
2023-12-20 03:25:45 +0100 | arahael_ | (~arahael@1.145.98.255) |
2023-12-20 03:34:31 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
2023-12-20 03:37:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e762:3794:c658:ff64) (Ping timeout: 268 seconds) |
2023-12-20 03:42:08 +0100 | pavonia | (~user@user/siracusa) |
2023-12-20 03:50:23 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) |
2023-12-20 04:04:46 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-20 04:04:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-12-20 04:04:46 +0100 | finn_elija | FinnElija |
2023-12-20 04:07:47 +0100 | Joao003 | (~Joao003@190.108.99.222) (Read error: Connection reset by peer) |
2023-12-20 04:16:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-12-20 04:16:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 04:18:15 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 04:19:00 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Quit: cool) |
2023-12-20 04:19:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-12-20 04:19:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-20 04:24:29 +0100 | Volt_ | (~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) (Quit: ) |
2023-12-20 04:25:31 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-12-20 04:28:30 +0100 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 256 seconds) |
2023-12-20 04:30:22 +0100 | td_ | (~td@i53870922.versanet.de) |
2023-12-20 04:30:33 +0100 | rosco | (~rosco@175.136.152.56) |
2023-12-20 04:32:44 +0100 | arahael_ | (~arahael@1.145.98.255) (Read error: Connection reset by peer) |
2023-12-20 04:36:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-12-20 04:36:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2023-12-20 04:37:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-12-20 04:41:25 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
2023-12-20 04:49:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2023-12-20 04:56:29 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2023-12-20 05:01:03 +0100 | defkev | (~defkev@2a09:bac5:2a91:1b4b::2b8:ed) |
2023-12-20 05:02:55 +0100 | asdfhjk1 | (~asdfhjk1@2605:59c8:514c:8110::389) |
2023-12-20 05:03:37 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 246 seconds) |
2023-12-20 05:04:22 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Ping timeout: 260 seconds) |
2023-12-20 05:04:35 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) (Ping timeout: 268 seconds) |
2023-12-20 05:04:59 +0100 | shapr | (~user@2600:1700:c640:3100:5c7:6566:83f3:f96) (Remote host closed the connection) |
2023-12-20 05:05:14 +0100 | shapr | (~user@2600:1700:c640:3100:cf64:b80f:be71:3066) |
2023-12-20 05:10:43 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection) |
2023-12-20 05:11:24 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2023-12-20 05:11:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 05:15:21 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
2023-12-20 05:15:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-12-20 05:16:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
2023-12-20 05:16:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
2023-12-20 05:17:11 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2023-12-20 05:17:48 +0100 | Luj | (~Luj@mail.julienmalka.me) |
2023-12-20 05:18:41 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-12-20 05:27:29 +0100 | cool | (~cool@2607:fb91:775:4211:7595:7eee:e2bd:6a13) |
2023-12-20 05:30:07 +0100 | aforemny | (~aforemny@2001:9e8:6cfb:e200:226e:4b0d:2e98:45a6) |
2023-12-20 05:31:26 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd5:e600:ef6a:bb8a:a5f5:c14b) (Ping timeout: 260 seconds) |
2023-12-20 05:31:34 +0100 | cool | (~cool@2607:fb91:775:4211:7595:7eee:e2bd:6a13) (Remote host closed the connection) |
2023-12-20 05:33:16 +0100 | defkev | (~defkev@2a09:bac5:2a91:1b4b::2b8:ed) (Ping timeout: 245 seconds) |
2023-12-20 05:34:38 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-12-20 05:35:17 +0100 | defkev | (~defkev@2a09:bac5:2809:2c8::47:311) |
2023-12-20 05:37:01 +0100 | shapr | (~user@2600:1700:c640:3100:cf64:b80f:be71:3066) (Ping timeout: 245 seconds) |
2023-12-20 05:38:05 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) |
2023-12-20 05:39:23 +0100 | trev | (~trev@user/trev) |
2023-12-20 05:39:31 +0100 | defkev | (~defkev@2a09:bac5:2809:2c8::47:311) (Ping timeout: 245 seconds) |
2023-12-20 05:40:10 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection) |
2023-12-20 05:41:32 +0100 | defkev | (~defkev@2a09:bac1:1e00:628::2b8:7) |
2023-12-20 05:41:47 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) |
2023-12-20 05:46:12 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 05:46:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 05:49:45 +0100 | oxide | (~lambda@user/oxide) |
2023-12-20 05:50:13 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2023-12-20 05:51:42 +0100 | Inst | (~Inst@120.244.192.23) |
2023-12-20 05:52:38 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection) |
2023-12-20 06:03:00 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2023-12-20 06:04:28 +0100 | qqq | (~qqq@92.43.167.61) |
2023-12-20 06:07:14 +0100 | igemnace | (~ian@user/igemnace) |
2023-12-20 06:12:46 +0100 | defkev | (~defkev@2a09:bac1:1e00:628::2b8:7) (Ping timeout: 255 seconds) |
2023-12-20 06:13:10 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
2023-12-20 06:14:49 +0100 | defkev | (~defkev@2a09:bac5:280d:2c8::47:304) |
2023-12-20 06:15:05 +0100 | EvanR | (~EvanR@user/evanr) |
2023-12-20 06:19:29 +0100 | asdfhjk1 | (~asdfhjk1@2605:59c8:514c:8110::389) (Remote host closed the connection) |
2023-12-20 06:40:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 06:41:45 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2023-12-20 06:42:02 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) |
2023-12-20 06:44:57 +0100 | cool | (~cool@2607:fb91:775:4211:e79e:1e6e:ddb2:75c5) (Remote host closed the connection) |
2023-12-20 06:49:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2023-12-20 06:49:42 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) |
2023-12-20 06:58:47 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
2023-12-20 07:00:20 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-12-20 07:07:09 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 07:07:57 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 07:08:16 +0100 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 245 seconds) |
2023-12-20 07:10:06 +0100 | td_ | (~td@i53870912.versanet.de) |
2023-12-20 07:14:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2023-12-20 07:15:25 +0100 | defkev | (~defkev@2a09:bac5:280d:2c8::47:304) (Quit: WeeChat 3.6) |
2023-12-20 07:15:44 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 07:19:32 +0100 | defkev | (~defkev@2a09:bac5:280d:2c8::47:304) |
2023-12-20 07:20:21 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-12-20 07:22:46 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-12-20 07:24:28 +0100 | zetef | (~quassel@95.77.17.251) |
2023-12-20 07:24:55 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) |
2023-12-20 07:25:00 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
2023-12-20 07:28:37 +0100 | michalz | (~michalz@185.246.204.125) |
2023-12-20 07:28:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-12-20 07:29:33 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
2023-12-20 07:29:33 +0100 | michalz | (~michalz@185.246.204.125) (Client Quit) |
2023-12-20 07:32:31 +0100 | michalz | (~michalz@185.246.204.125) |
2023-12-20 07:41:39 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
2023-12-20 07:43:40 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2023-12-20 07:46:18 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
2023-12-20 07:55:19 +0100 | defkev | (~defkev@2a09:bac5:280d:2c8::47:304) (Quit: WeeChat 3.6) |
2023-12-20 07:58:48 +0100 | acidjnk | (~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de) |
2023-12-20 08:02:10 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
2023-12-20 08:03:12 +0100 | waldo | (~waldo@user/waldo) |
2023-12-20 08:20:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-20 08:23:18 +0100 | misterfish | (~misterfis@84.53.85.146) |
2023-12-20 08:27:24 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 08:27:43 +0100 | euleritian | (~euleritia@77.22.252.56) |
2023-12-20 08:29:10 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
2023-12-20 08:37:26 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
2023-12-20 08:40:20 +0100 | Square2 | (~Square4@user/square) |
2023-12-20 08:43:01 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2023-12-20 08:44:44 +0100 | waldo | (~waldo@user/waldo) |
2023-12-20 08:57:26 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
2023-12-20 08:57:33 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:c8ef:e849:16e0:f179) |
2023-12-20 08:57:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 09:04:37 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-12-20 09:06:35 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2023-12-20 09:07:28 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2023-12-20 09:13:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-12-20 09:17:51 +0100 | rosco | (~rosco@175.136.152.56) (Ping timeout: 245 seconds) |
2023-12-20 09:27:17 +0100 | akegalj | (~akegalj@93-137-49-32.adsl.net.t-com.hr) |
2023-12-20 09:30:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-12-20 09:38:36 +0100 | defkev | (~defkev@2a09:bac1:1e20:a90::47:300) |
2023-12-20 09:49:06 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) |
2023-12-20 09:59:21 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-12-20 10:02:08 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-20 10:13:40 +0100 | rosco | (~rosco@175.136.152.56) |
2023-12-20 10:15:06 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2023-12-20 10:16:18 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer) |
2023-12-20 10:17:00 +0100 | phma | (phma@2001:5b0:211f:28f8:4421:db20:6d0:6423) |
2023-12-20 10:17:26 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
2023-12-20 10:23:34 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2023-12-20 10:26:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-12-20 10:26:49 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
2023-12-20 10:28:20 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-12-20 10:28:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2023-12-20 10:29:45 +0100 | Lord_of_Life_ | Lord_of_Life |
2023-12-20 10:31:15 +0100 | hapisnake | (~hapisnake@103.28.246.184) |
2023-12-20 10:35:04 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:c8ef:e849:16e0:f179) (Ping timeout: 246 seconds) |
2023-12-20 10:39:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-12-20 10:41:09 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-20 10:42:11 +0100 | danse-nr3 | (~danse@151.43.206.121) |
2023-12-20 10:48:47 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-20 10:48:52 +0100 | eggplantade | (~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 +0100 | Sgeo | (~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 +0100 | hapisnake | (~hapisnake@103.28.246.184) (Quit: Client closed) |
2023-12-20 10:57:21 +0100 | hapisnake | (~hapisnake@103.28.246.184) |
2023-12-20 10:58:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-12-20 10:58:44 +0100 | hapisnake | (~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 +0100 | defkev | (~defkev@2a09:bac1:1e20:a90::47:300) (Remote host closed the connection) |
2023-12-20 11:04:34 +0100 | defkev | (~defkev@2a09:bac1:1e20:a90::47:300) |
2023-12-20 11:05:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2023-12-20 11:05:45 +0100 | cfricke | (~cfricke@user/cfricke) |
2023-12-20 11:06:11 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
2023-12-20 11:07:48 +0100 | euleritian | (~euleritia@dynamic-046-114-206-084.46.114.pool.telefonica.de) |
2023-12-20 11:09:36 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
2023-12-20 11:16:57 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 11:17:51 +0100 | acidjnk | (~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-12-20 11:18:12 +0100 | nerdypepper | np |
2023-12-20 11:20:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-12-20 11:20:51 +0100 | euleritian | (~euleritia@dynamic-046-114-206-084.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
2023-12-20 11:21:29 +0100 | euleritian | (~euleritia@dynamic-089-015-236-214.89.15.236.pool.telefonica.de) |
2023-12-20 11:21:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) |
2023-12-20 11:21:57 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-12-20 11:22:09 +0100 | chele | (~chele@user/chele) |
2023-12-20 11:22:15 +0100 | euleritian | (~euleritia@dynamic-089-015-236-214.89.15.236.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 11:22:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 11:25:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Ping timeout: 245 seconds) |
2023-12-20 11:41:37 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a75e:a1bf:fa80:25cb) |
2023-12-20 11:44:46 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2023-12-20 11:45:16 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-3d22-6103-fcea-6c69.rev.sfr.net) |
2023-12-20 11:51:50 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-3d22-6103-fcea-6c69.rev.sfr.net) (Ping timeout: 250 seconds) |
2023-12-20 11:53:14 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) |
2023-12-20 11:55:07 +0100 | defkev | (~defkev@2a09:bac1:1e20:a90::47:300) (Ping timeout: 256 seconds) |
2023-12-20 11:55:55 +0100 | misterfish | (~misterfis@84.53.85.146) |
2023-12-20 11:55:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2023-12-20 11:56:03 +0100 | rosco | (~rosco@175.136.152.56) (Quit: Lost terminal) |
2023-12-20 11:56:51 +0100 | defkev | (~defkev@2a09:bac1:1e40:a90::2b8:26) |
2023-12-20 11:59:08 +0100 | akegalj | (~akegalj@93-137-49-32.adsl.net.t-com.hr) (Quit: leaving) |
2023-12-20 12:02:30 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2023-12-20 12:02:34 +0100 | FragByte | (~christian@user/fragbyte) |
2023-12-20 12:05:46 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2023-12-20 12:07:42 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d2ac:6093:bf37:642e) |
2023-12-20 12:11:47 +0100 | xdminsy | (~xdminsy@117.147.70.130) (Read error: Connection reset by peer) |
2023-12-20 12:15:35 +0100 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-20 12:15:41 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
2023-12-20 12:16:13 +0100 | coot_ | coot |
2023-12-20 12:28:14 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-12-20 12:47:09 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
2023-12-20 12:47:32 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
2023-12-20 12:51:36 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:7b28:6245:cbff:fe9f:48b1) |
2023-12-20 12:52:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2023-12-20 12:52:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 12:52:26 +0100 | danse-nr3 | (~danse@151.43.206.121) (Ping timeout: 245 seconds) |
2023-12-20 12:53:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2023-12-20 12:55:52 +0100 | vpan | (~vpan@88.118.87.196) |
2023-12-20 12:59:31 +0100 | mulk | (~mulk@p5b2dc93f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2023-12-20 13:03:58 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) |
2023-12-20 13:04:17 +0100 | mulk | (~mulk@p5b2dc93f.dip0.t-ipconnect.de) |
2023-12-20 13:07:29 +0100 | acidjnk | (~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de) |
2023-12-20 13:09:35 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
2023-12-20 13:09:39 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-12-20 13:16:46 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:7b28:6245:cbff:fe9f:48b1) (Quit: Leaving) |
2023-12-20 13:17:16 +0100 | skippy | (uid26890@user/slice) (Quit: Connection closed for inactivity) |
2023-12-20 13:22:11 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
2023-12-20 13:22:21 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) () |
2023-12-20 13:23:15 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
2023-12-20 13:23:48 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) () |
2023-12-20 13:25:16 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
2023-12-20 13:28:33 +0100 | Xyloes | (~Xyloes@2400:dd01:103a:1012:d681:d7ff:fedb:298d) () |
2023-12-20 13:29:48 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
2023-12-20 13:31:45 +0100 | mrmr15533 | (~mrmr@user/mrmr) (Ping timeout: 252 seconds) |
2023-12-20 13:34:40 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3149:2650:70:2f23) |
2023-12-20 13:35:19 +0100 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Ping timeout: 246 seconds) |
2023-12-20 13:35:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-20 13:38:29 +0100 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
2023-12-20 13:40:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2023-12-20 13:41:08 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 13:42:42 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-20 13:42:46 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 13:43:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 13:44:22 +0100 | mrmr15533 | (~mrmr@user/mrmr) |
2023-12-20 13:47:53 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2023-12-20 13:49:08 +0100 | AlexZenon | (~alzenon@94.233.240.140) (Quit: ;-) |
2023-12-20 13:49:41 +0100 | AlexNoo | (~AlexNoo@94.233.240.140) (Quit: Leaving) |
2023-12-20 14:01:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2023-12-20 14:03:24 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 14:05:30 +0100 | igemnace | (~ian@user/igemnace) |
2023-12-20 14:08:47 +0100 | Square2 | (~Square4@user/square) |
2023-12-20 14:10:52 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2023-12-20 14:12:10 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2023-12-20 14:18:47 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-20 14:21:56 +0100 | kuribas | (~user@ptr-17d51em93jv5tnmke3v.18120a2.ip6.access.telenet.be) |
2023-12-20 14:22:34 +0100 | AlexZenon | (~alzenon@94.233.240.140) |
2023-12-20 14:22:44 +0100 | AlexNoo | (~AlexNoo@94.233.240.140) |
2023-12-20 14:26:52 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 14:27:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 14:27:18 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
2023-12-20 14:28:44 +0100 | misterfish | (~misterfis@84.53.85.146) |
2023-12-20 14:28:45 +0100 | Nixkernal | (~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 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2023-12-20 14:32:50 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 14:34:05 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2023-12-20 14:34:08 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
2023-12-20 14:37:33 +0100 | <haskellbridge> | 12<Celestial> 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<Celestial> 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 +0100 | akegalj | (~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<Celestial> 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<Celestial> mauke: I think that's it ... should have thought of that |
2023-12-20 14:43:45 +0100 | <haskellbridge> | 12<Celestial> 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 +0100 | rosco | (~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 +0100 | danse-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 +0100 | danse-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 +0100 | danse-nr3 | (~danse@151.43.218.187) |
2023-12-20 15:08:16 +0100 | notzmv | (~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 +0100 | kuribas | (~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<Celestial> 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 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 15:18:40 +0100 | <haskellbridge> | 12<Celestial> where are you supposed to paste large messages? |
2023-12-20 15:19:31 +0100 | danse-nr3 | (~danse@151.43.218.187) (Ping timeout: 245 seconds) |
2023-12-20 15:20:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2023-12-20 15:20:37 +0100 | notzmv | (~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<Celestial> no, I used `criterion` with optimizations and 7 different list sizes and randomized input |
2023-12-20 15:23:24 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-12-20 15:24:06 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
2023-12-20 15:24:45 +0100 | iqubic | (~avi@2601:602:9502:c70:ace6:f806:3e8:12) (Remote host closed the connection) |
2023-12-20 15:27:59 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
2023-12-20 15:28:19 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2023-12-20 15:28:38 +0100 | rvalue | (~rvalue@user/rvalue) |
2023-12-20 15:29:42 +0100 | <haskellbridge> | 12<Celestial> https://paste.tomsmeding.com/hmklD1c8 these are the benchmarks with various sizes and random inputs |
2023-12-20 15:30:03 +0100 | <haskellbridge> | 12<Celestial> it looks like a 1.5-2x improvement |
2023-12-20 15:40:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-12-20 15:40:16 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-20 15:40:16 +0100 | finn_elija | FinnElija |
2023-12-20 15:51:58 +0100 | ystael | (~ystael@user/ystael) |
2023-12-20 15:55:39 +0100 | <haskellbridge> | 12<Celestial> 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<Celestial> 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<Celestial> The current implementation is just mergesort but it prescans increasing and decreasing sequences to optimize. |
2023-12-20 15:55:41 +0100 | <haskellbridge> | 12<Celestial> 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 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
2023-12-20 16:20:52 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) (Remote host closed the connection) |
2023-12-20 16:21:13 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) |
2023-12-20 16:31:14 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Remote host closed the connection) |
2023-12-20 16:32:38 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
2023-12-20 16:33:25 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 16:33:48 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 16:34:09 +0100 | rosco | (~rosco@175.136.152.56) (Quit: Lost terminal) |
2023-12-20 16:43:31 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-12-20 16:45:43 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-20 16:48:19 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
2023-12-20 16:49:55 +0100 | danse-nr3 | (~danse@151.43.216.239) |
2023-12-20 16:50:27 +0100 | danse-nr3 | (~danse@151.43.216.239) (Remote host closed the connection) |
2023-12-20 16:50:50 +0100 | danse-nr3 | (~danse@151.43.216.239) |
2023-12-20 16:51:52 +0100 | arkoinad | (~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 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3149:2650:70:2f23) (Ping timeout: 268 seconds) |
2023-12-20 16:59:31 +0100 | Square2 | (~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 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-12-20 17:12:01 +0100 | arkoinad | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2023-12-20 17:13:24 +0100 | manwithluck | (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 +0100 | qqq | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) |
2023-12-20 17:40:32 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a75e:a1bf:fa80:25cb) (Remote host closed the connection) |
2023-12-20 17:43:19 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-12-20 17:43:51 +0100 | anon1123_ | (~anon1123@catv-176-63-23-102.catv.fixed.vodafone.hu) |
2023-12-20 17:44:10 +0100 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 246 seconds) |
2023-12-20 17:49:03 +0100 | vpan | (~vpan@88.118.87.196) (Quit: Leaving.) |
2023-12-20 17:49:06 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2023-12-20 17:49:51 +0100 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
2023-12-20 17:50:21 +0100 | anon1123_ | (~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 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
2023-12-20 18:01:41 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 18:08:00 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 18:08:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 18:14:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2023-12-20 18:17:15 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 18:17:29 +0100 | danse-nr3 | (~danse@151.43.216.239) (Ping timeout: 256 seconds) |
2023-12-20 18:18:51 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-12-20 18:24:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
2023-12-20 18:26:06 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2023-12-20 18:28:25 +0100 | defkev | (~defkev@2a09:bac1:1e40:a90::2b8:26) (Ping timeout: 268 seconds) |
2023-12-20 18:32:21 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 18:32:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 18:32:56 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2023-12-20 18:34:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-4387-a852-c0f7-9c6e-a751.rev.sfr.net) (Remote host closed the connection) |
2023-12-20 18:48:16 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:8b60:de47:595a:395d) |
2023-12-20 18:48:52 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::1d8:3b) |
2023-12-20 18:49:33 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-12-20 18:51:36 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-12-20 18:53:36 +0100 | ft | (~ft@p3e9bcf0d.dip0.t-ipconnect.de) |
2023-12-20 18:53:37 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2023-12-20 18:58:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2023-12-20 19:01:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2023-12-20 19:03:12 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) |
2023-12-20 19:04:41 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-20 19:04:41 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-12-20 19:04:41 +0100 | finn_elija | FinnElija |
2023-12-20 19:06:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-20 19:15:37 +0100 | johnw | (~johnw@69.62.242.138) |
2023-12-20 19:17:07 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::1d8:3b) (Ping timeout: 255 seconds) |
2023-12-20 19:19:50 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-12-20 19:20:01 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 19:21:36 +0100 | euleritian | (~euleritia@dynamic-002-247-248-058.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-20 19:21:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2023-12-20 19:24:51 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-12-20 19:37:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-12-20 19:41:52 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 255 seconds) |
2023-12-20 19:54:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-20 20:01:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-12-20 20:07:56 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-12-20 20:12:09 +0100 | califax | (~califax@user/califx) |
2023-12-20 20:12:23 +0100 | todi | (~todi@p4fd1a1df.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2023-12-20 20:21:08 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
2023-12-20 20:24:16 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
2023-12-20 20:24:32 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
2023-12-20 20:24:40 +0100 | target_i | (~target_i@217.175.14.39) |
2023-12-20 20:25:34 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-12-20 20:30:19 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-12-20 20:33:13 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 246 seconds) |
2023-12-20 20:34:14 +0100 | mikess | (~sam@user/mikess) |
2023-12-20 20:34:59 +0100 | mikess | (~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 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-12-20 20:46:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2023-12-20 20:48:43 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
2023-12-20 20:53:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-12-20 21:12:18 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-20 21:14:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
2023-12-20 21:16:11 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
2023-12-20 21:17:04 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-12-20 21:19:35 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2023-12-20 21:22:04 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-12-20 21:22:13 +0100 | mikess | (~sam@user/mikess) |
2023-12-20 21:26:27 +0100 | shapr | (~user@2600:1700:c640:3100:faa6:46bc:da63:b272) |
2023-12-20 21:28:47 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 264 seconds) |
2023-12-20 21:32:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
2023-12-20 21:34:21 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-12-20 21:35:11 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection) |
2023-12-20 21:35:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) |
2023-12-20 21:35:55 +0100 | <haskellbridge> | 12<Celestial> re: faster sort, I opened an issue here https://gitlab.haskell.org/ghc/ghc/-/issues/24280 |
2023-12-20 21:39:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Ping timeout: 245 seconds) |
2023-12-20 21:45:08 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2023-12-20 21:50:31 +0100 | igemnace | (~ian@user/igemnace) |
2023-12-20 21:57:21 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:8b60:de47:595a:395d) (Remote host closed the connection) |
2023-12-20 21:57:44 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7fc6:2eaf:8d61:8257) |
2023-12-20 22:04:50 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2023-12-20 22:06:49 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 276 seconds) |
2023-12-20 22:11:28 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
2023-12-20 22:11:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) |
2023-12-20 22:12:00 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-12-20 22:12:41 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-12-20 22:15:40 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2023-12-20 22:19:45 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
2023-12-20 22:25:10 +0100 | trev | (~trev@user/trev) |
2023-12-20 22:27:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2023-12-20 22:30:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-12-20 22:31:42 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Quit: mizlan) |
2023-12-20 22:31:59 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2023-12-20 22:32:52 +0100 | michalz | (~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 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
2023-12-20 22:44:31 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 22:50:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-12-20 22:51:07 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 246 seconds) |
2023-12-20 22:55:48 +0100 | cimento | (CO2@gateway/vpn/protonvpn/cimento) (Quit: WeeChat 4.1.2) |
2023-12-20 23:01:43 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2023-12-20 23:02:04 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
2023-12-20 23:05:36 +0100 | cimento | (CO2@gateway/vpn/protonvpn/cimento) |
2023-12-20 23:07:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-12-20 23:10:28 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
2023-12-20 23:10:28 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
2023-12-20 23:10:28 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-12-20 23:13:58 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
2023-12-20 23:17:26 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
2023-12-20 23:18:15 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
2023-12-20 23:19:09 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
2023-12-20 23:21:28 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-20 23:26:46 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
2023-12-20 23:30:23 +0100 | zzz | (~z@user/zero) |
2023-12-20 23:31:25 +0100 | zero- | (~z@user/zero) |
2023-12-20 23:34:04 +0100 | zero | (~z@user/zero) (Ping timeout: 255 seconds) |
2023-12-20 23:34:04 +0100 | zero- | zero |
2023-12-20 23:34:49 +0100 | zzz | (~z@user/zero) (Ping timeout: 256 seconds) |
2023-12-20 23:35:40 +0100 | enikar | (~enikar@chezlefab.net) (Quit: WeeChat 3.0) |
2023-12-20 23:36:02 +0100 | enikar | (~enikar@chezlefab.net) |
2023-12-20 23:36:40 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
2023-12-20 23:41:53 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-20 23:49:24 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
2023-12-20 23:50:16 +0100 | CiaoSen | (~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) |
2023-12-20 23:50:21 +0100 | akegalj | (~akegalj@141-136-190-163.dsl.iskon.hr) (Quit: leaving) |
2023-12-20 23:52:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-12-20 23:52:47 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7fc6:2eaf:8d61:8257) (Remote host closed the connection) |
2023-12-20 23:53:14 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-12-20 23:55:01 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |