2022/07/06

2022-07-06 00:02:18 +0200zaquest(~notzaques@5.130.79.72)
2022-07-06 00:15:48 +0200bu99ed[m](~bu99edm4t@2001:470:69fc:105::1:bd9e) (Quit: issued !quit command)
2022-07-06 00:16:35 +0200bu99ed[m](~bu99edm4t@2001:470:69fc:105::1:bd9e)
2022-07-06 00:17:22 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-07-06 00:17:47 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 00:23:15 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-06 00:23:53 +0200codaraxis__(~codaraxis@user/codaraxis)
2022-07-06 00:27:33 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 246 seconds)
2022-07-06 00:28:20 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-06 00:28:20 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Remote host closed the connection)
2022-07-06 00:28:30 +0200vandit(~vandit@84-236-55-17.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-06 00:28:32 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-07-06 00:28:35 +0200causal(~user@50.35.83.177)
2022-07-06 00:30:20 +0200vandit(~vandit@178-164-235-209.pool.digikabel.hu)
2022-07-06 00:33:01 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2022-07-06 00:33:01 +0200tubogram44(~tubogram@user/tubogram) (*.net *.split)
2022-07-06 00:33:49 +0200Axman6(~Axman6@user/axman6)
2022-07-06 00:33:49 +0200tubogram44(~tubogram@user/tubogram)
2022-07-06 00:35:27 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds)
2022-07-06 00:38:47 +0200k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-07-06 00:40:18 +0200cyphase(~cyphase@user/cyphase)
2022-07-06 00:52:16 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 00:53:03 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-06 01:07:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 01:07:22 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-06 01:16:13 +0200spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.0)
2022-07-06 01:17:23 +0200dudek(~dudek@185.150.236.103) (Quit: Leaving)
2022-07-06 01:19:56 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-06 01:21:36 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-07-06 01:27:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 01:32:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2022-07-06 01:32:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Ping timeout: 244 seconds)
2022-07-06 01:34:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-06 01:35:48 +0200belphegor666(~satan@ip-046-223-003-073.um13.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2022-07-06 01:38:49 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 01:40:19 +0200mikoto-chan(~mikoto-ch@d51qgj55m459frj0njy-4.rev.dnainternet.fi) (Ping timeout: 244 seconds)
2022-07-06 01:45:12 +0200phma(~phma@host-67-44-208-187.hnremote.net) (Read error: Connection reset by peer)
2022-07-06 01:46:50 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-07-06 01:47:14 +0200phma(~phma@host-67-44-208-208.hnremote.net)
2022-07-06 01:47:53 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-07-06 02:01:26 +0200phma(~phma@host-67-44-208-208.hnremote.net) (Read error: Connection reset by peer)
2022-07-06 02:02:35 +0200phma(~phma@2001:5b0:210f:5338:a4e2:62c6:619c:ff1e)
2022-07-06 02:03:04 +0200belphegor666(~satan@ip-046-223-002-238.um13.pools.vodafone-ip.de)
2022-07-06 02:03:50 +0200slack1256(~slack1256@186.11.58.46) (Ping timeout: 255 seconds)
2022-07-06 02:06:56 +0200phma(~phma@2001:5b0:210f:5338:a4e2:62c6:619c:ff1e) (Read error: Connection reset by peer)
2022-07-06 02:06:57 +0200phma_(~phma@2001:5b0:2143:88c8:f023:3eaf:a9f3:a7da)
2022-07-06 02:16:16 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5)
2022-07-06 02:16:42 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 02:20:53 +0200pgas(~pg@190.247.245.154)
2022-07-06 02:28:54 +0200polo(~Gambino@user/polo)
2022-07-06 02:31:07 +0200polo(~Gambino@user/polo) (Client Quit)
2022-07-06 02:33:25 +0200 <Haskelytic> for such a pure language, using cabal feels dirty :)
2022-07-06 02:38:04 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-06 02:40:39 +0200frost(~frost@user/frost)
2022-07-06 02:42:02 +0200mmhat(~mmh@p200300f1c709073fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-07-06 02:42:13 +0200 <Axman6> wow, quiet night. Morning all
2022-07-06 02:42:36 +0200 <Haskelytic> It's a beautiful raining morning over here
2022-07-06 02:46:06 +0200vandit(~vandit@178-164-235-209.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-06 02:47:04 +0200vandit(~vandit@87-97-82-162.pool.digikabel.hu)
2022-07-06 02:51:18 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-07-06 02:51:29 +0200qwedfg(~qwedfg@user/qwedfg) (Read error: Connection reset by peer)
2022-07-06 02:54:00 +0200qwedfg(~qwedfg@user/qwedfg)
2022-07-06 03:00:11 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-06 03:10:23 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-06 03:10:33 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-06 03:16:32 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-06 03:20:04 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net)
2022-07-06 03:36:08 +0200quarkyalice(~alice@user/quarkyalice) (Remote host closed the connection)
2022-07-06 03:37:05 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 03:37:05 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 03:37:05 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 03:37:30 +0200pgas(~pg@190.247.245.154) (Remote host closed the connection)
2022-07-06 03:37:48 +0200pgas(~pg@190.247.245.154)
2022-07-06 03:43:18 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 276 seconds)
2022-07-06 03:45:58 +0200nate4(~nate@98.45.169.16)
2022-07-06 03:47:34 +0200aeka`(~aeka@2606:6080:2001:a:9374:410c:ca5:d631)
2022-07-06 03:47:51 +0200aeka(~aeka@user/hiruji) (Ping timeout: 276 seconds)
2022-07-06 03:47:59 +0200aeka`aeka
2022-07-06 03:50:50 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-06 03:53:10 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-07-06 04:00:11 +0200pgas(~pg@190.247.245.154) (Quit: Leaving)
2022-07-06 04:08:33 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds)
2022-07-06 04:12:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-06 04:18:02 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 04:18:28 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-06 04:18:40 +0200statusbot3(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2022-07-06 04:18:43 +0200agumonke`(~user@88.163.231.79)
2022-07-06 04:18:56 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2022-07-06 04:18:59 +0200agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection)
2022-07-06 04:19:02 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-06 04:19:21 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 04:28:21 +0200king_gs(~Thunderbi@2806:103e:29:12be:accf:d6c3:d87:7820)
2022-07-06 04:34:50 +0200td_(~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 240 seconds)
2022-07-06 04:37:06 +0200td_(~td@94.134.91.239)
2022-07-06 04:39:08 +0200 <Axman6> Pretty cloudy and cold here at the moment, but no rain
2022-07-06 04:39:14 +0200 <Axman6> Haskelytic: where are you?
2022-07-06 04:40:30 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net) (Ping timeout: 276 seconds)
2022-07-06 04:44:22 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-06 04:49:12 +0200aeka(~aeka@2606:6080:2001:a:9374:410c:ca5:d631) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-06 04:50:15 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-07-06 04:50:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-07-06 04:50:15 +0200finn_elijaFinnElija
2022-07-06 04:50:30 +0200vandit(~vandit@87-97-82-162.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-06 04:50:41 +0200aeka(~aeka@user/hiruji)
2022-07-06 04:52:31 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 04:52:39 +0200vandit(~vandit@94-21-48-30.pool.digikabel.hu)
2022-07-06 04:54:11 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-06 04:54:27 +0200[itchyjunk]Guest244
2022-07-06 04:54:27 +0200[_][itchyjunk]
2022-07-06 04:57:06 +0200king_gs(~Thunderbi@2806:103e:29:12be:accf:d6c3:d87:7820) (Quit: king_gs)
2022-07-06 04:57:19 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-06 04:57:41 +0200Guest244(~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds)
2022-07-06 04:59:29 +0200k8yun(~k8yun@user/k8yun)
2022-07-06 04:59:33 +0200dextaa(~DV@user/dextaa)
2022-07-06 05:17:26 +0200jinsun(~jinsun@user/jinsun)
2022-07-06 05:22:25 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-07-06 05:26:40 +0200agumonke`(~user@88.163.231.79) (Remote host closed the connection)
2022-07-06 05:27:22 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-07-06 05:27:29 +0200leeb(~leeb@2001:268:c20c:d2bc:34e6:adff:fe30:d078)
2022-07-06 05:29:49 +0200k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-07-06 05:30:52 +0200freemanX(~user@203.116.172.146)
2022-07-06 05:32:04 +0200dos__^^(~user@user/dos/x-1723657)
2022-07-06 05:32:06 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-07-06 05:32:50 +0200Vajb(~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10) (Read error: Connection reset by peer)
2022-07-06 05:33:19 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-06 05:39:14 +0200 <Haskelytic> I'm not sure if my brain is fried but running `fmap length Just [1,2,3]` yields `1` at the REPL
2022-07-06 05:39:26 +0200dknite(~dknite@49.37.45.188)
2022-07-06 05:39:36 +0200 <Haskelytic> I thought it would mean `(((fmap length) Just) [1,2,3])` which is ill-typed?
2022-07-06 05:39:51 +0200 <Axman6> functions are functors
2022-07-06 05:40:18 +0200 <dolio> > length (Just [1,2,3])
2022-07-06 05:40:19 +0200 <Haskelytic> ohhh hahah totally forgot about that
2022-07-06 05:40:20 +0200 <lambdabot> 1
2022-07-06 05:40:26 +0200 <Axman6> so wehat you've actually written is length . Just $ [1,2,3]
2022-07-06 05:40:33 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-07-06 05:42:47 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-07-06 05:49:24 +0200xff0x(~xff0x@2405:6580:b080:900:1dcd:c3f2:c038:d1dd) (Ping timeout: 276 seconds)
2022-07-06 05:49:37 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-07-06 05:54:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-06 05:56:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-06 05:57:11 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-07-06 06:05:38 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Read error: Connection reset by peer)
2022-07-06 06:07:09 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-06 06:09:17 +0200Vajb(~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10)
2022-07-06 06:10:16 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net)
2022-07-06 06:10:45 +0200xff0x(~xff0x@2405:6580:b080:900:1dcd:c3f2:c038:d1dd)
2022-07-06 06:15:20 +0200nate4(~nate@98.45.169.16)
2022-07-06 06:16:46 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 06:20:36 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-07-06 06:24:42 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 264 seconds)
2022-07-06 06:27:22 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-07-06 06:33:11 +0200polo(~Gambino@user/polo)
2022-07-06 06:35:13 +0200polomarcopolo01
2022-07-06 06:35:53 +0200marcopolo01Polo
2022-07-06 06:36:55 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 06:39:19 +0200jargon(~jargon@184.101.208.36)
2022-07-06 06:40:22 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection)
2022-07-06 06:44:49 +0200mbuf(~Shakthi@122.164.12.51)
2022-07-06 06:48:38 +0200 <chreekat> Maybe is Foldable 🙃
2022-07-06 06:48:43 +0200jargon(~jargon@184.101.208.36) (Remote host closed the connection)
2022-07-06 06:49:26 +0200 <chreekat> > length Nothing
2022-07-06 06:49:29 +0200 <lambdabot> 0
2022-07-06 06:49:51 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds)
2022-07-06 06:51:11 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-07-06 06:53:25 +0200vandit(~vandit@94-21-48-30.pool.digikabel.hu) (Ping timeout: 244 seconds)
2022-07-06 06:54:21 +0200Polo(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-06 06:55:12 +0200vandit(~vandit@178-164-171-248.pool.digikabel.hu)
2022-07-06 06:56:11 +0200coot(~coot@213.134.190.95)
2022-07-06 06:59:16 +0200 <int-e> > length (1,2)
2022-07-06 06:59:18 +0200 <lambdabot> 1
2022-07-06 07:00:09 +0200 <int-e> > sum (1,2)
2022-07-06 07:00:12 +0200 <lambdabot> 2
2022-07-06 07:02:25 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 07:04:23 +0200 <int-e> > map isNegativeZero [sum [-0], sum ((), -0)]
2022-07-06 07:04:24 +0200 <lambdabot> [False,True]
2022-07-06 07:08:01 +0200chexum_(~quassel@gateway/tor-sasl/chexum)
2022-07-06 07:08:24 +0200toluene(~toluene@user/toulene) (Ping timeout: 244 seconds)
2022-07-06 07:08:35 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-06 07:08:55 +0200toluene(~toluene@user/toulene)
2022-07-06 07:18:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-06 07:20:24 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 07:23:22 +0200 <Axman6> > isNegativeZero ((-0) + (-0))
2022-07-06 07:23:24 +0200 <lambdabot> True
2022-07-06 07:23:29 +0200 <Axman6> > isNegativeZero ((-0) + (0))
2022-07-06 07:23:31 +0200 <lambdabot> False
2022-07-06 07:23:36 +0200 <Axman6> > isNegativeZero ((0) + (-0))
2022-07-06 07:23:37 +0200 <lambdabot> False
2022-07-06 07:25:36 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds)
2022-07-06 07:26:49 +0200 <dknite> Bruh, just use ghci :)
2022-07-06 07:29:55 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 07:30:53 +0200michalz(~michalz@185.246.204.89)
2022-07-06 07:38:35 +0200leeb(~leeb@2001:268:c20c:d2bc:34e6:adff:fe30:d078) (Read error: Connection reset by peer)
2022-07-06 07:39:52 +0200gmg(~user@user/gehmehgeh)
2022-07-06 07:43:51 +0200leeb(~leeb@2001:268:c20f:2a00:34e6:adff:fe30:d078)
2022-07-06 07:44:35 +0200chomwitt(~chomwitt@2a02:587:dc17:ef00:6e04:fc62:77ba:9b63)
2022-07-06 07:47:05 +0200toluene(~toluene@user/toulene) (Quit: Ping timeout (120 seconds))
2022-07-06 07:48:32 +0200toluene(~toluene@user/toulene)
2022-07-06 07:48:41 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-07-06 07:50:30 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
2022-07-06 07:50:46 +0200bliminse(~bliminse@host109-152-184-218.range109-152.btcentralplus.com) (Changing host)
2022-07-06 07:50:46 +0200bliminse(~bliminse@user/bliminse)
2022-07-06 07:51:04 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2022-07-06 07:57:37 +0200ridcully(~ridcully@pd951f3bf.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-07-06 07:57:47 +0200ridcully(~ridcully@pd951f3bf.dip0.t-ipconnect.de)
2022-07-06 08:15:25 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2022-07-06 08:16:55 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 08:18:46 +0200Kaiepi(~Kaiepi@156.34.47.253) (Quit: Leaving)
2022-07-06 08:20:44 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Ping timeout: 244 seconds)
2022-07-06 08:24:50 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-06 08:28:25 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 08:28:26 +0200mmhat(~mmh@p200300f1c709073fee086bfffe095315.dip0.t-ipconnect.de)
2022-07-06 08:34:50 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-06 08:37:18 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 08:41:24 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-07-06 08:43:41 +0200yoneda(~mike@193.206.102.122)
2022-07-06 08:45:50 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds)
2022-07-06 08:47:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-06 08:47:30 +0200vandit(~vandit@178-164-171-248.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-06 08:48:05 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-06 08:48:33 +0200vandit(~vandit@193-226-233-56.pool.digikabel.hu)
2022-07-06 08:49:20 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-07-06 08:50:03 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 08:50:50 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-06 08:52:04 +0200dknite(~dknite@49.37.45.188) (Quit: Konversation terminated!)
2022-07-06 08:57:10 +0200quarkyalice(~alice@user/quarkyalice) (Ping timeout: 240 seconds)
2022-07-06 08:58:36 +0200cfricke(~cfricke@user/cfricke)
2022-07-06 08:58:41 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 08:58:41 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 08:58:41 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 08:59:17 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.5)
2022-07-06 09:00:05 +0200quarkyalice(~alice@user/quarkyalice) (Read error: Connection reset by peer)
2022-07-06 09:00:23 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds)
2022-07-06 09:00:31 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 09:00:31 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 09:00:31 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 09:03:24 +0200acidjnk(~acidjnk@dynamic-046-114-175-035.46.114.pool.telefonica.de)
2022-07-06 09:11:12 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-06 09:11:51 +0200quarkyalice(~alice@user/quarkyalice) (Read error: Connection reset by peer)
2022-07-06 09:12:07 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 09:12:07 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 09:12:07 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 09:12:08 +0200`2jt(~jtomas@141.red-88-17-65.dynamicip.rima-tde.net)
2022-07-06 09:15:02 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-06 09:16:08 +0200ccntrq(~Thunderbi@p200300c867279100ea5d5d6887ff9495.dip0.t-ipconnect.de)
2022-07-06 09:16:29 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-06 09:16:43 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 09:19:01 +0200MajorBiscuit(~MajorBisc@c-001-018-041.client.tudelft.eduvpn.nl)
2022-07-06 09:23:57 +0200MajorBiscuit(~MajorBisc@c-001-018-041.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5)
2022-07-06 09:24:58 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-07-06 09:26:09 +0200MajorBiscuit(~MajorBisc@c-001-018-041.client.tudelft.eduvpn.nl)
2022-07-06 09:26:36 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 09:43:18 +0200dknite(~dknite@49.37.45.188)
2022-07-06 09:43:33 +0200Midjak(~Midjak@82.66.147.146)
2022-07-06 09:48:24 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-07-06 09:51:27 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-06 09:51:37 +0200alp(~alp@user/alp)
2022-07-06 09:53:31 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-06 09:54:25 +0200rembo10(~rembo10@main.remulis.com)
2022-07-06 10:06:56 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-07-06 10:10:57 +0200benin0(~benin@183.82.26.81)
2022-07-06 10:16:53 +0200nate4(~nate@98.45.169.16)
2022-07-06 10:19:50 +0200quarkyalice(~alice@user/quarkyalice) (Ping timeout: 240 seconds)
2022-07-06 10:21:38 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-07-06 10:22:31 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 10:22:31 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 10:22:31 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 10:22:40 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 244 seconds)
2022-07-06 10:27:38 +0200mc47(~mc47@xmonad/TheMC47)
2022-07-06 10:28:47 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-07-06 10:31:51 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2022-07-06 10:36:19 +0200spacenautx(~spacenaut@user/spacenautx)
2022-07-06 10:37:18 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-07-06 10:40:19 +0200ccntrq(~Thunderbi@p200300c867279100ea5d5d6887ff9495.dip0.t-ipconnect.de) (Quit: ccntrq)
2022-07-06 10:41:45 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-06 10:47:10 +0200vandit(~vandit@193-226-233-56.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-06 10:49:04 +0200vandit(~vandit@193-110-63-25.cable-modem.hdsnet.hu)
2022-07-06 10:51:32 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 10:51:41 +0200kuribas(~user@silversquare.silversquare.eu)
2022-07-06 11:03:52 +0200spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.0)
2022-07-06 11:05:33 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-06 11:10:41 +0200hnOsmium0001(uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity)
2022-07-06 11:14:06 +0200__monty__(~toonn@user/toonn)
2022-07-06 11:21:06 +0200dknite(~dknite@49.37.45.188) (Quit: Konversation terminated!)
2022-07-06 11:26:00 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-07-06 11:26:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-06 11:28:09 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 11:31:55 +0200leeb(~leeb@2001:268:c20f:2a00:34e6:adff:fe30:d078) (Quit: WeeChat 3.0)
2022-07-06 11:36:38 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 11:37:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2022-07-06 11:39:03 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-07-06 11:42:22 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-06 11:42:40 +0200__monty__(~toonn@user/toonn)
2022-07-06 11:43:33 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-06 11:43:46 +0200vglfr(~vglfr@88.155.42.104)
2022-07-06 11:44:18 +0200mmhat(~mmh@p200300f1c709073fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-07-06 11:46:54 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-06 11:50:50 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-06 11:52:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-06 11:53:10 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 11:55:02 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-07-06 11:56:37 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-07-06 11:56:56 +0200Surobaki(~surobaki@137.44.222.80)
2022-07-06 11:57:24 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de)
2022-07-06 12:00:16 +0200Surobaki(~surobaki@137.44.222.80) (Changing host)
2022-07-06 12:00:16 +0200Surobaki(~surobaki@user/surobaki)
2022-07-06 12:06:48 +0200alp(~alp@user/alp)
2022-07-06 12:11:28 +0200vpan(~0@212.117.1.172)
2022-07-06 12:12:56 +0200freemanX(~user@203.116.172.146) (Remote host closed the connection)
2022-07-06 12:13:48 +0200freemanX(~user@118.201.89.106)
2022-07-06 12:14:01 +0200jinsun(~jinsun@user/jinsun)
2022-07-06 12:14:13 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-06 12:17:51 +0200frost(~frost@user/frost)
2022-07-06 12:21:19 +0200dknite(~dknite@49.37.45.188)
2022-07-06 12:21:53 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Ping timeout (120 seconds))
2022-07-06 12:23:34 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
2022-07-06 12:27:11 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 12:30:35 +0200phma_phma
2022-07-06 12:32:24 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 276 seconds)
2022-07-06 12:34:06 +0200aliosablack(~chomwitt@athedsl-351471.home.otenet.gr)
2022-07-06 12:36:18 +0200chomwitt(~chomwitt@2a02:587:dc17:ef00:6e04:fc62:77ba:9b63) (Ping timeout: 276 seconds)
2022-07-06 12:40:56 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 12:45:47 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 12:47:03 +0200vandit(~vandit@193-110-63-25.cable-modem.hdsnet.hu) (Ping timeout: 256 seconds)
2022-07-06 12:47:21 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-06 12:48:33 +0200vandit(~vandit@77-234-86-191.pool.digikabel.hu)
2022-07-06 12:48:45 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 13:08:25 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-07-06 13:18:12 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-07-06 13:18:32 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-06 13:23:06 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds)
2022-07-06 13:24:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-06 13:25:50 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 13:26:21 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 13:26:30 +0200frost(~frost@user/frost)
2022-07-06 13:31:13 +0200acidjnk_new(~acidjnk@dynamic-046-114-172-222.46.114.pool.telefonica.de)
2022-07-06 13:34:48 +0200acidjnk(~acidjnk@dynamic-046-114-175-035.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2022-07-06 13:38:09 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-06 13:39:50 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
2022-07-06 13:40:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-06 13:41:52 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 13:43:12 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 13:46:15 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 13:47:18 +0200arjun(~arjun@user/arjun)
2022-07-06 13:49:02 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-07-06 13:50:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-06 13:53:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 13:55:01 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-06 13:57:32 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 255 seconds)
2022-07-06 13:58:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Ping timeout: 244 seconds)
2022-07-06 14:02:45 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-06 14:03:47 +0200alp(~alp@user/alp)
2022-07-06 14:12:23 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-07-06 14:12:33 +0200shalokshalom(~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20)
2022-07-06 14:14:02 +0200arjun(~arjun@user/arjun) (Quit: tip toe-ing my way outta here)
2022-07-06 14:17:41 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 14:18:14 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-06 14:18:23 +0200nate4(~nate@98.45.169.16)
2022-07-06 14:20:52 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-07-06 14:22:50 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-06 14:24:56 +0200adrazalan(~adrazalan@42.191.189.65)
2022-07-06 14:26:59 +0200bliminse(~bliminse@user/bliminse)
2022-07-06 14:32:44 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-07-06 14:35:17 +0200MajorBiscuit(~MajorBisc@c-001-018-041.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5)
2022-07-06 14:41:50 +0200juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 240 seconds)
2022-07-06 14:47:27 +0200thaumavorio(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-06 14:48:11 +0200thaumavorio(~thaumavor@thaumavor.io)
2022-07-06 14:49:03 +0200kuribas(~user@silversquare.silversquare.eu) (Read error: Connection reset by peer)
2022-07-06 14:53:56 +0200dknite_(~dknite@49.37.45.188)
2022-07-06 14:56:38 +0200dknite_(~dknite@49.37.45.188) (Client Quit)
2022-07-06 14:57:06 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-06 15:01:01 +0200polo(~Gambino@user/polo)
2022-07-06 15:03:05 +0200arthurs115(~arthurs11@163.5.10.107)
2022-07-06 15:03:16 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer)
2022-07-06 15:03:33 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-07-06 15:04:30 +0200vandit(~vandit@77-234-86-191.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-06 15:04:39 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 246 seconds)
2022-07-06 15:05:15 +0200polo(~Gambino@user/polo) (Read error: Connection reset by peer)
2022-07-06 15:05:33 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer)
2022-07-06 15:05:33 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer)
2022-07-06 15:05:33 +0200noteness(~noteness@user/noteness) (Write error: Connection reset by peer)
2022-07-06 15:05:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2022-07-06 15:05:33 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2022-07-06 15:05:33 +0200winny(~weechat@user/winny) (Read error: Connection reset by peer)
2022-07-06 15:05:33 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer)
2022-07-06 15:05:49 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-06 15:05:54 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-06 15:05:54 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-06 15:05:56 +0200noteness(~noteness@user/noteness)
2022-07-06 15:06:01 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-06 15:06:10 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-06 15:06:20 +0200vandit(~vandit@77-234-80-202.pool.digikabel.hu)
2022-07-06 15:06:32 +0200acidjnk_new(~acidjnk@dynamic-046-114-172-222.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2022-07-06 15:06:39 +0200winny(~weechat@user/winny)
2022-07-06 15:07:05 +0200quarkyalice(~alice@user/quarkyalice) (Remote host closed the connection)
2022-07-06 15:07:13 +0200acidjnk(~acidjnk@dynamic-046-114-172-222.46.114.pool.telefonica.de)
2022-07-06 15:07:20 +0200quarkyalice(~alice@172.79.64.198)
2022-07-06 15:07:20 +0200quarkyalice(~alice@172.79.64.198) (Changing host)
2022-07-06 15:07:20 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-06 15:12:45 +0200juri_(~juri@79.140.121.66)
2022-07-06 15:12:48 +0200dknite(~dknite@49.37.45.188) (Read error: Connection reset by peer)
2022-07-06 15:13:25 +0200dknite(~dknite@223.191.55.135)
2022-07-06 15:21:38 +0200acidjnk(~acidjnk@dynamic-046-114-172-222.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-07-06 15:22:13 +0200Guest34(~Guest34@152.7.255.203)
2022-07-06 15:24:19 +0200Polo(~Gambino@user/polo)
2022-07-06 15:25:18 +0200arthurs115(~arthurs11@163.5.10.107) (Ping timeout: 276 seconds)
2022-07-06 15:26:52 +0200pleo(~pleo@user/pleo)
2022-07-06 15:26:58 +0200juri_(~juri@79.140.121.66) (Read error: Connection reset by peer)
2022-07-06 15:27:55 +0200 <gnyeki> > isNegativeZero 0
2022-07-06 15:27:56 +0200 <lambdabot> False
2022-07-06 15:28:13 +0200 <gnyeki> > isNegativeZero (-1)
2022-07-06 15:28:15 +0200 <lambdabot> False
2022-07-06 15:29:37 +0200 <Chai-T-Rex> What is a good repository for updated ghc packages on Ubuntu 22.04, since hvr's PPA seems to not have been updated in over a year and doesn't have a version for 22.04.
2022-07-06 15:30:31 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 15:30:48 +0200 <geekosaur> ghcup is currently recommended. I don't know what you do for CI, aside from ghcup in noninteractive mode (controlled via environment variables)
2022-07-06 15:31:33 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.5)
2022-07-06 15:32:32 +0200juri_(~juri@84-19-175-179.pool.ovpn.com)
2022-07-06 15:37:02 +0200Polo(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-06 15:38:42 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-06 15:38:58 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-07-06 15:40:26 +0200Guest34(~Guest34@152.7.255.203) (Ping timeout: 252 seconds)
2022-07-06 15:47:08 +0200dknite(~dknite@223.191.55.135) (Read error: Connection reset by peer)
2022-07-06 15:47:20 +0200Igloo(~ian@matrix.chaos.earth.li) (Ping timeout: 255 seconds)
2022-07-06 15:47:45 +0200dknite(~dknite@49.37.45.188)
2022-07-06 15:49:25 +0200pgas(~pg@190.247.245.154)
2022-07-06 15:49:50 +0200 <fvr> does ghc not yet use source hash to avoid recompilation instead of modification time? I read on the wiki that it does, but testing it with 9.2 shows that it doesn't
2022-07-06 15:49:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-06 15:50:44 +0200 <[exa]> fvr: did you check using a hash collision?
2022-07-06 15:51:15 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-06 15:52:14 +0200 <Chai-T-Rex> geekosaur: Thanks
2022-07-06 15:52:37 +0200 <maerwald> ghcup is non-interactive by default (except for `ghcup tui`)
2022-07-06 15:53:01 +0200 <geekosaur> doesn't the install still ask questions unless you have envars set?
2022-07-06 15:53:14 +0200 <fvr> I am doing `touch --date=@0 Main.hs`, recompile, change the file, then touch to same time again and ghc doesn't recompile
2022-07-06 15:53:15 +0200 <maerwald> geekosaur: you mean the bootstrap script (that's not ghcup itself)
2022-07-06 15:53:18 +0200 <maerwald> yes
2022-07-06 15:53:44 +0200 <maerwald> https://www.haskell.org/ghcup/guide/#continuous-integration
2022-07-06 15:54:41 +0200 <fvr> and with the same source contents, touching the file is causing ghc to recompile. ghc --show-iface Main.hi is identical (with the same source contents)
2022-07-06 15:54:44 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-07-06 15:55:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 15:55:38 +0200Guest34(~Guest34@152.7.255.203)
2022-07-06 15:56:34 +0200 <[exa]> fvr: wait where on the wiki did you find that?
2022-07-06 15:57:09 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-06 15:57:16 +0200 <fvr> https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/recompilation-avoidance
2022-07-06 15:57:23 +0200 <fvr> in the section "How does it work?"
2022-07-06 15:57:24 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-06 15:57:29 +0200Igloo(~ian@matrix.chaos.earth.li)
2022-07-06 15:58:04 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-06 15:59:59 +0200 <[exa]> fvr: ok wow I knew about the interface file hashes but didn't notice there's source hashing too
2022-07-06 16:00:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Ping timeout: 244 seconds)
2022-07-06 16:00:58 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2022-07-06 16:00:59 +0200 <fvr> [exa]: I couldn't find the source hash when I did `--show-iface` though
2022-07-06 16:02:15 +0200gnyeki(~gnyeki@user/gnyeki) (Quit: leaving)
2022-07-06 16:04:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-06 16:05:11 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-06 16:05:32 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-06 16:06:25 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-06 16:10:24 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-06 16:12:32 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-06 16:14:00 +0200aliosablack(~chomwitt@athedsl-351471.home.otenet.gr) (Quit: Leaving)
2022-07-06 16:15:22 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-06 16:16:13 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:753b:477d:ff71:8b54)
2022-07-06 16:18:18 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com)
2022-07-06 16:19:10 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-07-06 16:19:26 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-07-06 16:23:11 +0200dsrt^(~dsrt@128-092-191-146.biz.spectrum.com) (Remote host closed the connection)
2022-07-06 16:24:39 +0200koz(~koz@121.99.240.58) (Ping timeout: 256 seconds)
2022-07-06 16:25:58 +0200koz(~koz@121.99.240.58)
2022-07-06 16:26:20 +0200kronicmage(user90095@neotame.csclub.uwaterloo.ca)
2022-07-06 16:26:25 +0200coot(~coot@213.134.190.95)
2022-07-06 16:26:48 +0200 <kronicmage> @unmtl MaybeT (State Int) a
2022-07-06 16:26:48 +0200 <lambdabot> Int -> (Maybe a, Int)
2022-07-06 16:27:04 +0200 <kronicmage> @unmtl StateT Int Maybe a
2022-07-06 16:27:04 +0200 <lambdabot> Int -> Maybe (a, Int)
2022-07-06 16:52:51 +0200vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-07-06 16:56:16 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-06 16:56:47 +0200pleo(~pleo@user/pleo)
2022-07-06 16:57:09 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-06 16:59:13 +0200slack1256(~slack1256@186.11.63.110)
2022-07-06 17:02:37 +0200Sgeo(~Sgeo@user/sgeo)
2022-07-06 17:02:52 +0200slac47545(~slack1256@191.125.99.92)
2022-07-06 17:03:11 +0200vglfr(~vglfr@88.155.42.104) (Ping timeout: 256 seconds)
2022-07-06 17:05:09 +0200slack1256(~slack1256@186.11.63.110) (Ping timeout: 244 seconds)
2022-07-06 17:06:04 +0200Surobaki(~surobaki@user/surobaki) (Read error: Connection reset by peer)
2022-07-06 17:06:58 +0200vandit(~vandit@77-234-80-202.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-06 17:08:54 +0200vandit(~vandit@84-236-3-145.pool.digikabel.hu)
2022-07-06 17:10:19 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 244 seconds)
2022-07-06 17:12:26 +0200vglfr(~vglfr@88.155.42.104)
2022-07-06 17:13:25 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-07-06 17:17:10 +0200aeka(~aeka@user/hiruji) (Ping timeout: 240 seconds)
2022-07-06 17:17:34 +0200aeka(~aeka@user/hiruji)
2022-07-06 17:18:38 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-07-06 17:18:54 +0200kenran(~kenran@200116b82b6b7600fa26a9cb48d2ea73.dip.versatel-1u1.de)
2022-07-06 17:19:32 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Quit: Chai-T-Rex)
2022-07-06 17:24:50 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-06 17:24:57 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-07-06 17:25:37 +0200MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-07-06 17:26:22 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-07-06 17:32:14 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 17:36:10 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-07-06 17:36:45 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2022-07-06 17:37:11 +0200vglfr(~vglfr@88.155.42.104) (Ping timeout: 244 seconds)
2022-07-06 17:40:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 17:40:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-07-06 17:46:03 +0200liz(~liz@host86-159-158-175.range86-159.btcentralplus.com)
2022-07-06 17:47:06 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-07-06 17:47:31 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 244 seconds)
2022-07-06 17:49:01 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-07-06 17:49:33 +0200slack1256(~slack1256@191.125.99.205)
2022-07-06 17:52:12 +0200slac47545(~slack1256@191.125.99.92) (Ping timeout: 276 seconds)
2022-07-06 17:55:47 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-06 17:59:45 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-07-06 18:00:07 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: You have been kicked for being idle)
2022-07-06 18:00:15 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-06 18:04:21 +0200werneta(~werneta@137.78.30.207)
2022-07-06 18:04:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 18:05:06 +0200acidjnk(~acidjnk@dynamic-046-114-004-249.46.114.pool.telefonica.de)
2022-07-06 18:06:06 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 18:06:13 +0200benin0(~benin@183.82.26.81) (Quit: The Lounge - https://thelounge.chat)
2022-07-06 18:07:41 +0200acidjnk(~acidjnk@dynamic-046-114-004-249.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2022-07-06 18:09:04 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-06 18:09:56 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-06 18:10:10 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-07-06 18:11:42 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2022-07-06 18:11:52 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-06 18:13:24 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-06 18:16:19 +0200cyphase_eviltwin(~cyphase@user/cyphase)
2022-07-06 18:16:56 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds)
2022-07-06 18:18:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-06 18:19:53 +0200nate4(~nate@98.45.169.16)
2022-07-06 18:20:27 +0200dibblego(~dibblego@haskell/developer/dibblego) (Excess Flood)
2022-07-06 18:20:39 +0200zaquest(~notzaques@5.130.79.72)
2022-07-06 18:20:49 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.com)
2022-07-06 18:20:50 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2022-07-06 18:20:50 +0200dibblego(~dibblego@haskell/developer/dibblego)
2022-07-06 18:21:37 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-06 18:22:21 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-06 18:24:55 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 18:25:39 +0200mbuf(~Shakthi@122.164.12.51) (Quit: Leaving)
2022-07-06 18:26:16 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-07-06 18:29:22 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 18:34:19 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 18:35:04 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-06 18:35:41 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 18:35:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 18:37:44 +0200ns(~ns@66-90-198-187.dyn.grandenetworks.net)
2022-07-06 18:41:18 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-06 18:41:44 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 18:42:58 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 18:45:58 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-06 18:47:27 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 244 seconds)
2022-07-06 18:49:23 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-06 18:50:04 +0200MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Quit: WeeChat 3.5)
2022-07-06 18:55:09 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-06 18:57:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-07-06 19:01:14 +0200econo(uid147250@user/econo)
2022-07-06 19:04:50 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-06 19:04:54 +0200spacenautx(~spacenaut@user/spacenautx)
2022-07-06 19:07:13 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-06 19:08:01 +0200pleo(~pleo@user/pleo)
2022-07-06 19:08:21 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 19:14:15 +0200notzmv(~zmv@user/notzmv)
2022-07-06 19:20:54 +0200cyphase_eviltwin(~cyphase@user/cyphase) (Ping timeout: 272 seconds)
2022-07-06 19:22:35 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-07-06 19:22:57 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-07-06 19:24:20 +0200Guest34(~Guest34@152.7.255.203) (Quit: Client closed)
2022-07-06 19:25:05 +0200cyphase_eviltwin(~cyphase@user/cyphase)
2022-07-06 19:26:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 19:28:24 +0200vandit(~vandit@84-236-3-145.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-06 19:29:44 +0200vandit(~vandit@85-238-73-103.pool.digikabel.hu)
2022-07-06 19:34:36 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-06 19:36:19 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-06 19:36:21 +0200ns(~ns@66-90-198-187.dyn.grandenetworks.net) (Quit: Connection closed)
2022-07-06 19:36:40 +0200alp(~alp@user/alp)
2022-07-06 19:43:19 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-07-06 19:47:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 19:51:31 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Ping timeout: 244 seconds)
2022-07-06 19:52:49 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 19:53:36 +0200hnOsmium0001(uid453710@user/hnOsmium0001)
2022-07-06 19:53:52 +0200 <kronicmage> does anyone have an example of a udp echo server w/ conduit and conduit-extra?
2022-07-06 19:59:57 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 20:00:18 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-06 20:06:30 +0200gnyeki(~gnyeki@user/gnyeki)
2022-07-06 20:09:51 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 20:11:19 +0200Topsi(~Topsi@host-88-217-154-179.customer.m-online.net)
2022-07-06 20:14:30 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-06 20:18:59 +0200coot(~coot@213.134.190.95)
2022-07-06 20:20:03 +0200coot(~coot@213.134.190.95) (Client Quit)
2022-07-06 20:25:54 +0200Inst(~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 264 seconds)
2022-07-06 20:26:08 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 20:32:50 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-06 20:36:22 +0200pleo(~pleo@user/pleo)
2022-07-06 20:39:35 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 20:39:50 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-06 20:42:04 +0200jelewis2(~lewisje@2001:470:1f11:14e:50c5:a481:bb91:9810)
2022-07-06 20:43:24 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 20:44:30 +0200lewisje(~lewisje@2001:470:1f11:14e:cd43:1885:128a:a771) (Ping timeout: 264 seconds)
2022-07-06 20:47:36 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 20:51:25 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-06 20:51:52 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-06 20:51:55 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-06 20:52:29 +0200Guest1222(~Gambino@user/polo)
2022-07-06 20:57:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-07-06 20:57:38 +0200Guest1222(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-06 21:09:29 +0200raehik(~raehik@82.21.176.157)
2022-07-06 21:09:37 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34)
2022-07-06 21:09:57 +0200codaraxis(~codaraxis@user/codaraxis)
2022-07-06 21:13:34 +0200mikoto-chan(~mikoto-ch@d4993wwllbghfvxsgd4-4.rev.dnainternet.fi)
2022-07-06 21:13:39 +0200kenran(~kenran@200116b82b6b7600fa26a9cb48d2ea73.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-07-06 21:17:17 +0200Topsi(~Topsi@host-88-217-154-179.customer.m-online.net) (Ping timeout: 244 seconds)
2022-07-06 21:21:14 +0200vglfr(~vglfr@88.155.42.104)
2022-07-06 21:26:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:252d:8903:2bfd:b34) (Remote host closed the connection)
2022-07-06 21:26:55 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-07-06 21:28:39 +0200mikoto-chan(~mikoto-ch@d4993wwllbghfvxsgd4-4.rev.dnainternet.fi) (Ping timeout: 244 seconds)
2022-07-06 21:29:37 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-06 21:29:41 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2022-07-06 21:30:06 +0200tabemann(~tabemann@2600:1700:7990:24e0:4002:5f1:9464:2bd4) (Ping timeout: 264 seconds)
2022-07-06 21:34:45 +0200pleo(~pleo@user/pleo) (Ping timeout: 260 seconds)
2022-07-06 21:35:17 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection)
2022-07-06 21:35:48 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-06 21:39:09 +0200raehik(~raehik@82.21.176.157) (Ping timeout: 256 seconds)
2022-07-06 21:40:02 +0200alp(~alp@user/alp)
2022-07-06 21:42:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2022-07-06 21:42:30 +0200polo(~Gambino@user/polo)
2022-07-06 21:44:38 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1) (Quit: Shinji leaves)
2022-07-06 21:44:53 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1)
2022-07-06 21:45:59 +0200vandit(~vandit@85-238-73-103.pool.digikabel.hu) (Ping timeout: 255 seconds)
2022-07-06 21:47:33 +0200vandit(~vandit@94-21-48-10.pool.digikabel.hu)
2022-07-06 21:47:57 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 21:48:30 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2022-07-06 21:51:18 +0200alexhandy2(~trace@user/trace)
2022-07-06 21:52:28 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1) (Quit: Shinji leaves)
2022-07-06 21:54:00 +0200alexhandy(~trace@user/trace) (Ping timeout: 276 seconds)
2022-07-06 21:57:39 +0200polo(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-06 21:58:06 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1)
2022-07-06 21:59:10 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
2022-07-06 21:59:40 +0200Polo(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-06 22:00:02 +0200son0p(~ff@181.136.122.143)
2022-07-06 22:01:10 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-06 22:01:26 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-06 22:03:40 +0200Polo(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-06 22:03:40 +0200pleo(~pleo@user/pleo)
2022-07-06 22:04:33 +0200lyonsj(~jlyons@cpc82925-enfi22-2-0-cust91.20-2.cable.virginm.net)
2022-07-06 22:07:31 +0200alexhandy(~trace@user/trace)
2022-07-06 22:08:36 +0200pleo(~pleo@user/pleo) (Ping timeout: 276 seconds)
2022-07-06 22:09:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-06 22:09:59 +0200alexhandy2(~trace@user/trace) (Ping timeout: 244 seconds)
2022-07-06 22:10:54 +0200pavonia(~user@user/siracusa)
2022-07-06 22:12:10 +0200lyonsj(~jlyons@cpc82925-enfi22-2-0-cust91.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-07-06 22:13:03 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net)
2022-07-06 22:13:58 +0200ph88(~ph88@2a02:8109:9e00:71d0::fc54)
2022-07-06 22:15:25 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2022-07-06 22:18:27 +0200kenran(~kenran@200116b82b6b76006070878d177d48c4.dip.versatel-1u1.de)
2022-07-06 22:20:23 +0200kenran(~kenran@200116b82b6b76006070878d177d48c4.dip.versatel-1u1.de) (Client Quit)
2022-07-06 22:21:43 +0200pleo(~pleo@user/pleo)
2022-07-06 22:22:23 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-06 22:23:08 +0200nate4(~nate@98.45.169.16)
2022-07-06 22:27:24 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net)
2022-07-06 22:28:27 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-07-06 22:28:49 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-06 22:28:52 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection)
2022-07-06 22:29:10 +0200arthurs115(~arthurs11@78.196.67.166)
2022-07-06 22:29:24 +0200shalokshalom(~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) (Remote host closed the connection)
2022-07-06 22:30:47 +0200coot(~coot@213.134.190.95)
2022-07-06 22:31:41 +0200vglfr(~vglfr@88.155.42.104) (Ping timeout: 244 seconds)
2022-07-06 22:36:54 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 276 seconds)
2022-07-06 22:43:30 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-06 22:47:37 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-06 22:50:27 +0200nate4(~nate@98.45.169.16)
2022-07-06 22:51:50 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
2022-07-06 22:53:59 +0200tafa(~tafa@user/tafa) (Quit: ZNC - https://znc.in)
2022-07-06 22:56:00 +0200tafa(~tafa@user/tafa)
2022-07-06 22:57:22 +0200arthurs115(~arthurs11@78.196.67.166) (Remote host closed the connection)
2022-07-06 22:59:19 +0200quarkyalice_(~quarkyali@user/quarkyalice/x-8092822)
2022-07-06 22:59:41 +0200SoF(~skius@user/skius)
2022-07-06 23:02:28 +0200charukiewicz(~charukiew@2600:1702:a90:2750::3c)
2022-07-06 23:05:40 +0200quarkyalice_(~quarkyali@user/quarkyalice/x-8092822) (Quit: quarkyalice_)
2022-07-06 23:12:09 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-06 23:12:47 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-06 23:15:36 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-06 23:15:41 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-06 23:23:38 +0200gmg(~user@user/gehmehgeh)
2022-07-06 23:26:28 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de)
2022-07-06 23:31:17 +0200Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 255 seconds)
2022-07-06 23:31:37 +0200alp(~alp@user/alp) (Ping timeout: 244 seconds)
2022-07-06 23:34:01 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net)
2022-07-06 23:34:52 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-06 23:40:20 +0200slack1256(~slack1256@191.125.99.205) (Read error: Connection reset by peer)
2022-07-06 23:40:26 +0200slac29825(~slack1256@186.11.56.174)
2022-07-06 23:43:56 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-06 23:47:10 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-06 23:49:03 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-07-06 23:49:45 +0200lyonsj(~jlyons@cpc82925-enfi22-2-0-cust91.20-2.cable.virginm.net)
2022-07-06 23:50:21 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds)
2022-07-06 23:50:43 +0200lyonsj(~jlyons@cpc82925-enfi22-2-0-cust91.20-2.cable.virginm.net) (Client Quit)
2022-07-06 23:51:01 +0200Sgeo_(~Sgeo@user/sgeo)
2022-07-06 23:51:45 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-06 23:52:54 +0200vandit(~vandit@94-21-48-10.pool.digikabel.hu) (Ping timeout: 264 seconds)
2022-07-06 23:54:07 +0200vandit(~vandit@87-97-82-188.pool.digikabel.hu)
2022-07-06 23:54:21 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 244 seconds)
2022-07-06 23:54:37 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Client Quit)
2022-07-06 23:56:29 +0200aeka(~aeka@user/hiruji) (Ping timeout: 255 seconds)