IRCBrowse

2023/05/04

2023-05-04 00:03:14 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 00:05:44 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-05-04 00:08:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-05-04 00:13:08 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
2023-05-04 00:13:31 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-04 00:15:54 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-04 00:25:48 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 00:29:56 +0200foul_owl(~kerry@71.212.137.212) (Quit: WeeChat 2.3)
2023-05-04 00:30:08 +0200acidjnk(~acidjnk@p200300d6e715c489a51f576992b701b7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-05-04 00:30:11 +0200repair(~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b)
2023-05-04 00:40:10 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-04 00:44:08 +0200inversed(~inversed@bcdcac82.skybroadband.com) (Ping timeout: 268 seconds)
2023-05-04 00:46:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection)
2023-05-04 00:48:51 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-04 00:48:51 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-04 00:48:51 +0200wroathe(~wroathe@user/wroathe)
2023-05-04 00:51:46 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-04 00:54:00 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2023-05-04 00:54:14 +0200foul_owl(~kerry@71.212.137.212)
2023-05-04 00:54:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 00:55:15 +0200EvilGry(~quassel@botters/gry)
2023-05-04 00:55:35 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 00:58:06 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 00:58:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-05-04 00:59:18 +0200gry(st@botters/gry) (Quit: bye)
2023-05-04 00:59:39 +0200EvilGrygry
2023-05-04 01:00:47 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 01:01:54 +0200repair(~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) (Killed buffer)
2023-05-04 01:03:03 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-05-04 01:03:52 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 01:04:06 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
2023-05-04 01:04:18 +0200alexherbo2(~alexherbo@211.190.65.81.rev.sfr.net)
2023-05-04 01:05:43 +0200gurkengl1s(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-05-04 01:07:33 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de)
2023-05-04 01:11:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-05-04 01:11:53 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 01:13:30 +0200Me-me(~Me-me@user/me-me)
2023-05-04 01:14:58 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-05-04 01:20:59 +0200Square(~Square4@user/square)
2023-05-04 01:23:28 +0200Square2(~Square@user/square) (Ping timeout: 240 seconds)
2023-05-04 01:25:28 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2023-05-04 01:26:41 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-05-04 01:36:33 +0200mauke(~mauke@user/mauke) (Ping timeout: 268 seconds)
2023-05-04 01:36:42 +0200mauke_(~mauke@user/mauke)
2023-05-04 01:37:32 +0200mauke_mauke
2023-05-04 01:39:25 +0200bravespear|2(~Ranhir@157.97.53.139) (Ping timeout: 260 seconds)
2023-05-04 01:40:50 +0200tv(~tv@user/tv)
2023-05-04 01:51:28 +0200foul_owl(~kerry@71.212.137.212) (Ping timeout: 240 seconds)
2023-05-04 01:52:42 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 01:55:44 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:ca5b:76ff:fe29:f233) (Ping timeout: 248 seconds)
2023-05-04 01:57:18 +0200rlj(~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds)
2023-05-04 01:57:24 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 01:57:31 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 01:57:39 +0200 <segfaultfizzbuzz> what in sam hell is a "remote snoop filter"
2023-05-04 01:58:23 +0200 <monochrom> Is that something in Haskell?
2023-05-04 01:58:43 +0200 <segfaultfizzbuzz> no it's a part of CPUs now and apparently the size of the filter is part of the marketing materials
2023-05-04 01:58:55 +0200 <segfaultfizzbuzz> like size in megabytes
2023-05-04 01:59:01 +0200 <monochrom> Then some other channel.
2023-05-04 01:59:12 +0200 <segfaultfizzbuzz> ok
2023-05-04 02:03:03 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-05-04 02:04:57 +0200mud(~mud@user/kadoban)
2023-05-04 02:05:28 +0200mud(~mud@user/kadoban) (Client Quit)
2023-05-04 02:06:39 +0200foul_owl(~kerry@212.102.47.39)
2023-05-04 02:09:57 +0200byte(~byte@user/byte)
2023-05-04 02:16:01 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-05-04 02:16:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-05-04 02:19:09 +0200kadoban(~kadoban@user/kadoban)
2023-05-04 02:28:22 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-05-04 02:29:53 +0200mud(~mud@user/kadoban)
2023-05-04 02:39:37 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2023-05-04 02:43:30 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 02:51:54 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-04 02:51:54 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-04 02:51:54 +0200wroathe(~wroathe@user/wroathe)
2023-05-04 02:54:42 +0200Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection)
2023-05-04 02:55:11 +0200tv(~tv@user/tv)
2023-05-04 02:55:17 +0200Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-05-04 02:56:28 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-05-04 02:59:05 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-05-04 03:01:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-05-04 03:02:14 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-04 03:04:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-05-04 03:05:30 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 03:10:19 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-04 03:10:49 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 265 seconds)
2023-05-04 03:15:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 03:16:26 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-04 03:21:49 +0200ham(~ham@user/ham)
2023-05-04 03:23:06 +0200nate2(~nate@98.45.169.16)
2023-05-04 03:24:03 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-05-04 03:26:08 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 03:27:48 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-04 03:32:29 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 03:37:14 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 03:38:28 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 240 seconds)
2023-05-04 03:39:34 +0200Ranhir(~Ranhir@157.97.53.139)
2023-05-04 03:43:35 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 03:52:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2023-05-04 03:53:12 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-05-04 03:56:00 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 03:56:01 +0200srk(~sorki@user/srk) (Remote host closed the connection)
2023-05-04 03:56:20 +0200srk(~sorki@user/srk)
2023-05-04 03:59:28 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-05-04 03:59:48 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 04:00:51 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 04:03:11 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving)
2023-05-04 04:09:09 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 04:09:20 +0200freeside_(~mengwong@103.252.202.85)
2023-05-04 04:12:20 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 04:13:48 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds)
2023-05-04 04:15:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 04:16:53 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 04:18:54 +0200nate2(~nate@98.45.169.16)
2023-05-04 04:21:18 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 04:22:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-04 04:23:05 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-05-04 04:25:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-05-04 04:26:28 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-05-04 04:27:08 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-05-04 04:27:42 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 04:30:02 +0200Square2(~Square4@user/square)
2023-05-04 04:32:18 +0200Square(~Square4@user/square) (Ping timeout: 268 seconds)
2023-05-04 04:32:23 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 04:34:27 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-05-04 04:36:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 04:48:05 +0200td_(~td@i53870903.versanet.de) (Ping timeout: 240 seconds)
2023-05-04 04:48:17 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-05-04 04:48:17 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-05-04 04:48:17 +0200finn_elijaFinnElija
2023-05-04 04:50:05 +0200td_(~td@i5387092F.versanet.de)
2023-05-04 04:51:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-05-04 05:00:40 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 05:01:09 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection)
2023-05-04 05:08:04 +0200rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds)
2023-05-04 05:09:44 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-05-04 05:10:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-05-04 05:19:08 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-04 05:19:12 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 05:21:08 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2023-05-04 05:23:52 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-05-04 05:24:06 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 05:31:09 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-04 05:31:46 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 05:36:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 05:43:02 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 05:47:32 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 05:49:18 +0200phma(~phma@2001:5b0:215a:d888:a541:81b6:7d20:c3e7) (Read error: Connection reset by peer)
2023-05-04 05:49:55 +0200phma(phma@2001:5b0:210d:1eb8:9116:d5ea:678f:f4e5)
2023-05-04 05:50:57 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 05:57:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 05:57:24 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-05-04 06:07:16 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 06:09:22 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-04 06:15:03 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 06:16:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 06:22:28 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 06:24:05 +0200glguy(~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds)
2023-05-04 06:24:26 +0200glguy_(~glguy@libera/staff-emeritus/glguy)
2023-05-04 06:24:27 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 06:27:00 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 06:27:59 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2023-05-04 06:29:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 06:43:44 +0200gmg(~user@user/gehmehgeh)
2023-05-04 06:48:25 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds)
2023-05-04 06:48:47 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-05-04 06:53:28 +0200opticblast(~Thunderbi@172.58.87.122) (Ping timeout: 240 seconds)
2023-05-04 06:54:04 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-04 06:59:14 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 06:59:36 +0200paulpaul1076(~textual@95-29-5-210.broadband.corbina.ru)
2023-05-04 07:03:28 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 07:10:39 +0200Me-me(~Me-me@user/me-me) (Remote host closed the connection)
2023-05-04 07:10:44 +0200Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Excess Flood)
2023-05-04 07:12:50 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-05-04 07:13:30 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-05-04 07:14:40 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds)
2023-05-04 07:15:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-05-04 07:15:49 +0200Aarkon[m](~aarkonmat@2001:470:69fc:105::3:52fa) ()
2023-05-04 07:16:06 +0200Wstfgl0(~Me-me@user/me-me)
2023-05-04 07:16:22 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-05-04 07:16:38 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-05-04 07:22:25 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 07:23:06 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-05-04 07:24:03 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 07:25:35 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 268 seconds)
2023-05-04 07:27:26 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 07:28:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 07:28:08 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-05-04 07:32:10 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 07:35:08 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-05-04 07:37:23 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-04 07:38:35 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-04 07:38:35 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-04 07:38:35 +0200wroathe(~wroathe@user/wroathe)
2023-05-04 07:40:23 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 07:41:00 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 07:43:46 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 07:44:25 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 07:47:59 +0200peutri_peutri
2023-05-04 07:48:25 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-05-04 07:53:54 +0200jargon(~jargon@184.101.78.160)
2023-05-04 07:55:48 +0200Alex_test_(~al_test@178.34.150.15)
2023-05-04 07:56:02 +0200finnekit(~finnekit@fsf/member/finnekit) (Quit: Ping timeout (120 seconds))
2023-05-04 07:56:22 +0200finnekit(~finnekit@fsf/member/finnekit)
2023-05-04 07:57:20 +0200Alex_test(~al_test@178.34.150.15) (Ping timeout: 248 seconds)
2023-05-04 08:03:15 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-04 08:05:12 +0200chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-05-04 08:06:50 +0200michalz(~michalz@185.246.207.203)
2023-05-04 08:07:07 +0200chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1)
2023-05-04 08:08:43 +0200chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-05-04 08:10:39 +0200chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1)
2023-05-04 08:10:45 +0200ddellacosta(~ddellacos@146.70.185.135)
2023-05-04 08:16:13 +0200freeside(~mengwong@122.11.248.245)
2023-05-04 08:16:31 +0200adude__(~Square@user/square)
2023-05-04 08:19:09 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-05-04 08:19:51 +0200Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2023-05-04 08:21:38 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-05-04 08:24:48 +0200gentauro(~gentauro@user/gentauro)
2023-05-04 08:24:52 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-05-04 08:30:25 +0200merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-05-04 08:31:21 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 08:32:45 +0200paulpaul1076(~textual@95-29-5-210.broadband.corbina.ru) (Read error: Connection reset by peer)
2023-05-04 08:33:40 +0200aeroplane(~user@user/aeroplane)
2023-05-04 08:34:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-05-04 08:35:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-05-04 08:35:53 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 08:37:46 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 08:40:41 +0200aeroplane(~user@user/aeroplane) (Read error: Connection reset by peer)
2023-05-04 08:40:55 +0200aeroplane(~user@user/aeroplane)
2023-05-04 08:42:40 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 08:42:55 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds)
2023-05-04 08:47:36 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 08:49:21 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de)
2023-05-04 08:50:17 +0200mncheck(~mncheck@193.224.205.254)
2023-05-04 08:53:22 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 08:58:05 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-04 09:02:48 +0200adude__(~Square@user/square) (Ping timeout: 240 seconds)
2023-05-04 09:06:06 +0200mmhat(~mmh@p200300f1c714ef60ee086bfffe095315.dip0.t-ipconnect.de)
2023-05-04 09:06:11 +0200zeenk(~zeenk@2a02:2f04:a00c:5f00::7fe)
2023-05-04 09:07:40 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d5ec:ab52:cc79:2c58)
2023-05-04 09:10:23 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-04 09:12:21 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 09:16:11 +0200nate2(~nate@98.45.169.16)
2023-05-04 09:16:41 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds)
2023-05-04 09:21:16 +0200nate2(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-05-04 09:26:32 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
2023-05-04 09:27:28 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-05-04 09:29:15 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 09:29:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection)
2023-05-04 09:33:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 09:35:04 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de)
2023-05-04 09:47:04 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-05-04 09:47:13 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-04 09:49:25 +0200rembo10(~rembo10@main.remulis.com)
2023-05-04 09:51:05 +0200chiselfuse(~chiselfus@user/chiselfuse) (*.net *.split)
2023-05-04 09:51:05 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2023-05-04 09:51:05 +0200azimut(~azimut@gateway/tor-sasl/azimut) (*.net *.split)
2023-05-04 09:51:05 +0200gmg(~user@user/gehmehgeh) (*.net *.split)
2023-05-04 09:51:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2023-05-04 09:51:05 +0200califax(~califax@user/califx) (*.net *.split)
2023-05-04 09:51:05 +0200jpds(~jpds@gateway/tor-sasl/jpds) (*.net *.split)
2023-05-04 09:51:05 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (*.net *.split)
2023-05-04 09:51:05 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (*.net *.split)
2023-05-04 09:51:05 +0200ec(~ec@gateway/tor-sasl/ec) (*.net *.split)
2023-05-04 09:51:05 +0200chexum(~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2023-05-04 09:51:05 +0200pharonix71(~pharonix7@user/pharonix71) (*.net *.split)
2023-05-04 09:52:07 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-05-04 09:52:07 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-05-04 09:52:07 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-05-04 09:52:07 +0200gmg(~user@user/gehmehgeh)
2023-05-04 09:52:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-05-04 09:52:07 +0200califax(~califax@user/califx)
2023-05-04 09:52:07 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-05-04 09:52:07 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-05-04 09:52:07 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-05-04 09:52:07 +0200ec(~ec@gateway/tor-sasl/ec)
2023-05-04 09:52:07 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-05-04 09:52:07 +0200pharonix71(~pharonix7@user/pharonix71)
2023-05-04 09:52:34 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-05-04 09:55:25 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 09:55:50 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-04 09:59:23 +0200alexherbo2(~alexherbo@211.190.65.81.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 10:00:25 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 10:03:18 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-05-04 10:04:16 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 10:11:55 +0200vpan(~0@mail.elitnet.lt)
2023-05-04 10:18:24 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-05-04 10:20:41 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 10:22:56 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-05-04 10:23:59 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-05-04 10:25:13 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 10:25:33 +0200merijn(~merijn@185.143.104.11)
2023-05-04 10:27:32 +0200feliix42(~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-04 10:30:04 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-04 10:30:25 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2023-05-04 10:31:07 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 10:32:41 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-05-04 10:33:48 +0200CiaoSen(~Jura@tmo-072-181.customers.d1-online.com)
2023-05-04 10:34:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 248 seconds)
2023-05-04 10:35:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 10:35:48 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 240 seconds)
2023-05-04 10:39:13 +0200foul_owl(~kerry@212.102.47.39) (Ping timeout: 268 seconds)
2023-05-04 10:44:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-05-04 10:45:27 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-04 10:46:47 +0200trev(~trev@user/trev)
2023-05-04 10:48:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 10:48:37 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-05-04 10:48:41 +0200Me-meNotme-notme
2023-05-04 10:48:43 +0200Wstfgl0Me-me
2023-05-04 10:49:42 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds)
2023-05-04 10:52:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 10:52:47 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:3a9b:67d2:1fd1:a530)
2023-05-04 10:53:34 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds)
2023-05-04 10:54:39 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-04 10:54:49 +0200foul_owl(~kerry@94.140.8.141)
2023-05-04 10:56:13 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 10:59:16 +0200mmhat(~mmh@p200300f1c714ef60ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-05-04 11:02:01 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2023-05-04 11:04:28 +0200polyphem(~polyphem@ip-109-43-49-185.web.vodafone.de)
2023-05-04 11:05:47 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 11:10:40 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 11:15:26 +0200dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 250 seconds)
2023-05-04 11:16:43 +0200phma(phma@2001:5b0:210d:1eb8:9116:d5ea:678f:f4e5) (Read error: Connection reset by peer)
2023-05-04 11:17:36 +0200phma(phma@2001:5b0:2144:6688:21df:1642:93f2:4b5)
2023-05-04 11:20:08 +0200ham(~ham@user/ham) (Ping timeout: 240 seconds)
2023-05-04 11:23:06 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 11:23:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 11:23:55 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-05-04 11:25:31 +0200dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net)
2023-05-04 11:25:33 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2023-05-04 11:26:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-05-04 11:27:14 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 11:28:00 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2023-05-04 11:28:27 +0200Guest89(~Guest89@23.228.113.132)
2023-05-04 11:30:13 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-05-04 11:30:54 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-05-04 11:33:17 +0200Guest89(~Guest89@23.228.113.132) (Client Quit)
2023-05-04 11:34:11 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 11:34:25 +0200CiaoSen(~Jura@tmo-072-181.customers.d1-online.com) (Ping timeout: 240 seconds)
2023-05-04 11:38:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 11:39:01 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-05-04 11:41:38 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-05-04 11:44:08 +0200gensyst(~gensyst@user/gensyst)
2023-05-04 11:45:30 +0200chomwitt(~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2023-05-04 11:45:36 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
2023-05-04 11:47:29 +0200Alex_test_Alex_test
2023-05-04 11:49:31 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 11:51:06 +0200JSharp_(sid4580@id-4580.lymington.irccloud.com) ()
2023-05-04 11:51:34 +0200JSharp(sid4580@id-4580.lymington.irccloud.com)
2023-05-04 11:52:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 11:52:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-05-04 11:54:26 +0200fbytez(~uid@2001:bc8:2117:100::) (Changing host)
2023-05-04 11:54:26 +0200fbytez(~uid@user/fbytez)
2023-05-04 11:55:25 +0200pie__(~pie_bnc@user/pie/x-2818909) (Ping timeout: 240 seconds)
2023-05-04 11:55:40 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-05-04 11:56:04 +0200mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2023-05-04 11:57:15 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de)
2023-05-04 12:01:09 +0200titibandit(~titibandi@user/titibandit)
2023-05-04 12:03:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 12:04:25 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-05-04 12:08:01 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 12:08:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 12:11:05 +0200freeside(~mengwong@122.11.248.245) (Ping timeout: 240 seconds)
2023-05-04 12:14:12 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 12:18:07 +0200gensystt(~gensyst@user/gensyst)
2023-05-04 12:18:41 +0200mexpr(~mexpr@user/mexpr)
2023-05-04 12:19:33 +0200barrucad1barrucadu
2023-05-04 12:20:33 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 12:20:48 +0200gensyst(~gensyst@user/gensyst) (Ping timeout: 248 seconds)
2023-05-04 12:23:23 +0200aeroplane(~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-05-04 12:24:48 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 12:31:51 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de)
2023-05-04 12:33:27 +0200fbytez(~uid@user/fbytez) (Leaving)
2023-05-04 12:33:35 +0200fbytez(~uid@user/fbytez)
2023-05-04 12:43:12 +0200__monty__(~toonn@user/toonn)
2023-05-04 12:43:37 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 12:44:19 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 12:47:45 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-04 12:48:25 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 12:50:35 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 246 seconds)
2023-05-04 12:58:06 +0200gensystt(~gensyst@user/gensyst) (Quit: Leaving)
2023-05-04 13:01:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 13:05:59 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 13:17:42 +0200nate2(~nate@98.45.169.16)
2023-05-04 13:18:42 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 13:22:40 +0200nate2(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2023-05-04 13:23:12 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds)
2023-05-04 13:27:56 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 13:32:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 13:33:29 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 13:34:26 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 13:36:02 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 13:36:10 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 13:37:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 13:41:01 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-04 13:41:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-04 13:45:33 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 13:50:47 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-05-04 13:53:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 13:57:47 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds)
2023-05-04 14:00:51 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 14:06:14 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 14:06:37 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds)
2023-05-04 14:08:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 14:10:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 14:11:14 +0200zeenk(~zeenk@2a02:2f04:a00c:5f00::7fe) (Quit: Konversation terminated!)
2023-05-04 14:12:05 +0200titibandit(~titibandi@user/titibandit)
2023-05-04 14:12:35 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 14:19:46 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 14:20:02 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-05-04 14:22:38 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-05-04 14:23:55 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de)
2023-05-04 14:25:53 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Quit: Leaving...)
2023-05-04 14:26:40 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 14:27:20 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-05-04 14:31:14 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 14:32:43 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-04 14:33:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-04 14:33:51 +0200 <kaol> I've been thinking about the order of function composition. I think the usual order is an answer to the question "what's the value of this" and flipping it around makes the question be "how does this work". For IO (or other monadic code) you want to answer the latter one and the value is often uninteresting in itself.
2023-05-04 14:34:45 +0200trev(~trev@user/trev)
2023-05-04 14:34:57 +0200 <kaol> If I see function compositions start with "ExceptT ." then that is the most useful thing to know to understand its value.
2023-05-04 14:36:00 +0200 <ncf> something something programs vs coprograms
2023-05-04 14:38:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 260 seconds)
2023-05-04 14:38:58 +0200vulfe(~vulfe@168.91.196.163)
2023-05-04 14:39:14 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 14:39:27 +0200 <ski> i think ordering in `f(x)' comes from (a) typically `x' may be a larger expression than `f', and it's nicer to read the shorter one first (cf. `traverse' vs. `for') (commonly `f' is just a single identifier, even bound at top-level); and (b) in a definition, it's nice to have the name of the defined thing come first, before formal parameters (patterns), and the definiens
2023-05-04 14:39:57 +0200 <ski> (also why i think `class Eq a => Ord a where ...' ought to have been `class Ord a <= Eq a where ...')
2023-05-04 14:40:39 +0200 <ski> (then composition ordering is a consequence of function application ordering)
2023-05-04 14:43:17 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x_)
2023-05-04 14:43:27 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 14:43:40 +0200ddellacosta(~ddellacos@146.70.185.135) (Ping timeout: 276 seconds)
2023-05-04 14:44:00 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
2023-05-04 14:45:10 +0200ddellacosta(~ddellacos@146.70.166.241)
2023-05-04 14:45:37 +0200 <vulfe> someone at some indeterminate point in history decided that math ought to secretly be read right to left
2023-05-04 14:45:49 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 14:46:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 14:46:56 +0200xff0x(~xff0x@2405:6580:b080:900:72b4:fb98:34fa:6ca2)
2023-05-04 14:49:26 +0200skisometimes experiments a bit with writing `f : A <- B', rather than `f : B -> A'
2023-05-04 14:49:32 +0200Me-me(~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.)
2023-05-04 14:50:00 +0200 <ski> vulfe : i don't think people really think of it like that
2023-05-04 14:50:33 +0200 <vulfe> I feel like if you do enough category theory you sort of start to think that way, but I agree in general :P
2023-05-04 14:50:49 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2023-05-04 14:50:57 +0200 <ski> perhaps "from inside, to out". but you could just as well read it in the opposite direction, too, although perhaps that'll commonly feel slightly less natural, at least if one's not used to it
2023-05-04 14:51:46 +0200 <ski> (compare with how proofs are often constructed "backwards" (and then some people write it "forwards", while some other may leave it in the "backwards" direction))
2023-05-04 14:52:05 +0200 <vulfe> I mostly meant to assert that the reason we use f(x) or f x in programming is because the notation originated that way in mathematics (this goes all the way back to like Bernoulli and Euler)
2023-05-04 14:52:40 +0200ncf. o O ( let f, g : A <- B -> C be a span... )
2023-05-04 14:52:46 +0200ski. o O ( "Epsilon-Delta Limits Tutorial" <https://www.vex.net/~trebla/homework/epsilon-delta.html> )
2023-05-04 14:53:28 +0200 <ski> .. not two spans ?
2023-05-04 14:53:30 +0200 <vulfe> although I was helping someone with a diagram chase in a functional programming / category theory textbook last evening and they do indeed use the notation `f: A <- B`
2023-05-04 14:53:45 +0200 <ncf> a span of two arrows
2023-05-04 14:53:54 +0200 <ski> "Algebra of Programming" by Richard Bird,Oege de Moor ?
2023-05-04 14:53:59 +0200 <vulfe> the very one
2023-05-04 14:54:04 +0200skigrins
2023-05-04 14:54:14 +0200 <vulfe> to be clear, I think the notation in that book is heinous
2023-05-04 14:54:31 +0200 <vulfe> but not because they use `f: A <- B` ;)
2023-05-04 14:55:01 +0200 <ski> ncf : guess i'd write `(f,g) : ...'. or write the names above/below the arrows
2023-05-04 14:55:19 +0200 <vulfe> I would do the same as ski
2023-05-04 14:55:39 +0200 <vulfe> (it is quite literally an ordered pair after all)
2023-05-04 14:56:23 +0200skialso can never recall which is which of "span" and "cospan"
2023-05-04 14:56:31 +0200 <ski> (or "meet" and "join", for that matter)
2023-05-04 14:57:03 +0200 <vulfe> join is like union, so it gets the `v` (and meet is like intersection and so on)
2023-05-04 14:57:18 +0200 <vulfe> maybe that's not helpful if you aren't a mathematician
2023-05-04 14:58:05 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-05-04 14:58:12 +0200 <vulfe> to be fair, the choice of which gets to be called 'span' and which 'cospan' feels quite arbitrary
2023-05-04 15:01:21 +0200 <ski> vulfe : yea, i know that. but i can never recall which is like union and which is like intersection
2023-05-04 15:01:54 +0200 <ski> (the names don't give me any clue)
2023-05-04 15:01:55 +0200xff0x(~xff0x@2405:6580:b080:900:72b4:fb98:34fa:6ca2) (Quit: xff0x)
2023-05-04 15:02:09 +0200 <vulfe> ski: I was about to appeal to some kind of English comparison and then I realized that both words are really quite similar in their literal meaning
2023-05-04 15:02:30 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 15:02:54 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 15:03:00 +0200 <ski> (i also don't really have a firm preference regards drawing arrows upwards and drawing them downwards)
2023-05-04 15:04:08 +0200 <vulfe> if you draw a large enough diagram, you don't get to have a preference any more
2023-05-04 15:04:16 +0200xff0x(~xff0x@2405:6580:b080:900:de90:a559:45cb:c2e4)
2023-05-04 15:05:48 +0200ncfremembers "span" because of monads in the bicategory of spans
2023-05-04 15:06:30 +0200ncfalso gets meets and joins mixed up about 100% of the time
2023-05-04 15:07:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 15:07:19 +0200 <vulfe> (I remember spans because the introduction of categories of cospans seems very rare)
2023-05-04 15:07:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 15:09:20 +0200zaquest(~notzaques@5.130.79.72)
2023-05-04 15:10:53 +0200 <vulfe> do people actually use monads in spans to define internal categories in Haskell or something?
2023-05-04 15:11:05 +0200 <vulfe> that doesn't sound like a totally useless idea at the very least :P
2023-05-04 15:11:18 +0200 <ncf> certainly not in haskell
2023-05-04 15:11:41 +0200 <ncf> (can you even define general monads-in-a-bicategory in haskell? or bicategories for that matter?)
2023-05-04 15:11:57 +0200 <vulfe> (good question)
2023-05-04 15:12:40 +0200 <vulfe> (also, it would be much easier to specify an internal category directly)
2023-05-04 15:23:31 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 15:23:45 +0200CyberSoul(~CyberSoul@2405:201:680a:b174:a44c:3c50:8b78:b6c0) (Quit: Leaving)
2023-05-04 15:26:45 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-05-04 15:28:16 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 15:31:05 +0200chomwitt(~chomwitt@ppp-94-67-201-180.home.otenet.gr)
2023-05-04 15:32:36 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200ormaaj(~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200Deide(~deide@user/deide) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200hussam(~hussam@user/hussam) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:36 +0200foghorn(~foghorn@user/foghorn) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200jade[m](~hopelessn@2001:470:69fc:105::3:4043) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200neohtetxyz[m](~neohtetxy@2001:470:69fc:105::3:314c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:37 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200hunk[m](~hunkmatri@2001:470:69fc:105::3:481b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200adziahel(~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200jitrs[m](~jitrsmatr@2001:470:69fc:105::3:400c) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200general_j[m](~generaljm@2001:470:69fc:105::3:463b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200magnolia_mayhem[(~ashinnvma@2001:470:69fc:105::2:e5ed) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200ujjwalgupta[m](~guptaujjw@2001:470:69fc:105::3:46b5) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200mmynsted[m](~mmynstedm@2001:470:69fc:105::3:474b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:38 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200calamaxes[m](~calamaxes@2001:470:69fc:105::3:47b2) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200mu[m](~mumixnatu@2001:470:69fc:105::3:52c3) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:39 +0200aaronv(~aaronv@user/aaronv) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200luffy[m]1(~luffyinte@2001:470:69fc:105::3:4cd5) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200jzerebecki(~jzerebeck@2001:470:69fc:105::f90) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200polykernel[m](~polykerne@user/polykernel) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200naine[m](~naine-env@2001:470:69fc:105::3:2e57) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200kadoban(~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200teo(~teo@user/teo) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200denbrahe(~denbrahe@2001:470:69fc:105::19c0) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:40 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200ariady[m](~riadymatr@2001:470:69fc:105::3:4dc5) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200somerandomnick[m(~somerando@2001:470:69fc:105::3:4f2e) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200MasseR[m](~masserauh@2001:470:69fc:105::3bd) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:41 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:42 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:42 +0200aavogt[m](~aavogtmat@2001:470:69fc:105::3:4007) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:42 +0200joyfulmantis[m](~joyfulman@2001:470:69fc:105::3:400a) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:43 +0200tiagsmm[m](~tiagsmmma@2001:470:69fc:105::3:4002) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:32:43 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Quit: Bridge terminating on SIGTERM)
2023-05-04 15:33:23 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-04 15:36:14 +0200CyberSoul(~CyberSoul@2405:201:680a:b174:f4e6:19f3:9e0:b94f)
2023-05-04 15:36:43 +0200Guest45678(~Guest4567@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de)
2023-05-04 15:37:48 +0200inversed(~inversed@bcdcac82.skybroadband.com)
2023-05-04 15:38:26 +0200peddie(~peddie@2001:470:69fc:105::25d)
2023-05-04 15:38:26 +0200paul_j(~user@2001:8b0:dea0:f3c9:cd47:c8b0:d6:5463)
2023-05-04 15:40:57 +0200delYsid(~user@user/delYsid)
2023-05-04 15:45:27 +0200agent-novichok(~Novichok@i59F46C67.versanet.de)
2023-05-04 15:46:38 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 15:46:46 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-05-04 15:47:36 +0200 <merijn> man, what's up with binary's versionining?
2023-05-04 15:47:40 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2023-05-04 15:47:40 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-05-04 15:47:40 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2023-05-04 15:47:40 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85)
2023-05-04 15:47:40 +0200sm(~sm@plaintextaccounting/sm)
2023-05-04 15:47:40 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-05-04 15:47:40 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-05-04 15:47:40 +0200Deide(~deide@user/deide)
2023-05-04 15:47:40 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-05-04 15:47:41 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-05-04 15:47:41 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-05-04 15:47:41 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-05-04 15:47:41 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2023-05-04 15:47:41 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-05-04 15:47:53 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1)
2023-05-04 15:47:55 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-05-04 15:47:56 +0200ormaaj(~ormaaj@user/ormaaj)
2023-05-04 15:47:56 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-05-04 15:47:56 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-05-04 15:47:56 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-05-04 15:47:56 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-05-04 15:47:56 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-05-04 15:48:09 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-05-04 15:48:10 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-05-04 15:48:10 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-05-04 15:48:10 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-05-04 15:48:10 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-05-04 15:48:10 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-05-04 15:48:10 +0200hussam(~hussam@user/hussam)
2023-05-04 15:48:10 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-05-04 15:48:10 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4)
2023-05-04 15:48:10 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-05-04 15:48:11 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-05-04 15:48:11 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-05-04 15:48:11 +0200 <merijn> two deprecated "new" versions that were rereleased as older versions?
2023-05-04 15:48:11 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-05-04 15:48:11 +0200general_j[m](~generaljm@2001:470:69fc:105::3:463b)
2023-05-04 15:48:11 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8)
2023-05-04 15:48:11 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-05-04 15:48:12 +0200jade[m]1(~hopelessn@2001:470:69fc:105::3:4043)
2023-05-04 15:48:12 +0200foghorn(~foghorn@user/foghorn)
2023-05-04 15:48:24 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-05-04 15:48:24 +0200ujjwalgupta[m](~guptaujjw@2001:470:69fc:105::3:46b5)
2023-05-04 15:48:25 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107)
2023-05-04 15:48:25 +0200naine[m](~naine-env@2001:470:69fc:105::3:2e57)
2023-05-04 15:48:38 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2023-05-04 15:48:38 +0200teo(~teo@user/teo)
2023-05-04 15:48:38 +0200mmynsted[m](~mmynstedm@2001:470:69fc:105::3:474b)
2023-05-04 15:48:38 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-05-04 15:48:50 +0200calamaxes[m](~calamaxes@2001:470:69fc:105::3:47b2)
2023-05-04 15:48:54 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-05-04 15:48:54 +0200hunk[m](~hunkmatri@2001:470:69fc:105::3:481b)
2023-05-04 15:48:55 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2023-05-04 15:49:09 +0200aaronv(~aaronv@user/aaronv)
2023-05-04 15:49:09 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4)
2023-05-04 15:49:09 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-05-04 15:49:09 +0200magnolia_mayhem[(~ashinnvma@2001:470:69fc:105::2:e5ed)
2023-05-04 15:49:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 15:49:21 +0200tiagsmm[m](~tiagsmmma@2001:470:69fc:105::3:4002)
2023-05-04 15:49:25 +0200joyfulmantis[m](~joyfulman@2001:470:69fc:105::3:400a)
2023-05-04 15:49:39 +0200aavogt[m](~aavogtmat@2001:470:69fc:105::3:4007)
2023-05-04 15:49:51 +0200jitrs[m](~jitrsmatr@2001:470:69fc:105::3:400c)
2023-05-04 15:49:51 +0200adziahel(~adziahelm@2001:470:69fc:105::b4d)
2023-05-04 15:50:05 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2023-05-04 15:50:09 +0200luffy[m](~luffyinte@2001:470:69fc:105::3:4cd5)
2023-05-04 15:50:10 +0200polykernel[m](~polykerne@user/polykernel)
2023-05-04 15:50:11 +0200jzerebecki(~jzerebeck@2001:470:69fc:105::f90)
2023-05-04 15:50:11 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-05-04 15:50:24 +0200ariady[m](~riadymatr@2001:470:69fc:105::3:4dc5)
2023-05-04 15:50:24 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2023-05-04 15:50:36 +0200neohtetxyz[m](~neohtetxy@2001:470:69fc:105::3:314c)
2023-05-04 15:50:36 +0200somerandomnick[m(~somerando@2001:470:69fc:105::3:4f2e)
2023-05-04 15:50:36 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-05-04 15:50:49 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-05-04 15:51:03 +0200mu[m](~mumixnatu@2001:470:69fc:105::3:52c3)
2023-05-04 15:51:03 +0200MasseR[m](~masserauh@2001:470:69fc:105::3bd)
2023-05-04 15:51:47 +0200denbrahe(~denbrahe@2001:470:69fc:105::19c0)
2023-05-04 15:51:47 +0200kadoban(~kadoban@user/kadoban)
2023-05-04 15:53:06 +0200 <merijn> Unrelatedly: TIL packdeps has a CLI implementation besides the web RSS feed
2023-05-04 15:54:47 +0200CiaoSen(~Jura@tmo-072-181.customers.d1-online.com)
2023-05-04 15:57:13 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 16:01:02 +0200CiaoSen(~Jura@tmo-072-181.customers.d1-online.com) (Ping timeout: 246 seconds)
2023-05-04 16:01:44 +0200gurkenglas(~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-05-04 16:04:11 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-05-04 16:05:34 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 16:09:14 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 16:09:39 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 16:19:40 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-05-04 16:25:44 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 16:27:31 +0200Sgeo(~Sgeo@user/sgeo)
2023-05-04 16:30:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 16:30:50 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 16:34:24 +0200Tlsx(~rscastilh@189-82-108-215.user3p.veloxzone.com.br)
2023-05-04 16:35:14 +0200Tlsx(~rscastilh@189-82-108-215.user3p.veloxzone.com.br) (Client Quit)
2023-05-04 16:35:53 +0200vulfe(~vulfe@168.91.196.163) (Quit: Leaving...)
2023-05-04 16:36:06 +0200phma_(~phma@host-67-44-208-93.hnremote.net)
2023-05-04 16:36:16 +0200phma(phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) (Ping timeout: 248 seconds)
2023-05-04 16:48:41 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 16:49:27 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-04 16:49:59 +0200abrar(~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2023-05-04 16:51:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 16:51:55 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-05-04 16:56:20 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-04 16:57:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d5ec:ab52:cc79:2c58) (Quit: WeeChat 2.8)
2023-05-04 16:57:10 +0200vpan(~0@mail.elitnet.lt) (Quit: Leaving.)
2023-05-04 16:57:22 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-04 16:57:56 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 17:00:29 +0200ham(~ham@user/ham)
2023-05-04 17:02:27 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-04 17:04:43 +0200mbuf(~Shakthi@49.207.178.186)
2023-05-04 17:07:34 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 17:10:53 +0200CyberSoul(~CyberSoul@2405:201:680a:b174:f4e6:19f3:9e0:b94f) (Quit: Leaving)
2023-05-04 17:12:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 17:13:50 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-05-04 17:19:11 +0200nate2(~nate@98.45.169.16)
2023-05-04 17:19:17 +0200rlj(~rlj@c-5eea6285-74736162.cust.telenor.se)
2023-05-04 17:20:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 17:24:22 +0200nate2(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2023-05-04 17:27:05 +0200merijn(~merijn@185.143.104.11) (Ping timeout: 246 seconds)
2023-05-04 17:27:27 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2023-05-04 17:32:32 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 17:33:08 +0200rlj(~rlj@c-5eea6285-74736162.cust.telenor.se) (Ping timeout: 245 seconds)
2023-05-04 17:37:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 17:39:44 +0200AlexZenon(~alzenon@178.34.150.15) (Ping timeout: 248 seconds)
2023-05-04 17:39:47 +0200Alex_test(~al_test@178.34.150.15) (Ping timeout: 268 seconds)
2023-05-04 17:43:38 +0200Alex_test(~al_test@178.34.150.15)
2023-05-04 17:50:13 +0200AlexZenon(~alzenon@178.34.150.15)
2023-05-04 17:51:09 +0200rlj(~rlj@194-218-34-180.customer.telia.com)
2023-05-04 17:53:41 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 17:54:23 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-05-04 17:55:10 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 17:57:02 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-04 17:57:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 17:57:32 +0200polyphem(~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 246 seconds)
2023-05-04 17:57:39 +0200econo(uid147250@user/econo)
2023-05-04 17:58:16 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 17:59:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 18:08:39 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-05-04 18:09:15 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:3a9b:67d2:1fd1:a530) (Remote host closed the connection)
2023-05-04 18:14:40 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection)
2023-05-04 18:16:45 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-05-04 18:19:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net)
2023-05-04 18:21:00 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-05-04 18:21:36 +0200auri_(~auri@fsf/member/auri) ()
2023-05-04 18:22:13 +0200auri(~auri@fsf/member/auri)
2023-05-04 18:23:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 18:24:56 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-05-04 18:25:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net)
2023-05-04 18:27:24 +0200mmhat(~mmh@p200300f1c7192357ee086bfffe095315.dip0.t-ipconnect.de)
2023-05-04 18:27:31 +0200mmhat(~mmh@p200300f1c7192357ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-05-04 18:27:41 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 18:28:42 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-05-04 18:31:41 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-04 18:36:31 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 18:37:47 +0200opticblast(~Thunderbi@172.58.87.122)
2023-05-04 18:39:16 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-05-04 18:39:28 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-05-04 18:41:00 +0200 <ddellacosta> This is re: haskell binary running in alpine docker container, image built with nix: /etc/localtime is pointing to /usr/share/zoneinfo/America/New_York, and $TZ and /etc/timezone are both "America/New_York". `date` returns the correct timestamp for this timezone. (All of this checked via `docker exec ... bash`.) Dumping System.Environment.getEnv "TZ" in logs gives me "America/New_York". However,
2023-05-04 18:41:02 +0200 <ddellacosta> the time library doesn't seem to pick this up; Data.Time.LocalTime.getCurrentTimeZone gives me "America," timeZoneOffsetString is "+0000". Am I forgetting something?
2023-05-04 18:41:54 +0200 <ddellacosta> it almost seems like it's parsing the timezone incorrectly, given that it's not just UTC
2023-05-04 18:44:18 +0200 <ddellacosta> doesn't seem like the time code works that way though, so, I dunno
2023-05-04 18:45:42 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 18:48:02 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-05-04 18:48:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 18:50:33 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 18:50:40 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-05-04 18:53:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-04 18:53:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net)
2023-05-04 18:53:25 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-05-04 18:55:28 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Remote host closed the connection)
2023-05-04 18:56:15 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net)
2023-05-04 18:56:48 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 18:57:45 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-05-04 18:58:58 +0200 <segfaultfizzbuzz> i think (?) programming language expressions are always trees, as in abstract syntax trees. is this true of mathematics as well? that is to say, if i open up any math paper, can i always represent the statements in the paper with an AST?
2023-05-04 19:00:31 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 19:01:08 +0200 <segfaultfizzbuzz> in parallel i am also not sure what the alternative would be to an AST,... maybe general natural language?
2023-05-04 19:02:22 +0200 <geekosaur> graphs come to mind
2023-05-04 19:02:57 +0200 <geekosaur> (that is, general connections between nodes, not just a straightforward branching tree or even simple loops)
2023-05-04 19:03:44 +0200 <geekosaur> many (not all) math papers describe proofs, though, and those should reduce to ASTs via Curry-Howard I think
2023-05-04 19:04:48 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 19:05:25 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-04 19:09:25 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-05-04 19:10:22 +0200Guest45678(~Guest4567@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) (Quit: Client closed)
2023-05-04 19:15:51 +0200mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-05-04 19:17:13 +0200 <monochrom> Linguists already figured out turning sentences into trees. All languages.
2023-05-04 19:17:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-05-04 19:19:01 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 19:19:05 +0200 <monochrom> (BTW you would be surprised how more linguists than programmers understand CFGs and even continuations.)
2023-05-04 19:24:00 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-04 19:24:17 +0200hochata(~user@user/hochata)
2023-05-04 19:24:47 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-05-04 19:25:50 +0200 <monochrom> Every time I read a cool blog featured in HWN I go "this would be great for an assignment for my students!"
2023-05-04 19:26:26 +0200 <monochrom> One second later "oh no, its solution is already in public, this can't go into an assignment".
2023-05-04 19:26:56 +0200Digit(~user@user/digit) (Remote host closed the connection)
2023-05-04 19:27:28 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 248 seconds)
2023-05-04 19:27:39 +0200 <monochrom> (BTW there is some recent code I am not pushing to github for now because of this.)
2023-05-04 19:27:59 +0200Digit(~user@user/digit)
2023-05-04 19:28:00 +0200 <monochrom> (I wrote the code and solved a problem. Now I want to make it an assignment.)
2023-05-04 19:28:22 +0200 <monochrom> Although, 10 seconds later "oh, but this would be great on an exam!"
2023-05-04 19:29:04 +0200 <monochrom> (assuming in-person invigilated exam of course. won't work if we go back to online stay-home schooling...)
2023-05-04 19:29:06 +0200 <jade[m]1> what level are the courses you teach? (beginner, intermediate, ...)
2023-05-04 19:29:45 +0200 <monochrom> That's hard to quantify. But it's 3rd year in terms of overall CS. But it's the 1st time most students see FP at all.
2023-05-04 19:30:04 +0200kilolympus(~kilolympu@213.144.144.24)
2023-05-04 19:30:17 +0200 <jade[m]1> ah thank you, that gives some insight!
2023-05-04 19:31:08 +0200 <monochrom> So, fair to consider them beginners when you show them "myreverse (x:xs) = myreverse xs ++ [x]"
2023-05-04 19:31:43 +0200 <monochrom> But supposedly (yeah right I wish) once they can read that they should see it's quadratic time and why.
2023-05-04 19:32:42 +0200 <monochrom> But given the pandemic of using Python in 1st years therefore students have this delusion that one line of code takes O(1) time, fat chance.
2023-05-04 19:32:54 +0200 <jade[m]1> mhm yeah
2023-05-04 19:33:06 +0200 <jade[m]1> at what point do you introduce folds
2023-05-04 19:33:36 +0200 <jade[m]1> foldl (flip (:)) [] took me a pretty long time to understand initially
2023-05-04 19:34:08 +0200 <monochrom> After lists, ADTs, and polymorphic types and functions.
2023-05-04 19:34:36 +0200 <jade[m]1> mhm
2023-05-04 19:34:54 +0200 <jade[m]1> I've never had 'formal' haskell education so this is really interesting
2023-05-04 19:34:55 +0200 <monochrom> Actually this is what I did last summer: http://www.cs.utoronto.ca/~trebla/CSCC24-2022-Summer/
2023-05-04 19:35:24 +0200 <jade[m]1> thanks, I'll take a look
2023-05-04 19:35:47 +0200 <monochrom> This summer I plan to move FAM near the end.
2023-05-04 19:36:13 +0200 <jade[m]1> FAM?
2023-05-04 19:36:51 +0200 <monochrom> Meanwhile, without FAM how do I do monadic parsing? Simple: import Prelude hiding ((>>=), <*>, fmap, etc etc) and have my own >>= etc hardtyped for the parser type.
2023-05-04 19:36:57 +0200 <geekosaur> functor/applicative/monad
2023-05-04 19:37:10 +0200 <jade[m]1> ahh yeah
2023-05-04 19:37:47 +0200 <monochrom> Possibly an FAM lecture makes more sense and much less of an uphill after monadic parsing without saying "monadic".
2023-05-04 19:37:48 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-04 19:38:13 +0200 <monochrom> Because you can see currently the FAM lectures took forever. It is becoming a time sink.
2023-05-04 19:38:44 +0200 <monochrom> Plus this course is not supposed to be an FP course. It is supposed to be a baby PLT that happens to use FP for various purposes.
2023-05-04 19:39:08 +0200 <jade[m]1> monochrom: I think things like that are great for intuition. building your own functions for different types... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/90f97578fb16c7e15d1acb4a43d2b45d6a76…>)
2023-05-04 19:39:42 +0200 <jade[m]1> I wish more CS education was focused on intuition and discovering things yourself
2023-05-04 19:39:57 +0200 <monochrom> Yeah I do that in the FAM lecture. It is still taking forever. :)
2023-05-04 19:40:07 +0200 <jade[m]1> that's the downside ...
2023-05-04 19:40:23 +0200 <monochrom> Hell, ideally s/CS //
2023-05-04 19:41:50 +0200 <monochrom> But here is why, at least in public school systems such as K-12, STEM does not get that treatment. (Ironically, the arts do, so it is not like the educators didn't know.)
2023-05-04 19:42:06 +0200 <probie> That [focused on intuition...] takes an unpredictable amount of time which means it works pretty well for private tutoring, but poorly for a class composed of many individuals and with a fixed schedule
2023-05-04 19:42:30 +0200 <jade[m]1> yep
2023-05-04 19:42:34 +0200 <monochrom> (Right? Your primary school English classes are all about having fun with storytelling. And the math classes are all about dry rote.)
2023-05-04 19:42:46 +0200 <jade[m]1> I learned 95% of the things I'm interested in from the internet
2023-05-04 19:42:55 +0200 <jade[m]1> such as most of math and cs that I know
2023-05-04 19:43:01 +0200 <monochrom> It is because the public school systems are controlled by biased arts people.
2023-05-04 19:43:21 +0200 <jade[m]1> (praise goes out to 3B1B, Mathologer and Michael Penn)
2023-05-04 19:43:23 +0200 <monochrom> Well, they love their own subjects so they do everything to make them lovable for all.
2023-05-04 19:44:44 +0200 <jade[m]1> mhm
2023-05-04 19:45:12 +0200 <monochrom> And unfairly they then go "convince me why it is useful to include math" (they never ask that about their own beloved subjects, I mean come on, did they ask "convince me why it's useful to include music too?")
2023-05-04 19:45:47 +0200 <monochrom> Therefore music and English are taught because they are fun and beauty therefore the fun and beauty are emphasized.
2023-05-04 19:46:03 +0200 <probie> On the "upside", if you are a (K-12) maths teacher, you're under no obligation to make the class fun
2023-05-04 19:46:13 +0200 <monochrom> Math is taught for utitlity therefore it's a dry utility. BTW utility implies dry rote, of course.
2023-05-04 19:46:17 +0200 <jade[m]1> I think part of the problem is also unmotivated teachers, the concept of grades and in general the stress that school brings with it for the students
2023-05-04 19:46:33 +0200 <probie> but I feel like this is well off-topic for #haskell, perhaps it should move to another channel?
2023-05-04 19:46:37 +0200 <jade[m]1> I sincerely believe we can make people love learning if it were done right
2023-05-04 19:47:20 +0200 <monochrom> Imagine if music classes were about memorizing harmonic progressions. That's what happened to math classes.
2023-05-04 19:47:54 +0200 <jade[m]1> that's a great analogy haha
2023-05-04 19:47:57 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-05-04 19:48:25 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-05-04 19:50:51 +0200mei(~mei@user/mei)
2023-05-04 19:53:08 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Ping timeout: 245 seconds)
2023-05-04 19:54:29 +0200 <monochrom> OK so back to the cool haskell blogs, the one that started what I said about "I want to use this for assignment oh wait I can't" is the FFT one.
2023-05-04 19:54:58 +0200 <monochrom> It's on today's HWN but here it is: https://gist.github.com/VictorTaelin/5776ede998d0039ad1cc9b12fd96811c/4499146ec3a85e55072c50606ef2…
2023-05-04 19:58:59 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-05-04 19:59:55 +0200hochata(~user@user/hochata) (Ping timeout: 260 seconds)
2023-05-04 20:04:48 +0200 <jade[m]1> That's really interesting and made me think a bit about how I reason about code
2023-05-04 20:06:34 +0200pyook(~puke@user/puke)
2023-05-04 20:08:40 +0200Feuermagier_(~Feuermagi@user/feuermagier) (Ping timeout: 276 seconds)
2023-05-04 20:11:09 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-04 20:14:51 +0200 <tomsmeding> it's cute
2023-05-04 20:16:08 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2023-05-04 20:17:58 +0200 <probie> I'm a fan of the use of balanced ternary. I feel a bit silly having never thought about using it when I need an inductive definition of the integers with reasonable performance
2023-05-04 20:18:38 +0200 <jade[m]1> I've seen it used somewhere before but I can't remember where
2023-05-04 20:18:56 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net)
2023-05-04 20:19:09 +0200 <jade[m]1> I think it was something purely mathematical and it was a very clever solution to a problem
2023-05-04 20:23:35 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-05-04 20:27:48 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-04 20:30:32 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-04 20:32:51 +0200rlj(~rlj@194-218-34-180.customer.telia.com) (Quit: Client closed)
2023-05-04 20:35:06 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-04 20:39:28 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-04 20:42:07 +0200 <ncf> what's HWN?
2023-05-04 20:42:50 +0200 <geekosaur> haskell weekly news?
2023-05-04 20:43:27 +0200mechap(~mechap@user/mechap)
2023-05-04 20:43:58 +0200 <geekosaur> https://haskellweekly.news/issue/366.html third item seems to be the one under discussion
2023-05-04 20:45:09 +0200freeside(~mengwong@103.252.202.85)
2023-05-04 20:49:05 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-04 20:54:52 +0200 <sm> and here is the HN discussion: https://news.ycombinator.com/item?id=35801293
2023-05-04 20:55:12 +0200 <sm> oops you said third. I can't count :)
2023-05-04 20:55:33 +0200 <geekosaur> the FFT one, right? that was third
2023-05-04 20:55:46 +0200 <geekosaur> not saying the others weren't worthy of note 🙂
2023-05-04 20:56:10 +0200 <sm> anyway, that HN link is the latest Haskell discussion there, a pretty good one
2023-05-04 20:56:29 +0200VictorHugenay(~VictorHug@user/VictorHugenay)
2023-05-04 20:58:07 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-05-04 21:00:53 +0200akshitkr(~user@218.185.248.66)
2023-05-04 21:00:55 +0200 <akshitkr> k
2023-05-04 21:02:20 +0200opticblast(~Thunderbi@172.58.87.122) (Quit: opticblast)
2023-05-04 21:04:21 +0200VictorHugenay(~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!)
2023-05-04 21:05:48 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection)
2023-05-04 21:07:11 +0200stackdroid18(14094@de1.hashbang.sh)
2023-05-04 21:07:35 +0200agent-novichok(~Novichok@i59F46C67.versanet.de) (Quit: Leaving)
2023-05-04 21:08:38 +0200tr_ev(~trev@user/trev)
2023-05-04 21:10:05 +0200tr_evtrev
2023-05-04 21:15:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection)
2023-05-04 21:20:47 +0200nate2(~nate@98.45.169.16)
2023-05-04 21:24:21 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-04 21:26:06 +0200nate2(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2023-05-04 21:28:01 +0200u0_a202(~u0_a202@47.60.32.137)
2023-05-04 21:28:11 +0200u0_a202dom0
2023-05-04 21:28:45 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2023-05-04 21:30:37 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-05-04 21:31:33 +0200dom0(~u0_a202@47.60.32.137) (Client Quit)
2023-05-04 21:35:21 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2023-05-04 21:44:48 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-05-04 21:56:31 +0200 <ddellacosta> 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
2023-05-04 21:56:37 +0200 <ddellacosta> whoops, guess that keys getting changed
2023-05-04 21:59:30 +0200 <Hecate> ddellacosta: I must commend you on your taste of pass keys, although a little bit more special characters sprinkled on it like salt & pepper would hav been perfect :)
2023-05-04 22:00:35 +0200euandreh(~Thunderbi@189.6.18.7) (Read error: Connection reset by peer)
2023-05-04 22:01:22 +0200 <ddellacosta> Hecate: lol I can't claim responsibility, that was actually an old-school GH token, I should probably have bumped it to be a fine-grained access one a while ago, so this is just as well
2023-05-04 22:01:34 +0200pavonia(~user@user/siracusa)
2023-05-04 22:03:25 +0200 <Hecate> 👍
2023-05-04 22:05:04 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-05-04 22:06:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-04 22:10:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds)
2023-05-04 22:12:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-05-04 22:19:59 +0200myme(~myme@2a01:799:d60:e400:62e6:cfdd:2547:9938) (Quit: WeeChat 3.8)
2023-05-04 22:20:17 +0200myme(~myme@2a01:799:d60:e400:2dd4:a7b:39d8:afc)
2023-05-04 22:21:56 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-04 22:27:43 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 22:34:43 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-05-04 22:36:39 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 22:42:48 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-05-04 22:49:00 +0200nick3(~nick@98.186.192.206)
2023-05-04 22:51:12 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds)
2023-05-04 22:51:52 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:8940:e20c:3e5e:bc76)
2023-05-04 22:53:40 +0200nick3(~nick@98.186.192.206) (Ping timeout: 268 seconds)
2023-05-04 22:57:27 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net)
2023-05-04 22:59:50 +0200ddellacosta(~ddellacos@146.70.166.241) (Ping timeout: 268 seconds)
2023-05-04 23:01:21 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-04 23:05:21 +0200stackdroid18(14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!)
2023-05-04 23:05:48 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 23:10:24 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
2023-05-04 23:11:38 +0200 <hpc> this is why i don't make any of my passwords look like passwords
2023-05-04 23:11:44 +0200 <hpc> whoops, i have to change that key now too :P
2023-05-04 23:12:13 +0200 <monochrom> haha
2023-05-04 23:12:54 +0200 <monochrom> Someone should ask chatgpt "can chatgpt generate good passwords?"
2023-05-04 23:13:15 +0200 <hpc> the answer is "yes! haskell can do that"
2023-05-04 23:13:25 +0200 <monochrom> haha that's a great answer
2023-05-04 23:13:39 +0200ping67(~ping@pool-68-132-222-250.nycmny.fios.verizon.net)
2023-05-04 23:14:55 +0200 <jade[m]1> inspired by a recent tom scott pidcast episode:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/d16f95aee37f1f970d5b3db0e517d5bdf6a0…>)
2023-05-04 23:15:23 +0200 <jade[m]1> * inspired by a recent tom scott podcast episode:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/5ce0a8f920f77d5ab262d32aa9fa56dba031…>)
2023-05-04 23:16:16 +0200 <delYsid> /kick jade[m]1
2023-05-04 23:16:33 +0200ping67(~ping@pool-68-132-222-250.nycmny.fios.verizon.net) (Client Quit)
2023-05-04 23:16:48 +0200 <jade[m]1> hm.
2023-05-04 23:16:55 +0200delYsid(~user@user/delYsid) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50))
2023-05-04 23:17:09 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 23:17:33 +0200 <monochrom> In Haskell, you can simplify "() -> X" to "X".
2023-05-04 23:18:17 +0200 <jade[m]1> yep, I know
2023-05-04 23:18:44 +0200 <jade[m]1> the joke is that it's a function
2023-05-04 23:20:10 +0200 <monochrom> Oh haha
2023-05-04 23:22:32 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-04 23:24:01 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds)
2023-05-04 23:26:12 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-04 23:27:44 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-05-04 23:28:43 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
2023-05-04 23:31:47 +0200pavonia(~user@user/siracusa)
2023-05-04 23:31:48 +0200be3d2bd3-2bfd-42(~aditya@162-227-162-235.lightspeed.sntcca.sbcglobal.net)
2023-05-04 23:32:16 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:8940:e20c:3e5e:bc76) (Quit: caryhartline)
2023-05-04 23:32:34 +0200be3d2bd3-2bfd-42(~aditya@162-227-162-235.lightspeed.sntcca.sbcglobal.net) (Client Quit)
2023-05-04 23:36:13 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:a03e:3524:dabb:13b2)
2023-05-04 23:38:30 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-04 23:40:59 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-05-04 23:44:28 +0200acidjnk(~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-05-04 23:47:39 +0200v^(~v^@pool-68-132-222-250.nycmny.fios.verizon.net)
2023-05-04 23:47:46 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2023-05-04 23:49:38 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-05-04 23:50:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-04 23:53:51 +0200alphabeta(~kilolympu@213.144.144.24)
2023-05-04 23:54:13 +0200kilolympus(~kilolympu@213.144.144.24) (Ping timeout: 276 seconds)