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