| 2024-10-14 00:04:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-14 00:05:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 00:12:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 00:23:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 00:28:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-14 00:39:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 00:44:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-14 00:49:42 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2024-10-14 00:52:14 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-10-14 00:54:34 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2024-10-14 00:54:43 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-14 00:54:43 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-14 00:55:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 01:00:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-14 01:07:38 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-10-14 01:11:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 01:11:38 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb115c8ca2f660dd1d29.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-14 01:16:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-14 01:26:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 01:33:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-14 01:33:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 01:34:53 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 01:36:31 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 01:39:53 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 252 seconds) |
| 2024-10-14 01:42:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-14 01:44:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 01:47:06 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:c1b4:8e00:e3a8:2bf7) (Ping timeout: 272 seconds) |
| 2024-10-14 01:49:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-14 02:00:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 02:03:39 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-10-14 02:03:55 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-10-14 02:05:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 02:10:57 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-10-14 02:16:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 02:17:07 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-10-14 02:19:17 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-14 02:21:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-14 02:21:36 +0200 | <Square> | How do you deal with multimodule project (cabal.project) when using nix? Separate callCabal2Nix for each module? |
| 2024-10-14 02:31:08 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:14d2:2457:bd7:5741) (Remote host closed the connection) |
| 2024-10-14 02:32:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 02:32:40 +0200 | Guest66 | (~Guest66@2601:152:4a80:2300:c948:b43e:8f75:aa7b) |
| 2024-10-14 02:33:11 +0200 | <jackdk> | The two approaches I use are: "have nix provide GHC+cabal, let cabal do packages", or "use haskell.nix". This avoids lots of fiddly package set overlay splicing, and regenerating the shell when a dependency changes. |
| 2024-10-14 02:34:09 +0200 | <Inst> | incoherence can be handled at the compilation stage, i.e, if you're trying to use an instance for which there is no imported typeclass, you throw an error |
| 2024-10-14 02:34:21 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:14d2:2457:bd7:5741) |
| 2024-10-14 02:35:23 +0200 | <geekosaur> | that's not incoherence |
| 2024-10-14 02:35:48 +0200 | <geekosaur> | incoherence is "two modules use different instances for the same type" |
| 2024-10-14 02:35:56 +0200 | <Inst> | is it reasonable to wish to control the exporting of instances / typeclasses? |
| 2024-10-14 02:37:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 02:37:19 +0200 | <geekosaur> | not when it leads to incoherence, no |
| 2024-10-14 02:37:38 +0200 | <geekosaur> | and the only way to prevent incoherence is to force instances to be global |
| 2024-10-14 02:37:47 +0200 | <jackdk> | IMHO no. That way lies madness, like the producer and consumer of a `Ord k => Map k v` disagreeing on which `Ord` to use for `k`. And then you just can't find entries which you are 100% certain that you put into your map. |
| 2024-10-14 02:38:24 +0200 | <geekosaur> | well, for that one it's actually something of a hack. IMO SML/NJ does it the right way |
| 2024-10-14 02:39:31 +0200 | <geekosaur> | (the Ord instance equivalent is owned by the Map, not by what Ord instance is in scope at use sites) |
| 2024-10-14 02:40:49 +0200 | <geekosaur> | *not determined by |
| 2024-10-14 02:45:03 +0200 | Guest66 | (~Guest66@2601:152:4a80:2300:c948:b43e:8f75:aa7b) (Quit: Client closed) |
| 2024-10-14 02:47:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 02:48:45 +0200 | <Square> | jackdk, thanks |
| 2024-10-14 02:52:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 02:55:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-14 02:58:15 +0200 | <monochrom> | Perhaps the misguided want of localized unexported instances comes from mistaking type classes for OO interfaces. |
| 2024-10-14 03:03:15 +0200 | <probie> | geekosaur: without the one true Ord instance for a type, how do you efficiently union two maps? SML/NJ sidesteps this because two maps instantiated with different ORD_KEYs will be different types. |
| 2024-10-14 03:03:41 +0200 | <geekosaur> | isn't that kinda the point, though? |
| 2024-10-14 03:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 03:04:16 +0200 | <monochrom> | You can union two maps created from the same instantiated module. |
| 2024-10-14 03:04:48 +0200 | <monochrom> | Recall that an instantiated module gives you a suite of map functions, not a map. |
| 2024-10-14 03:04:57 +0200 | <geekosaur> | right |
| 2024-10-14 03:05:25 +0200 | <monochrom> | So use the same suite to create two maps and use the same suite to union the two maps. |
| 2024-10-14 03:05:38 +0200 | <probie> | But how do you do that in Haskell? |
| 2024-10-14 03:06:05 +0200 | <monochrom> | Haskell doesn't have SML's parameterized module system. OK OK I will emulate it. |
| 2024-10-14 03:06:09 +0200 | <geekosaur> | that was my point: you don't. we use a typeclass hack instead |
| 2024-10-14 03:06:40 +0200 | <geekosaur> | and I don't think Backpack can quite pull off emulating this, for all its pretensions toward providing MLish "functors" |
| 2024-10-14 03:07:13 +0200 | <monochrom> | I will also need existential type. |
| 2024-10-14 03:08:14 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-10-14 03:08:48 +0200 | <monochrom> | data M a = forall t. M{empty :: t, insert :: a -> t -> t, union :: t -> t -> a, etc etc} |
| 2024-10-14 03:10:02 +0200 | <monochrom> | instantiate :: (a -> a -> Ordering) -> M a; instantiate cmp = M{empty = ... ; insert = ... use cmp ..., union = ... use cmp ..., etc} |
| 2024-10-14 03:10:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 03:11:18 +0200 | <geekosaur> | Inst did earlier hint that he thought we were trying to find ways to emulate OOP in Haskell. (No, we aren't. OOP is something else. If I want OOP, I'll use an OO language, not Haskell; I have and use multiple tools.) |
| 2024-10-14 03:11:53 +0200 | <probie> | I think we're probably all in agreement about every fact here. I just misinterpreted intent and mistook the comment as "Haskell should do what SML/NJ" does, not "SML/NJ does this in a nice a way, unlike Haskell" |
| 2024-10-14 03:12:10 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) |
| 2024-10-14 03:12:15 +0200 | <geekosaur> | right, I meant the latter |
| 2024-10-14 03:12:34 +0200 | <monochrom> | A user will have to do everything under the same instantiate call. user = let m{empty, insert, union} = instantiate myCompare in union (insert 2 (insert 3 empty)) (insert 1 (insert 2 empty))) |
| 2024-10-14 03:13:07 +0200 | <probie> | s/" does/does"/ |
| 2024-10-14 03:13:32 +0200 | <monochrom> | Eh, I think Haskell has a nice way and SML has a nice way. |
| 2024-10-14 03:13:56 +0200 | <geekosaur> | (I like SML/NJ's approach, but not so much that I'm abandoning Haskell for it…) |
| 2024-10-14 03:14:47 +0200 | <c_wraith> | And if you *really* need bad hacks, just remember there's always the reflection package! |
| 2024-10-14 03:14:58 +0200 | <monochrom> | :( :) |
| 2024-10-14 03:14:58 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-14 03:15:03 +0200 | <probie> | Haskell's way means I can't safely use a `Double` as a key in a `Map` without needing to wrap it in a newtype |
| 2024-10-14 03:15:07 +0200 | <geekosaur> | I did for a moment wonder if that could be abused to do this… |
| 2024-10-14 03:15:21 +0200 | <monochrom> | Yes it totally can. |
| 2024-10-14 03:15:57 +0200 | <monochrom> | I think it is the whole point. When some abuses have just causes and don't count as abuses. |
| 2024-10-14 03:17:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-f1d8-4d0f-e5fc-d7b0.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-14 03:17:35 +0200 | <monochrom> | But here is a clean hack someone and I thought up: https://mail.haskell.org/pipermail/haskell-cafe/2017-May/127147.html |
| 2024-10-14 03:18:04 +0200 | <dolio> | What part can't backpack do? Not that it's nice to do this. |
| 2024-10-14 03:18:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) alexherbo2 |
| 2024-10-14 03:18:39 +0200 | <geekosaur> | local open, I think, so you can parameteerize different maps differently? |
| 2024-10-14 03:18:46 +0200 | <geekosaur> | within the same module |
| 2024-10-14 03:19:37 +0200 | <dolio> | Oh. Well, you can parameterize the map functor multiple ways, I think. But it's not going to happen very locally. |
| 2024-10-14 03:20:13 +0200 | <dolio> | Like, not within a definition in a module, certainly. |
| 2024-10-14 03:20:48 +0200 | <geekosaur> | I thought that was what `open` was for? |
| 2024-10-14 03:21:33 +0200 | <dolio> | Only like, 'this module uses multiple map implementations, which happen to be two different instantiations of the same functor.' |
| 2024-10-14 03:21:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) (Changing host) |
| 2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@user/tonyday567) tonyday567 |
| 2024-10-14 03:22:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-14 03:22:34 +0200 | <monochrom> | Haskell doesn't have local open, not even for unparametrized 0th-order modules. Let's not talk about local open. |
| 2024-10-14 03:23:03 +0200 | <dolio> | Yeah. |
| 2024-10-14 03:23:40 +0200 | <monochrom> | So with backpack you have to split code into more files than SML requires, but you can still import multiple instantiations into the same user file. |
| 2024-10-14 03:24:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-14 03:24:06 +0200 | <geekosaur> | that was my point. backpack claims to add parameterized modules, but it doesn't and can't provide this so it's not anywhere near as useful as it should be |
| 2024-10-14 03:24:27 +0200 | <monochrom> | If you instantiate Map two ways, you write two files, one per instantiation. In a third file---the user file---you import both. |
| 2024-10-14 03:24:33 +0200 | <dolio> | I don't understand what you mean by "it doesn't." |
| 2024-10-14 03:24:52 +0200 | <dolio> | It does, but you still can't only import a module in a where clause or something. |
| 2024-10-14 03:25:07 +0200 | <geekosaur> | exactly |
| 2024-10-14 03:25:24 +0200 | <geekosaur> | let's put it this way: they're not first class if you cant' do that |
| 2024-10-14 03:25:52 +0200 | <dolio> | But they are parameterized. |
| 2024-10-14 03:26:12 +0200 | <monochrom> | I don't know, here is what I think, maybe too extreme: Nevermind paramtrizing. Would this make sense: "Haskell claims to have modules, but there is no open so it doesn't count". |
| 2024-10-14 03:27:05 +0200 | <geekosaur> | I didn't say either of those. I said it does not emulate ML functors. The MLish concept of functor includes first-class-ness, including local instantiation. |
| 2024-10-14 03:27:31 +0200 | <geekosaur> | I specifically did not limit it to parameterization |
| 2024-10-14 03:28:39 +0200 | <geekosaur> | (I will grant that Backpack was always on the losing side of that one: it requires an actual language change, it can't be simulated the way simply parameterizing modules sort-of can be) |
| 2024-10-14 03:35:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-14 03:38:43 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-14 03:46:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 03:51:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-14 04:04:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 04:05:50 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-14 04:07:49 +0200 | td_ | (~td@83.135.9.1) td_ |
| 2024-10-14 04:09:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-14 04:19:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 04:24:21 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-14 04:24:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 04:28:14 +0200 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2024-10-14 04:30:20 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 265 seconds) |
| 2024-10-14 04:30:21 +0200 | Sciencentistguy3 | Sciencentistguy |
| 2024-10-14 04:35:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 04:40:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 04:52:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 04:58:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-10-14 04:58:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-14 05:01:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-14 05:03:45 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-14 05:12:43 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-10-14 05:15:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 05:20:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 05:22:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 05:27:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 05:31:11 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:9f00:9304:f095:b881:d5be) aforemny |
| 2024-10-14 05:32:03 +0200 | aforemny_ | (~aforemny@i577BEEEB.versanet.de) (Ping timeout: 245 seconds) |
| 2024-10-14 05:33:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-14 05:35:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-14 05:38:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 05:42:08 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
| 2024-10-14 05:43:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-14 05:50:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-10-14 05:50:45 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-14 05:52:06 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-14 05:54:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 05:59:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 06:02:48 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-14 06:08:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-10-14 06:10:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 06:10:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-14 06:15:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-14 06:23:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 06:28:25 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-14 06:30:08 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-14 06:30:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 06:32:36 +0200 | tonyday567 | (~tonyday56@user/tonyday567) (Ping timeout: 252 seconds) |
| 2024-10-14 06:38:39 +0200 | bh34e5_ | (~bh34e5@user/bh34e5) (Ping timeout: 260 seconds) |
| 2024-10-14 06:41:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 06:47:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-14 06:51:03 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-14 06:52:34 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-10-14 06:52:36 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-14 06:53:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-10-14 06:57:57 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 276 seconds) |
| 2024-10-14 06:59:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 07:03:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-10-14 07:03:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-14 07:04:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 07:09:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-14 07:09:10 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-10-14 07:10:09 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2024-10-14 07:17:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-14 07:18:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-14 07:19:30 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-14 07:20:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 07:20:53 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-14 07:21:50 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-14 07:28:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-10-14 07:28:35 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-10-14 07:29:00 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-14 07:29:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-14 07:30:05 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-14 07:35:53 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-14 07:39:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-14 07:40:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 07:45:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-14 07:48:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-14 07:56:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 07:56:34 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-14 08:01:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-14 08:02:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-14 08:12:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 08:16:05 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-14 08:17:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-14 08:25:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 08:29:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-14 08:30:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-14 08:33:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-14 08:41:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 08:46:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 08:46:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-14 08:47:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2024-10-14 08:51:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-14 08:56:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-10-14 08:57:18 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:2d2d:a36f:43f3:6f49) |
| 2024-10-14 08:59:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-14 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-14 09:00:46 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-14 09:03:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-14 09:08:11 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-14 09:10:45 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-10-14 09:22:05 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) |
| 2024-10-14 09:25:14 +0200 | ridcully | (~ridcully@p57b52b67.dip0.t-ipconnect.de) (Quit: WeeChat 4.4.2) |
| 2024-10-14 09:34:18 +0200 | mrtz | (~mrtz@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) |
| 2024-10-14 09:36:14 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-10-14 09:36:52 +0200 | ridcully | (~ridcully@p57b52138.dip0.t-ipconnect.de) ridcully |
| 2024-10-14 09:37:18 +0200 | mrtz | (~mrtz@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Remote host closed the connection) |
| 2024-10-14 09:46:30 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-10-14 09:49:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 265 seconds) |
| 2024-10-14 09:50:19 +0200 | euleritian | (~euleritia@dynamic-176-006-129-042.176.6.pool.telefonica.de) |
| 2024-10-14 09:52:54 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-14 09:54:04 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 09:54:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-10-14 09:56:12 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-14 09:56:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-14 09:56:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-14 09:57:39 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 09:57:59 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-14 09:57:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-14 09:57:59 +0200 | merijn | (~merijn@77.242.116.146) (Client Quit) |
| 2024-10-14 10:00:14 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-14 10:00:33 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 244 seconds) |
| 2024-10-14 10:03:20 +0200 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-10-14 10:05:29 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-14 10:06:08 +0200 | euleritian | (~euleritia@dynamic-176-006-129-042.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-14 10:07:15 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
| 2024-10-14 10:08:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-14 10:08:44 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-14 10:18:34 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-10-14 10:19:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-14 10:30:19 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Remote host closed the connection) |
| 2024-10-14 10:31:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-14 10:31:58 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) (Remote host closed the connection) |
| 2024-10-14 10:33:49 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-14 10:34:06 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-10-14 10:35:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 2024-10-14 10:36:03 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
| 2024-10-14 10:41:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-14 10:42:08 +0200 | kenran | (~user@user/kenran) kenran |
| 2024-10-14 10:53:42 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-14 10:54:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2024-10-14 10:56:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-14 11:03:06 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-10-14 11:03:06 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-14 11:03:33 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
| 2024-10-14 11:04:26 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 272 seconds) |
| 2024-10-14 11:16:01 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-14 11:18:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-14 11:26:53 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-14 11:29:25 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-14 11:30:50 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-14 11:34:00 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-14 11:34:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-14 11:34:05 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-14 11:35:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) |
| 2024-10-14 11:42:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2024-10-14 11:44:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-10-14 11:49:45 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:c859:568e:44d5:6cfd) (Read error: Connection reset by peer) |
| 2024-10-14 11:59:56 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-10-14 12:02:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-14 12:02:12 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-14 12:05:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2024-10-14 12:09:26 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-14 12:11:00 +0200 | euleritian | (~euleritia@dynamic-176-000-159-238.176.0.pool.telefonica.de) |
| 2024-10-14 12:11:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-14 12:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-159-238.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-14 12:21:40 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-10-14 12:21:53 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-10-14 12:25:36 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-14 12:26:54 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-44be-f9da-6c83-482e.rev.sfr.net) alexherbo2 |
| 2024-10-14 12:28:45 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 12:30:21 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-10-14 12:35:08 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-14 12:39:58 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Read error: Connection reset by peer) |
| 2024-10-14 12:40:20 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) |
| 2024-10-14 12:49:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 2024-10-14 12:49:57 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-14 12:58:49 +0200 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-14 12:59:00 +0200 | rmca | (~rob@user/rmca) rmca |
| 2024-10-14 13:00:26 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-10-14 13:00:26 +0200 | ash3en1 | ash3en |
| 2024-10-14 13:02:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-14 13:02:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-14 13:09:21 +0200 | blase | (~wanted@2.219.56.221) |
| 2024-10-14 13:09:30 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-14 13:13:10 +0200 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-10-14 13:15:35 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-14 13:20:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-14 13:29:02 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-10-14 13:32:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-14 13:33:41 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 13:40:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 13:52:03 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 245 seconds) |
| 2024-10-14 13:52:08 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) sayola1 |
| 2024-10-14 13:54:32 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 13:55:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2024-10-14 13:57:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-14 13:57:33 +0200 | ljdarj1 | ljdarj |
| 2024-10-14 13:59:44 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-14 14:07:03 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Remote host closed the connection) |
| 2024-10-14 14:07:12 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 14:07:28 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Remote host closed the connection) |
| 2024-10-14 14:08:00 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 14:09:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 14:11:34 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 252 seconds) |
| 2024-10-14 14:12:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-14 14:12:46 +0200 | ljdarj1 | ljdarj |
| 2024-10-14 14:12:54 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-14 14:17:14 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) (Read error: Connection reset by peer) |
| 2024-10-14 14:18:16 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) sayola1 |
| 2024-10-14 14:21:02 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-14 14:21:22 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-14 14:28:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-14 14:34:23 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-14 14:38:42 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 252 seconds) |
| 2024-10-14 14:40:04 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-14 14:43:18 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
| 2024-10-14 14:45:37 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 265 seconds) |
| 2024-10-14 14:45:55 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 14:49:19 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-10-14 14:50:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-14 14:53:24 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-14 14:59:58 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-10-14 15:14:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-14 15:17:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-14 15:27:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-44be-f9da-6c83-482e.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-14 15:27:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-14 15:30:21 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-14 15:32:11 +0200 | Achylles | (~Achylles@45.182.57.52) Achylles |
| 2024-10-14 15:32:51 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-14 15:34:46 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-14e2-d135-c40b-29b1.rev.sfr.net) alexherbo2 |
| 2024-10-14 15:44:18 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:2d2d:a36f:43f3:6f49) (Ping timeout: 248 seconds) |
| 2024-10-14 15:44:41 +0200 | <haskellbridge> | <oak> Isn't callCabal2Nix a bit bad solution anyway because it causes import-from-derivation? |
| 2024-10-14 15:44:41 +0200 | <haskellbridge> | <oak> but basically yes I think |
| 2024-10-14 15:44:42 +0200 | <haskellbridge> | <oak> It is somewhat confusing many examples and documentation show the usage of the callCabal2Nix although I wouldn't recommend to use it because it causes import-from-derivation. Instead you should have something like git pre-commit check to make sure your generated default.nix file stays up-to-date with the .cabal file. (IFD means Nix has to build a derivation first as part of the evaluation in order to be able to... |
| 2024-10-14 15:44:47 +0200 | <haskellbridge> | ... completely evaluate your Nix expression. Usually you want to evaluate first and after that start to build.) |
| 2024-10-14 15:44:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's the proper way to write an AST using the freer monad on containers? |
| 2024-10-14 15:44:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> datatypes a la carte uses the free monad and no containers |
| 2024-10-14 15:45:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) acidjnk |
| 2024-10-14 15:46:30 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-14 15:50:51 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
| 2024-10-14 15:52:53 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2024-10-14 15:56:10 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-14e2-d135-c40b-29b1.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-14 15:57:19 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-14 15:57:38 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-14 16:00:31 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-10-14 16:08:50 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-14 16:08:52 +0200 | Square2 | (~Square@user/square) Square |
| 2024-10-14 16:10:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-14 16:10:46 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e385:c91:c412:4538) |
| 2024-10-14 16:11:29 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 260 seconds) |
| 2024-10-14 16:12:09 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 16:16:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-14 16:20:15 +0200 | sayola1 | (~sayola@2a00:20:d302:f7e6:a954:455b:b33d:c7d4) sayola1 |
| 2024-10-14 16:22:46 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) (Ping timeout: 265 seconds) |
| 2024-10-14 16:26:09 +0200 | sayola1 | (~sayola@2a00:20:d302:f7e6:a954:455b:b33d:c7d4) (Quit: Leaving.) |
| 2024-10-14 16:38:57 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e385:c91:c412:4538) (Ping timeout: 252 seconds) |
| 2024-10-14 16:48:07 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 264 seconds) |
| 2024-10-14 17:03:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-14 17:03:48 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-14 17:04:33 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-10-14 17:07:47 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-10-14 17:07:47 +0200 | identity | (~identity@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-10-14 17:08:39 +0200 | mari-estel | (~mari-este@user/danza) (Remote host closed the connection) |
| 2024-10-14 17:08:53 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-14 17:10:34 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-14 17:13:53 +0200 | mari-estel | (~mari-este@user/danza) () |
| 2024-10-14 17:21:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-14 17:23:44 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-14 17:24:42 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) () |
| 2024-10-14 17:26:03 +0200 | rmca | (~rob@user/rmca) (Ping timeout: 246 seconds) |
| 2024-10-14 17:26:51 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-10-14 17:28:08 +0200 | Achylles | (~Achylles@45.182.57.52) (Quit: Leaving) |
| 2024-10-14 17:34:04 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-14 17:36:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-14 17:38:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-14 17:39:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) acidjnk |
| 2024-10-14 17:48:27 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 246 seconds) |
| 2024-10-14 17:57:29 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2024-10-14 17:57:30 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-10-14 17:58:32 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-10-14 18:00:25 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 18:01:21 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:9f00:9304:f095:b881:d5be) (Ping timeout: 248 seconds) |
| 2024-10-14 18:02:59 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-14 18:04:45 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-14 18:08:17 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 244 seconds) |
| 2024-10-14 18:11:16 +0200 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-14 18:18:46 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-14 18:23:16 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 18:23:34 +0200 | mehlon | (~mehlon@user/mehlon) mehlon |
| 2024-10-14 18:27:01 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-10-14 18:28:00 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2024-10-14 18:32:15 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 18:40:45 +0200 | <haskellbridge> | <hellwolf> newbie question: what is the (perhaps obvious but not so for newbies) reason that GHC AST and TH AST are independent of each other? |
| 2024-10-14 18:40:50 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-14 18:45:07 +0200 | <ghoulguy> | I don't know the exact reasons, but I would expect them to be different for at least two reasons. The compiler's AST is likely to track slightly different information and template-haskell should aspire to be useable by more than just GHC |
| 2024-10-14 18:46:17 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-14 18:48:04 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-14 18:53:17 +0200 | mehlon | (~mehlon@user/mehlon) (Remote host closed the connection) |
| 2024-10-14 18:53:23 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-14 18:53:36 +0200 | mehlon | (~mehlon@user/mehlon) mehlon |
| 2024-10-14 18:58:05 +0200 | mehlon | (~mehlon@user/mehlon) (Ping timeout: 256 seconds) |
| 2024-10-14 18:58:31 +0200 | mehlon__ | (~mehlon__@user/mehlon) mehlon |
| 2024-10-14 18:58:34 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3210-e74e-e0a7-371d-4485-da44.rev.sfr.net) alexherbo2 |
| 2024-10-14 19:00:26 +0200 | <geekosaur> | the compiler AST is much more complex than TH's (and that got even worse with the change to TTG back in 7.x) |
| 2024-10-14 19:01:36 +0200 | <geekosaur> | and you rarely care about most of that, and don't want to have to fight with how to deal with TTG |
| 2024-10-14 19:02:24 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-14 19:02:36 +0200 | Square2 | (~Square@user/square) Square |
| 2024-10-14 19:03:21 +0200 | <kaol> | How stupid idea would it be to implement a compiler by parsing source code and transforming it to TH AST? I'm not seriously contemplating doing anything like that but it was an idle thought I had while doing something else. |
| 2024-10-14 19:04:18 +0200 | <geekosaur> | it'd probably need more than the TH AST gives you, for one |
| 2024-10-14 19:04:49 +0200 | <geekosaur> | but in general that sounds like "writing a compiler" 🙂 |
| 2024-10-14 19:04:53 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-10-14 19:05:19 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2024-10-14 19:05:38 +0200 | mehlon__ | (~mehlon__@user/mehlon) (Remote host closed the connection) |
| 2024-10-14 19:06:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-14 19:06:25 +0200 | <geekosaur> | (for one example of additional information: GHC's AST carries around source information. what's the source information for a TH splice?) |
| 2024-10-14 19:06:40 +0200 | <geekosaur> | (and, perhaps more to the point: how do you get it?) |
| 2024-10-14 19:06:59 +0200 | <haskellbridge> | <hellwolf> I may have code snippets for that, one sec |
| 2024-10-14 19:08:02 +0200 | <kaol> | Everyone's done a compiler that targets C. |
| 2024-10-14 19:09:30 +0200 | geekosaur | raises a guilty hand |
| 2024-10-14 19:09:58 +0200 | <geekosaur> | (but Haskell didn't exist back when I was doing that…) |
| 2024-10-14 19:11:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-14 19:18:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-14 19:20:35 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:655:8e2f:b4d3:203) |
| 2024-10-14 19:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-14 19:22:21 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 19:22:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-14 19:25:22 +0200 | <briandaed> | so it was before 90s... |
| 2024-10-14 19:26:05 +0200 | <geekosaur> | I did most of my parser and compiler/transpiler stuff from 1986-1989, yes |
| 2024-10-14 19:26:19 +0200 | <briandaed> | respect |
| 2024-10-14 19:26:27 +0200 | <geekosaur> | sadly most of it is gone with my then employer who shut down in 1996 |
| 2024-10-14 19:27:05 +0200 | <briandaed> | I was beating nettles with a stick at that time |
| 2024-10-14 19:27:11 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2024-10-14 19:29:25 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:655:8e2f:b4d3:203) (Ping timeout: 248 seconds) |
| 2024-10-14 19:32:44 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-14 19:34:13 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 248 seconds) |
| 2024-10-14 19:39:02 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
| 2024-10-14 19:41:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-14 19:43:18 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 19:44:32 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2024-10-14 19:49:03 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:627a:78b9:acf4:2bd7) st_aldini |
| 2024-10-14 19:49:23 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-10-14 19:52:55 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 264 seconds) |
| 2024-10-14 19:53:21 +0200 | <haskellbridge> | <hellwolf> Language.Haskell.TH.location |
| 2024-10-14 19:53:21 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/hvbdpMkvfmGDWucRVSIYIRmN/Cp4UpcGhnc0 (4 lines) |
| 2024-10-14 19:54:03 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-10-14 19:57:29 +0200 | euleritian | (~euleritia@dynamic-176-003-034-161.176.3.pool.telefonica.de) |
| 2024-10-14 19:59:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-14 20:02:11 +0200 | <monochrom> | Bluntly, reusing TH's AST saves you only a small and the easiest part of a compiler. https://simon.peytonjones.org/trees-that-grow/ will tell you how many dozens more AST types you would need if not for one cool trick. (TH's AST does not use that trick, so it is of no help.) |
| 2024-10-14 20:02:47 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 20:08:02 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 20:09:01 +0200 | <lxsameer> | hey folks, what's the proper way of implementing a sum function with the type `[IO Int] -> IO Int` |
| 2024-10-14 20:09:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-14 20:09:32 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:db99:b16a:1356:52e1) |
| 2024-10-14 20:09:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 20:10:43 +0200 | <monochrom> | @type foldM |
| 2024-10-14 20:10:44 +0200 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2024-10-14 20:10:49 +0200 | <monochrom> | That should help. |
| 2024-10-14 20:12:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-14 20:12:26 +0200 | <lxsameer> | thanks |
| 2024-10-14 20:15:33 +0200 | <Lears> | % :t (coerce `asTypeOf` fmap getSum) . foldMap (coerce `asTypeOf` fmap Sum) |
| 2024-10-14 20:15:33 +0200 | <yahb2> | (coerce `asTypeOf` fmap getSum) . foldMap (coerce `asTypeOf` fmap Sum) ; :: (Coercible (f (Sum b)) (f b), Functor f, Foldable t, ; Monoid (f (Sum b))) => ; t (f b) -> f b |
| 2024-10-14 20:15:40 +0200 | son0p | (~ff@186.119.83.52) (Ping timeout: 252 seconds) |
| 2024-10-14 20:15:52 +0200 | <Lears> | lxsameer: ^ |
| 2024-10-14 20:16:23 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 20:17:47 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2024-10-14 20:18:41 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-14 20:19:24 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 20:25:22 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
| 2024-10-14 20:25:32 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-14 20:25:57 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-14 20:27:47 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 244 seconds) |
| 2024-10-14 20:30:31 +0200 | <lxsameer> | Lears: thank you |
| 2024-10-14 20:34:07 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2024-10-14 20:34:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-14 20:41:15 +0200 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-14 20:43:31 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 20:48:20 +0200 | <yin> | is base decoupled from ghc already? |
| 2024-10-14 20:48:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-14 20:51:36 +0200 | <monochrom> | Not yet. |
| 2024-10-14 20:53:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-14 20:53:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-14 20:54:09 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 248 seconds) |
| 2024-10-14 20:54:42 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2024-10-14 20:55:22 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-14 21:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-14 21:00:20 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-14 21:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-14 21:01:51 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 21:10:15 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 21:12:57 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-14 21:14:40 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-10-14 21:15:04 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-14 21:20:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-14 21:27:30 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
| 2024-10-14 21:28:20 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 255 seconds) |
| 2024-10-14 21:29:51 +0200 | euleritian | (~euleritia@dynamic-176-003-034-161.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-14 21:30:10 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-14 21:32:03 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-14 21:32:54 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-14 21:35:45 +0200 | <yin> | i am having trouble building an old project due to version constraints on setup.Cabal but nowhere in my project is there an indication of those constraints |
| 2024-10-14 21:37:06 +0200 | <haskellbridge> | <sm> how'd you know there's contraints ? |
| 2024-10-14 21:37:21 +0200 | <haskellbridge> | <sm> (and what's setup.Cabal ?) |
| 2024-10-14 21:43:28 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-14 21:49:58 +0200 | <monochrom> | We know of Setup.hs/lhs and I know of *.cabal, but the *.cabal is unlikely to be actually called setup.cabal |
| 2024-10-14 21:50:22 +0200 | <monochrom> | s/and I know of/and we know of/ # even |
| 2024-10-14 21:51:26 +0200 | <sprout> | using the royal plural for oneselves makes for delightful conversations |
| 2024-10-14 21:52:17 +0200 | <monochrom> | But it was not the royal plural! |
| 2024-10-14 21:52:41 +0200 | <sprout> | regardless, you're my monarch now |
| 2024-10-14 21:52:52 +0200 | <monochrom> | "Don't mind if I do" ? >:) |
| 2024-10-14 21:53:22 +0200 | <yin> | https://paste.jrvieira.com/1728935598635 |
| 2024-10-14 21:54:00 +0200 | <yin> | this is my .cabal file: https://paste.jrvieira.com/1728935627215 |
| 2024-10-14 21:55:32 +0200 | <mauke> | don't those have to start with a 'cabal-version' line nowadays? |
| 2024-10-14 21:55:52 +0200 | <int-e> | no cabal-version field, is that where `Cabal>=1.0 && <1.25` comes from? |
| 2024-10-14 21:56:14 +0200 | <yin> | ah. i removed it in order to use a newer cabal version :p |
| 2024-10-14 21:56:27 +0200 | <yin> | ty |
| 2024-10-14 21:57:23 +0200 | <monochrom> | "cabal-version: 2.4" is what I use and it has been uneventful with new cabal-install versions for years. |
| 2024-10-14 21:57:23 +0200 | <int-e> | `cabal check` would probably point that out |
| 2024-10-14 21:57:47 +0200 | <mauke> | https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#pkg-field-cabal-version |
| 2024-10-14 21:57:52 +0200 | <int-e> | Hmm, what does this mean? "constraint from minimum version of Cabal used by Setup.hs requires >=3.8" |
| 2024-10-14 21:58:09 +0200 | <int-e> | (still looking at yin's cabal-install output) |
| 2024-10-14 22:00:45 +0200 | <monochrom> | probably just the opposite way of stating the same dilemma |
| 2024-10-14 22:00:51 +0200 | <int-e> | (So the question is, where would cabal-install take that constraint from? Some cabal.project* file maybe?) |
| 2024-10-14 22:01:48 +0200 | <yin> | i have no Setup.hs file anywhere in my project (iiuc it can trigger cabal version constraints) |
| 2024-10-14 22:02:48 +0200 | <yin> | my cabal.project only reads "packages: ./sete.cabal" |
| 2024-10-14 22:03:58 +0200 | <yin> | everything is fine now, ty |
| 2024-10-14 22:04:20 +0200 | <yin> | i don't like that cabal-version field at all |
| 2024-10-14 22:09:31 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-14 22:09:36 +0200 | <haskellbridge> | <sm> sounds like you figured it out, the #hackage channel will know more |
| 2024-10-14 22:10:45 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) () |
| 2024-10-14 22:14:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-10-14 22:19:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-14 22:22:45 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2024-10-14 22:26:11 +0200 | son0p | (~ff@190.69.120.153) son0p |
| 2024-10-14 22:27:43 +0200 | <tomsmeding> | yin: it's a minimum version field: "this cabal file requires cabal version _at least_ 2.4 to read" |
| 2024-10-14 22:27:56 +0200 | <tomsmeding> | if you use specific newer syntax, cabal requires you to set a higher minimum version |
| 2024-10-14 22:28:12 +0200 | <tomsmeding> | e.g. ^>= requires a relatively recent version |
| 2024-10-14 22:28:20 +0200 | <tomsmeding> | "relatively" |
| 2024-10-14 22:30:15 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-14 22:32:01 +0200 | <tomsmeding> | sm: I think 'setup.Cabal' means "The `Cabal` dependency of the `setup` component", hence the peculiar capitalisation |
| 2024-10-14 22:33:18 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-10-14 22:38:40 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-10-14 22:43:09 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-10-14 22:43:33 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-14 22:48:48 +0200 | oraculo | (~mirc-rc@177.100.68.254) Oraculo |
| 2024-10-14 22:50:26 +0200 | <tomsmeding> | (you thought `.` was not overloaded enough in haskell? Just look at cabal :p) |
| 2024-10-14 22:56:13 +0200 | <monochrom> | hahaha |
| 2024-10-14 22:57:08 +0200 | <monochrom> | I thought cabal overloads colon instead >:) |
| 2024-10-14 22:57:18 +0200 | <mauke> | everybody wants the colon |
| 2024-10-14 22:57:38 +0200 | <tomsmeding> | monochrom: a cabal freeze file also has `.` |
| 2024-10-14 22:57:41 +0200 | <monochrom> | I guess "why not both" is the universal truth. |
| 2024-10-14 22:57:54 +0200 | <tomsmeding> | where I guess the `any` refers to any package in the dependency tree? |
| 2024-10-14 22:58:11 +0200 | <haskellbridge> | <hellwolf> https://youtu.be/jf_OxE3j4AQ?si=QKtujJqDYXUtUWXx |
| 2024-10-14 22:58:11 +0200 | <haskellbridge> | good night :) |
| 2024-10-14 22:58:14 +0200 | <monochrom> | cabal works in mysterious way. (There!) |
| 2024-10-14 22:58:27 +0200 | <tomsmeding> | -s (English) |
| 2024-10-14 22:58:55 +0200 | <tomsmeding> | (I'm correcting only because I highly suspect you'll find this amusing) |
| 2024-10-14 22:59:13 +0200 | <monochrom> | In general, "X is a Y language" claims are overrated. |
| 2024-10-14 22:59:29 +0200 | <monochrom> | You know what, s/overrated/click baits/ |
| 2024-10-14 23:00:02 +0200 | <c_wraith> | Haskell is a fish language. I heard some sturgeon speaking it. |
| 2024-10-14 23:00:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-10-14 23:01:02 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-14 23:05:03 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-14 23:05:29 +0200 | <yin> | for a moment there i thought the haskellbridge itself wished us good night |
| 2024-10-14 23:06:04 +0200 | <tomsmeding> | I guess geekosaur removed the space before the second line in order to allow the newline workaround to call bots? :p |
| 2024-10-14 23:06:13 +0200 | <monochrom> | That trick is currently the only way matrix users can talk to lambdabot. |
| 2024-10-14 23:06:15 +0200 | <tomsmeding> | s/to call/for calling/ |
| 2024-10-14 23:09:15 +0200 | <geekosaur> | I didn't, upstream did. it appeared 2 updates ago and disappeared again last update |
| 2024-10-14 23:09:44 +0200 | <tomsmeding> | interesting |
| 2024-10-14 23:09:45 +0200 | <haskellbridge> | <zwro> oh nice |
| 2024-10-14 23:09:45 +0200 | <haskellbridge> | > take 7 $ iterate (recip . succ) 1 :: [Rational] |
| 2024-10-14 23:09:47 +0200 | <lambdabot> | [1 % 1,1 % 2,2 % 3,3 % 5,5 % 8,8 % 13,13 % 21] |
| 2024-10-14 23:10:01 +0200 | <monochrom> | :) |
| 2024-10-14 23:10:28 +0200 | <tomsmeding> | cute continued fraction :p |
| 2024-10-14 23:10:55 +0200 | <haskellbridge> | <zwro> it approximates 1/φ :) |
| 2024-10-14 23:11:36 +0200 | <mauke> | or φ-1? |
| 2024-10-14 23:12:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-14 23:12:32 +0200 | <monochrom> | and φ-1 |
| 2024-10-14 23:15:23 +0200 | <yin> | even φ-1! |
| 2024-10-14 23:15:32 +0200 | <monochrom> | :) |
| 2024-10-14 23:19:54 +0200 | <mauke> | km/mi |
| 2024-10-14 23:20:33 +0200 | <geekosaur> | [14 18:48:21] <yin> is base decoupled from ghc already? <-- it's in progress, `ghc-base` exists but rewiring and splitting of definitions is still in progress |
| 2024-10-14 23:21:27 +0200 | <monochrom> | km/mi = k/i = -ki >:) |
| 2024-10-14 23:21:41 +0200 | <yin> | i'm impatient! |
| 2024-10-14 23:22:24 +0200 | <sprout> | another few centuries and you'll have haskell on the desktop |
| 2024-10-14 23:22:37 +0200 | <tomsmeding> | monochrom: makes me think of kWh/100h that seems to be a popular unit around here for energy usage of home appliances |
| 2024-10-14 23:24:17 +0200 | <monochrom> | People have lost the ability to divide by 100 for themselves so now they need corporate marketing to do it for them. |
| 2024-10-14 23:24:26 +0200 | <haskellbridge> | <zwro> hectohour... that useful unit |
| 2024-10-14 23:24:54 +0200 | <tomsmeding> | not just that, the whole unit is just 10W! |
| 2024-10-14 23:25:05 +0200 | <tomsmeding> | just use W if that's what you want |
| 2024-10-14 23:25:23 +0200 | <monochrom> | Oh people have also lost the ability to multiply by 10. >:) |
| 2024-10-14 23:25:39 +0200 | <haskellbridge> | <zwro> 25 sixths of a day |
| 2024-10-14 23:25:43 +0200 | <tomsmeding> | instead, they prefer to let corporate first multiply by 1000 and then divide by 10 |
| 2024-10-14 23:25:45 +0200 | <tomsmeding> | *by 100 |
| 2024-10-14 23:27:10 +0200 | <monochrom> | I understand starting with kW instead of W because the bills use kW. Similar to how we use kg more than we use g. |
| 2024-10-14 23:27:35 +0200 | <haskellbridge> | <zwro> 4 days and 4 hours |
| 2024-10-14 23:29:17 +0200 | <yin> | monochrom: we even use kg when we should use liters! |
| 2024-10-14 23:29:25 +0200 | <geekosaur> | cgs vs. mks wars have returned? |
| 2024-10-14 23:29:40 +0200 | <monochrom> | I support mgs |
| 2024-10-14 23:31:11 +0200 | <geekosaur> | but those are only indirectly related! |
| 2024-10-14 23:31:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3210-e74e-e0a7-371d-4485-da44.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-14 23:31:36 +0200 | <geekosaur> | I blame whoever came up with the metric system to make the unit of mass based around centimeters instead of meters |
| 2024-10-14 23:31:55 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-14 23:32:01 +0200 | <monochrom> | But yeah it's interesting that they make a standard m rule, a standard second clock, and then a standard kg ball rather than a standard g ball. |
| 2024-10-14 23:32:28 +0200 | <monochrom> | OK maybe they didn't make an s clock. I don't actually know. |
| 2024-10-14 23:33:06 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-14 23:33:26 +0200 | <yin> | because "second" is obviously the fundamental unit.... |
| 2024-10-14 23:33:40 +0200 | son0p | (~ff@190.69.120.153) (Ping timeout: 252 seconds) |
| 2024-10-14 23:33:43 +0200 | <yin> | pars minuta seconda |
| 2024-10-14 23:34:35 +0200 | <geekosaur> | time's even worse, the standard time unit is defined by the transition of an electron in a cesium atom and is in femtoseconds or soemthing like that |
| 2024-10-14 23:34:49 +0200 | <tomsmeding> | not sure if you guys in the US have right to complain :p |
| 2024-10-14 23:35:12 +0200 | <tomsmeding> | I guess monochrom is not originally US and might get a pass |
| 2024-10-14 23:35:18 +0200 | <geekosaur> | we don't even try, you guys find out why trying is folly |
| 2024-10-14 23:35:26 +0200 | <yin> | i wish all systems used powers of 2 |
| 2024-10-14 23:35:31 +0200 | <geekosaur> | monochrom's npot even currently US |
| 2024-10-14 23:35:42 +0200 | <geekosaur> | (utoronto I think?) |
| 2024-10-14 23:35:51 +0200 | <tomsmeding> | _oh_ of course, I knew that |
| 2024-10-14 23:35:53 +0200 | <monochrom> | Yeah Canadian and Hong Kong |
| 2024-10-14 23:36:46 +0200 | <monochrom> | Very happy that I can continue to spell colour as colour! |
| 2024-10-14 23:36:52 +0200 | <tomsmeding> | :D |
| 2024-10-14 23:37:19 +0200 | <yin> | i remember reading about the "farsee", a unit of distance where the basic unit is how far you can see |
| 2024-10-14 23:39:27 +0200 | <yin> | monochrom: i recently used 2 libraries in a project where one used a type Color and the other a type Colour |
| 2024-10-14 23:39:41 +0200 | <yin> | that was fun |
| 2024-10-14 23:42:19 +0200 | <yin> | oh it was worse than that. i contributed to ansi-terminal-game which had Color and i introduced a dependency which has Colour |
| 2024-10-14 23:42:27 +0200 | <monochrom> | At least you can just import without qualified :) |
| 2024-10-14 23:43:11 +0200 | <tomsmeding> | regardless of how much I prefer British spelling, for better or for worse I do think we've settled on American spelling in identifiers |
| 2024-10-14 23:43:21 +0200 | <tomsmeding> | so the Colour one is the awkward one there :p |
| 2024-10-14 23:43:23 +0200 | <haskellbridge> | <sm> ha speak for yourself |
| 2024-10-14 23:43:45 +0200 | <yin> | (the dependency was https://hackage.haskell.org/package/colour itself :p) |
| 2024-10-14 23:44:13 +0200 | <tomsmeding> | juicy |
| 2024-10-14 23:44:45 +0200 | <yin> | the description is "A model for human colour/color perception" |
| 2024-10-14 23:45:24 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-14 23:45:31 +0200 | <yin> | they should have done a type synonym |
| 2024-10-14 23:47:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-14 23:47:50 +0200 | ljdarj1 | ljdarj |
| 2024-10-14 23:48:40 +0200 | <monochrom> | Ever heard of Generalised ADT? >:) |
| 2024-10-14 23:49:22 +0200 | <yin> | how would that help? |
| 2024-10-14 23:49:36 +0200 | <yin> | (of course there is also a Color package) |
| 2024-10-14 23:49:56 +0200 | <monochrom> | Fortunately they avoided another war by deciding that you just have to write -XGADTs |
| 2024-10-14 23:50:22 +0200 | <tomsmeding> | {-# SPECIALIZE #-} |
| 2024-10-14 23:50:35 +0200 | <monochrom> | haha |
| 2024-10-14 23:50:46 +0200 | oraculo | (~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 2024-10-14 23:50:49 +0200 | <tomsmeding> | -XGeneralizedNewtypeDeriving |
| 2024-10-14 23:52:03 +0200 | <tomsmeding> | and the "specialize" spelling also appears in a bunch of command-line arguments to GHC |
| 2024-10-14 23:52:22 +0200 | <tomsmeding> | (ghc --show-options | grep -i z) >:D |
| 2024-10-14 23:52:32 +0200 | <monochrom> | he |
| 2024-10-14 23:57:19 +0200 | <yin> | oh no, package names are case sensitive? |
| 2024-10-14 23:57:35 +0200 | <yin> | so besides Color and colour we can still have color and Colour |
| 2024-10-14 23:58:27 +0200 | <monochrom> | Something about the package name being hscolour and the exe name being HsColour. |
| 2024-10-14 23:58:53 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |