2023/04/04

2023-04-04 00:04:11 +0000jakalx(~jakalx@base.jakalx.net)
2023-04-04 00:05:58 +0000masterbuilder(~masterbui@user/masterbuilder)
2023-04-04 00:07:25 +0000gurkenglas(~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-04-04 00:11:49 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 00:17:48 +0000heraldo(~heraldo@user/heraldo) (Ping timeout: 268 seconds)
2023-04-04 00:18:20 +0000heraldo(~heraldo@user/heraldo)
2023-04-04 00:22:33 +0000heraldo(~heraldo@user/heraldo) (Ping timeout: 255 seconds)
2023-04-04 00:26:53 +0000dipper_(~dipper@117.61.112.181)
2023-04-04 00:26:57 +0000chanceyan(~chanceyan@user/chanceyan)
2023-04-04 00:28:40 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-04-04 00:33:26 +0000dcoutts_(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 00:35:55 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 248 seconds)
2023-04-04 00:36:10 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 265 seconds)
2023-04-04 00:36:40 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds)
2023-04-04 00:39:40 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-04-04 00:40:04 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-04 00:45:00 +0000bollu(~bollu@159.65.151.13) (Quit: The Lounge - https://thelounge.chat)
2023-04-04 00:45:30 +0000bollu(~bollu@159.65.151.13)
2023-04-04 00:45:57 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-04-04 00:48:15 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-04-04 00:50:00 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2023-04-04 00:50:16 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-04-04 00:50:54 +0000dcoutts_(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-04-04 00:51:01 +0000gmg(~user@user/gehmehgeh)
2023-04-04 00:51:06 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 00:53:54 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-04-04 00:54:16 +0000caryhartline(~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610)
2023-04-04 00:55:15 +0000califax(~califax@user/califx) (Remote host closed the connection)
2023-04-04 00:56:16 +0000califax(~califax@user/califx)
2023-04-04 01:02:17 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-04 01:02:17 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-04 01:02:17 +0000wroathe(~wroathe@user/wroathe)
2023-04-04 01:06:02 +0000dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net)
2023-04-04 01:10:28 +0000cassiopea(~cassiopea@user/cassiopea)
2023-04-04 01:11:09 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-04-04 01:17:16 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-04-04 01:23:02 +0000nate1(~nate@98.45.169.16)
2023-04-04 01:27:35 +0000jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-04 01:27:59 +0000nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2023-04-04 01:42:14 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 01:46:36 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds)
2023-04-04 01:48:41 +0000telser(~quassel@user/telser) (Ping timeout: 246 seconds)
2023-04-04 01:49:13 +0000telser(~quassel@user/telser)
2023-04-04 01:57:27 +0000vglfr(~vglfr@46.96.188.242) (Ping timeout: 250 seconds)
2023-04-04 02:04:16 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2)
2023-04-04 02:06:18 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-04-04 02:06:18 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-04-04 02:06:18 +0000finn_elijaFinnElija
2023-04-04 02:08:50 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds)
2023-04-04 02:16:11 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-04-04 02:16:14 +0000nate1(~nate@98.45.169.16)
2023-04-04 02:23:28 +0000td_(~td@i53870916.versanet.de) (Ping timeout: 248 seconds)
2023-04-04 02:25:09 +0000td_(~td@i53870905.versanet.de)
2023-04-04 02:25:38 +0000nate1(~nate@98.45.169.16) (Read error: Connection reset by peer)
2023-04-04 02:27:00 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-04-04 02:27:18 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 02:27:23 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-04 02:30:26 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 02:31:23 +0000nate1(~nate@98.45.169.16)
2023-04-04 02:31:43 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 02:36:16 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 276 seconds)
2023-04-04 02:36:55 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 276 seconds)
2023-04-04 02:37:45 +0000mei(~mei@user/mei) (Ping timeout: 250 seconds)
2023-04-04 02:40:04 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 02:41:06 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-04 02:41:37 +0000mei(~mei@user/mei)
2023-04-04 02:44:43 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds)
2023-04-04 02:44:58 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat)
2023-04-04 02:46:23 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-04-04 03:02:28 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-04-04 03:04:44 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca)
2023-04-04 03:12:39 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 03:19:10 +0000nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-04-04 03:23:54 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-04-04 03:27:57 +0000erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 255 seconds)
2023-04-04 03:28:19 +0000erisco(~erisco@d24-141-66-165.home.cgocable.net)
2023-04-04 03:31:51 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2)
2023-04-04 03:46:39 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-04-04 04:03:00 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-04-04 04:04:00 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 265 seconds)
2023-04-04 04:04:59 +0000razetime(~Thunderbi@117.254.35.237)
2023-04-04 04:05:38 +0000tusko(~yeurt@user/tusko) (Remote host closed the connection)
2023-04-04 04:05:58 +0000tusko(~yeurt@user/tusko)
2023-04-04 04:07:06 +0000shailangsa_(~shailangs@host165-120-169-78.range165-120.btcentralplus.com) (Remote host closed the connection)
2023-04-04 04:16:07 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2023-04-04 04:16:28 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 04:17:05 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 04:18:29 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 04:18:59 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-04 04:19:10 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-04-04 04:20:55 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 276 seconds)
2023-04-04 04:24:15 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-04-04 04:30:42 +0000euandreh(~Thunderbi@189.6.18.7) (Remote host closed the connection)
2023-04-04 04:33:16 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-04-04 04:39:45 +0000xiliuya(~xiliuya@user/xiliuya)
2023-04-04 04:43:19 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 04:56:12 +0000Guest8822(~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2)
2023-04-04 04:58:52 +0000Guest8822(~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2) (Client Quit)
2023-04-04 04:59:16 +0000mechap(~mechap@user/mechap) (Ping timeout: 276 seconds)
2023-04-04 05:01:01 +0000mechap(~mechap@user/mechap)
2023-04-04 05:01:08 +0000Midjak(~Midjak@82.66.147.146)
2023-04-04 05:08:18 +0000cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 255 seconds)
2023-04-04 05:12:23 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-04-04 05:13:11 +0000corentin(~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Remote host closed the connection)
2023-04-04 05:13:15 +0000mechap(~mechap@user/mechap) (Ping timeout: 255 seconds)
2023-04-04 05:13:32 +0000corentin(~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr)
2023-04-04 05:15:22 +0000mechap(~mechap@user/mechap)
2023-04-04 05:15:55 +0000razetime(~Thunderbi@117.254.35.237) (Ping timeout: 248 seconds)
2023-04-04 05:16:30 +0000razetime(~Thunderbi@223.187.115.198)
2023-04-04 05:18:07 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-04-04 05:47:43 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 05:48:48 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-04-04 05:49:34 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 05:54:20 +0000falafel(~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com)
2023-04-04 05:55:12 +0000razetime(~Thunderbi@223.187.115.198) (Ping timeout: 248 seconds)
2023-04-04 05:56:52 +0000xiliuya(~xiliuya@user/xiliuya) (Quit: leaving)
2023-04-04 06:04:01 +0000ridcully_(~ridcully@p57b52e16.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-04-04 06:06:11 +0000mncheck(~mncheck@193.224.205.254)
2023-04-04 06:06:17 +0000jerryzihye[m](~jerryzihy@2001:470:69fc:105::3:37fb)
2023-04-04 06:06:40 +0000mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2023-04-04 06:07:01 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-04-04 06:13:09 +0000razetime(~Thunderbi@117.193.4.85)
2023-04-04 06:14:00 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 06:17:48 +0000gurkenglas(~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de)
2023-04-04 06:23:12 +0000kenran(~user@user/kenran)
2023-04-04 06:28:12 +0000chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1)
2023-04-04 06:29:25 +0000lottaquestions_(~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) (Remote host closed the connection)
2023-04-04 06:29:52 +0000lottaquestions_(~nick@2607:fa49:503e:7100:1881:a83d:c448:7bb6)
2023-04-04 06:31:24 +0000trev(~trev@user/trev)
2023-04-04 06:40:45 +0000freeside(~mengwong@122.11.248.245)
2023-04-04 06:44:59 +0000freeside(~mengwong@122.11.248.245) (Ping timeout: 248 seconds)
2023-04-04 06:47:22 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2023-04-04 06:57:42 +0000freeside(~mengwong@122.11.248.245)
2023-04-04 06:59:43 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-04-04 07:03:29 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-04-04 07:03:33 +0000gehmehgeh(~user@user/gehmehgeh)
2023-04-04 07:04:01 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 07:04:02 +0000Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-04 07:06:44 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds)
2023-04-04 07:07:59 +0000jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-04-04 07:09:13 +0000Unhammer(~Unhammer@user/unhammer) (WeeChat 2.3)
2023-04-04 07:10:08 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798)
2023-04-04 07:10:19 +0000cassiopea(~cassiopea@user/cassiopea)
2023-04-04 07:16:13 +0000nate1(~nate@98.45.169.16)
2023-04-04 07:16:57 +0000michalz(~michalz@185.246.207.197)
2023-04-04 07:18:03 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-04 07:20:20 +0000falafel(~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com) (Ping timeout: 260 seconds)
2023-04-04 07:21:03 +0000nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-04 07:25:32 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-04-04 07:31:56 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-04 07:32:48 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds)
2023-04-04 07:33:15 +0000hiredman(~hiredman@frontier1.downey.family)
2023-04-04 07:34:03 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-04-04 07:34:28 +0000coot_(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-04 07:37:11 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 256 seconds)
2023-04-04 07:37:11 +0000coot_coot
2023-04-04 07:39:14 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 07:42:20 +0000NiceBird(~NiceBird@185.133.111.196)
2023-04-04 07:44:04 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-04-04 07:46:00 +0000Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-04-04 07:51:55 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 07:53:00 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 260 seconds)
2023-04-04 07:56:32 +0000acidjnk(~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de)
2023-04-04 07:57:20 +0000razetime(~Thunderbi@117.193.4.85) (Ping timeout: 248 seconds)
2023-04-04 07:58:06 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-04 07:58:37 +0000cfricke(~cfricke@user/cfricke)
2023-04-04 08:06:02 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds)
2023-04-04 08:06:57 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-04-04 08:07:56 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-04-04 08:13:47 +0000razetime(~Thunderbi@117.193.4.85)
2023-04-04 08:13:58 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-04-04 08:17:44 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 08:24:41 +0000mauke(~mauke@user/mauke) (Quit: [TLS] Client upgrade)
2023-04-04 08:24:53 +0000mauke(~mauke@user/mauke)
2023-04-04 08:25:58 +0000todi(~snuckls@93.202.87.192) (Ping timeout: 276 seconds)
2023-04-04 08:26:48 +0000mauke(~mauke@user/mauke) (Client Quit)
2023-04-04 08:27:08 +0000mauke(~mauke@user/mauke)
2023-04-04 08:30:21 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 08:31:32 +0000thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-04-04 08:37:17 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-04-04 08:37:51 +0000freeside(~mengwong@122.11.248.245) (Ping timeout: 250 seconds)
2023-04-04 08:40:59 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-04-04 08:42:50 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 08:45:47 +0000euandreh(~Thunderbi@189.6.18.7)
2023-04-04 08:52:25 +0000freeside(~mengwong@122.11.248.245)
2023-04-04 08:54:11 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 08:54:35 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds)
2023-04-04 08:56:29 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-04-04 08:59:47 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-04-04 09:00:07 +0000std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534) (Quit: You have been kicked for being idle)
2023-04-04 09:01:33 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 09:07:00 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection)
2023-04-04 09:13:02 +0000kuribas(~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be)
2023-04-04 09:15:02 +0000a_coll(~acoll@45.92.120.189)
2023-04-04 09:16:07 +0000ubert1(~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4)
2023-04-04 09:16:40 +0000dipper_(~dipper@117.61.112.181) (Remote host closed the connection)
2023-04-04 09:28:03 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-04-04 09:28:54 +0000ubert1(~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4) (Quit: ubert1)
2023-04-04 09:34:30 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-04-04 09:40:54 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 09:45:46 +0000jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2023-04-04 09:45:46 +0000jakalx(~jakalx@base.jakalx.net)
2023-04-04 09:49:21 +0000chanceyan(~chanceyan@user/chanceyan) (Quit: Client closed)
2023-04-04 09:51:19 +0000vglfr(~vglfr@88.155.13.69)
2023-04-04 09:51:39 +0000Square(~Square4@user/square)
2023-04-04 09:52:32 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-04 09:55:00 +0000freeside(~mengwong@122.11.248.245) (Ping timeout: 268 seconds)
2023-04-04 10:01:19 +0000chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2023-04-04 10:05:04 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-04-04 10:05:20 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds)
2023-04-04 10:07:29 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15)
2023-04-04 10:11:53 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 250 seconds)
2023-04-04 10:19:19 +0000razetime(~Thunderbi@117.193.4.85) (Remote host closed the connection)
2023-04-04 10:32:35 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-04-04 10:37:36 +0000azimut_(~azimut@gateway/tor-sasl/azimut)
2023-04-04 10:40:50 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-04-04 10:42:47 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-04 10:49:32 +0000enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-04-04 10:58:28 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-04-04 11:04:50 +0000vglfr(~vglfr@88.155.13.69) (Ping timeout: 246 seconds)
2023-04-04 11:16:47 +0000bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-04-04 11:17:41 +0000nate1(~nate@98.45.169.16)
2023-04-04 11:22:31 +0000nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2023-04-04 11:38:17 +0000MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05)
2023-04-04 11:42:15 +0000anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2023-04-04 11:44:17 +0000anpad(~pandeyan@user/anpad)
2023-04-04 12:00:58 +0000Arsen(arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer)
2023-04-04 12:01:09 +0000Arsen(arsen@gentoo/developer/managarm.dev.Arsen)
2023-04-04 12:02:14 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-04 12:07:42 +0000dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2023-04-04 12:09:18 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-04 12:25:48 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-04-04 12:37:57 +0000 <Square> I was hoping i could write "(1 + x) where x = 2". But it didn't work. Is there some way to make it work?
2023-04-04 12:38:11 +0000 <merijn> Write that where?
2023-04-04 12:38:16 +0000 <Square> in repl
2023-04-04 12:38:35 +0000 <merijn> where blocks can only be attached to bindings and expressions aren't bindings
2023-04-04 12:38:41 +0000 <merijn> You could do
2023-04-04 12:38:47 +0000 <merijn> > let x = 2 in (1 + x)
2023-04-04 12:38:49 +0000 <lambdabot> 3
2023-04-04 12:39:10 +0000 <Square> ah ok. thanks
2023-04-04 12:39:10 +0000 <mauke> > let result = 1 + x where x = 2 in result
2023-04-04 12:39:11 +0000 <lambdabot> 3
2023-04-04 12:45:19 +0000 <ski> > case () of () -> 1 + x where x = 2
2023-04-04 12:45:21 +0000 <lambdabot> 3
2023-04-04 12:45:49 +0000 <mauke> nice
2023-04-04 12:45:53 +0000 <Square> sweet
2023-04-04 12:51:22 +0000 <_________> > let 1 = 2 in (1 + 2)
2023-04-04 12:51:23 +0000 <lambdabot> 3
2023-04-04 12:51:24 +0000 <_________> inaccessible binding
2023-04-04 12:58:22 +0000mei(~mei@user/mei) (Remote host closed the connection)
2023-04-04 13:00:23 +0000mei(~mei@user/mei)
2023-04-04 13:00:46 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 13:01:52 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 13:03:18 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-04-04 13:03:36 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-04 13:05:02 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-04 13:06:44 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-04-04 13:11:25 +0000 <int-e> > let !1 = 2 in 42
2023-04-04 13:11:27 +0000 <lambdabot> *Exception: <interactive>:3:5-10: Non-exhaustive patterns in 1
2023-04-04 13:12:35 +0000 <int-e> (it's a pattern that doesn't bind anything, and `let` is lazy by default so the pattern is never matched at all.)
2023-04-04 13:14:13 +0000 <ncf> remind me why that's accepted at all
2023-04-04 13:14:27 +0000 <ncf> is it desugared to n | fromInteger n == 1 = 2 or something?
2023-04-04 13:14:34 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-04-04 13:16:35 +0000 <ncf> oh wait no, that's a pattern
2023-04-04 13:16:47 +0000 <ncf> so like, case 2 of 1 → ... ?
2023-04-04 13:24:44 +0000ccapndave(~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch)
2023-04-04 13:26:10 +0000 <ski> > case 2 of 1 -> ()
2023-04-04 13:26:12 +0000 <lambdabot> *Exception: <interactive>:(3,1)-(4,22): Non-exhaustive patterns in case
2023-04-04 13:26:16 +0000 <ski> > case 2 of ~1 -> ()
2023-04-04 13:26:18 +0000 <lambdabot> ()
2023-04-04 13:32:56 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 13:33:14 +0000fj(~fj@216.147.123.241)
2023-04-04 13:35:03 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 13:35:23 +0000ccapndave(~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com)
2023-04-04 13:36:45 +0000 <fj> hi! I am new to haskell, and I have a question about cabal-fmt. I have it integrated with neovim to format on save. But whenever I add something new to build-depends, cabal-fmt automatically removes it. If I edit the file with another program, save, exit, and then re-open in neovim with cabal-fmt, it doesn't complain about the newly added line.
2023-04-04 13:36:46 +0000 <fj> What am I doing wrong?
2023-04-04 13:38:30 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-04 13:38:30 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-04 13:38:30 +0000wroathe(~wroathe@user/wroathe)
2023-04-04 13:38:54 +0000 <merijn> fj: How are you running cabal-fmt?
2023-04-04 13:39:19 +0000 <merijn> Because that sounds like there's something going wrong with how your editor is calling it
2023-04-04 13:40:05 +0000 <geekosaur> sounds to me like it's being called on the original file instead of the new one, in particular
2023-04-04 13:40:16 +0000 <merijn> That's what I was thinking, yes
2023-04-04 13:41:06 +0000 <fj> I have HLS connected to neovim's built in LSP
2023-04-04 13:41:17 +0000 <fj> with cabal-fmt as the on-save format provider
2023-04-04 13:41:53 +0000 <fj> I didn't change the default configuration for it, so I'm not sure what I could do differently
2023-04-04 13:42:35 +0000 <fj> I'll experiment some more to see
2023-04-04 13:42:56 +0000 <geekosaur> this might be more a question for #haskell-language-server
2023-04-04 13:43:34 +0000 <fj> I'm not familiar with what channels there are, thank you geekosaur
2023-04-04 13:44:53 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 13:49:19 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 265 seconds)
2023-04-04 13:55:30 +0000 <fj> it is working now. I had the formatting hook set to happen before saving the file, instead of after, so that I didn't have to save twice. That worked for other formatters, but not for this one. So I just had to set it to format after save, and make neovim save again after the formatting
2023-04-04 13:55:43 +0000 <fj> thank you for help
2023-04-04 13:58:46 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-04-04 14:00:01 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798) (Quit: WeeChat 2.8)
2023-04-04 14:00:39 +0000fj(~fj@216.147.123.241) (Quit: Client closed)
2023-04-04 14:08:01 +0000michalz(~michalz@185.246.207.197) (Ping timeout: 240 seconds)
2023-04-04 14:08:13 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-04-04 14:08:21 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 14:09:33 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-04-04 14:11:45 +0000mestre(~mestre@191.177.175.117)
2023-04-04 14:15:30 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-04-04 14:17:40 +0000 <jean-paul[m]> Is there a testing tool that will give me a nicer failure report when I assert that two complex structures are equal but they are not?
2023-04-04 14:18:19 +0000mechap(~mechap@user/mechap) (Ping timeout: 265 seconds)
2023-04-04 14:19:25 +0000 <monochrom> A generalized diff algorithm that doesn't know the actual data structure? :)
2023-04-04 14:19:32 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-04-04 14:19:52 +0000mechap(~mechap@user/mechap)
2023-04-04 14:21:16 +0000 <jean-paul[m]> Sure, it's probably hard or impossible in the most general case, but I'd settle for something quite dumb that required, say, a Show instance or a pretty printer and did a text diff on the result
2023-04-04 14:21:37 +0000 <mauke> Test2::Tools::Compare, but that's not going to help you
2023-04-04 14:21:47 +0000corentin(~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Quit: Konversation terminated!)
2023-04-04 14:22:38 +0000 <jean-paul[m]> Uh yes, sorry I should havev specified "in Haskell" 👅
2023-04-04 14:22:45 +0000 <monochrom> Then for now you can cobble up one based on pretty-simple.
2023-04-04 14:22:54 +0000 <[Leary]> tree-diff is supposed to be pretty good.
2023-04-04 14:22:56 +0000 <jean-paul[m]> right, I was wondering if someone did already
2023-04-04 14:23:08 +0000 <merijn> tree-diff is fucking magic
2023-04-04 14:23:32 +0000 <merijn> jean-paul[m]: And exactly what you want for your usecase, btw
2023-04-04 14:23:55 +0000 <jean-paul[m]> Okay, looking at tree-diff now, thanks
2023-04-04 14:24:09 +0000 <monochrom> If you can "deriving Generic" then tree-diff does it.
2023-04-04 14:24:35 +0000 <monochrom> I need to bookmark that. :)
2023-04-04 14:25:46 +0000 <merijn> If I'm motivated I should add some "easy docs" to tree-diff
2023-04-04 14:26:24 +0000 <merijn> because it first glance the docs are a bit opaque for first use
2023-04-04 14:26:49 +0000 <mauke> speaking of diff, thanks for reminding me to enable my topic-diff script
2023-04-04 14:29:08 +0000 <merijn> ah, I guess the "prettyEditExpr $ ediff ..." on the contents page captures the usecase for 90% of people :p
2023-04-04 14:29:41 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 14:30:53 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
2023-04-04 14:31:43 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-04-04 14:32:12 +0000 <jean-paul[m]> ediffEq from the QuickCheck module looks useful too
2023-04-04 14:34:03 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 250 seconds)
2023-04-04 14:36:59 +0000mexpr(~mexpr@user/mexpr) (Ping timeout: 248 seconds)
2023-04-04 14:38:56 +0000mexpr(~mexpr@user/mexpr)
2023-04-04 14:39:21 +0000mesaoptimizer0mesaoptimizer
2023-04-04 14:43:01 +0000hugo(znc@verdigris.lysator.liu.se)
2023-04-04 14:43:15 +0000 <jean-paul[m]> ahh yes this is about a thousand times better, thanks
2023-04-04 14:45:13 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2023-04-04 14:59:34 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-04 15:02:00 +0000chomwitt(~chomwitt@ppp-94-69-24-223.home.otenet.gr)
2023-04-04 15:02:27 +0000enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-04-04 15:04:51 +0000mechap(~mechap@user/mechap) (Ping timeout: 256 seconds)
2023-04-04 15:05:26 +0000mechap(~mechap@user/mechap)
2023-04-04 15:12:27 +0000Sgeo(~Sgeo@user/sgeo)
2023-04-04 15:15:03 +0000mechap(~mechap@user/mechap) (Ping timeout: 268 seconds)
2023-04-04 15:16:45 +0000mechap(~mechap@user/mechap)
2023-04-04 15:19:13 +0000nate1(~nate@98.45.169.16)
2023-04-04 15:22:13 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.7)
2023-04-04 15:23:53 +0000nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2023-04-04 15:25:47 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 15:27:30 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-04-04 15:28:38 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15)
2023-04-04 15:29:35 +0000Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com)
2023-04-04 15:32:44 +0000dunj3(~dunj3@kingdread.de)
2023-04-04 15:36:20 +0000AlexNoo_(~AlexNoo@94.233.240.143)
2023-04-04 15:38:51 +0000Alex_test(~al_test@178.34.151.91) (Ping timeout: 248 seconds)
2023-04-04 15:39:12 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection)
2023-04-04 15:40:10 +0000AlexNoo(~AlexNoo@178.34.151.91) (Ping timeout: 276 seconds)
2023-04-04 15:40:20 +0000AlexZenon(~alzenon@178.34.151.91) (Ping timeout: 268 seconds)
2023-04-04 15:41:26 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 15:41:45 +0000econo(uid147250@user/econo)
2023-04-04 15:46:12 +0000Alex_test(~al_test@94.233.240.143)
2023-04-04 15:46:35 +0000AlexNoo_AlexZenoo
2023-04-04 15:48:01 +0000mei(~mei@user/mei) (Remote host closed the connection)
2023-04-04 15:48:18 +0000AlexZenon(~alzenon@94.233.240.143)
2023-04-04 15:50:27 +0000mei(~mei@user/mei)
2023-04-04 15:53:17 +0000AlexZenon(~alzenon@94.233.240.143) (Ping timeout: 268 seconds)
2023-04-04 15:54:33 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-04-04 15:54:35 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-04-04 15:54:53 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-04-04 15:55:04 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-04-04 15:55:55 +0000AlexZenon(~alzenon@94.233.240.143)
2023-04-04 15:58:20 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-04-04 16:00:15 +0000AlexZenooAlexNoo
2023-04-04 16:02:06 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 16:03:41 +0000dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net)
2023-04-04 16:04:00 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 16:08:27 +0000jinsl-(~jinsl@2408:8207:2552:dc20:211:32ff:fec8:6aea)
2023-04-04 16:08:43 +0000jinsl(~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (Ping timeout: 248 seconds)
2023-04-04 16:09:31 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 265 seconds)
2023-04-04 16:12:30 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 16:12:59 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 248 seconds)
2023-04-04 16:16:52 +0000acidjnk(~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-04-04 16:17:20 +0000jakalx(~jakalx@base.jakalx.net) ()
2023-04-04 16:22:05 +0000mesaoptimizermesaoptimizer0
2023-04-04 16:22:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15)
2023-04-04 16:23:22 +0000mei(~mei@user/mei) (Remote host closed the connection)
2023-04-04 16:24:24 +0000mesaoptimizer2mesaoptimizer
2023-04-04 16:25:08 +0000harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-04-04 16:25:26 +0000gurkenglas(~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-04-04 16:25:48 +0000mei(~mei@user/mei)
2023-04-04 16:29:36 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 16:30:14 +0000acidjnk(~acidjnk@p200300d6e715c473cc0944bf8140cbf6.dip0.t-ipconnect.de)
2023-04-04 16:33:43 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value)
2023-04-04 16:34:13 +0000y04nn(~username@2a03:1b20:5:f011::aaae)
2023-04-04 16:35:45 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 16:37:14 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 16:39:13 +0000ridcully(~ridcully@p57b52f2c.dip0.t-ipconnect.de)
2023-04-04 16:51:10 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 16:51:54 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Remote host closed the connection)
2023-04-04 16:54:16 +0000ridcully(~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2023-04-04 16:58:51 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-04-04 16:59:15 +0000gurkenglas(~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de)
2023-04-04 16:59:31 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 17:01:48 +0000AlexNoo(~AlexNoo@94.233.240.143) (Read error: Connection reset by peer)
2023-04-04 17:02:26 +0000AlexNoo(~AlexNoo@94.233.240.143)
2023-04-04 17:03:49 +0000ph88(~ph88@91.66.101.83)
2023-04-04 17:05:46 +0000Sauvin(~sauvin@user/Sauvin) (Ping timeout: 252 seconds)
2023-04-04 17:06:25 +0000Sauvin(~sauvin@user/Sauvin)
2023-04-04 17:08:48 +0000Bocaneri(~sauvin@user/Sauvin)
2023-04-04 17:09:12 +0000BocaneriGuest9137
2023-04-04 17:09:38 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 17:11:39 +0000Sauvin(~sauvin@user/Sauvin) (Ping timeout: 248 seconds)
2023-04-04 17:11:52 +0000sudden(~cat@user/sudden) (Ping timeout: 265 seconds)
2023-04-04 17:12:21 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 17:12:41 +0000sudden(~cat@user/sudden)
2023-04-04 17:14:41 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 17:16:04 +0000bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-04 17:18:24 +0000chomwitt(~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 268 seconds)
2023-04-04 17:21:20 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-04-04 17:23:44 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 17:23:57 +0000mei(~mei@user/mei) (Remote host closed the connection)
2023-04-04 17:26:06 +0000dcoutts_(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net)
2023-04-04 17:26:25 +0000dcoutts(~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2023-04-04 17:26:26 +0000mei(~mei@user/mei)
2023-04-04 17:36:23 +0000ridcully(~ridcully@p57b52f2c.dip0.t-ipconnect.de)
2023-04-04 17:52:12 +0000kenran(~user@user/kenran)
2023-04-04 17:55:26 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 17:56:38 +0000califax(~califax@user/califx) (Remote host closed the connection)
2023-04-04 17:56:59 +0000califax(~califax@user/califx)
2023-04-04 17:58:39 +0000cfricke(~cfricke@user/cfricke)
2023-04-04 18:02:45 +0000mikess(~sam@user/mikess)
2023-04-04 18:02:48 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2023-04-04 18:11:04 +0000hnOsmium0001(uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity)
2023-04-04 18:20:14 +0000Cale(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection)
2023-04-04 18:21:29 +0000dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-04-04 18:27:43 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-04 18:29:31 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-04-04 18:35:42 +0000Aazam(~Aazam@103.182.66.28)
2023-04-04 18:36:15 +0000Aazam(~Aazam@103.182.66.28) (Client Quit)
2023-04-04 18:40:20 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-04 18:48:51 +0000talismanick(~talismani@2601:200:c000:f7a0::fb70) (Ping timeout: 250 seconds)
2023-04-04 18:56:23 +0000Guest9137Sauvin
2023-04-04 18:59:08 +0000y04nn(~username@2a03:1b20:5:f011::aaae) (Ping timeout: 265 seconds)
2023-04-04 18:59:44 +0000Square(~Square4@user/square) (Ping timeout: 246 seconds)
2023-04-04 19:01:03 +0000y04nn(~username@2a03:1b20:5:f011::aaae)
2023-04-04 19:01:16 +0000mikess(~sam@user/mikess) (Quit: leaving)
2023-04-04 19:02:31 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2023-04-04 19:02:36 +0000a_coll(~acoll@45.92.120.189) (Remote host closed the connection)
2023-04-04 19:03:20 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 19:05:10 +0000mikess(~sam@user/mikess)
2023-04-04 19:08:14 +0000heraldo(~heraldo@user/heraldo)
2023-04-04 19:11:39 +0000__monty__(~toonn@user/toonn)
2023-04-04 19:18:48 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection)
2023-04-04 19:20:46 +0000nate1(~nate@98.45.169.16)
2023-04-04 19:25:24 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca)
2023-04-04 19:25:34 +0000nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-04 19:25:57 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 19:26:35 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2023-04-04 19:30:11 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 19:30:25 +0000briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl)
2023-04-04 19:31:04 +0000Cale(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
2023-04-04 19:31:18 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 19:35:06 +0000ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-04-04 19:35:25 +0000cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 265 seconds)
2023-04-04 19:36:15 +0000mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-04-04 19:36:32 +0000mechap(~mechap@user/mechap)
2023-04-04 19:43:33 +0000gurkenglas(~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-04-04 19:44:09 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2023-04-04 19:45:15 +0000gurkenglas(~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de)
2023-04-04 19:54:34 +0000pavonia(~user@user/siracusa)
2023-04-04 19:56:04 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-04-04 20:00:12 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-04-04 20:02:10 +0000kuribas(~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-04-04 20:06:59 +0000nschoe(~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3)
2023-04-04 20:09:23 +0000michalz(~michalz@185.246.207.200)
2023-04-04 20:11:20 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-04-04 20:14:10 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-04 20:18:13 +0000mestre(~mestre@191.177.175.117) (Quit: Lost terminal)
2023-04-04 20:19:17 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15)
2023-04-04 20:24:47 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 246 seconds)
2023-04-04 20:25:31 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds)
2023-04-04 20:26:54 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 20:30:40 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown)
2023-04-04 20:44:29 +0000slack1256(~slack1256@186.11.89.67)
2023-04-04 20:45:28 +0000Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds)
2023-04-04 20:46:12 +0000Maxdamantus(~Maxdamant@user/maxdamantus)
2023-04-04 20:54:47 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-04-04 20:55:57 +0000andrewboltachev(~andrey@178.141.217.5)
2023-04-04 20:56:21 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-04 20:56:28 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 20:56:41 +0000ph88(~ph88@91.66.101.83) (Ping timeout: 268 seconds)
2023-04-04 20:57:32 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-04 20:57:35 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-04 20:57:38 +0000Square(~Square4@user/square)
2023-04-04 20:57:52 +0000 <andrewboltachev> Hello. When using Recursion schemes, is it possible to go back and forth from a form ConsF 1 $ ConsF 2 $ ConsF 3 $ NilF (non-recursive) to [1, 2, 3] (initial one)?
2023-04-04 20:59:56 +0000 <TheMatten[m]> andrewboltachev: You probably want `cata embed`?
2023-04-04 21:01:26 +0000MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6)
2023-04-04 21:01:51 +0000 <andrewboltachev> TheMatten[m]: yes ty!
2023-04-04 21:02:14 +0000 <TheMatten[m]> andrewboltachev: NP 👍
2023-04-04 21:02:51 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-04-04 21:02:52 +0000gurkenglas(~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-04-04 21:05:10 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds)
2023-04-04 21:06:44 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 21:10:46 +0000 <energizer> i'm looking for a function fl that's just like foldl but produces a list of all the intermediate results at the end. this isn't quite scanl because i don't want the intermediate results to be passed to the op, i just want them to be tracked on the side
2023-04-04 21:11:18 +0000 <energizer> does that have a name?
2023-04-04 21:11:36 +0000 <mauke> :t scanl
2023-04-04 21:11:38 +0000 <lambdabot> (b -> a -> b) -> b -> [a] -> [b]
2023-04-04 21:12:32 +0000 <energizer> oh, maybe it is scanl
2023-04-04 21:13:37 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-04-04 21:13:44 +0000 <ski> > scanl (+) 1 [2,3,5,7] -- note the length of the list
2023-04-04 21:13:46 +0000 <lambdabot> [1,3,6,11,18]
2023-04-04 21:14:36 +0000Cale_(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
2023-04-04 21:15:13 +0000Cale_(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection)
2023-04-04 21:16:46 +0000nschoe(~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3) (Quit: Switching off)
2023-04-04 21:17:24 +0000trev(~trev@user/trev) (Remote host closed the connection)
2023-04-04 21:18:28 +0000 <andrewboltachev> TheMatten[m]: only this: doens't work for me, asks type: https://paste.tomsmeding.com/bxwfjckh
2023-04-04 21:20:52 +0000 <andrewboltachev> (ana project on that doens't work either. I believe it's what the opposite it called)
2023-04-04 21:23:22 +0000 <andrewboltachev> having that MatchPattern is my actual type, not List
2023-04-04 21:26:37 +0000 <ncf> hmm, what result do you want?
2023-04-04 21:28:09 +0000 <andrewboltachev> well just MatchIfThenF MatchNullF "foo" MatchNullF
2023-04-04 21:29:10 +0000fbytez(~uid@2001:bc8:2117:100::) (Changing host)
2023-04-04 21:29:10 +0000fbytez(~uid@user/fbytez)
2023-04-04 21:29:59 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 268 seconds)
2023-04-04 21:31:04 +0000 <ncf> the error could just mean that you need to enable OverloadedStrings, although i'm not sure why it's using ListF there
2023-04-04 21:31:58 +0000 <andrewboltachev> yes, me too. already enabled though
2023-04-04 21:33:05 +0000heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 250 seconds)
2023-04-04 21:40:16 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-04-04 21:40:25 +0000caryhartline(~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610) (Quit: caryhartline)
2023-04-04 21:40:31 +0000heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-04-04 21:42:07 +0000 <andrewboltachev> https://paste.tomsmeding.com/5mZQ5dcI minimal case sth like this
2023-04-04 21:43:10 +0000caryhartline(~caryhartl@107.140.218.181)
2023-04-04 21:43:30 +0000 <ncf> main has type IO a
2023-04-04 21:45:14 +0000 <ncf> also it doesn't look like makeBaseFunctor gives you a Show1 instance for the base functor, so you're not going to be able to print anything
2023-04-04 21:46:56 +0000 <ncf> also note that expressions like `A1F True $ A1F False $ A2F` aren't well-typed in general -- or rather, they are all well-typed individually by a deep enough nesting of `T1F`s, but if you want an infinite such nesting you need to use Fix
2023-04-04 21:48:57 +0000 <andrewboltachev> ah true
2023-04-04 21:49:03 +0000 <andrewboltachev> the Fix
2023-04-04 21:49:23 +0000 <ncf> you get an instance Recursive (Fix T1F), with Base (Fix T1F) ~ T1F ~ Base T1, which is why refix works
2023-04-04 21:49:38 +0000briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection)
2023-04-04 21:50:30 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-04-04 21:51:48 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 21:55:25 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-04 21:56:46 +0000 <andrewboltachev> ncf: thanks. I don't understand Type families yet, so I'd better only use recursion schemes in a standard way. In my project I used cata and para
2023-04-04 21:56:59 +0000michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2023-04-04 21:57:49 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-04-04 21:58:01 +0000andrewboltachev(~andrey@178.141.217.5) (Quit: Leaving.)
2023-04-04 21:58:05 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-04 21:58:53 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-04 21:59:06 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 22:06:07 +0000son0p(~ff@181.136.122.143) (Ping timeout: 252 seconds)
2023-04-04 22:09:09 +0000acidjnk(~acidjnk@p200300d6e715c473cc0944bf8140cbf6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-04-04 22:16:34 +0000acidjnk(~acidjnk@p200300d6e715c473a849fe37f954d55a.dip0.t-ipconnect.de)
2023-04-04 22:18:42 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-04-04 22:25:37 +0000son0p(~ff@181.136.122.143)
2023-04-04 22:28:48 +0000y04nn(~username@2a03:1b20:5:f011::aaae) (Ping timeout: 252 seconds)
2023-04-04 22:30:52 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-04-04 22:32:21 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-04 22:33:44 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2023-04-04 22:38:03 +0000dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net)
2023-04-04 22:41:22 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-04-04 22:49:32 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-04 22:51:24 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-04-04 22:51:45 +0000biberu(~biberu@user/biberu)
2023-04-04 22:54:22 +0000NiceBird(~NiceBird@185.133.111.196) (Ping timeout: 276 seconds)
2023-04-04 22:55:28 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2023-04-04 22:57:48 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-04-04 22:58:37 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 23:00:59 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2023-04-04 23:01:55 +0000y04nn(~username@2a03:1b20:5:f011::aaae)
2023-04-04 23:03:00 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
2023-04-04 23:09:02 +0000mauke_(~mauke@user/mauke)
2023-04-04 23:10:23 +0000mauke(~mauke@user/mauke) (Ping timeout: 246 seconds)
2023-04-04 23:10:24 +0000mauke_mauke
2023-04-04 23:17:31 +0000acidjnk(~acidjnk@p200300d6e715c473a849fe37f954d55a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-04 23:19:17 +0000y04nn(~username@2a03:1b20:5:f011::aaae) (Remote host closed the connection)
2023-04-04 23:21:20 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2023-04-04 23:22:29 +0000nate1(~nate@98.45.169.16)
2023-04-04 23:27:12 +0000nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-04 23:29:15 +0000Square(~Square4@user/square) (Ping timeout: 248 seconds)
2023-04-04 23:29:39 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-04 23:35:50 +0000bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-04-04 23:38:04 +0000freeside(~mengwong@103.252.202.85)
2023-04-04 23:43:07 +0000freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-04-04 23:44:55 +0000Albina_Pavlovna(~Albina_Pa@047-230-050-118.res.spectrum.com) (Quit: bb)
2023-04-04 23:48:59 +0000ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2023-04-04 23:53:36 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-04-04 23:56:40 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-04-04 23:57:18 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)