Logs on 2025-03-10 (liberachat/#haskell)
| 00:00:21 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 00:00:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:03:23 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 00:03:54 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:04:04 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 244 seconds) |
| 00:05:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:05:50 | × | fp quits (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 00:06:09 | × | alp quits (~alp@2001:861:8ca0:4940:445a:f71:bdb6:b173) (Ping timeout: 248 seconds) |
| 00:06:31 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 00:07:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 00:07:42 | ljdarj1 | is now known as ljdarj |
| 00:15:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:17:38 | × | down200 quits (~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds) |
| 00:19:04 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 00:20:00 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 00:20:49 | → | malte joins (~malte@mal.tc) |
| 00:20:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:21:51 | → | zungi joins (~tory@user/andrewchawk) |
| 00:24:47 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 00:25:38 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 00:31:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:35:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 00:35:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:37:01 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 00:39:06 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 268 seconds) |
| 00:40:51 | × | m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds) |
| 00:41:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:42:28 | → | m1dnight joins (~m1dnight@d8D861908.access.telenet.be) |
| 00:43:00 | → | monochrom joins (trebla@216.138.220.146) |
| 00:46:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 00:47:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:48:11 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 00:48:37 | × | sprotte24 quits (~sprotte24@p200300d16f317300a85c86300bea5737.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:49:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:53:41 | × | xff0x quits (~xff0x@2405:6580:b080:900:3186:9050:3482:8829) (Ping timeout: 248 seconds) |
| 00:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 00:58:44 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 01:03:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 01:04:11 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f122c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:05:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:06:46 | → | malte joins (~malte@mal.tc) |
| 01:10:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:14:06 | → | Everything joins (~Everythin@94.153.31.251) |
| 01:14:40 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 01:15:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:16:06 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 01:17:38 | → | malte joins (~malte@mal.tc) |
| 01:18:31 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:21:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:24:22 | × | malte quits (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 01:26:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:26:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:26:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:29:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:30:54 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 01:31:01 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 01:34:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:41:50 | → | malte joins (~malte@mal.tc) |
| 01:43:22 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:44:25 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 01:45:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:46:11 | × | notdabs quits (~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) (Read error: Connection reset by peer) |
| 01:49:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:50:52 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 01:51:26 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 02:00:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:05:02 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:05:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:07:14 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 02:11:38 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 02:12:27 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:13:24 | × | yegorc quits (~yegorc@user/yegorc) (Quit: Leaving) |
| 02:15:37 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:15:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:50 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 02:17:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:20:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:22:25 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 02:25:58 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 02:31:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:32:56 | → | euphores joins (~SASL_euph@user/euphores) |
| 02:36:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:46:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:51:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:57:06 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 02:58:10 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:59:54 | × | Everything quits (~Everythin@94.153.31.251) (Ping timeout: 272 seconds) |
| 03:01:10 | → | Everything joins (~Everythin@94.153.10.203) |
| 03:02:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:12 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 03:06:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:17:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:18:17 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 03:22:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:24:00 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 03:24:40 | → | Inst joins (~Inst@user/Inst) |
| 03:25:34 | <Inst> | RIP Macbook Air, brave martyr in the service of functional programming (with an excessively large list, the program ate up all my memory and apparently MacOS is not robust when too much memory is used) |
| 03:32:07 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 03:32:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:02 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 03:40:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 03:43:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:43:51 | → | Inst joins (~Inst@user/Inst) |
| 03:44:32 | × | img quits (~img@user/img) (Read error: Connection reset by peer) |
| 03:44:37 | → | bilegeek joins (~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) |
| 03:44:56 | → | img joins (~img@user/img) |
| 03:45:59 | <Inst> | fold itself calls to rewrite rules, which is why it's so efficient |
| 03:46:05 | × | img quits (~img@user/img) (Client Quit) |
| 03:46:29 | <Inst> | time to learn builder i guess |
| 03:46:58 | <Inst> | and simple fold two elements, then par the rest, might be the most efficient chunk generator |
| 03:47:11 | <Inst> | *mappend |
| 03:47:15 | × | chewybread quits (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 03:47:16 | <Inst> | *spark generator |
| 03:47:26 | → | img joins (~img@user/img) |
| 03:47:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 03:49:27 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 03:50:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:52:44 | → | Inst joins (~Inst@c-98-208-247-195.hsd1.fl.comcast.net) |
| 03:52:44 | × | Inst quits (~Inst@c-98-208-247-195.hsd1.fl.comcast.net) (Changing host) |
| 03:52:44 | → | Inst joins (~Inst@user/Inst) |
| 03:55:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:00:00 | × | Taneb0 quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 04:01:11 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 04:02:04 | × | mange quits (~user@user/mange) (Remote host closed the connection) |
| 04:06:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:09:58 | → | aforemny_ joins (~aforemny@i59F4C5E2.versanet.de) |
| 04:10:54 | × | aforemny quits (~aforemny@i59F4C6DB.versanet.de) (Ping timeout: 246 seconds) |
| 04:10:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:17:41 | × | bilegeek quits (~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) (Quit: Leaving) |
| 04:19:03 | → | bilegeek joins (~bilegeek@89.sub-174-228-96.myvzw.com) |
| 04:21:10 | → | bilegeek_ joins (~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) |
| 04:21:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:22:27 | → | michalz joins (~michalz@185.246.207.205) |
| 04:24:11 | × | bilegeek quits (~bilegeek@89.sub-174-228-96.myvzw.com) (Ping timeout: 268 seconds) |
| 04:25:53 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 04:26:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 04:30:18 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:33:24 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 04:34:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 04:37:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:43:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:44:28 | → | bilegeek__ joins (~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) |
| 04:45:14 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:45:15 | × | bilegeek_ quits (~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) (Ping timeout: 276 seconds) |
| 04:53:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:26 | × | bilegeek__ quits (~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) (Remote host closed the connection) |
| 04:57:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 04:58:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:05:59 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 05:09:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:11:06 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 05:15:17 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 05:15:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:16:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:21:05 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:21:32 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 05:27:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:29:30 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) |
| 05:30:47 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) |
| 05:31:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:44:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:44:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:49:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:50:43 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 06:00:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:02:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:04:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:06:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 06:07:40 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 06:09:45 | → | hughjfchen joins (~hughjfche@vmi2417424.contaboserver.net) |
| 06:10:52 | → | ski joins (~ski@remote11.chalmers.se) |
| 06:15:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:19:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:22:57 | → | uam joins (uid360535@id-360535.hampstead.irccloud.com) |
| 06:30:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:35:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:36:02 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 06:39:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:45:32 | → | Square joins (~Square@user/square) |
| 06:47:49 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:52:11 | → | tavare joins (~tavare@user/tavare) |
| 06:52:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 06:53:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 06:55:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:57:51 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::3e4b) (Ping timeout: 246 seconds) |
| 06:59:55 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:28 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:00:29 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::cf98) |
| 07:01:39 | → | caconym joins (~caconym@user/caconym) |
| 07:02:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:03:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:05:24 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) |
| 07:07:28 | → | gmg joins (~user@user/gehmehgeh) |
| 07:07:28 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:11:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:12:18 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:12:37 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 07:12:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 07:13:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:13:41 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:14:23 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 268 seconds) |
| 07:14:26 | → | Square2 joins (~Square4@user/square) |
| 07:16:04 | → | CiaoSen joins (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) |
| 07:16:51 | → | Inst joins (~Inst@user/Inst) |
| 07:17:20 | × | Square quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 07:17:26 | <Inst> | huh, this is going to take a while, maybe unsafePerformIO, forkIO, and mvars might be a better way to do it |
| 07:17:27 | <Inst> | oh well |
| 07:17:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:17:47 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:18:34 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 07:28:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:33:12 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:33:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:38:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 07:40:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:42:06 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 07:45:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:48:38 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:49:23 | × | ft quits (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:56:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:57:03 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 07:59:38 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 08:00:26 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:00:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:12:55 | → | j1n37- joins (~j1n37@user/j1n37) |
| 08:12:56 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:12:57 | → | alexherbo2 joins (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) |
| 08:13:55 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 08:16:16 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) |
| 08:17:48 | → | chele joins (~chele@user/chele) |
| 08:18:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:23:12 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:50:59 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
| 08:52:48 | → | merijn joins (~merijn@77.242.116.146) |
| 09:04:41 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:08:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 09:09:02 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:09:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:11:28 | <tomsmeding> | monochrom: Why does the linear structure of code need to follow the chronological development process? |
| 09:11:53 | <tomsmeding> | As you say, that is useful for explanation, but we have literate programming tools for that if you want that so badly |
| 09:12:26 | <tomsmeding> | Code is read more often than it is written, and if you have something larger than just a single tutorial, I'd rather see the equations of a particular function together than spread all over a file! |
| 09:13:19 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
| 09:13:42 | <tomsmeding> | You don't even need literate programming, you can just write in your document "now we first look at the definition of a different function, before we continue with the equations of foo" |
| 09:13:58 | <tomsmeding> | literate programming is just a way to generate such a document in a way that the compiler still checks your code :) |
| 09:13:59 | → | fp joins (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) |
| 09:16:18 | × | Everything quits (~Everythin@94.153.10.203) (Ping timeout: 276 seconds) |
| 09:18:27 | × | fp quits (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 244 seconds) |
| 09:20:36 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 09:25:40 | → | mange joins (~user@user/mange) |
| 09:25:47 | × | arahael quits (~arahael@user/arahael) (Remote host closed the connection) |
| 09:30:49 | × | alexherbo2 quits (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) (Remote host closed the connection) |
| 09:34:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 09:34:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 09:34:57 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:35:38 | → | __monty__ joins (~toonn@user/toonn) |
| 09:39:55 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 09:40:16 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:43:58 | × | byte quits (~mu@user/byte) (Read error: Connection reset by peer) |
| 09:44:29 | → | merijn joins (~merijn@77.242.116.146) |
| 09:46:24 | → | byte joins (~mu@user/byte) |
| 09:46:54 | → | arahael joins (~arahael@user/arahael) |
| 09:50:45 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:55:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 09:57:57 | → | tabaqui1 joins (~root@87.200.129.102) |
| 09:59:41 | → | nschoe- joins (~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a) |
| 10:02:25 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 248 seconds) |
| 10:02:28 | × | uam quits (uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:15:37 | → | alexherbo2 joins (~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) |
| 10:20:55 | → | greenOcean joins (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
| 10:23:00 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:36:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:37:42 | × | alexherbo2 quits (~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) (Remote host closed the connection) |
| 10:39:54 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds) |
| 10:40:36 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 10:43:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 10:53:58 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 10:55:12 | → | fiadl joins (~user@p5b0f3bec.dip0.t-ipconnect.de) |
| 10:55:22 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 10:57:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:59:08 | <Square2> | I'm wondering about the Coyoneda lemma. Seems I can turn any type f into a Functor using Coyoneda lemma. Similarly I can turn that f in to Monad using : Free (Coyoneda f). Or am I missing something? |
| 11:00:51 | <Square2> | any "f :: * -> *" that is |
| 11:02:00 | × | fiadl quits (~user@p5b0f3bec.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 11:02:38 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:07:47 | <jackdk> | Square2: You can, but you'll need to hoist your `f` into an actual `Functor`to be able to tear the value back down. You can see this trick put to good use in https://blog.ocharles.org.uk/posts/2017-08-23-extensible-effects-and-transformers.html |
| 11:10:08 | → | merijn joins (~merijn@77.242.116.146) |
| 11:11:33 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 11:17:06 | → | xff0x joins (~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3) |
| 11:18:08 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:19:09 | × | euandreh quits (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Remote host closed the connection) |
| 11:19:15 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 11:21:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:21:50 | <Square2> | jackdk, thanks. Sweet. I'm using foldFreeT, that seems to require the same function as hoistFreeT. |
| 11:22:30 | <jackdk> | you may find yourself using `hoistCoyoneda` in your `foldFreeT` call |
| 11:22:33 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:24:02 | <Square2> | Oh, hoist wants a to Functor transform and fold a Monad one. |
| 11:26:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 11:34:19 | → | merijn joins (~merijn@77.242.116.146) |
| 11:38:54 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:38:55 | × | greenOcean quits (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Read error: Connection reset by peer) |
| 11:44:47 | → | alexherbo2 joins (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) |
| 11:46:12 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 11:50:23 | → | fp joins (~Thunderbi@130.233.70.204) |
| 11:59:34 | → | manwithluck joins (~manwithlu@2a00:7c80:0:3c5::14) |
| 12:00:39 | × | alexherbo2 quits (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) (Remote host closed the connection) |
| 12:07:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:12:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 12:27:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 12:28:14 | → | jespada joins (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) |
| 12:30:38 | → | merijn joins (~merijn@77.242.116.146) |
| 12:31:30 | → | Guest12 joins (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) |
| 12:32:13 | × | Guest12 quits (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) (Client Quit) |
| 12:35:21 | × | CiaoSen quits (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 12:35:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:39:48 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 12:41:36 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 12:42:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:46:40 | × | comonad quits (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev) |
| 12:47:00 | → | zungi joins (~tory@user/andrewchawk) |
| 12:53:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:53:49 | → | comonad joins (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
| 12:54:06 | × | comonad quits (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit) |
| 12:54:23 | → | comonad joins (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
| 12:54:58 | × | comonad quits (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit) |
| 12:55:24 | → | comonad joins (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
| 12:57:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 13:02:44 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:03:22 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:12:28 | → | notdabs joins (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) |
| 13:15:08 | × | hellwolf quits (~user@458b-990e-ee80-fa8e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
| 13:15:14 | × | notdabs quits (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) (Remote host closed the connection) |
| 13:15:37 | → | notdabs joins (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) |
| 13:16:14 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:17:59 | → | hellwolf joins (~user@7608-b384-c200-0dd1-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 13:27:45 | → | rvalue- joins (~rvalue@user/rvalue) |
| 13:29:00 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 13:31:05 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 13:34:20 | rvalue- | is now known as rvalue |
| 13:38:35 | → | greenOcean joins (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
| 13:40:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:44:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 13:46:24 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
| 13:47:29 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) |
| 13:51:15 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 13:51:58 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) |
| 13:55:41 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 14:12:39 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::cf98) (Quit: WeeChat 4.5.2) |
| 14:12:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 14:24:41 | → | merijn joins (~merijn@77.242.116.146) |
| 14:24:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 14:25:01 | → | weary-traveler joins (~user@user/user363627) |
| 14:26:36 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) |
| 14:26:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:30:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 14:34:13 | → | hattckory joins (~hattckory@184.145.138.167) |
| 14:34:41 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 14:39:22 | → | user363627 joins (~user@user/user363627) |
| 14:40:07 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 244 seconds) |
| 14:40:12 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:50:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:53:11 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 15:02:59 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 15:06:20 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 15:06:20 | ljdarj1 | is now known as ljdarj |
| 15:09:36 | → | eL_Bart0 joins (eL_Bart0@185.37.146.20) |
| 15:13:32 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:15:36 | × | greenOcean quits (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
| 15:18:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 15:20:23 | → | superlink joins (~kontsikou@adsl-192.79.107.136.tellas.gr) |
| 15:22:51 | × | fp quits (~Thunderbi@130.233.70.204) (Ping timeout: 252 seconds) |
| 15:23:01 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 15:32:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 15:34:03 | → | merijn joins (~merijn@77.242.116.146) |
| 15:41:13 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 15:42:19 | → | pabs3 joins (~pabs3@user/pabs3) |
| 15:44:55 | → | greenOcean joins (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
| 15:58:14 | → | euouae joins (~euouae@user/euouae) |
| 15:58:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:59:25 | <euouae> | Hello I'm using megaparsec and I want to write a parser that applies another parser 10 times and collects the results in a Text |
| 16:00:00 | <euouae> | what I currently have is `count 10 p`, which then requires to pack it. (p :: Parser Char) |
| 16:00:48 | <euouae> | I'm trying instead to use takeWhileP, and I think I need to wrap the argument in a State monad, or the other way around, but I can't figure out which way I need to go |
| 16:01:00 | <euouae> | do I need a ParsecT State or a StateT Parsec? |
| 16:01:24 | <euouae> | by using takeWhileP with a state monad I can optimize away the pack |
| 16:03:04 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 16:03:31 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 16:03:52 | → | zungi joins (~tory@user/andrewchawk) |
| 16:18:38 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:21:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:21:36 | ljdarj1 | is now known as ljdarj |
| 16:21:41 | <euouae> | Hm... this article I think explains the issues <https://www.williamyaoh.com/posts/2023-06-10-monad-transformers-101.html> and the choices between transformers and mtl |
| 16:24:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 16:24:42 | → | polux5 joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 16:26:17 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 16:27:12 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 252 seconds) |
| 16:27:13 | polux5 | is now known as polux |
| 16:27:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 16:29:06 | × | greenOcean quits (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
| 16:32:22 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 16:32:52 | → | rvalue joins (~rvalue@user/rvalue) |
| 16:36:30 | → | __monty__ joins (~toonn@user/toonn) |
| 16:43:55 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:45:02 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:47:05 | → | iteratee joins (~kyle@199.119.84.78) |
| 16:49:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 16:55:54 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 17:15:12 | × | euouae quits (~euouae@user/euouae) () |
| 17:17:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:19:04 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) |
| 17:24:52 | → | pavonia joins (~user@user/siracusa) |
| 17:30:26 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:33:32 | → | sprotte24 joins (~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de) |
| 17:34:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 17:37:53 | × | esph quits (~weechat@user/esph) (Read error: Connection reset by peer) |
| 17:39:51 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
| 17:40:19 | → | Square joins (~Square@user/square) |
| 17:43:24 | × | Square2 quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 17:52:55 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:55:18 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
| 17:55:18 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:56:09 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) |
| 18:01:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:15:29 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 18:15:51 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:16:25 | → | ft joins (~ft@p508db291.dip0.t-ipconnect.de) |
| 18:20:01 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 18:24:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:45:07 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:49:39 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 18:52:48 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) |
| 18:54:20 | × | jespada quits (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:59:00 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym joins (~caconym@user/caconym) |
| 19:02:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:06:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 19:15:20 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:22:59 | × | eL_Bart0 quits (eL_Bart0@185.37.146.20) (Ping timeout: 260 seconds) |
| 19:27:51 | × | AlexZenon quits (~alzenon@178.34.151.157) (Ping timeout: 252 seconds) |
| 19:31:13 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:33:08 | → | AlexZenon joins (~alzenon@178.34.151.157) |
| 19:35:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:36:13 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:39:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:48:39 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:50:18 | → | jespada joins (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) |
| 19:50:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:52:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 19:55:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:03:39 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 20:05:17 | → | yegorc joins (~yegorc@user/yegorc) |
| 20:06:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:10:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:11:26 | → | zungi joins (~tory@user/andrewchawk) |
| 20:12:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:13:15 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 20:18:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:20:28 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 20:22:57 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 20:23:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:23:24 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:25:28 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:27:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 20:27:01 | ljdarj1 | is now known as ljdarj |
| 20:27:34 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) |
| 20:33:00 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 20:33:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:34:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:35:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:37:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:38:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 20:48:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:55 | × | byte quits (~mu@user/byte) (Quit: Leaving) |
| 20:55:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:57:04 | × | jespada quits (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:06:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:11:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:19:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:21:08 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:21:16 | × | cawfee quits (root@2001:19f0:4400:79a1::babe) (Ping timeout: 244 seconds) |
| 21:22:09 | × | ski quits (~ski@remote11.chalmers.se) (Ping timeout: 260 seconds) |
| 21:23:24 | → | gmg joins (~user@user/gehmehgeh) |
| 21:24:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:25:19 | → | cawfee joins (root@2001:19f0:4400:79a1::babe) |
| 21:25:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 21:33:49 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 21:34:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:39:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:45:23 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 21:49:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:50:34 | × | hattckory quits (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 21:54:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:55:01 | × | tabaqui1 quits (~root@87.200.129.102) (Ping timeout: 248 seconds) |
| 22:04:21 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
| 22:05:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:05:47 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) |
| 22:07:12 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:09:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:11:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:11:39 | → | mange joins (~user@user/mange) |
| 22:13:42 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:16:51 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:17:44 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:20:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:21:03 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 22:22:02 | → | weary-traveler joins (~user@user/user363627) |
| 22:23:49 | → | hattckory joins (~hattckory@184.145.138.167) |
| 22:27:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:28:24 | × | Square quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 22:28:29 | × | hattckory quits (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 22:30:25 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 22:34:57 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 22:36:01 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:37:31 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:38:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:42:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:46:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:48:06 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 22:50:02 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 22:52:56 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:53:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:57:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:57:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:02:09 | → | hattckory joins (~hattckory@184.145.138.167) |
| 23:08:46 | → | exfalsoquodlibet joins (a7085e0f71@2a03:6000:1812:100::13a3) |
| 23:08:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:09:57 | <exfalsoquodlibet> | .join haskell-fr |
| 23:10:05 | ← | yegorc parts (~yegorc@user/yegorc) (Leaving) |
| 23:13:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:15:44 | × | hattckory quits (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 23:19:13 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 23:22:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:24:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:27:33 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:28:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 23:30:13 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 23:30:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 23:30:24 | ljdarj1 | is now known as ljdarj |
| 23:39:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:39:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:43:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 23:44:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 23:45:35 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 23:53:48 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 23:54:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-03-10.