Logs on 2025-12-17 (liberachat/#haskell)
| 00:03:17 | <haskellbridge> | <Zemyla> I often write liftA2 and <*> instances directly. |
| 00:06:43 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 00:07:01 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:07:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:08:29 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:08:48 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:12:55 | gf31 | is now known as gf3 |
| 00:13:40 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:13:41 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 00:13:58 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:17:57 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:20:13 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:22:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:23:15 | × | gf3 quits (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 00:24:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:28:29 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 00:28:48 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:28:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:31:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:31:53 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:40:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:42:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 00:42:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:44:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:45:42 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:46:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:49:12 | × | xff0x quits (~xff0x@2405:6580:b080:900:4560:111e:4edd:d178) (Ping timeout: 244 seconds) |
| 00:49:30 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) |
| 00:50:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:52:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 00:52:51 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:53:57 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 00:54:13 | × | acidjnk quits (~acidjnk@p200300d6e71719974d985e7e473d8889.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:54:14 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) (Ping timeout: 260 seconds) |
| 00:54:16 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:55:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:00:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:02:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:05:43 | × | annamalai quits (~annamalai@157.32.212.233) (Ping timeout: 264 seconds) |
| 01:08:09 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) |
| 01:08:58 | → | Square joins (~Square4@user/square) |
| 01:11:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:11:35 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 01:14:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:15:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:15:45 | → | Googulator66 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 01:15:53 | × | Googulator38 quits (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 01:17:24 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 01:24:33 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:24:45 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 01:24:50 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:26:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:28:09 | → | omidmash7 joins (~omidmash@user/omidmash) |
| 01:30:23 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 01:30:23 | omidmash7 | is now known as omidmash |
| 01:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:34:48 | jmcantrell_ | is now known as jmcantrell |
| 01:40:02 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 01:40:47 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 01:42:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:42:43 | → | mud joins (~mud@user/kadoban) |
| 01:45:43 | → | Googulator61 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 01:45:44 | × | Googulator66 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 01:45:54 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 01:46:24 | jmcantrell_ | is now known as jmcantrell |
| 01:46:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:52:02 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:54:01 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 01:54:13 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) (Ping timeout: 255 seconds) |
| 01:56:54 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:57:19 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 01:57:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:57:47 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 02:02:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:13:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:15:39 | × | Googulator61 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 02:15:40 | → | Googulator19 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 02:18:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:22:55 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 02:25:43 | × | spew quits (~spew@user/spew) (Remote host closed the connection) |
| 02:28:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:28:36 | → | spew joins (~spew@user/spew) |
| 02:32:42 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 02:33:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:34:10 | → | Pozyomka joins (~pyon@user/pyon) |
| 02:35:23 | → | spew_ joins (~spew@user/spew) |
| 02:36:46 | × | spew quits (~spew@user/spew) (Ping timeout: 244 seconds) |
| 02:43:54 | × | spew_ quits (~spew@user/spew) (Ping timeout: 260 seconds) |
| 02:43:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:45:39 | → | Googulator14 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 02:45:40 | × | Googulator19 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 02:48:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:55:57 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 02:59:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:04:12 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 252 seconds) |
| 03:05:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:16:58 | → | Axman6 joins (~Axman6@user/axman6) |
| 03:17:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:22:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:22:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 03:29:22 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 03:31:18 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:32:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:37:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:37:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:39:05 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:39:35 | × | td_ quits (~td@i53870911.versanet.de) (Ping timeout: 240 seconds) |
| 03:41:48 | → | td_ joins (~td@i5387090B.versanet.de) |
| 03:42:11 | trickard_ | is now known as trickard |
| 03:43:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 03:48:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:52:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:55:52 | → | annamalai joins (~annamalai@157.32.115.204) |
| 04:01:02 | → | gorignak joins (~gorignak@user/gorignak) |
| 04:03:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:08:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:15:39 | × | Googulator14 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 04:15:47 | → | Googulator82 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 04:15:58 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 04:19:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:23:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:34:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:36:19 | × | sp1ff quits (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 04:36:33 | → | sp1ff joins (~user@2601:1c2:4c00:6820::c593) |
| 04:39:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:45:41 | → | Googulator46 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 04:45:49 | × | Googulator82 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 04:48:10 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 04:49:43 | × | sp1ff quits (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 04:49:56 | → | sp1ff joins (~user@2601:1c2:4c00:6820::c593) |
| 04:50:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:52:50 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 04:54:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:56:03 | × | sp1ff quits (~user@2601:1c2:4c00:6820::c593) (Read error: Connection reset by peer) |
| 04:56:17 | → | sp1ff joins (~user@2601:1c2:4c00:6820::c593) |
| 05:03:18 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 05:03:19 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 05:05:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:06:51 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 05:06:55 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 05:13:12 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 05:14:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:14:54 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 05:17:49 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:24:27 | × | myxos quits (~myxos@2001:579:8380:f20:b869:f32d:617d:ee68) (Ping timeout: 252 seconds) |
| 05:24:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:25:38 | × | annamalai quits (~annamalai@157.32.115.204) (Remote host closed the connection) |
| 05:26:00 | → | annamalai joins (~annamalai@157.32.115.204) |
| 05:28:23 | → | myxos joins (~myxos@wsip-70-166-126-146.ph.ph.cox.net) |
| 05:29:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:39:56 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 05:40:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:42:40 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 05:48:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 05:49:29 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 05:51:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:51:29 | → | Pozyomka joins (~pyon@user/pyon) |
| 05:53:10 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:01:16 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 06:02:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:04:06 | → | michalz joins (~michalz@185.246.207.193) |
| 06:06:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:10:27 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 06:12:24 | → | EvanR joins (~EvanR@user/evanr) |
| 06:12:54 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 06:17:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:20:24 | → | qqe joins (~qqq@185.54.20.98) |
| 06:22:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:32:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:35:43 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 264 seconds) |
| 06:37:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:46:57 | → | shr\ke joins (~shrike@user/paxhumana) |
| 06:46:58 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 06:46:58 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 06:48:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:52:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:54:07 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 240 seconds) |
| 06:56:54 | → | shr\ke joins (~shrike@user/paxhumana) |
| 06:56:54 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 06:56:54 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 07:03:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:08:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:10:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:15:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:15:44 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 07:23:54 | → | p3n joins (~p3n@217.198.124.246) |
| 07:24:17 | × | hc quits (~hc@mail.hce.li) (Remote host closed the connection) |
| 07:26:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:32:12 | × | annamalai quits (~annamalai@157.32.115.204) (Ping timeout: 244 seconds) |
| 07:33:58 | → | hc joins (~hc@mail.hce.li) |
| 07:41:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:46:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:50:22 | → | annamalai joins (~annamalai@2409:4042:2319:cd57::21e0:60a5) |
| 07:56:26 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 07:57:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:01:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:06:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 08:07:35 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:07:48 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 08:11:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:14:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 08:16:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:29:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:32:58 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 08:35:17 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 08:36:23 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 08:36:28 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:36:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:52:55 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 08:55:38 | → | merijn joins (~merijn@77.242.116.146) |
| 08:59:17 | <tomsmeding> | monochrom: liftA2 has a default definition ;) |
| 09:00:05 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:00:18 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 09:02:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 09:03:17 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 09:04:49 | → | karenw joins (~karenw@user/karenw) |
| 09:22:32 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 09:25:42 | → | chele joins (~chele@user/chele) |
| 09:27:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:30:29 | → | karenw joins (~karenw@user/karenw) |
| 09:33:45 | → | acidjnk joins (~acidjnk@p200300d6e7171931a1bb0b767d660e96.dip0.t-ipconnect.de) |
| 09:35:18 | → | bliminse joins (~bliminse@user/bliminse) |
| 09:38:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 09:40:11 | gehmehgeh | is now known as gmg |
| 09:45:36 | → | merijn joins (~merijn@77.242.116.146) |
| 09:48:44 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 09:49:21 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 09:58:44 | → | kuribas joins (~user@2a02-1810-2825-6000-71f1-6220-91c0-611e.ip6.access.telenet.be) |
| 10:02:52 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:04:18 | → | itaipu joins (~itaipu@168.121.97.28) |
| 10:08:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:12:26 | → | Googulator60 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 10:15:53 | × | Googulator46 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 10:17:32 | → | Googulator25 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 10:17:58 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:18:12 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 10:18:33 | → | __monty__ joins (~toonn@user/toonn) |
| 10:20:13 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 10:20:21 | → | merijn joins (~merijn@77.242.116.146) |
| 10:21:28 | → | anpad joins (~pandeyan@user/anpad) |
| 10:21:35 | × | Googulator60 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 10:22:05 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 10:25:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 10:25:45 | × | Googulator25 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 10:25:47 | → | Googulator20 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 10:32:35 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 10:36:01 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 10:38:30 | → | merijn joins (~merijn@77.242.116.146) |
| 10:41:28 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:41:40 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 10:43:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 10:44:20 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 10:47:42 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 10:55:53 | → | Googulator33 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 10:55:53 | × | Googulator20 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 10:56:28 | → | merijn joins (~merijn@77.242.116.146) |
| 11:00:19 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 11:01:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:07:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:11:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 11:12:11 | → | merijn joins (~merijn@77.242.116.146) |
| 11:13:43 | × | kuribas quits (~user@2a02-1810-2825-6000-71f1-6220-91c0-611e.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 11:17:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 11:27:52 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 11:28:18 | × | jj quits (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
| 11:29:34 | → | merijn joins (~merijn@77.242.116.146) |
| 11:33:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 11:35:59 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 11:36:45 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 11:38:09 | → | jj joins (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) |
| 11:42:03 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 11:45:33 | → | merijn joins (~merijn@77.242.116.146) |
| 11:49:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 11:58:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:59:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 12:03:59 | → | merijn joins (~merijn@77.242.116.146) |
| 12:10:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 12:12:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:13:37 | Googulator33 | is now known as Googulator |
| 12:14:39 | <bwe> | Why does enabling RebindableSyntax (to use OverloadedRecordUpdate) on ghc 9.12.2 just makes ghc to emit a load of compiler errors (so basically nothing is working)? |
| 12:15:43 | → | merijn joins (~merijn@77.242.116.146) |
| 12:19:01 | <tomsmeding> | bwe: it would be useful if you post what errors you are getting |
| 12:19:23 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 12:21:17 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 12:24:25 | <bwe> | tomsmeding: I can reduce it to three types of errors: https://paste.tomsmeding.com/96H7v7Cm |
| 12:27:09 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 12:28:40 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:28:50 | → | Pozyomka joins (~pyon@user/pyon) |
| 12:28:53 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 12:28:56 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 12:29:13 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:29:13 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:29:13 | → | haritz joins (~hrtz@user/haritz) |
| 12:29:36 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Client Quit) |
| 12:29:47 | → | comerijn joins (~merijn@77.242.116.146) |
| 12:30:56 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 12:33:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 12:39:04 | <tomsmeding> | bwe: RebindableSyntax works by desugaring certain types of syntax to normal variable references instead; see https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rebindable_syntax.html#extension-RebindableSyntax |
| 12:39:18 | <tomsmeding> | so it essentially assumes that you've imported Prelude |
| 12:39:49 | <tomsmeding> | RebindableSyntax is an extremely heavy hammer |
| 12:52:16 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 12:58:01 | <bwe> | tomsmeding: so, I might just opt for microlens, then |
| 12:58:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) |
| 13:06:49 | → | weary-traveler joins (~user@user/user363627) |
| 13:09:10 | trickard_ | is now known as trickard |
| 13:22:09 | × | sp1ff quits (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 250 seconds) |
| 13:22:39 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 13:26:58 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.2) |
| 13:28:26 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 13:35:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 13:37:43 | → | merijn joins (~merijn@77.242.116.146) |
| 13:45:44 | → | comerijn joins (~merijn@77.242.116.146) |
| 13:48:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 14:14:41 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 14:15:07 | → | merijn joins (~merijn@77.242.116.146) |
| 14:18:37 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 14:19:02 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 14:22:13 | × | Googulator quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 14:22:36 | → | Googulator joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 14:23:16 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:23:30 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 14:24:01 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 14:24:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 14:25:23 | → | merijn joins (~merijn@77.242.116.146) |
| 14:26:05 | → | srazkvt joins (~sarah@user/srazkvt) |
| 14:28:04 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 14:28:54 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 14:30:20 | → | Pozyomka joins (~pyon@user/pyon) |
| 14:31:07 | → | mrvdb joins (~mrvdb@185.92.221.186) |
| 14:33:30 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 14:33:42 | → | sp1ff joins (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) |
| 14:34:01 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 14:35:16 | → | img joins (~img@user/img) |
| 14:45:20 | × | mrvdb quits (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 14:51:37 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 14:55:52 | → | mrvdb joins (~mrvdb@185.92.221.186) |
| 14:57:02 | → | Square joins (~Square4@user/square) |
| 15:02:57 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 15:05:59 | → | Googulator73 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 15:06:02 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 15:10:56 | Googulator73 | is now known as Googulator |
| 15:18:55 | → | sajenim joins (~sajenim@user/sajenim) |
| 15:21:12 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 15:22:13 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 15:22:24 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:27:10 | × | srazkvt quits (~sarah@user/srazkvt) (Remote host closed the connection) |
| 15:32:58 | → | fp joins (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) |
| 15:33:03 | × | fp quits (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) (Client Quit) |
| 15:35:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:39:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 15:44:32 | × | qqe quits (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 15:45:56 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 15:46:18 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:46:47 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 15:49:31 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 15:49:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:50:16 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Remote host closed the connection) |
| 15:52:55 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 15:57:46 | → | euphores joins (~SASL_euph@user/euphores) |
| 15:57:50 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 15:58:26 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 15:58:40 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 15:59:49 | × | mrvdb quits (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:00:48 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 16:03:32 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 16:16:34 | × | sp1ff quits (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) (Ping timeout: 246 seconds) |
| 16:16:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 16:20:40 | → | Googulator95 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 16:20:59 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 16:23:26 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 16:25:14 | → | milan2 joins (~milan@88.212.61.169) |
| 16:27:13 | → | deptype joins (~deptype@2406:b400:3a:2dd5:59b2:1154:4ab5:509e) |
| 16:29:24 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 16:29:24 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 16:30:27 | → | merijn joins (~merijn@77.242.116.146) |
| 16:32:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 16:32:43 | × | lucabtz quits (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 16:38:29 | → | sp1ff joins (~user@2607:fb90:3397:1dee:eb26:2295:32e9:767a) |
| 16:42:02 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 16:43:19 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 16:47:06 | × | yin quits (~zero@user/zero) (Ping timeout: 244 seconds) |
| 16:48:44 | → | yin joins (~zero@user/zero) |
| 16:50:27 | × | Googulator95 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 16:50:43 | → | Googulator95 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 16:55:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 16:58:12 | → | merijn joins (~merijn@77.242.116.146) |
| 16:58:18 | → | cheater joins (~AdminUser@2a02:8388:a180:3500:2936:d5c0:ce56:944) |
| 17:03:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 17:05:13 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 246 seconds) |
| 17:06:07 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 17:20:47 | × | Googulator95 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 17:20:53 | → | Googulator99 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 17:26:15 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 17:26:42 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 17:32:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:37:23 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 250 seconds) |
| 17:39:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:44:18 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:46:22 | → | poscat0x04 joins (~poscat@user/poscat) |
| 17:46:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 17:47:43 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 17:51:48 | → | killy joins (~killy@193.142.201.134) |
| 17:51:52 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 17:56:25 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 17:56:31 | × | infinity0 quits (~infinity0@pwned.gg) (Quit: WeeChat 4.7.2) |
| 17:57:07 | → | infinity0 joins (~infinity0@pwned.gg) |
| 17:59:07 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 264 seconds) |
| 18:04:42 | × | killy quits (~killy@193.142.201.134) (Ping timeout: 244 seconds) |
| 18:06:33 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 18:10:17 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 18:10:58 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:15:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:16:05 | × | deptype quits (~deptype@2406:b400:3a:2dd5:59b2:1154:4ab5:509e) (Remote host closed the connection) |
| 18:19:08 | <milan2> | Hello guyz :) copied "Getting started" example of https://hackage.haskell.org/package/wai-3.2.4 and used this line as first line in app function makeSettingsAndCounter >>= (pure . fst) >>=getCount >>= print Then I run seq 1 2000 | xargs -Iname -n1 -P2000 curl --http1.1 -s "http://localhost:8080/" but my web server still prints 0 connections. Do you have any idea why? |
| 18:20:55 | → | Googulator67 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 18:20:55 | × | Googulator99 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 18:21:58 | × | sp1ff quits (~user@2607:fb90:3397:1dee:eb26:2295:32e9:767a) (Ping timeout: 255 seconds) |
| 18:22:45 | <milan2> | It should use http1.1 which should open new connection on every curl request.. |
| 18:26:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 18:28:27 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 18:37:27 | <milan2> | Hmm... maybe there is no "context switch" |
| 18:40:56 | → | spew joins (~spew@user/spew) |
| 18:41:31 | → | Square2 joins (~Square@user/square) |
| 18:42:53 | <int-e> | what is `makeSettingsAndCounter`? The `app` part is executed for each request, so perhaps you're making a new counter every time too. |
| 18:43:57 | <milan2> | int-e: Here https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#g:5 |
| 18:44:47 | <milan2> | int-e: Yeah..that might be true.. |
| 18:44:55 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 18:46:20 | <int-e> | milan2: yeah I'm pretty sure you're supposed to do that in `main` and pass the counter to your request handler(s) (which includes `app`). |
| 18:46:54 | <int-e> | You can have `app :: Counter -> Application`. |
| 18:47:05 | → | sp1ff joins (~user@c-73-164-203-114.hsd1.wa.comcast.net) |
| 18:47:47 | <int-e> | (and change the next line to `ap counter _ respond = do` accordingly) |
| 18:47:51 | <int-e> | *app |
| 18:50:00 | <milan2> | That makes sense.. this will reuse counter and may show different number. |
| 18:50:07 | × | jj quits (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 240 seconds) |
| 18:53:54 | → | _________ joins (~nobody@user/noodly) |
| 19:09:22 | <milan2> | int-e: Heck :D same result :D |
| 19:09:58 | <milan2> | Maybe I need to build it with "parallel" support? These special options for ghc. |
| 19:12:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:13:31 | <int-e> | milan2: do you increment the counter anywhere? |
| 19:14:14 | <int-e> | Hmm. I'm actually confused about something here. |
| 19:14:52 | × | arahael quits (~wetfoot@user/arahael) (Ping timeout: 244 seconds) |
| 19:15:35 | → | arahael joins (~wetfoot@user/arahael) |
| 19:15:46 | <int-e> | milan2: you also need to use https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:runSettings so that it actually uses the settings that include that particular counter. |
| 19:17:24 | <int-e> | which and that means you need https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp.html#v:setPort for setting the port in the settings. |
| 19:17:56 | <milan2> | int-e: No I don't I expect wai/warp to update counter. |
| 19:18:26 | <int-e> | if nobody updates the counter then it will always be 0 |
| 19:18:40 | <milan2> | int-e: Also it is true that I don't use settings at all.. maybe I really need to runSettings |
| 19:19:13 | <milan2> | int-e: But how could I? I don't open connections to increment counter. This should be wai/warp work to do right? |
| 19:20:20 | <int-e> | milan2: But for warp to do it it needs to know about the counter. That information is part of the Settings record that you're not using. |
| 19:22:29 | <milan2> | int-e: Yes I get your point. So even tho makeSettingsAndCounter returns IO (Counter, Settings) this Counter is bound with Settings and If I don't start app with settings explicitly Counter won't be updated. |
| 19:22:34 | <milan2> | Well lets try it then. |
| 19:22:36 | <int-e> | (The thing I was confused about was what the intended use of that `makeSettingsAndCounter` function is, or put differently, why there's utility in tying these two together. The fact that the Settings value has an optional counter for counting connections is what I was missing.) |
| 19:23:18 | <milan2> | Where do you see that Settings has Counter ? |
| 19:24:41 | → | sp1ff` joins (~user@2601:1c2:4c00:55a0::59db) |
| 19:25:34 | <int-e> | The docs for makeSettingsAndCounter say: "Create Settings with a connection counter." |
| 19:25:45 | × | sp1ff quits (~user@c-73-164-203-114.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 19:26:10 | <int-e> | You can also look at the Settings record itself, it's exposed by a ...Internal module: https://hackage-content.haskell.org/package/warp-3.4.11/docs/Network-Wai-Handler-Warp-Internal.html#v:settingsConnectionCounter |
| 19:28:10 | <milan2> | int-e: You rock! It's there.. It starts to make sense. I am pretty sure it will work now. |
| 19:30:47 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 19:31:24 | → | pabs3 joins (~pabs3@user/pabs3) |
| 19:32:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:33:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 19:35:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:37:37 | → | pavonia joins (~user@user/siracusa) |
| 19:38:24 | → | olivial joins (~benjaminl@user/benjaminl) |
| 19:42:30 | <milan2> | int-e: It works.. It increased to 6. TO read a documenation of others is a skill in itself :) |
| 19:58:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 20:00:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:00:16 | <chromoblob> | the required skill is in inverse relationship with the quality of documentation. |
| 20:03:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:04:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 20:04:35 | ljdarj1 | is now known as ljdarj |
| 20:05:58 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 20:08:48 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 20:11:31 | <[exa]> | (why are there no documentation competitions? like programming competitions or art exhibitions or performer fairs, we should have a documentation hall of fame or so) |
| 20:11:43 | → | TMA joins (tma@twin.jikos.cz) |
| 20:14:55 | <int-e> | hmmmm competitive technical writing |
| 20:15:28 | <tomsmeding> | who'd be the judges? |
| 20:15:41 | <monochrom> | Past generation of programmers arising from the selection bias of going into programming because they hated natural languages and/or literature. I know, I was one of them. |
| 20:15:46 | <tomsmeding> | computer science first-year students? |
| 20:15:50 | <milan2> | I find writing good documentation more difficult than comparable good code. |
| 20:16:17 | jmcantrell_ | is now known as jmcantrell |
| 20:16:33 | <monochrom> | (Then they went on to hide behind the facade of "you can just look at the source code".) |
| 20:16:59 | <int-e> | milan2: That's okay; it's less rewarding too :P |
| 20:20:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:21:48 | <monochrom> | The complementary selection bias being that people who are good at writing in natural languages for other human readers can have much happier careers as writers and/or journalists, or much more wealthy careers as lawyers and/or politicians. |
| 20:24:09 | <milan2> | hmm |
| 20:25:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:28:34 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 20:36:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:47:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 20:47:53 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 20:48:24 | → | gmg joins (~user@user/gehmehgeh) |
| 20:51:44 | → | weary-traveler joins (~user@user/user363627) |
| 20:52:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:57:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:01:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:07 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 21:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:08:08 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 21:08:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:08:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 21:08:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:08:40 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 21:09:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 21:11:31 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 21:13:32 | → | gawen joins (~gawen@user/gawen) |
| 21:15:15 | × | milan2 quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 21:15:31 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 21:15:46 | → | oats joins (~oats@user/oats) |
| 21:19:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:19:55 | <yin> | [S] Skip [D] Default (GHCup maintained) [V] Vanilla (Upstream maintained) [?] Help (default is "Skip"). |
| 21:20:15 | <yin> | do Default is not default |
| 21:20:36 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 21:21:15 | <yin> | what happens if i skip? |
| 21:21:58 | <haskellbridge> | <sm> a little more context .. ? |
| 21:22:11 | <geekosaur> | specifically, what's asking you this? |
| 21:22:15 | Googulator67 | is now known as Googulator |
| 21:22:21 | <geekosaur> | and wehy/what did you run exactly? |
| 21:22:22 | <yin> | ghcup installer: "GHCup provides different binary distribution "channels". These are collections of tools and may differ in purpose and philosophy. First, we select the base channel." |
| 21:23:08 | <yin> | sorry i thought this was obvious due to the Default being "GHCup maintained) |
| 21:24:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:24:14 | <monochrom> | Does "[?] Help" say anything? |
| 21:24:53 | <yin> | it does. Skip = do nothing and leave config as is |
| 21:25:14 | <yin> | Default = the default channel maintained by ghcup... |
| 21:25:16 | <geekosaur> | sounds like you already have a config with a metadata channel in place |
| 21:25:41 | <yin> | if i do, i don't know about it |
| 21:25:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 21:25:53 | <tomsmeding> | do you have a ~/.ghcup/config.yaml? |
| 21:26:12 | <geekosaur> | might ask platform first, they won't on Windows 🙂 |
| 21:26:13 | <yin> | no, this is a fresh box |
| 21:26:27 | → | gawen joins (~gawen@user/gawen) |
| 21:26:28 | <yin> | void linux |
| 21:26:37 | <tomsmeding> | just choose D and not worry about it? |
| 21:26:52 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 21:27:11 | <yin> | oh wait, i do actually |
| 21:27:20 | <tomsmeding> | ;) |
| 21:27:41 | <yin> | but it was created by this installer :p |
| 21:27:46 | <yin> | just now |
| 21:28:59 | <geekosaur> | … |
| 21:29:14 | <geekosaur> | I think I have Questions about how this works |
| 21:29:18 | <geekosaur> | (not to you) |
| 21:30:10 | <tomsmeding> | my advice of "hit D and care not" stands, though I agree with geekosaur |
| 21:30:52 | <yin> | i will refrain from any comment on that advice out of context |
| 21:33:30 | <geekosaur> | I would seriously suggest filing a UX bug |
| 21:33:51 | <geekosaur> | I mean, I can imagine why it would be doing it, but … gaaah |
| 21:34:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:39:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:43:19 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 21:44:38 | <yin> | turns out there's one already https://github.com/haskell/ghcup-hs/issues/1278 |
| 21:46:03 | <haskellbridge> | <sm> 👍🏻 |
| 21:50:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:53:28 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:54:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:55:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:56:41 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:02:21 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:02:35 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 22:04:45 | → | weary-traveler joins (~user@user/user363627) |
| 22:06:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:08:03 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 22:10:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:12:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:13:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 22:15:04 | <haskellbridge> | <Liamzee> this is nuts |
| 22:15:15 | <haskellbridge> | <Liamzee> i have to used typedprocess to dodge C segfaults? |
| 22:15:17 | × | yaroot quits (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) (Ping timeout: 244 seconds) |
| 22:16:22 | <haskellbridge> | <Liamzee> i.e, if you use C FFI, you always have to put up with, either a, spawning a new process so the C can blow up on itself, or b, having unrecoverable exceptions? |
| 22:17:06 | <int-e> | you could call into C code that doesn't segfault |
| 22:17:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:17:50 | <haskellbridge> | <Liamzee> i'm currently trying to port compression libs and a parquet reader |
| 22:18:01 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:18:49 | <haskellbridge> | <Liamzee> i mean there's a reasonable chance it won't segfault, otherwise, build both direct access and typed process versions of the same thing |
| 22:18:58 | <haskellbridge> | <Liamzee> and let the user check what they want |
| 22:28:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:29:59 | → | yaroot joins (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 22:33:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:34:16 | trickard_ | is now known as trickard |
| 22:35:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:37:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:37:46 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 22:39:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 22:43:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:48:02 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:49:11 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 22:50:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:54:05 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 22:55:54 | → | weary-traveler joins (~user@user/user363627) |
| 22:57:10 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 23:02:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:06:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:09:58 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 255 seconds) |
| 23:12:48 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 23:17:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:22:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:22:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:25:40 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 23:26:43 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 23:29:23 | → | anpad joins (~pandeyan@user/anpad) |
| 23:33:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:34:24 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:35:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 23:35:53 | ljdarj1 | is now known as ljdarj |
| 23:38:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:38:44 | → | Square joins (~Square4@user/square) |
| 23:41:25 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 23:49:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:53:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:53:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:56:09 | <c_wraith> | Um. Why is mapAccumL's strictness like that? (you can only ensure that the state value is evaluated at each step by connecting it to the mapped value and ensuring you you examine all the mapped values before the final state) |
| 23:58:51 | → | mange joins (~mange@user/mange) |
All times are in UTC on 2025-12-17.