| 2025-02-13 00:00:56 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2025-02-13 00:01:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-13 00:01:53 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-02-13 00:05:21 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds) |
| 2025-02-13 00:05:41 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-02-13 00:05:53 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-02-13 00:06:16 +0100 | AWizzArd | (~code@user/awizzard) (Ping timeout: 272 seconds) |
| 2025-02-13 00:06:29 +0100 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2025-02-13 00:07:04 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2025-02-13 00:08:44 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2025-02-13 00:09:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:14:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 00:22:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 00:22:49 +0100 | mange | (~user@user/mange) mange |
| 2025-02-13 00:25:22 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:25:40 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:25:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:26:12 +0100 | <Leary> | monochrom, mauke: https://hackage.haskell.org/package/exotic-list-monads-1.1.1/docs/Control-Monad-List-Exotic.html |
| 2025-02-13 00:26:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-13 00:28:25 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2025-02-13 00:30:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 00:31:56 +0100 | <monochrom> | Excellent. |
| 2025-02-13 00:33:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-13 00:36:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-13 00:38:43 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-13 00:40:25 +0100 | <haskellbridge> | <magic_rb> Im really trying to understand what im looking at, the only one i understood somewhat was the mazewalk monad |
| 2025-02-13 00:41:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:42:35 +0100 | <haskellbridge> | <magic_rb> Ah the later ones are saner, odd, mini |
| 2025-02-13 00:42:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-13 00:45:38 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:45:52 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:46:59 +0100 | <monochrom> | Yikes continuum of list monads. |
| 2025-02-13 00:49:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-13 00:49:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-13 00:51:14 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:51:30 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:54:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-02-13 00:55:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 01:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:01:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 01:02:12 +0100 | zero | zwro |
| 2025-02-13 01:03:27 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 01:07:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 01:08:20 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2025-02-13 01:11:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 01:16:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-13 01:18:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 01:23:49 +0100 | rini | (~rini@user/rini) (Ping timeout: 248 seconds) |
| 2025-02-13 01:24:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-02-13 01:24:53 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80357462f87ee532d8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-13 01:26:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-13 01:26:24 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-13 01:26:36 +0100 | rini | (~rini@user/rini) rini |
| 2025-02-13 01:28:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-13 01:28:33 +0100 | ljdarj1 | ljdarj |
| 2025-02-13 01:34:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:37:29 +0100 | <zwro> | are there arguments against using -O3 in development besides longer compilation time? |
| 2025-02-13 01:38:05 +0100 | <haskellbridge> | <sm> people always say it does nothing... |
| 2025-02-13 01:38:28 +0100 | <haskellbridge> | <sm> but it exists for _some_ reason... |
| 2025-02-13 01:38:47 +0100 | <c_wraith> | is it documented?\ |
| 2025-02-13 01:38:48 +0100 | <geekosaur> | yeh, my understanding is that it adds a lot to compile time but only produces speedups in some rare edge cases |
| 2025-02-13 01:39:03 +0100 | <geekosaur> | it's documented, and the documentation more or less says what I just did |
| 2025-02-13 01:39:44 +0100 | <geekosaur> | my conjecture is it helps for some corporate users |
| 2025-02-13 01:39:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 01:40:13 +0100 | <c_wraith> | https://downloads.haskell.org/ghc/latest/docs/users_guide/ghc.html#optimization-levels I suppose it's technically documented... |
| 2025-02-13 01:43:23 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-13 01:47:05 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-02-13 01:47:13 +0100 | <zwro> | i actually meant -O2 but this was funny |
| 2025-02-13 01:47:31 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-02-13 01:47:44 +0100 | <zwro> | well i guess my question goes for any optimization level |
| 2025-02-13 01:48:12 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-02-13 01:48:28 +0100 | <zwro> | i just found out that in some scheme implementations, high optimization levels turn off type checking so i thought to ask here |
| 2025-02-13 01:48:42 +0100 | califax_ | califax |
| 2025-02-13 01:49:17 +0100 | <zwro> | if there was some reason i shouldn't have optimization turned on by default while developing |
| 2025-02-13 01:50:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:50:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-13 01:53:35 +0100 | <jackdk> | You'll still get typechecking but your compilation speed may be slower at higher optimisation levels |
| 2025-02-13 01:54:02 +0100 | <zwro> | i know i will still get typechecking in haskell :p |
| 2025-02-13 01:54:23 +0100 | <geekosaur> | it will impact profiling unless you use a sufficiently recent ghc with -fprof-late |
| 2025-02-13 01:54:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 01:55:11 +0100 | <geekosaur> | otherwise no, just compilation speed (and performance of the resulting program, which can be pretty bad at -O0 especially if you were relying on fusion) |
| 2025-02-13 01:56:54 +0100 | <zwro> | great thanks |
| 2025-02-13 02:00:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 02:04:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-13 02:05:18 +0100 | <monochrom> | You can pretty much analogize ghc : O1 : O2 :: gcc : O2 : O3 |
| 2025-02-13 02:05:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:06:31 +0100 | <monochrom> | would be funny if GHC -Ooo turns on type checking. April 1st project! |
| 2025-02-13 02:06:41 +0100 | <monochrom> | err, turns off! |
| 2025-02-13 02:10:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 02:11:28 +0100 | sprotte24 | (~sprotte24@p200300d16f0a8e003d8337fe7ef7e64f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-13 02:13:26 +0100 | <monochrom> | Oh, maybe it means runtime type checks for scheme. |
| 2025-02-13 02:14:26 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-02-13 02:19:02 +0100 | <jackdk> | monochrom: `-fdefer-type-errors` is occasionally really useful as a "just let me play with the working bits in GHCi" hammer |
| 2025-02-13 02:19:39 +0100 | <monochrom> | I use that too. |
| 2025-02-13 02:21:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-13 02:21:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:24:33 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-02-13 02:25:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eaaa:e5a8:7fd2:7c37) (Ping timeout: 248 seconds) |
| 2025-02-13 02:25:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 02:34:25 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 02:36:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:39:09 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2025-02-13 02:41:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-13 02:46:33 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-02-13 02:47:38 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-02-13 02:48:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 02:52:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:53:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-13 02:57:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 03:06:11 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-13 03:07:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:07:32 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-13 03:14:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-13 03:22:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-13 03:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:30:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 03:34:18 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-182.resnet.purdue.edu) |
| 2025-02-13 03:36:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 03:40:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:40:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-13 03:45:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-13 03:49:56 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-182.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2025-02-13 03:55:37 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-02-13 03:56:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:56:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:00:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:00:49 +0100 | bilegeek | (~bilegeek@2600:1008:b046:158b:b133:8043:cdac:3685) bilegeek |
| 2025-02-13 04:01:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-13 04:06:29 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2025-02-13 04:10:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 04:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:13:21 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 04:20:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-13 04:21:34 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:22:00 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2025-02-13 04:23:35 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-13 04:25:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 04:27:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:29:11 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-13 04:31:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 04:33:30 +0100 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Ping timeout: 246 seconds) |
| 2025-02-13 04:36:27 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 04:39:47 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:40:42 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-13 04:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:42:43 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-02-13 04:47:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:47:47 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-13 04:49:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 04:52:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-02-13 05:00:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:04:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 05:13:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 05:15:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:17:28 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 05:17:48 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce2:400:81b8:980:aec7:b8ae) aforemny |
| 2025-02-13 05:17:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-13 05:18:51 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 05:19:29 +0100 | aforemny | (~aforemny@2001:9e8:6cc4:e000:b3b9:f8f6:fb02:80e2) (Ping timeout: 268 seconds) |
| 2025-02-13 05:20:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 05:25:04 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-13 05:25:04 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-13 05:25:04 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-13 05:28:11 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-13 05:31:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 05:37:33 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 05:42:02 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2025-02-13 05:47:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:50:53 +0100 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-02-13 05:51:09 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-13 05:52:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 05:53:18 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 05:54:53 +0100 | <jle`> | those are some neat monads |
| 2025-02-13 05:55:18 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-02-13 05:56:14 +0100 | hattckory | (~hattckory@70.31.30.224) (Remote host closed the connection) |
| 2025-02-13 05:56:29 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-13 05:56:38 +0100 | <jle`> | > The join of the Odd monad is a concat of the inner lists provided there is an odd number of them, and that all of them are of odd length themselves. Otherwise (modulo cases needed for the unit laws), the result is the empty list. |
| 2025-02-13 05:56:40 +0100 | <lambdabot> | <hint>:1:10: error: parse error on input ‘of’ |
| 2025-02-13 05:56:48 +0100 | <jle`> | sorry lambdabot |
| 2025-02-13 06:01:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 06:02:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-13 06:03:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:06:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-13 06:07:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 06:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:19:00 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-13 06:19:37 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 06:23:00 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 06:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 06:26:12 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-13 06:29:26 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 06:36:19 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-13 06:36:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:41:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 06:41:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-13 06:44:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 06:50:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:50:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 06:52:22 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-02-13 06:55:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-13 06:55:09 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 06:55:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 07:00:00 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 268 seconds) |
| 2025-02-13 07:05:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:10:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 07:11:08 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-13 07:13:01 +0100 | mange | (~user@user/mange) (Quit: Quittin' time!) |
| 2025-02-13 07:21:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:22:46 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-13 07:25:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 07:26:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-13 07:26:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-13 07:27:44 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 07:32:00 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2025-02-13 07:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:36:36 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-13 07:38:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 07:38:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 07:43:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-13 07:49:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:50:31 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Remote host closed the connection) |
| 2025-02-13 07:50:38 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 07:53:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 07:56:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-13 07:57:09 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33357462f87ee532d8.dip0.t-ipconnect.de) acidjnk |
| 2025-02-13 07:59:21 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-13 08:00:43 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-13 08:03:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-13 08:04:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-13 08:06:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 08:12:56 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-02-13 08:13:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-02-13 08:14:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 08:14:41 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-13 08:20:09 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Remote host closed the connection) |
| 2025-02-13 08:20:18 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 08:21:20 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-13 08:26:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 08:30:53 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 08:31:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-13 08:33:40 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 08:37:04 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 08:40:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 08:41:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-13 08:42:09 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-13 08:44:52 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 08:45:16 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-13 08:46:59 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-02-13 08:48:38 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2025-02-13 08:48:39 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 08:48:57 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-02-13 08:56:38 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-13 08:57:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-13 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-13 09:00:59 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-13 09:04:02 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 09:04:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-13 09:05:55 +0100 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
| 2025-02-13 09:06:42 +0100 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-02-13 09:10:47 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2025-02-13 09:12:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-13 09:13:43 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 09:14:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 09:14:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-13 09:18:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-13 09:19:39 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 09:21:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 09:25:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-13 09:28:39 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 09:32:59 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2025-02-13 09:35:38 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-13 09:39:44 +0100 | zungi | (~tory@user/andrewchawk) (Quit: "Restarting with different $TERM") |
| 2025-02-13 09:40:09 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-13 09:42:07 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-13 09:45:01 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-13 09:49:22 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2025-02-13 09:51:39 +0100 | attk | (~attk@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-13 09:53:36 +0100 | kuribas | (~user@ptr-17d51emrhy16b8gj7hx.18120a2.ip6.access.telenet.be) kuribas |