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