| 2025-12-18 00:02:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 00:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 00:09:58 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 255 seconds) |
| 2025-12-18 00:12:48 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-18 00:17:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 00:22:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-18 00:22:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-18 00:25:40 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-18 00:26:43 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-18 00:29:23 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-12-18 00:33:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 00:34:24 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-18 00:35:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-18 00:35:53 +0100 | ljdarj1 | ljdarj |
| 2025-12-18 00:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 00:38:44 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-18 00:41:25 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-18 00:49:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 00:53:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-18 00:53:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 00:56:09 +0100 | <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) |
| 2025-12-18 00:58:51 +0100 | mange | (~mange@user/mange) mange |
| 2025-12-18 01:00:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 01:04:05 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) (Quit: xff0x) |
| 2025-12-18 01:05:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 01:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 01:10:34 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) |
| 2025-12-18 01:14:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-18 01:20:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 01:20:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 01:20:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 01:28:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 01:37:16 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 244 seconds) |
| 2025-12-18 01:39:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 01:39:05 +0100 | jle` | (~jle`@2603:8001:3b00:11:a23f:f454:6842:2ec4) (Ping timeout: 245 seconds) |
| 2025-12-18 01:39:54 +0100 | jle` | (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) jle` |
| 2025-12-18 01:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 01:50:45 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 01:50:50 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 01:59:57 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-18 01:59:57 +0100 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-12-18 02:04:43 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 255 seconds) |
| 2025-12-18 02:07:35 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-12-18 02:10:03 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-18 02:18:43 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2025-12-18 02:20:42 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 02:20:46 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 02:24:33 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-18 02:25:00 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-18 02:26:56 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-18 02:28:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 02:29:28 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-18 02:29:28 +0100 | omidmash9 | omidmash |
| 2025-12-18 02:44:16 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 246 seconds) |
| 2025-12-18 02:45:03 +0100 | spew | (~spew@user/spew) (Ping timeout: 244 seconds) |
| 2025-12-18 02:50:43 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 02:50:46 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 02:50:53 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-18 02:58:57 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-18 03:02:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 03:06:55 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-18 03:08:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 03:09:38 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 03:13:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 03:17:49 +0100 | acidjnk | (~acidjnk@p200300d6e7171931a1bb0b767d660e96.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-12-18 03:19:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-18 03:20:38 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 03:21:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-18 03:21:19 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 03:21:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 03:24:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 03:24:05 +0100 | trickard_ | trickard |
| 2025-12-18 03:25:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 03:28:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-18 03:36:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-12-18 03:39:25 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 03:39:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 03:39:39 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 03:44:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 03:45:52 +0100 | trickard_ | trickard |
| 2025-12-18 03:47:57 +0100 | jj | (~apropos@d154-20-120-135.bchsia.telus.net) omentic |
| 2025-12-18 03:48:38 +0100 | jj | (~apropos@d154-20-120-135.bchsia.telus.net) (Remote host closed the connection) |
| 2025-12-18 03:54:37 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-18 03:55:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 04:00:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-18 04:02:16 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic |
| 2025-12-18 04:03:02 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-18 04:10:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) (WeeChat 4.8.1) |
| 2025-12-18 04:10:44 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-18 04:10:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 04:15:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 04:20:05 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-18 04:26:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 04:31:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 04:38:15 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-18 04:40:30 +0100 | td_ | (~td@i53870911.versanet.de) |
| 2025-12-18 04:41:21 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-18 04:42:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 04:47:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 04:50:12 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-18 04:54:38 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-18 04:57:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 04:58:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 04:58:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-18 04:59:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-18 05:00:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-12-18 05:01:16 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-18 05:03:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 05:03:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-12-18 05:06:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-18 05:10:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-18 05:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 05:20:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-18 05:20:53 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 05:21:15 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 05:22:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-18 05:26:25 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-12-18 05:31:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 05:34:39 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-12-18 05:36:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 05:36:53 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.96) |
| 2025-12-18 05:37:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 05:39:15 +0100 | AlexZenon | (~alzenon@178.34.161.6) (Ping timeout: 252 seconds) |
| 2025-12-18 05:39:55 +0100 | AlexNoo | (~AlexNoo@178.34.161.6) (Ping timeout: 240 seconds) |
| 2025-12-18 05:44:18 +0100 | AlexZenon | (~alzenon@5.139.232.96) |
| 2025-12-18 05:45:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-18 05:47:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 05:47:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 05:53:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 05:58:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-18 06:00:13 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-18 06:05:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 06:06:47 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-18 06:09:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-18 06:09:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-18 06:10:27 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-18 06:20:46 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 06:20:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 06:20:51 +0100 | Googulator94 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 06:21:03 +0100 | mechanov | (~kianbrode@76.127.143.150) |
| 2025-12-18 06:23:18 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2025-12-18 06:24:36 +0100 | mechanov | (~kianbrode@76.127.143.150) () |
| 2025-12-18 06:25:07 +0100 | raym | (~ray@user/raym) (Ping timeout: 246 seconds) |
| 2025-12-18 06:25:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 06:28:08 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-18 06:28:08 +0100 | Googulator94 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 06:28:23 +0100 | Googulator94 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 06:28:34 +0100 | mechanov_ | (~mechanov_@user/mechanov-:31724) mechanov_ |
| 2025-12-18 06:30:44 +0100 | mechanov_ | (~mechanov_@user/mechanov-:31724) (Client Quit) |
| 2025-12-18 06:31:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 06:32:10 +0100 | raym | (~ray@user/raym) raym |
| 2025-12-18 06:35:43 +0100 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-18 06:36:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 06:38:01 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Remote host closed the connection) |
| 2025-12-18 06:39:02 +0100 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2025-12-18 06:39:02 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2025-12-18 06:39:37 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2025-12-18 06:40:44 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic |
| 2025-12-18 06:41:23 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-12-18 06:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 06:50:41 +0100 | Googulator94 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 06:50:46 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 06:51:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 06:58:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 06:59:19 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-18 07:03:16 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-12-18 07:03:42 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-12-18 07:09:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:14:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 07:16:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-18 07:17:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 07:17:50 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-18 07:20:39 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 07:20:48 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 07:25:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 07:36:09 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 265 seconds) |
| 2025-12-18 07:37:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 07:40:53 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-12-18 07:41:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:45:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 07:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 07:50:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 07:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-18 07:55:46 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 08:00:35 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-12-18 08:05:37 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-18 08:06:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:07:51 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:08:32 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 265 seconds) |
| 2025-12-18 08:11:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 08:12:29 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 250 seconds) |
| 2025-12-18 08:15:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:17:32 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-18 08:17:53 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-18 08:20:16 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 244 seconds) |
| 2025-12-18 08:22:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:22:53 +0100 | annamalai | (~annamalai@2409:4042:2319:cd57::21e0:60a5) (Ping timeout: 250 seconds) |
| 2025-12-18 08:27:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 08:28:09 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 08:29:44 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 08:29:58 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 08:30:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-18 08:33:17 +0100 | werneta | (~werneta@71.83.160.242) (Remote host closed the connection) |
| 2025-12-18 08:38:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:39:37 +0100 | annamalai | (~annamalai@157.32.125.111) annamalai |
| 2025-12-18 08:42:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-18 08:47:10 +0100 | humasect_ | humasect |
| 2025-12-18 08:51:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 08:51:47 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:56:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 260 seconds) |
| 2025-12-18 08:56:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 09:00:35 +0100 | <probie> | Is there a good way to union recursive types? My current approach is https://play.haskell.org/saved/DFZQfeiw but is there a better way to do this? |
| 2025-12-18 09:03:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-18 09:03:58 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-18 09:04:08 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-18 09:05:57 +0100 | <opqdonut> | yeah you take the union of the f-algebras and then fix, that's what I would've done |
| 2025-12-18 09:07:17 +0100 | <opqdonut> | I probably would've written the union out as a datatype if there are only 1-2 cases |
| 2025-12-18 09:07:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-18 09:07:45 +0100 | <opqdonut> | I mean, 1-2 applications of the OneOf' pattern |
| 2025-12-18 09:07:57 +0100 | <opqdonut> | but that's just a stylistic change |
| 2025-12-18 09:09:59 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-18 09:10:09 +0100 | trickard_ | trickard |
| 2025-12-18 09:11:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-18 09:12:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 09:18:08 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-18 09:20:41 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 09:20:48 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 09:23:00 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-18 09:23:11 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-18 09:23:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 09:26:48 +0100 | acidjnk | (~acidjnk@p200300d6e7171981f0c6dc9689540cc0.dip0.t-ipconnect.de) acidjnk |
| 2025-12-18 09:41:26 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 09:45:40 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 246 seconds) |
| 2025-12-18 09:48:16 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-12-18 09:50:45 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 09:50:50 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 09:51:37 +0100 | sp1ff` | (~user@2601:1c2:4c00:55a0::59db) (Ping timeout: 246 seconds) |
| 2025-12-18 10:03:20 +0100 | milan2 | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-18 10:07:55 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-18 10:09:58 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 10:16:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 10:20:41 +0100 | Googulator36 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-18 10:20:46 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 10:22:05 +0100 | sp1ff` | (~user@2601:1c2:4701:900::327f) |
| 2025-12-18 10:35:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-18 10:44:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-18 10:46:29 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-18 10:46:57 +0100 | Googulator36 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 10:47:13 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 10:47:30 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-18 10:47:30 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-18 10:47:30 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-18 10:48:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 10:48:59 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-12-18 10:50:53 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 10:51:17 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-18 10:52:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-18 10:56:58 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 10:57:11 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 10:59:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 11:01:07 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-18 11:10:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |