| 2025-09-28 00:00:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-28 00:00:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 00:01:02 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 00:01:34 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-09-28 00:03:16 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-09-28 00:06:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 00:10:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 00:12:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 00:12:55 +0200 | <EvanR> | newsham, the standardish library "linear" has a function (*^) with type (Functor f, Num a) => a -> f a -> f a |
| 2025-09-28 00:13:13 +0200 | <EvanR> | so basically, it doesn't need a new abstraction you just have to define it |
| 2025-09-28 00:13:32 +0200 | <EvanR> | assuming it's already a functor |
| 2025-09-28 00:15:14 +0200 | <EvanR> | haskell really needs to push "functor tutorials" more |
| 2025-09-28 00:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 00:17:20 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 00:19:19 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 00:19:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b023:5780:967f:79f8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 00:20:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-09-28 00:23:33 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 00:28:36 +0200 | <newsham> | i dont know that i need it, but i was thinking i wanted Int to be scalable too, which wouldnt work with that definition. Integer isnt a container of floats. |
| 2025-09-28 00:28:59 +0200 | <newsham> | but maybe that was just silliness on my part. the types i care about right now are Float and RGBA as a triple of floats. |
| 2025-09-28 00:31:33 +0200 | <EvanR> | it's possible to make anything into the dumbest possible Functor xD |
| 2025-09-28 00:31:52 +0200 | <EvanR> | > fmap (7*) (Identity 3) |
| 2025-09-28 00:31:53 +0200 | <lambdabot> | Identity 21 |
| 2025-09-28 00:33:18 +0200 | <EvanR> | but just defining scaleRGBA :: Float -> RGBA -> RGBA ain't stupid either |
| 2025-09-28 00:33:47 +0200 | <newsham> | oh but for fun color from a 3rd party package is concretely only for floats. so not so much functor. |
| 2025-09-28 00:34:34 +0200 | <newsham> | evanr: thats besides the point. I need to be able to scale things by floats in [0..1]. i dont need to scale ints by ints. |
| 2025-09-28 00:34:56 +0200 | <int-e> | > fmap (7*) (Data.Functor.Const.Const ()) |
| 2025-09-28 00:34:57 +0200 | <lambdabot> | error: |
| 2025-09-28 00:34:57 +0200 | <lambdabot> | Not in scope: data constructor ‘Data.Functor.Const.Const’ |
| 2025-09-28 00:34:57 +0200 | <lambdabot> | No module named ‘Data.Functor.Const’ is imported. |
| 2025-09-28 00:35:07 +0200 | <int-e> | % fmap (7*) (Data.Functor.Const.Const ()) |
| 2025-09-28 00:35:07 +0200 | <yahb2> | Const () |
| 2025-09-28 00:35:31 +0200 | <newsham> | complex type gymnastics can let me use a large 3rd party vector package to replace my 3 instance declarations? :) |
| 2025-09-28 00:35:57 +0200 | <EvanR> | or delete your 3 instances and just use * or a dedicate scale function |
| 2025-09-28 00:38:12 +0200 | <newsham> | * doesnt do color * float. my 3 instances define 3 dedicated scale functions. |
| 2025-09-28 00:39:40 +0200 | <newsham> | oh, nice. `*` does do float x color. |
| 2025-09-28 00:40:31 +0200 | <newsham> | oh, i'm mistaken. it can just convert numeric constants to colors. |
| 2025-09-28 00:40:39 +0200 | <newsham> | and do color x color |
| 2025-09-28 00:40:56 +0200 | <EvanR> | scaling by a "real" is traditionally the purview of "vector space" |
| 2025-09-28 00:40:56 +0200 | <newsham> | anyway.. i've got my instance i'm happy with.. going to goof off with other stuff. thanks for the tips. |
| 2025-09-28 00:42:30 +0200 | <EvanR> | but specifically only dealing in scale factors between 0 and 1 sounds more like probability |
| 2025-09-28 00:47:50 +0200 | newsham | (~newsham@2603:800c:2c01:6825:a538:c286:d6c2:5fcd) (Quit: Client closed) |
| 2025-09-28 00:50:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-09-28 00:50:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-28 00:55:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 00:56:58 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 01:00:11 +0200 | <fgarcia> | the function name had me confused, i think "darken" might work |
| 2025-09-28 01:00:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 01:02:32 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-28 01:03:36 +0200 | <EvanR> | I've wondered this a couple times, if there was any point in abstracting sliders or knobs or UI elements which could almost be logically between 0 and 1 but it never seemed worth it |
| 2025-09-28 01:03:59 +0200 | <EvanR> | s/almost/only/ |
| 2025-09-28 01:06:56 +0200 | <geekosaur> | abstracting UI elements is already pretty difficult, granting that unless you're talking FRP the real complication is interfacing with an OOP graphics library |
| 2025-09-28 01:10:08 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-28 01:10:09 +0200 | <EvanR> | I mean their values |
| 2025-09-28 01:10:21 +0200 | <EvanR> | but yeah, why is UI so hard |
| 2025-09-28 01:10:31 +0200 | <EvanR> | after all these decades |
| 2025-09-28 01:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 01:13:13 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-28 01:13:35 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-28 01:13:46 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-28 01:14:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 01:16:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 01:17:37 +0200 | sprotte24 | (~sprotte24@p200300d16f22ee00292e69812e23861a.dip0.t-ipconnect.de) |
| 2025-09-28 01:19:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 01:24:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 01:25:40 +0200 | Googulator48 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 01:25:41 +0200 | Googulator84 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 01:26:06 +0200 | emm | (~emm@user/edmeme) edmeme |
| 2025-09-28 01:26:47 +0200 | emm | (~emm@user/edmeme) (Client Quit) |
| 2025-09-28 01:33:50 +0200 | acidjnk | (~acidjnk@p200300d6e71719741804246150b63047.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-28 01:39:03 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) |
| 2025-09-28 01:39:03 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) (Changing host) |
| 2025-09-28 01:39:03 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 01:39:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-09-28 01:45:47 +0200 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 01:46:14 +0200 | Googulator48 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 01:47:53 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 01:48:07 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 01:54:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 01:56:00 +0200 | Googulator74 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 01:56:21 +0200 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 01:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 02:03:06 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-09-28 02:10:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 02:10:36 +0200 | Googulator74 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 02:10:43 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 02:17:03 +0200 | sprotte24 | (~sprotte24@p200300d16f22ee00292e69812e23861a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-09-28 02:17:03 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 02:17:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 02:17:44 +0200 | defragger | (~random@i5C742D07.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 02:19:31 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 02:19:48 +0200 | defragger | (~random@i5C742CDD.versanet.de) defragger |
| 2025-09-28 02:20:07 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-28 02:34:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 02:35:37 +0200 | <haskellbridge> | <sm> good question EvanR |
| 2025-09-28 02:35:40 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 02:35:42 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 02:43:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) |
| 2025-09-28 02:44:12 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 02:44:25 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 02:46:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) (Client Quit) |
| 2025-09-28 02:50:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) |
| 2025-09-28 02:50:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) (Changing host) |
| 2025-09-28 02:50:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 02:52:51 +0200 | yegor | (~yegor@user/yegor) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-28 02:53:11 +0200 | yegor | (yegor@user/yegor) yegor |
| 2025-09-28 02:55:13 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-28 03:04:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 03:13:11 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 03:17:10 +0200 | trickard_ | trickard |
| 2025-09-28 03:23:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 03:27:24 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 03:27:44 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 03:28:00 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 03:30:53 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 03:35:41 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-28 03:41:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 03:42:42 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 03:42:58 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 03:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 03:48:27 +0200 | comonad | (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-09-28 03:50:05 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 03:50:11 +0200 | comonad | (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) |
| 2025-09-28 03:51:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2025-09-28 03:56:16 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 03:57:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:02:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-09-28 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-09-28 04:07:13 +0200 | trickard_ | trickard |
| 2025-09-28 04:10:16 +0200 | banner | (~banner@1.41.210.25) |
| 2025-09-28 04:13:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:14:23 +0200 | <slondr> | What's the best way to maintain/mutate state across calls of a function where I can't modify the function signature? |
| 2025-09-28 04:14:50 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
| 2025-09-28 04:14:52 +0200 | <slondr> | as in, I'm passing a callback function to a library, but I want my callback function to accumulate some context each time it's called |
| 2025-09-28 04:16:00 +0200 | <slondr> | My first thought was to use forkIO to spawn a separate thread for maintaining state in a simple call/response recursive function, then build my callback function as a closure over a channel to this thread. But that seems like it might be overkill |
| 2025-09-28 04:18:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 04:21:21 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-28 04:24:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:27:41 +0200 | <Leary> | slondr: Close over a simple `IORef` instead? E.g. pass in a partially applied `mkCallBack :: IORef YourState -> CallBackType`. |
| 2025-09-28 04:28:14 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 04:29:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 04:30:54 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 04:32:22 +0200 | <slondr> | Hmm, can I reference IORefs in a non-IO function? |
| 2025-09-28 04:32:33 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 04:35:39 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 04:35:42 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 04:37:18 +0200 | <Leary> | In a pure function? No, but in that case you can't do anything with channels either. |
| 2025-09-28 04:37:27 +0200 | <Leary> | If you're in a pure context, the function must do the same thing every time it's called; it can have no internal state. |
| 2025-09-28 04:37:43 +0200 | <slondr> | ah, ok |
| 2025-09-28 04:37:56 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 04:39:23 +0200 | <slondr> | is there maybe a way to modify external state without it affecting the return value of the function? I suppose I could rebuild the callback function into something slightly different every time if so |
| 2025-09-28 04:40:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 04:45:08 +0200 | <Leary> | Not without `unsafePerformIO`. You probably need to change your approach. |
| 2025-09-28 04:45:36 +0200 | <dcpagan> | How do I safely decrement a type-level natural number? |
| 2025-09-28 04:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 04:45:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6b5a:7de1:ba67:bc14) (Ping timeout: 250 seconds) |
| 2025-09-28 04:45:53 +0200 | <slondr> | Hmm, I agree that this approach seems rather fundamentally flawed, but I feel at the whim of the library here sadly |
| 2025-09-28 04:46:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-28 04:48:07 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 04:50:23 +0200 | td_ | (~td@i5387092C.versanet.de) td_ |
| 2025-09-28 04:53:10 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 244 seconds) |
| 2025-09-28 04:54:41 +0200 | elnegro | (elnegro@r186-50-77-161.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-09-28 04:56:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:01:30 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-28 05:02:34 +0200 | elnegro | (elnegro@r186-50-77-161.dialup.adsl.anteldata.net.uy) (Remote host closed the connection) |
| 2025-09-28 05:02:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 05:02:59 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2025-09-28 05:05:48 +0200 | <dcpagan> | I got a reduction stack overflow from type-level shenanigans. Wat do? |
| 2025-09-28 05:06:53 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-09-28 05:10:20 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-09-28 05:10:54 +0200 | <slondr> | oh! if I partially-apply the function from within an IO context, I get a de-IO'd version of the function - maybe this is the key |
| 2025-09-28 05:14:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:19:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 05:19:27 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 250 seconds) |
| 2025-09-28 05:19:43 +0200 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 255 seconds) |
| 2025-09-28 05:19:56 +0200 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2025-09-28 05:19:56 +0200 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2025-09-28 05:19:56 +0200 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2025-09-28 05:20:00 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-09-28 05:24:24 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:24:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:28:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bd6b:8e9b:54f4:4d4b) |
| 2025-09-28 05:30:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:31:26 +0200 | <slondr> | Hey that may have worked |
| 2025-09-28 05:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 05:37:59 +0200 | trickard_ | trickard |
| 2025-09-28 05:45:33 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:45:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:46:13 +0200 | <slondr> | indeed it did! now I can read and write to an IORef from within the library's invokation of the callback. this is awesome |
| 2025-09-28 05:47:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:50:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:50:50 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 05:55:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) aforemny |
| 2025-09-28 05:56:46 +0200 | aforemny | (~aforemny@i577B128D.versanet.de) (Ping timeout: 256 seconds) |
| 2025-09-28 06:02:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 06:10:25 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:10:38 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:11:38 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-28 06:11:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:16:52 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 06:18:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:20:40 +0200 | <dcpagan> | Is there a standard way to iterate over type-level natural numbers? |
| 2025-09-28 06:21:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:22:49 +0200 | <dcpagan> | For example, in the recursion-schemes package (https://hackage.haskell.org/package/recursion-schemes), an instance of a base functor for Natural was defined as Maybe, and Natural was an instance of the fixed point of Maybe. |
| 2025-09-28 06:23:09 +0200 | <dcpagan> | Is there a standard type-level way of unfixing that fixed point? |
| 2025-09-28 06:23:14 +0200 | <dcpagan> | Something like this? |
| 2025-09-28 06:23:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 06:23:28 +0200 | <dcpagan> | type family Unnatural (n :: Natural) where |
| 2025-09-28 06:23:30 +0200 | <dcpagan> | Unnatural 0 = 'Nothing |
| 2025-09-28 06:23:32 +0200 | <dcpagan> | Unnatural n = 'Just (n - 1) |
| 2025-09-28 06:25:43 +0200 | defragger | (~random@i5C742CDD.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 06:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:30:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 06:35:40 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:35:40 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:37:47 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-09-28 06:41:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:47:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 06:48:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 06:55:41 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:55:41 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:00:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 07:04:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 07:08:07 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-09-28 07:15:42 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 07:15:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 07:24:29 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 07:24:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 07:26:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 07:42:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 07:44:01 +0200 | <dcpagan> | My type-level shenanigans worked, but, for some reason, using associated type families raises a type error that there is no instance of the KnownSymbol constraint. |
| 2025-09-28 07:44:12 +0200 | <dcpagan> | My code is here: https://exercism.org/tracks/haskell/exercises/house/solutions/DCPagan |
| 2025-09-28 07:47:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 07:48:39 +0200 | byorgey | (~byorgey@user/byorgey) (Read error: Connection reset by peer) |
| 2025-09-28 07:49:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-28 07:56:33 +0200 | trickard_ | trickard |
| 2025-09-28 07:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 08:07:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-28 08:07:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 08:10:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-28 08:12:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 08:12:57 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-28 08:13:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 08:15:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:15:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 08:19:30 +0200 | esph | (~weechat@user/esph) (Read error: Connection reset by peer) |
| 2025-09-28 08:19:43 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-28 08:20:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 08:20:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 08:22:33 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 08:24:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-28 08:27:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:30:04 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 08:30:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 08:33:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-28 08:34:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 08:36:10 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 08:37:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 08:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 08:46:16 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:f8bd:cfdc:76e8:5885) |
| 2025-09-28 08:46:16 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:f8bd:cfdc:76e8:5885) (Changing host) |
| 2025-09-28 08:46:16 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 08:48:21 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-09-28 08:48:49 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-09-28 08:50:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 09:00:01 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-28 09:00:01 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 09:00:43 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-28 09:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:02:36 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-28 09:05:04 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-09-28 09:07:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 09:08:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:10:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 09:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 09:17:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 09:24:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:26:31 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 09:29:20 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 09:33:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 09:33:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 09:34:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:29c2:100a:c130:17f4) |
| 2025-09-28 09:34:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:29c2:100a:c130:17f4) (Changing host) |
| 2025-09-28 09:34:07 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 09:40:41 +0200 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 09:40:47 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 09:44:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 09:48:28 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-28 09:48:36 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 09:49:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 09:51:19 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-28 09:53:13 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 09:53:27 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 09:59:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-28 10:00:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:03:13 +0200 | annamalai | (~annamalai@157.32.127.38) (Ping timeout: 265 seconds) |
| 2025-09-28 10:05:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 10:07:10 +0200 | acidjnk | (~acidjnk@p200300d6e71719416d0f89f3aea01a32.dip0.t-ipconnect.de) acidjnk |
| 2025-09-28 10:14:20 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Remote host closed the connection) |
| 2025-09-28 10:15:35 +0200 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 10:15:43 +0200 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 10:16:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:18:38 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 10:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 10:27:02 +0200 | annamalai | (~annamalai@157.32.124.169) annamalai |
| 2025-09-28 10:29:08 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-28 10:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:31:04 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-09-28 10:32:47 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-28 10:33:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2025-09-28 10:34:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-28 10:34:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 10:37:16 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 10:38:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-28 10:40:45 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 10:40:45 +0200 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 10:45:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 10:46:48 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5dfe:6cb5:b248:dbc) |
| 2025-09-28 10:46:48 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5dfe:6cb5:b248:dbc) (Changing host) |
| 2025-09-28 10:46:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 10:50:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 10:51:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-28 10:56:29 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 11:01:02 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-09-28 11:01:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 11:15:36 +0200 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2025-09-28 11:15:36 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 11:15:44 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 11:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:18:05 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-09-28 11:18:31 +0200 | AlexZenon | (~alzenon@5.139.232.123) (Ping timeout: 240 seconds) |
| 2025-09-28 11:19:07 +0200 | AlexNoo | (~AlexNoo@5.139.232.123) (Ping timeout: 244 seconds) |
| 2025-09-28 11:19:22 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) astroanax |
| 2025-09-28 11:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 11:24:07 +0200 | qqe | (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-28 11:25:32 +0200 | AlexZenon | (~alzenon@85.174.181.199) |
| 2025-09-28 11:29:28 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 11:29:42 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 11:30:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-28 11:30:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:32:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-09-28 11:32:10 +0200 | AlexNoo_ | AlexNoo |
| 2025-09-28 11:37:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 11:39:19 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 240 seconds) |
| 2025-09-28 11:41:03 +0200 | Vajb | (~Vajb@n5hm5k9t3gvbmoru6qi-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-09-28 11:42:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-28 11:42:57 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-28 11:43:24 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 11:48:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-28 11:48:34 +0200 | sprotte24 | (~sprotte24@p200300d16f2d9900fd81e3920f7bb401.dip0.t-ipconnect.de) |
| 2025-09-28 11:48:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 11:50:07 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 11:51:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 11:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 11:55:45 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 11:58:15 +0200 | <lyxia> | dcpagan: what's the code that failed and what's the error |
| 2025-09-28 12:04:20 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-28 12:04:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:09:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 12:10:01 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 12:19:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-28 12:20:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:21:34 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 12:21:47 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 12:24:49 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-28 12:25:11 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-28 12:25:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 12:31:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:36:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 12:37:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 12:40:10 +0200 | arandombit | (~arandombi@syn-024-168-084-088.res.spectrum.com) |
| 2025-09-28 12:40:10 +0200 | arandombit | (~arandombi@syn-024-168-084-088.res.spectrum.com) (Changing host) |
| 2025-09-28 12:40:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 12:44:00 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 12:44:13 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 12:45:59 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.7.1) |
| 2025-09-28 12:46:33 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-09-28 12:46:50 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 12:47:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 12:48:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:206d:1a43:7a52:91db) |
| 2025-09-28 12:48:26 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:206d:1a43:7a52:91db) (Changing host) |
| 2025-09-28 12:48:26 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 12:52:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 12:55:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 12:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:b0d3:b3d8:6d9c:d7db) |
| 2025-09-28 12:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:b0d3:b3d8:6d9c:d7db) (Changing host) |
| 2025-09-28 12:58:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:03:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:03:19 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 13:03:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 13:03:33 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 13:04:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 13:13:07 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-09-28 13:15:51 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 13:18:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:20:08 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
| 2025-09-28 13:20:36 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 13:25:38 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 13:25:40 +0200 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 13:25:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 13:26:40 +0200 | trickard_ | trickard |
| 2025-09-28 13:32:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 13:32:40 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 13:32:41 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-28 13:32:44 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 13:32:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-09-28 13:32:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:33:59 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-28 13:37:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 13:45:20 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2025-09-28 13:48:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 13:48:57 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 13:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 13:54:28 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 13:54:49 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 13:55:02 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 13:55:19 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-09-28 13:57:37 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2025-09-28 13:57:38 +0200 | divlamir_ | divlamir |
| 2025-09-28 14:00:20 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:c00f:6f24:a04a:4780) |
| 2025-09-28 14:00:20 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:c00f:6f24:a04a:4780) (Changing host) |
| 2025-09-28 14:00:21 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 14:01:12 +0200 | annamalai | (~annamalai@157.32.124.169) (Remote host closed the connection) |
| 2025-09-28 14:01:35 +0200 | annamalai | (~annamalai@157.32.124.169) annamalai |
| 2025-09-28 14:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:04:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 14:07:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 14:09:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 14:11:47 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-28 14:20:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:21:42 +0200 | trickard_ | trickard |
| 2025-09-28 14:24:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 14:25:44 +0200 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 14:25:46 +0200 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 14:27:44 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-28 14:28:03 +0200 | Vajb | (~Vajb@85-76-96-121-nat.elisa-mobile.fi) |
| 2025-09-28 14:29:46 +0200 | annamalai | (~annamalai@157.32.124.169) (Ping timeout: 248 seconds) |
| 2025-09-28 14:33:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:35:24 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-28 14:37:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-09-28 14:38:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 14:49:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 14:50:40 +0200 | Googulator67 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 14:50:47 +0200 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 14:52:06 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-09-28 14:53:04 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-09-28 14:56:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 14:57:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 14:58:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:4058:a152:dea1:524b) |
| 2025-09-28 14:58:21 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:4058:a152:dea1:524b) (Changing host) |
| 2025-09-28 14:58:21 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 15:00:37 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-28 15:00:41 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 15:02:25 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2025-09-28 15:05:14 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 15:07:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:08:01 +0200 | Square | (~Square@user/square) Square |
| 2025-09-28 15:08:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 15:12:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 15:13:51 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-28 15:15:42 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 15:15:42 +0200 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 15:16:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 15:20:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-28 15:21:21 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 15:22:08 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2025-09-28 15:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:28:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 15:31:52 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-28 15:33:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 15:33:39 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 15:34:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:39:49 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-28 15:40:13 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-28 15:40:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 15:43:47 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 15:44:00 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 15:50:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 15:55:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 15:57:05 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 15:58:11 +0200 | bgg_ | (~bgg@2a01:e0a:819:1510:614b:24d4:7063:74e2) (Remote host closed the connection) |
| 2025-09-28 15:58:32 +0200 | Vajb | (~Vajb@85-76-96-121-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2025-09-28 16:06:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:07:42 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-28 16:09:25 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-28 16:09:42 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-28 16:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 16:12:03 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 16:12:15 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 16:14:50 +0200 | annamalai | (~annamalai@157.32.118.126) annamalai |
| 2025-09-28 16:22:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-09-28 16:22:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:27:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 16:31:02 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 16:35:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:36:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-28 16:42:11 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 16:42:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2025-09-28 16:42:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 16:44:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 16:45:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-28 16:53:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 16:55:23 +0200 | trickard_ | trickard |
| 2025-09-28 16:57:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 16:58:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 17:00:16 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-28 17:01:09 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 17:01:30 +0200 | Square | (~Square@user/square) Square |
| 2025-09-28 17:08:05 +0200 | Vajb | (~Vajb@85-76-14-9-nat.elisa-mobile.fi) |
| 2025-09-28 17:09:56 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-28 17:10:12 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:12:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:13:58 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 17:15:44 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:15:44 +0200 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:17:02 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-28 17:25:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 17:28:43 +0200 | bgg | (~bgg@2a01:e0a:819:1510:ce70:2793:3b21:6fbd) |
| 2025-09-28 17:32:37 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 17:35:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 17:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:37:39 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 17:37:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:39:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-28 17:40:40 +0200 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:40:45 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 17:52:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 17:53:22 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 17:56:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 17:56:03 +0200 | ljdarj1 | ljdarj |
| 2025-09-28 17:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 18:02:09 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 18:02:32 +0200 | Square | (~Square@user/square) Square |
| 2025-09-28 18:05:23 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 18:07:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-28 18:08:06 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 18:08:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:08:43 +0200 | <slondr> | why do haskell linters suggest calling 'elem' as infix instead of prefix? I haven't seen this suggestion for other functions but I'm getting it for 'elem' |
| 2025-09-28 18:09:54 +0200 | <__monty__> | Looks nice if you use conceals? |
| 2025-09-28 18:10:08 +0200 | <__monty__> | Makes the argument order more intuitive? |
| 2025-09-28 18:10:19 +0200 | <__monty__> | Developer's personal opinion? |
| 2025-09-28 18:10:45 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 18:10:50 +0200 | Googulator92 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 18:11:01 +0200 | <slondr> | What are conceals? |
| 2025-09-28 18:11:48 +0200 | <int-e> | x `elem` xs is reminiscent of x ∊ X in set theory |
| 2025-09-28 18:12:27 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-28 18:13:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 18:16:57 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-28 18:17:34 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 18:22:28 +0200 | <__monty__> | slondr: `:h conceal` in Vim. |
| 2025-09-28 18:23:22 +0200 | <slondr> | oh it's a vim thing? |
| 2025-09-28 18:23:40 +0200 | <slondr> | Ohh I see, it's similar to prettify-symbols-mode |
| 2025-09-28 18:23:57 +0200 | <__monty__> | Some other editors also do. |
| 2025-09-28 18:24:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:29:40 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-28 18:29:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-28 18:35:52 +0200 | Guest63 | (~Guest25@49.43.241.130) |
| 2025-09-28 18:36:25 +0200 | Guest63 | (~Guest25@49.43.241.130) (Client Quit) |
| 2025-09-28 18:36:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 18:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:40:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 18:40:45 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 18:40:46 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 18:41:50 +0200 | <dcpagan> | lyxia: The code "rhyme = symbolVal $ Proxy @(Song SongLength)" throws the type error "No instance for (KnownSymbol (Song SongLength) arising from a use of 'symbolVal'". |
| 2025-09-28 18:42:33 +0200 | <dcpagan> | I cannot use the associated type families, but the closed type families work. |
| 2025-09-28 18:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 18:43:31 +0200 | <dcpagan> | You can clone it here: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs#L116-L117 |
| 2025-09-28 18:44:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-28 18:46:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-28 18:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:53:55 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-28 18:54:48 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-09-28 18:55:03 +0200 | <dcpagan> | I solved it: I had to add an instance statement for the class. |
| 2025-09-28 18:58:07 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 18:58:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 19:03:22 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 19:06:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-09-28 19:06:35 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 19:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:11:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 19:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:15:47 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 19:15:51 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 19:16:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-28 19:18:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 19:21:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-09-28 19:22:32 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 19:22:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 19:24:07 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 19:26:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:26:33 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 19:27:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-28 19:29:47 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 19:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:33:47 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 19:34:01 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 19:36:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 19:38:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:43:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 19:49:21 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-09-28 19:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 20:06:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-28 20:07:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 20:09:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-28 20:10:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:14:51 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-28 20:14:51 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-28 20:14:51 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-28 20:15:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 20:24:04 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 20:24:09 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 20:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:29:12 +0200 | <tomsmeding> | dcpagan: did you add a manual instance to KnownSymbol? That sounds highly dubious and probably not the way to go |
| 2025-09-28 20:29:30 +0200 | <dcpagan> | I just did; it fixed it. |
| 2025-09-28 20:29:44 +0200 | <tomsmeding> | symbolVal is meant for symbols themselves; if you want tome kind of typeclass for "things that have a name", you should probably create that typeclass yourself |
| 2025-09-28 20:29:56 +0200 | <tomsmeding> | and it could have an instance for Symbol that delegates to symbolVal |
| 2025-09-28 20:30:27 +0200 | <tomsmeding> | or wait |
| 2025-09-28 20:30:33 +0200 | <tomsmeding> | what do you mean with "add an instance statement" precisely? |
| 2025-09-28 20:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 20:31:55 +0200 | <tomsmeding> | oh you mean an instance for VerseIndex, not an instance for KnownSymbol |
| 2025-09-28 20:32:04 +0200 | <tomsmeding> | yeah that makes perfect sense |
| 2025-09-28 20:32:39 +0200 | <tomsmeding> | though I do wonder why the class is necessary |
| 2025-09-28 20:36:02 +0200 | <tomsmeding> | dcpagan: https://play.haskell.org/saved/YzCmA0EI works fine for me |
| 2025-09-28 20:36:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 20:36:15 +0200 | <tomsmeding> | I did have to convert the "type signatures" for Verses/Stanza/Song to StandaloneKindSignatures |
| 2025-09-28 20:38:24 +0200 | <dcpagan> | tomsmeding: Before, I forgot to add the line "instance (KnownNat n, n <= SongLength) => VerseIndex (n :: Natural)" |
| 2025-09-28 20:38:45 +0200 | <tomsmeding> | right |
| 2025-09-28 20:39:01 +0200 | <tomsmeding> | that line has nothing to do with KnownSymbol, though :) |
| 2025-09-28 20:39:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:40:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 20:41:09 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-09-28 20:41:45 +0200 | <dcpagan> | I am getting conflicting conflicting type instances from the commented block of code: |
| 2025-09-28 20:41:58 +0200 | <dcpagan> | https://github.com/DCPagan/Exercism-Haskell/blob/62845d21c972414c648e69a456990a00280c3faa/house/sr… |
| 2025-09-28 20:42:29 +0200 | <dcpagan> | I want to encapsulate the constraints and type errors in a separate instance. |
| 2025-09-28 20:42:36 +0200 | <tomsmeding> | instances are chosen/disambiguated purely based on the part to the right of the => |
| 2025-09-28 20:42:43 +0200 | <tomsmeding> | so both your `VerseIndex n` instances apply to all n |
| 2025-09-28 20:42:53 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2025-09-28 20:43:05 +0200 | <tomsmeding> | haskell typeclasses are not a logic programming language, unfortunately |
| 2025-09-28 20:43:08 +0200 | <dcpagan> | So how do I constrain the kind variables? |
| 2025-09-28 20:43:19 +0200 | <tomsmeding> | with instances, you don't |
| 2025-09-28 20:43:24 +0200 | <dcpagan> | That sucks. |
| 2025-09-28 20:43:33 +0200 | <tomsmeding> | you can use type families though :) |
| 2025-09-28 20:43:43 +0200 | <tomsmeding> | I don't see why you cannot just compute these things with type families |
| 2025-09-28 20:44:25 +0200 | <dcpagan> | Can I pattern match with type families? |
| 2025-09-28 20:44:28 +0200 | bgg | (~bgg@2a01:e0a:819:1510:ce70:2793:3b21:6fbd) (Remote host closed the connection) |
| 2025-09-28 20:44:41 +0200 | <tomsmeding> | use https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-TypeLits.html#t:-60--61--63- and https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Type-Bool.html#t:If |
| 2025-09-28 20:45:03 +0200 | <tomsmeding> | dcpagan: what is `Song' Nothing = "" ; Song' (Just n) = ...` doing if not pattern matching? |
| 2025-09-28 20:45:15 +0200 | <tomsmeding> | but in this case, you don't want to pattern-match, you want to have a conditional on <= |
| 2025-09-28 20:45:24 +0200 | <dcpagan> | Last time I tried Data.Type.Bool.If, I got reduction stack overflows. |
| 2025-09-28 20:45:42 +0200 | <dcpagan> | It's why I refactored to recursion with Maybe Natural. |
| 2025-09-28 20:45:53 +0200 | <tomsmeding> | sure, you can do that here too |
| 2025-09-28 20:46:02 +0200 | <dcpagan> | I want to guard against naturals beyond a certain value. |
| 2025-09-28 20:46:04 +0200 | <tomsmeding> | but I expect the If to work |
| 2025-09-28 20:46:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 20:47:12 +0200 | <tomsmeding> | instance selection is "greedy" in haskell, no backtracking is performed |
| 2025-09-28 20:47:38 +0200 | <tomsmeding> | the algorithm does, however, guard against ambiguity: an instance is chosen only if it can be determined, without looking at the constraints, that it's the only one that matches |
| 2025-09-28 20:47:56 +0200 | <tomsmeding> | this means that the result of the greedy algorithm is always compatible with what a full backtracking algorithm would have produced |
| 2025-09-28 20:49:12 +0200 | <tomsmeding> | why exactly this choice for greediness was made I don't know; perhaps to not accidentally build a prolog |
| 2025-09-28 20:49:33 +0200 | <tomsmeding> | and retain sane compile times |
| 2025-09-28 20:52:19 +0200 | <EvanR> | warning warning prolog detected. Abort |
| 2025-09-28 20:52:26 +0200 | <EvanR> | it's too late |
| 2025-09-28 20:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:00:03 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-28 21:00:12 +0200 | <[exa]> | EvanR: no one used cut yet! backtrack! |
| 2025-09-28 21:00:47 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-28 21:01:40 +0200 | <dcpagan> | I used Data.Type.Bool.If, and there were no reduction stack overflows. |
| 2025-09-28 21:01:43 +0200 | <dcpagan> | https://github.com/DCPagan/Exercism-Haskell/blob/73c27000e602ea2fe1718f552b717ae62a490257/house/sr… |
| 2025-09-28 21:02:19 +0200 | <dcpagan> | Would this render redundant the constraint (n <= SongLength)? |
| 2025-09-28 21:02:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 21:07:30 +0200 | <dcpagan> | The only thing I'm missing is specifying the input index in the custom type error message. |
| 2025-09-28 21:08:01 +0200 | <dcpagan> | How do I convert a Natural to a Symbol for displaying in a custom type error message? |
| 2025-09-28 21:08:17 +0200 | <dcpagan> | Like a type-promoted show? |
| 2025-09-28 21:08:33 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-28 21:10:13 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-09-28 21:12:19 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 21:12:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) |
| 2025-09-28 21:12:53 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 21:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:17:16 +0200 | <tomsmeding> | dcpagan: use ShowType? https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html#t:ErrorMessage |
| 2025-09-28 21:17:40 +0200 | <tomsmeding> | dcpagan: why is the instance still there? Why are Verses/Stanza/Song not just top-level type families at this point? |
| 2025-09-28 21:18:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-09-28 21:18:24 +0200 | <tomsmeding> | a class with a single, blanket instance (like you have here with VerseIndex) is very rarely useful |
| 2025-09-28 21:18:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 21:19:05 +0200 | <tomsmeding> | there are very specific reasons why you may need such a thing sometimes (in particular if it appears in a QuantifiedConstraint elsewhere), but none of those apply here |
| 2025-09-28 21:20:45 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 21:20:56 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 21:21:16 +0200 | <dcpagan> | I was planning on constraining the type family with the constraint. |
| 2025-09-28 21:21:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-28 21:22:31 +0200 | <tomsmeding> | right |
| 2025-09-28 21:25:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-28 21:27:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-28 21:29:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:30:30 +0200 | <dcpagan> | Do custom type errors always make such constraints redundant? |
| 2025-09-28 21:30:42 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 21:30:43 +0200 | Googulator59 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 21:30:48 +0200 | <dcpagan> | Latest update: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs |
| 2025-09-28 21:31:32 +0200 | <dcpagan> | I really like how custom type errors are immediately communicated to the IDE. |
| 2025-09-28 21:32:05 +0200 | <dcpagan> | It's like I'm programming the IDE to gently hand-hold anyone who inherits this code. |
| 2025-09-28 21:34:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 21:37:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 21:39:50 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-28 21:40:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:b1d5:1527:b9ee:ee90) |
| 2025-09-28 21:40:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:b1d5:1527:b9ee:ee90) (Changing host) |
| 2025-09-28 21:40:07 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 21:40:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:45:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 21:46:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 21:47:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-09-28 21:48:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 21:49:29 +0200 | <tomsmeding> | well, the kind of type-level programming that you're doing here is not quite what the type system was designed for :) |
| 2025-09-28 21:50:09 +0200 | <tomsmeding> | if your type class had a value in it too, then you would not have been able to eliminate the type class |
| 2025-09-28 21:51:12 +0200 | <tomsmeding> | usually, if there's a sensible place to put a constraint and thereby save an explicit If in a type family, using the constraint is the better choice |
| 2025-09-28 21:51:25 +0200 | <tomsmeding> | because constraints behave more nicely in the type system, in general |
| 2025-09-28 21:51:49 +0200 | <tomsmeding> | but in this case you have no values in the first place, so there is no sensible place to put a constraint, so TypeError it is |
| 2025-09-28 21:53:27 +0200 | <EvanR> | you have class but no value |
| 2025-09-28 21:53:39 +0200 | <EvanR> | an awkward position to be in |
| 2025-09-28 21:53:46 +0200 | <tomsmeding> | rather |
| 2025-09-28 21:54:02 +0200 | <tomsmeding> | unless you're "typing the technical interview" |
| 2025-09-28 21:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 21:56:59 +0200 | <tomsmeding> | at least you have family this way |
| 2025-09-28 22:00:40 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 22:00:44 +0200 | Googulator59 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 22:01:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-28 22:01:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 22:08:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-28 22:12:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 22:12:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:14:17 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-28 22:17:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 22:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 22:20:39 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 22:20:43 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 22:21:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-28 22:23:11 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-28 22:26:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 22:28:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:29:21 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-09-28 22:34:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 22:46:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 22:50:38 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-28 22:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-28 23:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:05:01 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 23:06:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 23:08:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-28 23:09:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-28 23:09:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 23:16:01 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 23:16:12 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:16:45 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-28 23:17:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:18:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-28 23:20:37 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 23:20:37 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-28 23:23:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 23:26:31 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-09-28 23:27:59 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 23:33:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:39:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 23:46:52 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-28 23:47:04 +0200 | pie__ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-09-28 23:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 23:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |