| 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 |
| 2025-12-18 11:13:39 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-12-18 11:20:16 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 11:20:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 246 seconds) |
| 2025-12-18 11:20:33 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-18 11:22:03 +0100 | trickard_ | trickard |
| 2025-12-18 11:35:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 11:35:30 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-12-18 11:38:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-18 11:46:51 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 11:47:05 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 11:57:08 +0100 | AlexNoo_ | AlexNoo |
| 2025-12-18 11:57:08 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 11:58:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-18 12:06:08 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 12:07:11 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-18 12:11:04 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 260 seconds) |
| 2025-12-18 12:18:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e22e:72a9:5af7:ae26) |
| 2025-12-18 12:19:54 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-12-18 12:20:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 12:20:43 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 12:25:39 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-18 12:26:14 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-18 12:31:12 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-12-18 12:31:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 12:31:43 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 12:38:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 12:38:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 12:43:49 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 12:44:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-18 12:45:29 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) fp |
| 2025-12-18 12:48:15 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 245 seconds) |
| 2025-12-18 12:56:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 13:01:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-18 13:02:17 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 13:04:26 +0100 | jackneill__ | (~Jackneill@178-164-234-79.pool.digikabel.hu) |
| 2025-12-18 13:06:35 +0100 | Jackneill_ | (~Jackneill@178-164-177-109.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-12-18 13:12:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 246 seconds) |
| 2025-12-18 13:12:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 13:23:10 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-12-18 13:26:12 +0100 | GoldsteinQ | (~goldstein@goldstein.lol) |
| 2025-12-18 13:26:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 13:35:52 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 13:36:22 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 13:39:42 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-18 13:45:52 +0100 | trickard_ | trickard |
| 2025-12-18 13:46:49 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-12-18 13:46:50 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) (Remote host closed the connection) |
| 2025-12-18 13:47:54 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-18 13:49:54 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-12-18 13:52:04 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-12-18 13:52:57 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-18 13:54:49 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) fp |
| 2025-12-18 13:58:39 +0100 | fp | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) (Remote host closed the connection) |
| 2025-12-18 14:01:11 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-18 14:06:20 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-18 14:18:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-18 14:18:33 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-18 14:21:03 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Remote host closed the connection) |
| 2025-12-18 14:22:57 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-18 14:24:58 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-18 14:25:14 +0100 | fp1 | fp |
| 2025-12-18 14:27:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) |
| 2025-12-18 14:27:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 252 seconds) |
| 2025-12-18 14:28:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-18 14:29:50 +0100 | Googulator52 | Googulator |
| 2025-12-18 14:30:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-18 14:40:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 14:40:51 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 14:48:29 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 14:48:37 +0100 | merijn | (~merijn@77.242.116.146) (Quit: restart) |
| 2025-12-18 14:49:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 14:51:32 +0100 | smeik5005 | (~smeik5005@2a06:93c1:301:3:914d:b7d0:703d:161b) |
| 2025-12-18 14:56:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-18 15:01:26 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 15:01:47 +0100 | smeik5005 | (~smeik5005@2a06:93c1:301:3:914d:b7d0:703d:161b) (Ping timeout: 265 seconds) |
| 2025-12-18 15:04:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-18 15:04:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 265 seconds) |
| 2025-12-18 15:20:46 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:25:16 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-18 15:27:03 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:28:42 +0100 | shaeto_ | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:31:34 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 255 seconds) |
| 2025-12-18 15:31:38 +0100 | shaeto__ | (~Shaeto@94.25.234.244) |
| 2025-12-18 15:32:52 +0100 | shaeto | (~Shaeto@78.37.15.179) |
| 2025-12-18 15:33:28 +0100 | shaeto_ | (~Shaeto@94.25.234.244) (Ping timeout: 260 seconds) |
| 2025-12-18 15:35:43 +0100 | shaeto__ | (~Shaeto@94.25.234.244) (Ping timeout: 240 seconds) |
| 2025-12-18 15:36:31 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-18 15:36:41 +0100 | shaeto_ | (~Shaeto@78.37.15.179) |
| 2025-12-18 15:37:25 +0100 | shaeto | (~Shaeto@78.37.15.179) (Ping timeout: 255 seconds) |
| 2025-12-18 15:37:25 +0100 | <shaeto_> | hi, question, how to see code produced by "deriving (Eq, Ord)" for Peano numbers ? is it pure recursive or some hack for performance ? |
| 2025-12-18 15:37:46 +0100 | <tomsmeding> | the deriving-generated code is generally not very clever |
| 2025-12-18 15:38:31 +0100 | <tomsmeding> | shaeto_: you can pass -ddump-deriv to GHC to have deriving-generated code printed to stderr; an easy way to do this for a single module is to put {-# OPTIONS -ddump-deriv #-} at the top of the file |
| 2025-12-18 15:38:54 +0100 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/flags.html#compiler-debugging-options |
| 2025-12-18 15:40:00 +0100 | <shaeto_> | @tomsmeding thank you, will try, i just want to understand it for learning purposes |
| 2025-12-18 15:40:00 +0100 | <lambdabot> | Unknown command, try @list |
| 2025-12-18 15:40:14 +0100 | <tomsmeding> | (we generally don't use @ on irc) |
| 2025-12-18 15:40:52 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 15:41:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-18 15:41:27 +0100 | <shaeto_> | tomsmeding: thank you |
| 2025-12-18 15:49:42 +0100 | carbolymer_ | (~carbolyme@delirium.systems) () |
| 2025-12-18 15:49:54 +0100 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2025-12-18 15:50:20 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 2025-12-18 15:58:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-18 16:01:07 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-18 16:08:08 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-18 16:11:03 +0100 | shaeto_ | (~Shaeto@78.37.15.179) (Ping timeout: 244 seconds) |
| 2025-12-18 16:17:11 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Quit: fp) |
| 2025-12-18 16:20:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-18 16:20:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) |
| 2025-12-18 16:40:31 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 264 seconds) |
| 2025-12-18 16:44:22 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-18 16:53:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-18 16:53:47 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-18 16:56:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-18 17:00:08 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-18 17:00:10 +0100 | qqe | (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-18 17:02:12 +0100 | somemathguy | (~somemathg@user/somemathguy) (Client Quit) |
| 2025-12-18 17:07:38 +0100 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |