| 2025-09-05 00:01:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 00:03:39 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-05 00:05:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 00:09:29 +0200 | SamCulper | (~SamCulper@user/SamCulper) (Quit: Client closed) |
| 2025-09-05 00:14:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2025-09-05 00:16:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 00:16:39 +0200 | <haskellbridge> | <sm> I like this verb! |
| 2025-09-05 00:21:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-05 00:22:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-05 00:22:26 +0200 | <EvanR> | as in "let's haskell the shit out of it" |
| 2025-09-05 00:27:18 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-05 00:31:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 00:35:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-05 00:36:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-05 00:36:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-05 00:39:46 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 256 seconds) |
| 2025-09-05 00:40:34 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-05 00:45:27 +0200 | zarakshR | (~Thunderbi@5.81.134.212) zarakshR |
| 2025-09-05 00:47:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 00:50:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2025-09-05 00:52:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 00:55:25 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-09-05 00:55:34 +0200 | malte | (~malte@mal.tc) (Ping timeout: 255 seconds) |
| 2025-09-05 00:55:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019) (Ping timeout: 256 seconds) |
| 2025-09-05 00:56:00 +0200 | lisq | (~quassel@lis.moe) (Ping timeout: 252 seconds) |
| 2025-09-05 00:56:09 +0200 | bionade24_ | (~quassel@server2.oscloud.info) bionade24 |
| 2025-09-05 00:56:12 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Ping timeout: 256 seconds) |
| 2025-09-05 00:56:19 +0200 | <jreicher> | ISTR to recall that there was an MIT (?) memo about using continued fractions for machine arithmetic. Personally I worry the elegance of the data structure is a kind of false virtue, as the more important issue is the performance of operations. |
| 2025-09-05 00:57:20 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-05 00:57:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-05 00:57:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019) |
| 2025-09-05 01:01:44 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-05 01:01:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-05 01:02:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 01:06:56 +0200 | ftzm6 | (~ftzm@085080224053.dynamic.telenor.dk) ftzm |
| 2025-09-05 01:07:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-05 01:08:43 +0200 | ftzm | (~ftzm@085082238119.dynamic.telenor.dk) (Ping timeout: 248 seconds) |
| 2025-09-05 01:08:43 +0200 | ftzm6 | ftzm |
| 2025-09-05 01:13:37 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-05 01:13:43 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:e1dd:92b2:77c4:efe7) |
| 2025-09-05 01:15:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019) (Ping timeout: 256 seconds) |
| 2025-09-05 01:16:01 +0200 | zarakshR | (~Thunderbi@5.81.134.212) (Ping timeout: 258 seconds) |
| 2025-09-05 01:18:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 01:20:40 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-05 01:24:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-05 01:26:14 +0200 | malte | (~malte@mal.tc) malte |
| 2025-09-05 01:26:44 +0200 | Bigmoon779 | (~Bigmoon77@105.113.58.109) |
| 2025-09-05 01:28:43 +0200 | sprotte24 | (~sprotte24@p200300d16f045e00d151bb2669d40f73.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-09-05 01:29:08 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-05 01:36:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 01:37:24 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR |
| 2025-09-05 01:37:53 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-05 01:38:25 +0200 | Bigmoon779 | (~Bigmoon77@105.113.58.109) (Ping timeout: 250 seconds) |
| 2025-09-05 01:40:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-05 01:49:24 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) |
| 2025-09-05 01:49:24 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host) |
| 2025-09-05 01:49:24 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-05 01:51:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 01:55:10 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR) |
| 2025-09-05 01:55:35 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR |
| 2025-09-05 01:56:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 01:58:47 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-05 01:59:55 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:e1dd:92b2:77c4:efe7) (Ping timeout: 248 seconds) |
| 2025-09-05 02:06:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 02:08:41 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2025-09-05 02:09:49 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR) |
| 2025-09-05 02:10:09 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR |
| 2025-09-05 02:10:45 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-09-05 02:11:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 02:13:01 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-05 02:13:42 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-09-05 02:13:42 +0200 | ChanServ | +v haskellbridge |
| 2025-09-05 02:14:13 +0200 | twb | (~twb@user/twb) (Remote host closed the connection) |
| 2025-09-05 02:19:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-05 02:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 02:26:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 02:27:07 +0200 | otto_s | (~user@p5de2f76e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-05 02:28:37 +0200 | otto_s | (~user@p4ff27757.dip0.t-ipconnect.de) |
| 2025-09-05 02:29:42 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-05 02:32:53 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-05 02:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 02:41:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-05 02:42:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 02:42:57 +0200 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 02:43:47 +0200 | trickard__ | trickard |
| 2025-09-05 02:44:13 +0200 | trickard___ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-05 02:45:34 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-09-05 02:46:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-05 02:53:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 02:57:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-05 02:58:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-05 03:00:34 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-05 03:03:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-05 03:06:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-05 03:08:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 03:11:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-05 03:13:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-09-05 03:13:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-05 03:13:31 +0200 | comonad | (~comonad@p200300d0271e9900c772a68d96fd2955.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-05 03:13:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-05 03:15:19 +0200 | comonad | (~comonad@p200300d027244d00edac481148480656.dip0.t-ipconnect.de) |
| 2025-09-05 03:21:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-05 03:21:49 +0200 | jmcantrell_ | jmcantrell |
| 2025-09-05 03:24:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 03:28:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 03:31:08 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-05 03:33:10 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-09-05 03:34:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-09-05 03:36:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-05 03:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 03:44:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 03:45:54 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-05 03:54:10 +0200 | <chromoblob> | i found in a paper a name for the function `\b t f -> if b then t else f`: ite, for if-then-else |
| 2025-09-05 03:55:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 03:55:08 +0200 | <chromoblob> | which other names do you like? |
| 2025-09-05 03:55:33 +0200 | <monochrom> | "λOOM" would be a great name for JHC --- that Haskell compiler that doesn't do any GC and just lets memory footprint grows. >:) |
| 2025-09-05 03:56:12 +0200 | <Lycurgus> | meant to be a dig at jvm gc? |
| 2025-09-05 03:57:12 +0200 | <geekosaur> | "J" has nothing to do with the JVM |
| 2025-09-05 03:57:20 +0200 | <Lycurgus> | i c |
| 2025-09-05 03:57:45 +0200 | Lycurgus | didn know JHC was an actual thing |
| 2025-09-05 03:58:11 +0200 | <geekosaur> | (john meacham's haskell compiler. compiled to C, made no attempt at gc although IIRC he had been working on redoing it to optionally use boehm gc when he stopped working on it) |
| 2025-09-05 03:58:42 +0200 | <Lycurgus> | now i know why i didn |
| 2025-09-05 03:59:17 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-05 04:02:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-05 04:05:44 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-05 04:08:50 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 04:09:04 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 04:11:25 +0200 | acidjnk | (~acidjnk@p200300d6e7171976dc1e7dad9b8b9156.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-09-05 04:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 04:15:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-05 04:18:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-05 04:22:21 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 04:22:34 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 04:28:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 04:32:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-05 04:33:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-05 04:39:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-05 04:43:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 04:45:42 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-05 04:48:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 04:51:30 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 04:51:44 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 04:59:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-05 04:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 05:04:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:05:21 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-05 05:05:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-05 05:09:47 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-05 05:10:00 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
| 2025-09-05 05:14:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 05:19:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:24:23 +0200 | aforemny_ | (~aforemny@2001:9e8:6ccf:6700:bf68:45b4:b9:5a07) aforemny |
| 2025-09-05 05:25:51 +0200 | aforemny | (~aforemny@2001:9e8:6cf2:cd00:fa12:c3d8:7e61:864c) (Ping timeout: 265 seconds) |
| 2025-09-05 05:28:39 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2025-09-05 05:30:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 05:33:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-05 05:33:47 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-05 05:34:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-05 05:34:59 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-09-05 05:35:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-05 05:37:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 05:48:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 05:49:20 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-05 05:50:41 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-09-05 05:52:20 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 05:52:34 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 05:53:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 05:55:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 05:57:10 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-05 05:59:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 06:10:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 06:12:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-05 06:14:14 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-05 06:14:28 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-05 06:15:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 06:26:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 06:26:13 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-05 06:26:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
| 2025-09-05 06:28:39 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-09-05 06:30:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-05 06:30:48 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-09-05 06:33:03 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-09-05 06:33:50 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-09-05 06:35:09 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-09-05 06:39:46 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-05 06:41:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 06:43:48 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-05 06:46:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-05 06:48:04 +0200 | <Axman6> | chromoblob: bool :: a -> a -> Bool -> a; bool t _ True = t; bool _ f False = f; would be the consistent catamorphism for Bool |
| 2025-09-05 06:57:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 07:00:00 +0200 | trickard_ | trickard |
| 2025-09-05 07:01:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 07:02:31 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-09-05 07:07:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-05 07:09:25 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 250 seconds) |
| 2025-09-05 07:17:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 07:18:03 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-05 07:22:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 07:27:38 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:26ef:a68:404a:576a) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-05 07:27:51 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:82c6:a25c:b200:9d6f) |
| 2025-09-05 07:27:56 +0200 | ski | would flip the `t' and `f' parameters |
| 2025-09-05 07:28:23 +0200 | <ski> | > bool "F" "T" False |
| 2025-09-05 07:28:25 +0200 | <lambdabot> | "F" |
| 2025-09-05 07:32:40 +0200 | <ski> | @src Bool |
| 2025-09-05 07:32:40 +0200 | <lambdabot> | data Bool = False | True deriving (Eq, Ord) |
| 2025-09-05 07:33:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 07:34:20 +0200 | <ski> | > [(b,fromEnum b) | b <- [minBound .. maxBound] :: [Bool]] |
| 2025-09-05 07:34:21 +0200 | <lambdabot> | [(False,0),(True,1)] |
| 2025-09-05 07:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-05 07:42:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-05 07:42:54 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-05 07:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 07:53:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-05 07:54:35 +0200 | Vajb | (~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi) |
| 2025-09-05 07:58:33 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) |
| 2025-09-05 07:58:33 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host) |
| 2025-09-05 07:58:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-05 08:02:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-05 08:03:52 +0200 | <jreicher> | ski: why would you flip them? Pretty sure what Axman6 provides is the standard Church encoding. |
| 2025-09-05 08:03:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-05 08:07:33 +0200 | <jackdk> | I thought you put the smallest value first: `maybe` takes the arg for `Nothing` first, `bool` takes the arg for `False` first, `foldr` is an exception |