Logs on 2023-07-23 (liberachat/#haskell)
| 00:01:54 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:03:22 | → | califax joins (~califax@user/califx) |
| 00:08:55 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:08:55 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:08:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:09:48 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 00:13:14 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 00:28:36 | × | Guest9790 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 00:43:08 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 00:45:23 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:47:27 | × | cbarrett quits (sid192934@2a03:5180:f:1::2:f1a6) (Ping timeout: 245 seconds) |
| 00:51:03 | → | cbarrett joins (sid192934@id-192934.helmsley.irccloud.com) |
| 01:09:06 | → | jargon joins (~jargon@174-22-223-141.phnx.qwest.net) |
| 01:10:22 | × | legacy quits (~legacy@84-236-21-51.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 01:11:06 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:05 | → | legacy joins (~legacy@84-236-1-13.pool.digikabel.hu) |
| 01:17:14 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:26:21 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:29:48 | → | akshitkr joins (~user@218.185.248.66) |
| 01:29:52 | <akshitkr> | sure |
| 01:35:14 | × | andrewboltachev quits (~andrey@178.141.125.70) (Quit: Leaving.) |
| 01:35:40 | → | andrewboltachev joins (~andrey@178.141.125.70) |
| 01:36:40 | × | ddellacosta quits (~ddellacos@146.70.165.10) (Ping timeout: 244 seconds) |
| 01:38:38 | → | ddellacosta joins (~ddellacos@146.70.166.100) |
| 01:38:51 | × | akshitkr quits (~user@218.185.248.66) (Remote host closed the connection) |
| 01:42:34 | → | komikat joins (~user@218.185.248.66) |
| 01:42:45 | <komikat> | ping |
| 01:43:21 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:44:25 | komikat | hi |
| 01:47:35 | → | komikat` joins (~user@218.185.248.66) |
| 01:47:46 | <komikat`> | test |
| 01:49:23 | <geekosaur> | hi |
| 01:49:31 | <geekosaur> | I don't think anyone but me is around right now |
| 01:51:11 | <komikat> | damn |
| 01:58:53 | → | razetime joins (~quassel@117.193.7.33) |
| 02:00:46 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 02:01:26 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 02:06:38 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 02:08:59 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:15:33 | × | hippoid quits (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.0.1) |
| 02:21:01 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 02:22:39 | × | td_ quits (~td@i53870914.versanet.de) (Ping timeout: 244 seconds) |
| 02:24:41 | → | td_ joins (~td@i53870909.versanet.de) |
| 02:35:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 02:37:42 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::3) (Ping timeout: 260 seconds) |
| 02:37:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:37:51 | → | dsrt^ joins (~cd@24.125.210.85) |
| 02:46:38 | × | mei quits (~mei@user/mei) (Ping timeout: 250 seconds) |
| 02:48:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 03:01:12 | → | xugaw joins (~xugaw@p5b340031.dip0.t-ipconnect.de) |
| 03:01:19 | <xugaw> | /exit |
| 03:01:31 | × | xugaw quits (~xugaw@p5b340031.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 03:10:42 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 03:13:48 | × | ddellacosta quits (~ddellacos@146.70.166.100) (Ping timeout: 244 seconds) |
| 03:15:59 | → | ddellacosta joins (~ddellacos@146.70.165.154) |
| 03:16:07 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:16:07 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:16:07 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:16:21 | → | shriekingnoise_ joins (~shrieking@186.137.175.87) |
| 03:16:23 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 244 seconds) |
| 03:18:44 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 03:25:09 | × | legacy quits (~legacy@84-236-1-13.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 03:26:44 | → | legacy joins (~legacy@85-238-93-127.pool.digikabel.hu) |
| 03:27:06 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 03:29:04 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:29:04 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:29:04 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:30:01 | × | ddellacosta quits (~ddellacos@146.70.165.154) (Ping timeout: 245 seconds) |
| 03:31:51 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 03:33:57 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 03:33:57 | × | razetime quits (~quassel@117.193.7.33) (Ping timeout: 244 seconds) |
| 03:35:26 | → | aforemny_ joins (~aforemny@i59F516EF.versanet.de) |
| 03:36:01 | × | aforemny quits (~aforemny@i59F516F8.versanet.de) (Ping timeout: 244 seconds) |
| 03:38:09 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:38:09 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:38:09 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:42:58 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 03:47:13 | → | dibblego joins (~dibblego@116.255.1.151) |
| 03:47:13 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 03:47:13 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:49:04 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 03:50:48 | → | Alleria joins (~AllahuAkb@2603-8000-fc01-e000-e0b8-6a5f-2f2a-af1c.res6.spectrum.com) |
| 03:51:51 | × | Alleria quits (~AllahuAkb@2603-8000-fc01-e000-e0b8-6a5f-2f2a-af1c.res6.spectrum.com) (Client Quit) |
| 03:53:46 | × | jargon quits (~jargon@174-22-223-141.phnx.qwest.net) (Remote host closed the connection) |
| 03:58:24 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 03:58:34 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Client Quit) |
| 04:03:08 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 04:03:38 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 04:04:58 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
| 04:06:44 | → | robertm joins (robertm@lattice.rojoma.com) |
| 04:18:04 | × | xff0x quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 04:18:27 | → | xff0x joins (~xff0x@178.255.149.135) |
| 04:23:33 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 04:27:34 | × | nick4 quits (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 260 seconds) |
| 04:31:42 | → | razetime joins (~quassel@117.193.7.33) |
| 04:40:05 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 244 seconds) |
| 04:48:52 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 04:50:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 04:50:39 | → | xff0x joins (~xff0x@2405:6580:b080:900:8170:477f:e943:a1a1) |
| 04:57:20 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:57:20 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:57:20 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:03:21 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 05:15:52 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:18:38 | → | trev joins (~trev@user/trev) |
| 05:20:01 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 05:31:26 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 05:32:55 | × | myme quits (~myme@2a01:799:d60:e400:c5b2:fe0:610f:cd7e) (Ping timeout: 240 seconds) |
| 05:34:17 | → | myme joins (~myme@2a01:799:d60:e400:f7ae:b326:9b0a:e59) |
| 05:40:10 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 06:14:38 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 06:16:01 | → | gmg joins (~user@user/gehmehgeh) |
| 06:24:58 | × | komikat` quits (~user@218.185.248.66) (Ping timeout: 244 seconds) |
| 06:25:11 | × | komikat quits (~user@218.185.248.66) (Ping timeout: 264 seconds) |
| 06:28:56 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 06:30:08 | × | xff0x quits (~xff0x@2405:6580:b080:900:8170:477f:e943:a1a1) (Ping timeout: 244 seconds) |
| 06:30:31 | → | xff0x joins (~xff0x@ai086045.d.east.v6connect.net) |
| 06:30:39 | × | Inst__ quits (~Inst@2601:6c4:4081:2fc0:a82c:59d6:de54:3fd2) (Ping timeout: 260 seconds) |
| 06:31:36 | → | komikat` joins (~user@218.185.248.66) |
| 06:31:36 | → | komikat joins (~user@218.185.248.66) |
| 06:37:29 | × | komikat` quits (~user@218.185.248.66) (Ping timeout: 246 seconds) |
| 06:37:29 | × | komikat quits (~user@218.185.248.66) (Ping timeout: 246 seconds) |
| 06:37:50 | → | Guest|21 joins (~Guest|21@lnsm3-montreal02-142-118-84-157.internet.virginmobile.ca) |
| 06:37:57 | × | Guest|21 quits (~Guest|21@lnsm3-montreal02-142-118-84-157.internet.virginmobile.ca) (Client Quit) |
| 06:38:07 | → | mei joins (~mei@user/mei) |
| 06:40:06 | → | komikat` joins (~user@218.185.248.66) |
| 06:40:06 | → | komikat joins (~user@218.185.248.66) |
| 06:40:46 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 06:43:59 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 06:43:59 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 06:43:59 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 06:45:01 | × | komikat` quits (~user@218.185.248.66) (Ping timeout: 245 seconds) |
| 06:45:01 | × | komikat quits (~user@218.185.248.66) (Ping timeout: 245 seconds) |
| 06:46:10 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:46:24 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 06:48:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 06:55:07 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 06:55:07 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 06:55:07 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 06:58:02 | → | komikat` joins (~user@218.185.248.66) |
| 06:58:02 | → | komikat joins (~user@218.185.248.66) |
| 07:01:39 | → | acidjnk joins (~acidjnk@p200300d6e7072f781cede2166f9d501c.dip0.t-ipconnect.de) |
| 07:04:14 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 07:04:29 | → | nick4 joins (~nick@ip98-162-147-230.pn.at.cox.net) |
| 07:05:08 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:09:09 | × | nick4 quits (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 260 seconds) |
| 07:12:59 | → | alexherbo2 joins (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) |
| 07:13:25 | × | thelounge793 quits (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: The Lounge - https://thelounge.chat) |
| 07:13:57 | cyphase_eviltwin | is now known as cyphase |
| 07:27:11 | → | thelounge793 joins (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 07:28:58 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 07:31:16 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 07:36:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:38:03 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 07:40:02 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 07:45:59 | → | gurkenglas joins (~gurkengla@dynamic-046-114-092-196.46.114.pool.telefonica.de) |
| 07:57:00 | → | titibandit joins (~titibandi@user/titibandit) |
| 07:58:09 | × | razetime quits (~quassel@117.193.7.33) (Ping timeout: 260 seconds) |
| 08:01:34 | × | alexherbo2 quits (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection) |
| 08:03:38 | → | akegalj joins (~akegalj@36-90.dsl.iskon.hr) |
| 08:04:11 | → | alexherbo2 joins (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) |
| 08:08:54 | → | razetime joins (~quassel@117.193.7.33) |
| 08:10:46 | × | akegalj quits (~akegalj@36-90.dsl.iskon.hr) (Remote host closed the connection) |
| 08:14:44 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) (Remote host closed the connection) |
| 08:17:38 | × | alexherbo2 quits (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection) |
| 08:20:33 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 08:24:47 | → | alexherbo2 joins (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) |
| 08:25:37 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 08:26:44 | × | gurkenglas quits (~gurkengla@dynamic-046-114-092-196.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 08:38:40 | → | gurkenglas joins (~gurkengla@46.114.94.83) |
| 08:40:41 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 08:40:51 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 08:50:29 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 08:52:09 | → | mango joins (~finn@176-151-21-224.abo.bbox.fr) |
| 08:59:59 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:00:50 | × | phma quits (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Read error: Connection reset by peer) |
| 09:01:46 | → | phma joins (~phma@2001:5b0:215a:83d8:36ed:3779:fa92:acd) |
| 09:04:25 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 09:05:26 | × | mango quits (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 09:11:27 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 09:13:10 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 09:15:06 | → | titibandit joins (~titibandi@user/titibandit) |
| 09:15:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) |
| 09:16:54 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:19:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) (Ping timeout: 260 seconds) |
| 09:20:07 | × | legacy quits (~legacy@85-238-93-127.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 09:20:20 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:21:40 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 09:22:06 | → | legacy joins (~legacy@85-238-93-127.pool.digikabel.hu) |
| 09:27:28 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 09:29:05 | → | titibandit joins (~titibandi@user/titibandit) |
| 09:32:59 | → | mango joins (~finn@176-151-21-224.abo.bbox.fr) |
| 09:33:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:34:11 | → | califax joins (~califax@user/califx) |
| 09:39:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:40:14 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 09:41:34 | → | Midjak joins (~Midjak@82.66.147.146) |
| 09:42:46 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:49:44 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 09:52:04 | → | Inst__ joins (~Inst@2601:6c4:4081:2fc0:78d7:b1ca:6be1:4a52) |
| 10:05:39 | × | mango quits (~finn@176-151-21-224.abo.bbox.fr) (Read error: Connection reset by peer) |
| 10:09:12 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 10:10:56 | ← | gnalzo parts (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (WeeChat 4.0.1) |
| 10:17:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 10:17:52 | → | califax joins (~califax@user/califx) |
| 10:20:56 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 10:23:30 | → | ripspin joins (~chatzilla@1.145.176.111) |
| 10:25:13 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 10:31:56 | × | shriekingnoise_ quits (~shrieking@186.137.175.87) (Ping timeout: 244 seconds) |
| 10:33:35 | → | trillp joins (~user@2001:19f0:6402:d51:a653:53fd:6a79:a55) |
| 10:34:29 | → | __monty__ joins (~toonn@user/toonn) |
| 10:34:52 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 10:36:06 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 10:37:04 | → | titibandit joins (~titibandi@user/titibandit) |
| 10:38:34 | × | legacy quits (~legacy@85-238-93-127.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 10:39:20 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 10:39:54 | → | legacy joins (~legacy@89-186-118-192.pool.digikabel.hu) |
| 10:47:13 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 10:47:32 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 10:50:54 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:52:45 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:01:31 | × | mrmr quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 11:04:27 | <Hecate> | int-e: <3 <3 |
| 11:07:05 | → | mrmr joins (~mrmr@user/mrmr) |
| 11:08:44 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 11:09:48 | → | idjaen joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:13:12 | idjaen | is now known as idgaen |
| 11:13:42 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 11:17:30 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 11:31:14 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 11:31:36 | <int-e> | :) |
| 11:34:01 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:48:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:48:38 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 11:49:44 | × | legacy quits (~legacy@89-186-118-192.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 11:50:55 | <komikat> | good morning |
| 11:51:32 | → | legacy joins (~legacy@188-143-101-104.pool.digikabel.hu) |
| 11:53:14 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 11:57:47 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:59:08 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 12:06:03 | → | Axman6 joins (~Axman6@user/axman6) |
| 12:08:43 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 12:10:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 12:14:11 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 245 seconds) |
| 12:16:10 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 12:18:37 | × | razetime quits (~quassel@117.193.7.33) (Remote host closed the connection) |
| 12:37:52 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 12:38:53 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 12:39:55 | → | titibandit joins (~titibandi@user/titibandit) |
| 12:43:18 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 12:44:03 | × | idgaen quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 12:52:28 | × | dsrt^ quits (~cd@24.125.210.85) (Ping timeout: 244 seconds) |
| 12:55:51 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 12:55:51 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 12:59:30 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 13:07:39 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 13:17:38 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 13:20:14 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 13:24:17 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 13:26:43 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 13:28:53 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 13:32:03 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:33:21 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 13:35:29 | → | titibandit joins (~titibandi@user/titibandit) |
| 13:39:52 | × | johnw quits (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 13:40:01 | → | johnw_ joins (~johnw@2601:204:dc00:b0c0:10:645a:bbeb:9423) |
| 13:40:19 | → | Guest|83 joins (~Guest|83@staticline-31-183-137-224.toya.net.pl) |
| 13:40:23 | × | Guest|83 quits (~Guest|83@staticline-31-183-137-224.toya.net.pl) (Client Quit) |
| 13:40:58 | × | stilgart quits (~Christoph@chezlefab.net) (Ping timeout: 250 seconds) |
| 13:42:52 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 13:45:48 | → | ddellacosta joins (~ddellacos@143.244.47.84) |
| 13:47:59 | × | Vajb quits (~Vajb@2001:999:704:b8c8:e14b:a6fe:34f9:7c8b) (Ping timeout: 264 seconds) |
| 13:48:57 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 13:55:22 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 13:58:27 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:00:10 | → | dsrt^ joins (~cd@24.125.210.85) |
| 14:02:16 | × | alexherbo2 quits (~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection) |
| 14:09:44 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 14:12:04 | × | johnw_ quits (~johnw@2601:204:dc00:b0c0:10:645a:bbeb:9423) (Ping timeout: 260 seconds) |
| 14:14:53 | → | johnw joins (~johnw@69.62.242.138) |
| 14:16:37 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 14:19:42 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) |
| 14:22:22 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 14:22:47 | → | Sciencentistguy8 joins (~sciencent@hacksoc/ordinary-member) |
| 14:22:55 | × | komikat quits (~user@218.185.248.66) (Remote host closed the connection) |
| 14:22:55 | × | komikat` quits (~user@218.185.248.66) (Remote host closed the connection) |
| 14:23:31 | → | komikat joins (~user@218.185.248.66) |
| 14:23:37 | <komikat> | gm |
| 14:24:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) (Ping timeout: 260 seconds) |
| 14:24:36 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 14:24:37 | Sciencentistguy8 | is now known as Sciencentistguy |
| 14:28:25 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 14:41:53 | × | thelounge793 quits (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: The Lounge - https://thelounge.chat) |
| 14:42:20 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:43:15 | → | thelounge793 joins (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 14:44:25 | × | byte quits (~byte@user/byte) (Quit: Quitting...) |
| 14:44:27 | → | mik3d joins (~mik3d@74.102.139.139) |
| 14:45:09 | → | byte joins (~byte@user/byte) |
| 14:45:21 | <mik3d> | Howdy. morpheusgraphql anyone ? https://github.com/morpheusgraphql/morpheus-graphql/pull/842 |
| 14:45:41 | <mik3d> | need help deriving a new type |
| 14:47:59 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 14:50:32 | → | dolio joins (~dolio@130.44.134.54) |
| 14:51:44 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 14:53:41 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:56:43 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 15:01:39 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 15:02:15 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:02:56 | × | ubert quits (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 15:04:51 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 15:05:44 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 15:10:14 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 250 seconds) |
| 15:10:25 | → | Fischmiep8 joins (~Fischmiep@user/Fischmiep) |
| 15:14:32 | → | Fischmiep86 joins (~Fischmiep@user/Fischmiep) |
| 15:14:35 | × | Fischmiep8 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 246 seconds) |
| 15:19:09 | × | Fischmiep86 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 246 seconds) |
| 15:19:44 | → | Fischmiep86 joins (~Fischmiep@user/Fischmiep) |
| 15:22:10 | × | Fischmiep86 quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 15:22:51 | → | Fischmiep86 joins (~Fischmiep@user/Fischmiep) |
| 15:24:06 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:25:47 | → | ubert joins (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) |
| 15:27:05 | × | heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (Read error: Connection reset by peer) |
| 15:29:02 | × | Fischmiep86 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 15:30:40 | → | Fischmiep863 joins (~Fischmiep@user/Fischmiep) |
| 15:30:40 | × | Fischmiep863 quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 15:38:52 | → | Fischmiep863 joins (~Fischmiep@user/Fischmiep) |
| 15:39:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 15:39:20 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 15:39:20 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 15:39:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:42:27 | → | DigitalKiwi joins (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 15:45:02 | × | Fischmiep863 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 244 seconds) |
| 15:49:28 | → | juri_ joins (~juri@79.140.123.215) |
| 15:49:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:50:03 | × | juri_ quits (~juri@79.140.123.215) (Read error: Connection reset by peer) |
| 15:50:12 | → | heartburn joins (~gass@2a00:d880:3:1::b1e4:b241) |
| 15:50:34 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 15:54:28 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 15:54:32 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 15:54:40 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 15:55:22 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 15:56:13 | → | Fischmiep863 joins (~Fischmiep@user/Fischmiep) |
| 15:56:46 | → | trev joins (~trev@user/trev) |
| 15:57:20 | → | mei joins (~mei@user/mei) |
| 16:00:34 | × | Fischmiep863 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 16:09:12 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 16:11:58 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 16:12:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) |
| 16:12:39 | <dmj`> | mik3d: you're going to need to post more code for people to understand why this is occurring. Specifically this module examples/scotty/src/Server/Mythology/API.hs |
| 16:12:59 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:27:52 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 16:33:35 | × | ddellacosta quits (~ddellacos@143.244.47.84) (Ping timeout: 264 seconds) |
| 16:35:24 | → | ddellacosta joins (~ddellacos@146.70.185.177) |
| 16:38:11 | → | wroathe joins (~wroathe@71.24.231.118) |
| 16:38:11 | × | wroathe quits (~wroathe@71.24.231.118) (Changing host) |
| 16:38:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:40:12 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 16:40:40 | <mik3d> | dmj, the code is complete, i just need to figure out how to derive the resolver. the error message is very confusing. |
| 16:49:12 | × | raym quits (~ray@user/raym) (Ping timeout: 240 seconds) |
| 16:50:08 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 16:54:30 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 16:57:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:57:34 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 16:57:37 | → | Tlsx joins (~rscastilh@187.40.124.54) |
| 16:58:11 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:59:16 | × | ripspin quits (~chatzilla@1.145.176.111) (Remote host closed the connection) |
| 17:00:15 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 17:01:02 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 17:02:11 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 17:15:12 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:18:29 | × | perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 17:19:11 | → | perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 17:22:53 | × | perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 17:23:02 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 17:23:35 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 17:25:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 17:27:58 | <dmj`> | mik3d: ok, I'm able to repro your type error |
| 17:28:23 | <mik3d> | oh thanks! dmj` its nice to be able to check in the code! |
| 17:29:11 | <mik3d> | i am trying to serve smaller chunks via the api now instead of the top level going forresolveDeityStory :: DeityArgs -> ResolverQ e IO Global_declarations |
| 17:30:46 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:31:07 | <mik3d> | maybe the prod t*T type is too complex or needs a rule like this instance ToJSON (Prod Global_env Term) where like json does |
| 17:32:38 | → | wroathe joins (~wroathe@71.24.231.118) |
| 17:32:38 | × | wroathe quits (~wroathe@71.24.231.118) (Changing host) |
| 17:32:38 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:34:32 | <mik3d> | yeah stuck there now : (GHC.Generics.Rep (List (Prod Kername Global_decl)))) so basically need to derive these list/prod rules you can see in TestMeta.hs commented out i needed them for other serialization systems |
| 17:44:54 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 17:45:28 | <dmj`> | mik3d: rec_def_term is 50k lines long |
| 17:46:04 | <mik3d> | It's like a freaking goedle number |
| 17:49:34 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 17:53:18 | → | ub joins (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) |
| 17:53:58 | → | michalz joins (~michalz@185.246.207.197) |
| 18:06:21 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 18:07:06 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 18:07:23 | <justsomeguy> | So, in "Chapter 15: Monoids and Semigroup" of haskelbook.com, they say "an algebra is one or more operations and the set they operate over". What does "operate over" mean? Is that like a mathematical closure? (I was thinking it was a combination of "closed over" and "operate on".) |
| 18:07:54 | <dmj`> | mik3d: I think their docs / examples might be out of date, in their example they have (ResolverQ e () Deity), but this won't kind check against (type ResolverQ :: forall {k}. * -> (* -> *) -> k -> * ) |
| 18:10:48 | × | Tlsx quits (~rscastilh@187.40.124.54) () |
| 18:12:57 | → | MacSlow joins (~MacSlow@p57bb296a.dip0.t-ipconnect.de) |
| 18:13:12 | → | Tlsx joins (~rscastilh@187.40.124.54) |
| 18:13:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:13:38 | → | merijn joins (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 18:14:01 | <MacSlow> | Greetings everyone! |
| 18:14:21 | <jade[m]> | hiya |
| 18:15:44 | → | perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 18:15:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:18:26 | × | merijn quits (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 18:19:10 | → | captnemo joins (~captnemo@193.32.127.239) |
| 18:24:30 | <ncf> | justsomeguy: algebraic operations typically take n elements from a set X as input, and produce an element of X; X is the set that the operation operates over, in this case |
| 18:24:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:25:08 | <ncf> | "operate on" should be synonymous |
| 18:25:14 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 18:25:18 | <ncf> | ok bye |
| 18:29:26 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 18:29:54 | × | arizona quits (~arizona@bcdcac82.skybroadband.com) (Ping timeout: 260 seconds) |
| 18:30:11 | → | nick4 joins (~nick@2600:8807:9084:7800:f1f0:6aed:eef0:d448) |
| 18:30:50 | → | mik3d joins (~mik3d@74.102.139.139) |
| 18:30:52 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 18:33:35 | → | mik3d joins (~mik3d@74.102.139.139) |
| 18:33:44 | × | qrst quits (~qrst@user/qrst) (Quit: leaving) |
| 18:34:01 | → | qrst joins (~qrst@user/qrst) |
| 18:34:40 | → | ystael joins (~ystael@user/ystael) |
| 18:41:23 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:42:09 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 18:42:34 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 18:43:30 | → | yangby joins (~secret@115.220.174.193) |
| 18:43:35 | × | yangby quits (~secret@115.220.174.193) (Client Quit) |
| 18:45:14 | → | yangby joins (~secret@115.220.174.193) |
| 18:49:43 | × | komikat quits (~user@218.185.248.66) (Read error: Connection reset by peer) |
| 18:52:42 | → | ystael joins (~ystael@user/ystael) |
| 18:52:49 | → | titibandit joins (~titibandi@user/titibandit) |
| 18:56:33 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 18:57:21 | → | arizona joins (~arizona@bcdcac82.skybroadband.com) |
| 18:59:47 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 19:04:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:07:18 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 19:08:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:11:59 | × | captnemo quits (~captnemo@193.32.127.239) (Quit: WeeChat 3.8) |
| 19:12:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 19:14:12 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 19:17:44 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 19:22:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:23:18 | → | marea_ joins (~francesco@151.57.10.138) |
| 19:24:28 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:30:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 19:30:25 | jjhoo_ | is now known as jjhoo |
| 19:30:49 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:34:08 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 258 seconds) |
| 19:35:12 | → | titiband1t joins (~titibandi@user/titibandit) |
| 19:35:45 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 19:36:15 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:41:16 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:43:41 | × | gurkenglas quits (~gurkengla@46.114.94.83) (Read error: Connection reset by peer) |
| 19:45:44 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 19:48:21 | × | marea_ quits (~francesco@151.57.10.138) (Ping timeout: 245 seconds) |
| 19:51:14 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:54:54 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:56:14 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 19:56:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:00:53 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 20:06:06 | × | titiband1t quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 20:06:29 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 20:06:58 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 20:07:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:09:22 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:10:46 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:13:30 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:14:15 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 20:17:19 | → | Pickchea joins (~private@user/pickchea) |
| 20:18:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 20:20:44 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 20:33:16 | → | captnemo joins (~captnemo@193.32.127.239) |
| 20:34:03 | × | captnemo quits (~captnemo@193.32.127.239) (Client Quit) |
| 20:34:34 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 20:34:59 | → | captnemo joins (~captnemo@193.32.127.239) |
| 20:37:49 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 20:42:03 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 20:43:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:44:15 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 20:44:15 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 20:44:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:45:14 | × | MacSlow quits (~MacSlow@p57bb296a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:48:08 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 20:48:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:51:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:51:28 | × | Tlsx quits (~rscastilh@187.40.124.54) () |
| 20:53:38 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:56:40 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 20:57:42 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 20:58:30 | → | gurkenglas joins (~gurkengla@dynamic-046-114-094-083.46.114.pool.telefonica.de) |
| 21:02:08 | → | MacSlow joins (~MacSlow@p57bb296a.dip0.t-ipconnect.de) |
| 21:05:05 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 21:05:22 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 21:07:16 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 21:10:04 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 21:10:31 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 21:11:42 | → | connrs joins (~connrs@user/connrs) |
| 21:13:31 | × | mik3d quits (~mik3d@74.102.139.139) (Remote host closed the connection) |
| 21:13:44 | → | mik3d joins (~mik3d@74.102.139.139) |
| 21:22:28 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 21:26:24 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:27:30 | → | ub1 joins (~Thunderbi@91.141.78.46.wireless.dyn.drei.com) |
| 21:27:44 | → | ubert1 joins (~Thunderbi@91.141.78.46.wireless.dyn.drei.com) |
| 21:28:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:28:12 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:28:24 | × | ub quits (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 21:28:39 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:29:34 | × | ubert quits (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 21:29:34 | ubert1 | is now known as ubert |
| 21:29:35 | ub1 | is now known as ub |
| 21:31:21 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 21:40:23 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 21:41:01 | × | Teacup quits (~teacup@user/teacup) () |
| 21:41:17 | → | Teacup joins (~teacup@user/teacup) |
| 21:41:58 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 21:45:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:46:28 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 21:48:34 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 21:50:15 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:50:43 | → | maxell129 joins (~maxell129@2a01:e0a:1e5:e690:34ca:21ab:4432:dde1) |
| 21:52:04 | → | mik3d joins (~mik3d@74.102.139.139) |
| 21:52:41 | × | maxell129 quits (~maxell129@2a01:e0a:1e5:e690:34ca:21ab:4432:dde1) (Quit: Client closed) |
| 21:56:31 | → | tonyday joins (~user@122-199-56-230.ip4.superloop.au) |
| 22:00:35 | × | trillp quits (~user@2001:19f0:6402:d51:a653:53fd:6a79:a55) (Ping timeout: 246 seconds) |
| 22:07:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 22:08:01 | <dsal> | I'm trying to do a conduit thing and it's not quite working as expected. It seems to terminate my program early: |
| 22:08:05 | <dsal> | https://www.irccloud.com/pastebin/xA52PEIF/atMost.hs |
| 22:08:48 | <dsal> | The idea is that I want to prevent a list input to a further action from being too large. This seems to work, but then terminates. Is there something I don't understand about how this is supposed to work? |
| 22:10:51 | <glguy> | You only awaited once, so you only get the first list to chunk and then you're done |
| 22:11:09 | <dsal> | oh. Ha. Thanks. I figured it was something dumb like that. |
| 22:11:43 | <glguy> | Probably need a recursive use of atMost in the Just case |
| 22:12:38 | <dsal> | I'd stuck a `forever` in there and was wondering how it would terminate. That makes more sense. Actually, I've got monad-loops around here, I might do something like that. But at least I have something that behaves. |
| 22:14:07 | <dsal> | `atMost n = whileJust_ await (traverse_ yield . chunksOf n)` does what I want. |
| 22:18:43 | <dsal> | I guess I assumed conduit was responsible for calling my actions again. |
| 22:22:23 | × | MacSlow quits (~MacSlow@p57bb296a.dip0.t-ipconnect.de) (Quit: leaving) |
| 22:25:01 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:27:46 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 22:30:48 | × | mik3d quits (~mik3d@74.102.139.139) (Read error: Connection reset by peer) |
| 22:31:17 | → | mik3d joins (~mik3d@74.102.139.139) |
| 22:33:06 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 22:33:06 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 22:33:06 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:33:53 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 22:34:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:37:48 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 22:39:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:42:53 | → | jargon joins (~jargon@174-22-223-141.phnx.qwest.net) |
| 22:46:05 | × | michalz quits (~michalz@185.246.207.197) (Ping timeout: 246 seconds) |
| 22:56:44 | × | captnemo quits (~captnemo@193.32.127.239) (Quit: WeeChat 3.8) |
| 23:12:30 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:15:17 | <probie> | I wonder why recursion-schemes doesn't offer something like `hyloM :: (Monad m, Functor f) => (m (f (m b)) -> m b) -> (m a -> m (f (m a))) -> m a -> m b; hyloM f g = hylo (f . getCompose) (Compose . g)` to go along with `cataA` as "how to use" |
| 23:17:31 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 23:21:34 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 23:24:52 | × | acidjnk quits (~acidjnk@p200300d6e7072f781cede2166f9d501c.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 23:25:12 | × | gurkenglas quits (~gurkengla@dynamic-046-114-094-083.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 23:26:10 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 23:30:19 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 23:31:25 | → | mauke_ joins (~mauke@user/mauke) |
| 23:33:14 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 23:33:14 | mauke_ | is now known as mauke |
| 23:37:53 | × | tonyday quits (~user@122-199-56-230.ip4.superloop.au) (Ping timeout: 246 seconds) |
| 23:37:54 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 23:39:08 | × | arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 23:42:04 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:42:37 | → | yuuta joins (~YuutaW@mail.yuuta.moe) |
| 23:42:50 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 23:44:20 | × | andrewboltachev quits (~andrey@178.141.125.70) (Quit: Leaving.) |
| 23:47:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 23:48:39 | → | arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 23:52:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 23:57:27 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
All times are in UTC on 2023-07-23.